[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
======================================================================
Call For Participation
ACM Conference on Systems, Programming, Languages, and Applications:
Software for Humanity (SPLASH '22)
December 5-10, 2022, Auckland, New Zealand
https://urldefense.com/v3/__https://2022.splashcon.org__;!!IBzWLUs!RhJOr3l4BG6kp1vfelN-vwyTimMax6c4PUF5srkiYLZKltP9vAzM92ktbx26a83fmQbrPnWBQpfdbUz2j8uO32rZNRDuNz366Rnybo0$
======================================================================
SPLASH - The ACM SIGPLAN conference on Systems, Programming, Languages,
and Applications: Software for Humanity embraces all aspects of software
construction and delivery, to make it the premier conference on the
applications of programming languages - at the intersection of
programming languages and software engineering.
SPLASH 2022 aims to signify the reopening of the world and being able to
meet your international colleagues in person.
Follow the registration space on the SPLASH website to attend this
fantastic line-up of events:
https://urldefense.com/v3/__https://2022.splashcon.org/attending/Registration__;!!IBzWLUs!RhJOr3l4BG6kp1vfelN-vwyTimMax6c4PUF5srkiYLZKltP9vAzM92ktbx26a83fmQbrPnWBQpfdbUz2j8uO32rZNRDuNz363AN12wQ$
Early registration closes on 15th of November 2022.
======================================================================
LIST OF SPLASH EVENTS:
- OOPSLA
- Onward! Essays
- Onward! Papers
- PLMW
- SPLASH-E
- Poster Sessions
- Doctoral Symposioum
- Student Research Competition (SRC)
- Workshops:
- FTSCS
- HATRA
- LIVE
- PAINT
- REBLS
- Unsound
- VMIL
- Co-hosted events:
- APLAS
- DLS
- GPCE
- SAS
- SLE
- In-person presentations of papers affected by COVID from POPL, PLDI,
ICFP, OOPSLA, APLAS, DLS, GPCE, SAS, SLE
========================================================================
========================================================================
# List of Events
========================================================================
** OOPSLA Research Papers **
Papers that address various aspects of software development will be
presented, including requirements, modelling, prototyping, design,
implementation, generation, analysis, verification, testing, evaluation,
maintenance, reuse, replacement, and retirement of software systems.
These topics may be covered in a variety of ways, including new tools
(such as languages, program analyses, and runtime systems), new
techniques (such as methodologies, design processes, code organization
approaches, and management techniques), and new evaluations (such as
formalisms and proofs, corpora analyses, user studies, and surveys).
** Onward! Essays **
Onward! Essays targets topics important to the software community
construed broadly. An essay can be an exploration of a topic, its
impact, or the circumstances of its creation; it can present a personal
view of what is, explore a terrain, or lead the reader in an act of
discovery; it can be a philosophical digression or a deep analysis. It
can describe a personal journey, perhaps that by which the author
reached an understanding of such a topic. The subject area is
interpreted broadly and can include the relationship of software to
human endeavours, or its philosophical, sociological, psychological,
historical, or anthropological underpinnings.
** Onward! Papers **
Onward! is a premier multidisciplinary conference focused on everything
to do with programming and software: including processes, methods,
languages, communities, and applications. Onward! is more radical, more
visionary, and more open than other conferences to ideas that are
well-argued but not yet proven. It welcomes different ways of thinking
about, approaching, and reporting on programming language and software
engineering research.
** PLMW **
The Programming Languages Mentoring Workshop encourages graduate
students (PhD and MSc) and senior undergraduate students to pursue
research in programming languages. This workshop will provide mentoring
sessions on how to prepare for and thrive in graduate school and in a
research career, focusing both on cutting-edge research topics and
practical advice. The workshop brings together leading researchers and
junior students in an inclusive environment in order to help welcome
newcomers to our field of programming languages research. The workshop
will show students the many paths that they might take to enter and
contribute to our research community.
** SPLASH-E **
SPLASH-E is a symposium for software and languages (SE/PL) researchers
with activities and interests around computing education. Some build
pedagogically-oriented languages or tools; some think about pedagogic
challenges around SE/PL courses; some bring computing to non-CS
communities; some pursue human studies and educational research. At
SPLASH-E, we share our educational ideas and challenges centered in
software/languages, as well as our best ideas for advancing such work.
** Posters **
The SPLASH Posters track provides an excellent forum for authors to
present their recent or ongoing projects in an interactive setting, and
receive feedback from the community. It covers various aspects of
programming, systems, languages and applications. The goal of the poster
session is to encourage and facilitate small groups of individuals
interested in a technical area to gather and interact.
** Doctoral Symposium **
The Doctoral Symposium provides students with useful guidance for
completing their dissertation research and beginning their research
careers. The symposium provides an interactive forum for doctoral
students who have progressed far enough in their research to have a
structured proposal, but will not be defending their dissertation in the
next 12 months.
** Student Research Competition **
The ACM Student Research Competition (SRC) offers a unique opportunity
for undergraduate and graduate students to present their research to a
panel of judges and conference attendees at SPLASH. The SRC provides
visibility and exposes up-and-coming researchers to computer science
research and the research community. This competition also gives
students an opportunity to discuss their research with experts in their
field, get feedback, and sharpen their communication and networking
skills.
========================================================================
# Workshops
========================================================================
** FTSCS: Formal Techniques for Safety-Critical Systems **
The aim of this workshop is to bring together researchers and engineers
who are interested in the application of formal and semi-formal methods
to improve the quality of safety-critical computer systems. FTSCS
strives to promote research and development of formal methods and tools
for industrial applications, and is particularly interested in
industrial applications of formal methods. The workshop will provide a
platform for discussions and the exchange of innovative ideas, so
submissions on work in progress are encouraged.
** HATRA: Human Aspects of Types and Reasoning Assistants **
This workshop brings together programming languages, software
engineering, security, and human-computer interaction researchers to
investigate methods for making languages that provide stronger safety
properties more effective for programmers and software engineers. HATRA
promotes both existing works relevant to the workshop’s topic, as well
as new ideas, approaches, or hypotheses presented as an opportunity for
the authors to receive community feedback and for the community to seek
inspiration from others.
** LIVE: Live Programming **
Programming is cognitively demanding, and too difficult. LIVE is a
workshop exploring new user interfaces that improve the immediacy,
usability, and learnability of programming. Whereas PL research
traditionally focuses on programs, LIVE focuses more on the activity of
programming. The goal is to provide a supportive venue where early-stage
work receives constructive criticism. Whether graduate students or
tenured faculty, researchers need a forum to discuss new ideas and get
helpful feedback from their peers. Towards that end, we will allot about
ten minutes for discussion after every presentation.
** PAINT: Programming Abstractions and Interactive Tools, Notations, and
Environments **
In this workshop, we want to discuss programming environments that
support users in working with and creating domain-specific abstractions
and notations. Topics of interest include the composition and
integration of domain-specific abstractions and tools inside
general-purpose programming languages and environments, the
implementation and evaluation of editing ergonomics and UX concerns, or
tool support for creating domain-specific abstractions and tools.
Environments that typically exhibit such properties include meta tools
or tool creation frameworks, language workbenches, block-based editors
and other visual programming approaches or projectional editors.
** REBLS: Reactive and Event-Based Languages and Systems **
This workshop will gather researchers in reactive and event-based
languages and systems. The goal of the workshop is to exchange new
technical research results and to better define the field by coming up
with taxonomies and overviews of the existing work.
** Unsound: Sources of Unsoundness in Verification **
Participants to Unsound will be able to share their experience and
exploits on how different verification tools can either be broken or
expose confusing behavior, likely to be unexpected by users. We are
particularly interested in sources of unsoundness that are accidentally
shared by many different unrelated research lines, and to develop an
understanding on why this is the case. The workshop is meant to be
welcoming for both people with strong theoretical skills, as well as
people who just like hacking things. We do not expect fully polished
submissions and we will not have formal proceedings.
** VMIL: Virtual Machines and Language Implementations **
The concept of Virtual Machines is pervasive in the design and
implementation of programming systems. Virtual Machines and the
languages they implement are crucial in the specification,
implementation and/or user-facing deployment of most programming
technologies. The VMIL workshop is a forum for researchers and
cutting-edge practitioners working on language virtual machines to
discuss the various related engineering and research issues.
========================================================================
# Co-hosted events
========================================================================
** APLAS: Asian Symposium on Programming Languages and Systems **
APLAS aims to stimulate programming language research by providing a
forum for the presentation of the latest results and the exchange of
ideas in programming languages and systems. APLAS is based in Asia but
is an international forum that serves the worldwide programming
languages community.
** DSL: Dynamic Languages Symposium **
DLS is the premier forum for researchers and practitioners to share
knowledge and research on dynamic languages, their implementation, and
applications. The influence of dynamic languages — from Lisp to
Smalltalk to Python to JavaScript — on real-world practice and research,
continues to grow. We invite high-quality papers reporting original
research, innovative contributions, or experience related to dynamic
languages, their implementation, and applications.
** GPCE: International Conference on Generative Programming: Concepts &
Experiences **
GPCE is a venue for researchers and practitioners interested in
techniques that use program generation, domain-specific languages, and
component deployment to increase programmer productivity, improve
software quality, and shorten the time-to-market of software products.
In addition to exploring cutting-edge techniques of generative software,
our goal is to foster further cross-fertilization between software
engineering and the programming languages research communities.
** SAS: Static Analysis Symposium **
Static analysis is widely recognized as a fundamental tool for program
verification, bug detection, compiler optimization, program
understanding, and software maintenance. The series of Static Analysis
Symposia has served as the primary venue for the presentation of
theoretical, practical, and application advances in the area.
** SLE: International ACM SIGPLAN Conference on Software Language
Engineering **
SLE is the discipline of engineering languages and the tools required
for the creation of software. It abstracts from the differences between
programming languages, modelling languages, and other software
languages, and emphasizes the engineering facet of the creation of such
languages, that is, the establishment of the scientific methods and
practices that enable the best results. SLE overlaps with traditional
conferences on the design and implementation of programming languages,
model-driven engineering, and compiler construction, and emphasizes the
fusion of their communities.
======================================================================
Join us in these exciting events!
========================================================================
# Organizing Committee
========================================================================
General Chair: Alex Potanin (Australian National University)
OOPSLA Review Committee Chair: Amal Ahmed (Northeastern University)
OOPSLA Review Committee Co-Chair: Jan Vitek (Northeastern University;
Czech Technical University)
OOPSLA Artifact Evaluation Co-Chair: Benjamin Greenman (Brown
University)
OOPSLA Artifact Evaluation Co-Chair: Ana Milanova (Rensselaer
Polytechnic Institute)
APLAS Chair: Ilya Sergey (National University of Singapore)
DLS PC Co-Chair: Wolfgang De Meuter (Vrije Universiteit Brussel)
DLS PC Co-Chair: Arjun Guha (Northeastern University)
GPCE General Chair: Bernhard Scholz (University of Sydney)
GPCE PC Chair: Yukiyoshi Kameyama (University of Tsukuba)
SAS Co-Chair: Caterina Urban (INRIA & École Normale Supérieure |
Université PSL)
SAS Co-Chair: Gagandeep Singh (University of Illinois at
Urbana-Champaign; VMware)
SLE Chair: Bernd Fischer (Stellenbosch University)
SLE PC Co-Chair: Lola Burgueño (Open University of Catalonia)
SLE PC Co-Chair: Walter Cazzola (Università degli Studi di Milano)
Onward! Papers Chair: Christophe Scholliers (Universiteit Gent, Belgium)
Onward! Essays Chair: Jeremy Singer (University of Glasgow)
SPLASH-E Co-Chair: Martin Henz (National University Of Singapore)
SPLASH-E Co-Chair: Benjamin Lerner (Northeastern University)
Workshops Co-Chair: Mehdi Bagherzadeh (Oakland University)
Workshops Co-Chair: Raffi Khatchadourian (City University of New York
(CUNY) Hunter College)
Comfy Chair: Tony Hosking (Australian National University)
Hybridisation Co-Chair: Jonathan Aldrich (Carnegie Mellon University)
Hybridisation Co-Chair: Youyou Cong (Tokyo Institute of Technology)
Diversity and Inclusion Chair, Local Organizing Chair: Kelly Blincoe
(University of Auckland)
Video Co-Chair: Zixian Cai (Australian National University)
Video Co-Chair: Benjamin Chung (Northeastern University)
Sponsorship Co-Chair: Bor-Yuh Evan Chang (University of Colorado Boulder
& Amazon)
Publicity Chair, Web Co-Chair: Andreea Costea (National University Of
Singapore)
PLMW Co-Chair: Molly Feldman (Oberlin College)
Budget and Finance Chair: Michael Homer (Victoria University of
Wellington)
Student Volunteer Co-Chair: Yao Li (University of Pennsylvania)
Student Volunteer Co-Chair: Julian Mackay (Victoria University of
Wellington)
Student Research Competition Co-Chair: Xujie Si (McGill University,
Canada)
Student Research Competition Co-Chair: Caterina Urban (INRIA & École
Normale Supérieure | Université PSL)
Symposium Chair: Fabian Muehlboeck (IST Austria)
PLMW Co-Chair: Lukasz Ziarek (University at Buffalo)
