[ 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'21)
Hybrid Conference (Online and In-Person)
October 17-22, 2021, Chicago, USA
Attendees are required to be fully vaccinated to attend
SPLASH 2021 in-person. Masks are required at SPLASH 2021.
https://urldefense.com/v3/__https://2021.splashcon.org/__;!!IBzWLUs!H5Q1umqqb34zicE-7pl3zkeOTQprNaJO0Ko11yXtD8F-2ZOgI211ZxYs-LWnZ_XB_kUDp0sObEVO1w$
Follow us on Twitter @splashcon
========================================================================
FULL LIST OF EVENTS:
- OOPSLA
- Onward! Papers
- Onward! Essays
- In-person presentations of papers from virtual PLDI, ICFP, OOPSLAs
- PLMW
- SPLASH-E
- Workshops:
- AGERE
- BCNC
- CONFLANG
- DSM
- HATRA
- LIVE
- REBLS
- VMIL
- Poster Sessions
- Doctoral Symposioum
- Student Research Competition (SRC)
- Co-hosted Symposiums
- Scala
- Co-located events:
- APLAS
- Dynamic Languages Symposium (DLS)
- GPCE
- SAS
- SLE
========================================================================
The ACM SIGPLAN conference on Systems, Programming, Languages and Applications:
Software for Humanity (SPLASH) embraces all aspects of software construction
and delivery to make it the premier conference at the intersection of
programming, languages, and software engineering.
This year, SPLASH will be held as a Hybrid Conference. There will be a physical
conference in Chicago as well as a virtual component. Note that, for in-person
participation, attendees are required to be fully vaccinated. More details
below.
========================================================================
# Regarding COVID19
========================================================================
SPLASH 2021 will require in-person attendees to be fully vaccinated, as defined
by the Center for Disease Control (CDC):
https://urldefense.com/v3/__https://www.cdc.gov/coronavirus/2019-ncov/vaccines/fully-vaccinated.html__;!!IBzWLUs!H5Q1umqqb34zicE-7pl3zkeOTQprNaJO0Ko11yXtD8F-2ZOgI211ZxYs-LWnZ_XB_kUDp0v0Kssp_Q$
According to the CDC, attendees “are considered fully vaccinated (a) 2 weeks
after their second dose in a 2-dose series, such as the Pfizer or Moderna
vaccines, or (b) 2 weeks after a single-dose vaccine, such as Johnson &
Johnson’s Janssen vaccine. If you don’t meet these requirements, regardless of
your age, you are NOT fully vaccinated.” SPLASH 2021 will offer virtual
attendance options for those individuals who are not fully vaccinated.
Vaccination validation will be conducted by a vendor contracted by the ACM to
perform this validation for the SPLASH 2021 conference.
Masks are required at SPLASH 2021.
========================================================================
# Participation
========================================================================
Please register using this online registration form:
https://urldefense.com/v3/__https://regmaster.com/2021conf/SPLASH21/register.php__;!!IBzWLUs!H5Q1umqqb34zicE-7pl3zkeOTQprNaJO0Ko11yXtD8F-2ZOgI211ZxYs-LWnZ_XB_kUDp0ucoA7GFw$
Early registration closes on September 18, 2021. You are required to be fully
vaccinated to attend the in-person conference in Chicago. The virtual
attendance option is available to unvaccinated attendees. Masks are required at
SPLASH 2021.
========================================================================
# List of Events
========================================================================
** OOPSLA Research Papers **
Papers that address any aspect of software development are welcome, including
requirements, modelling, prototyping, design, implementation, generation,
analysis, verification, testing, evaluation, maintenance, reuse, replacement,
and retirement of software systems. Papers may address these topics 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! Research 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. We welcome different ways of thinking about, approaching, and reporting
on programming language and software engineering research.
** Onward! Essays **
Onward! Essays conference is looking for clear and compelling pieces of writing
about 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 should be
interpreted broadly and can include the relationship of software to human
endeavours, or its philosophical, sociological, psychological, historical, or
anthropological underpinnings.
** In-person presentations of papers from recent virtual conferences **
Several SIGPLAN conferences have been held virtually since March 2020. We have
invited authors of papers from virtual OOPSLA 2020, PLDI 2020 and 2021, and
ICFP 2020 to present their work in person at SPLASH, and many authors have
accepted. These presentations will be given during the main conference days,
in parallel with OOPSLA and Onward! 2021 presentations. They will not be
streamed, since they were already streamed at their respective virtual
conferences.
** PLMW@SPLASH **
The SPLASH 2021 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.
========================================================================
** Workshops **
========================================================================
**** AGERE 2021 ****
The AGERE! workshop is aimed at focusing on programming systems, languages and
applications based on actors, active/concurrent objects, agents and—more
generally—on high-level programming paradigms which promote decentralized
control in solving problems and developing software.
The workshop is intended to cover both the theory and the practice of design
and programming, bringing together researchers working on models, languages and
technologies, and practitioners developing real-world systems and applications.
**** BCNC 2021 ****
The first international workshop on “Beyond Code: No Code,” (BCNC 2021) targets
one of the most engaging topics currently spanning the software engineering
community. The No-Code movement is making its way through all industries,
saving time, empowering workers, and creating new possibilities. No Code is
changing the software industry by accelerating development and opening up
opportunities for less tech-savvy individuals to create life-changing products.
**** CONFLANG 2021 ****
CONFLANG is a new workshop on the design, the usage and the tooling of
configuration programming languages. CONFLANG aims at uniting language
designers, industry practitioners and passionate hobbyists to share knowledge
in any form. Topics of interest include, but are not limited to:
- Infrastructure and configuration code maintenance and evolution
- Specification learning and mining for configurations
- Infrastructure and Configuration testing and verification
- Infrastructure as Code and configuration repair
- New languages for configuration
- The application of language security and type theory to program configuration
**** DSM’21 ****
Domain-Specific Modeling (DSM) languages provide a viable and time-tested
solution for continuing to raise the level of abstraction, and thus
productivity, beyond coding, making systems and software development faster and
easier.
In DSM, the models are constructed using concepts that represent things in the
application domain, not concepts of a given programming language. The modeling
language follows the domain abstractions and semantics, allowing developers to
perceive themselves as working directly with domain concepts. Together with
frameworks and platforms, DSM can automate a large portion of software
production.
The goals of the workshop are to share experiences and demonstrate the DSM
solutions that have been developed by both researchers and practitioners,
identify research questions and continuing to build the community.
**** HATRA 2021 ****
Programming language designers seek to provide strong tools to help developers
reason about their programs. For example, the formal methods community seeks to
enable developers to prove correctness properties of their code, and type
system designers seek to exclude classes of undesirable behavior from programs.
The security community creates tools to help developers achieve their security
goals. In order to make these approaches as effective as possible for
developers, recent work has integrated approaches from human-computer
interaction research into programming language design.
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.
**** LIVE 2021 ****
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.
**** REBLS 2021 ****
Reactive programming and event-based programming are two closely related
programming styles that are becoming ever more important with the advent of
advanced HPC technology and the ever increasing requirement for our
applications to run on the web or on collaborating mobile devices. A number of
publications on middleware and language design — so-called reactive and
event-based languages and systems (REBLS) — have already seen the light, but
the field still raises several questions. For example, the interaction with
mainstream language concepts is poorly understood, implementation technology is
in its infancy and modularity mechanisms are almost totally lacking.
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 define better the field by coming up with taxonomies and overviews of
the existing work.
**** VMIL 2021 ****
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 in
language virtual machines, the intermediate languages they use, and related
issues.
========================================================================
** SPLASH 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. SPLASH posters cover any
aspect 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. It is
held early in the conference, to promote continued discussion among
interested parties.
========================================================================
** Doctoral Symposium **
========================================================================
The SPLASH Doctoral Symposium provides students with useful guidance for
completing their dissertation research and beginning their research careers.
The symposium will provide 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), sponsored by Microsoft Research,
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.
========================================================================
** SPLASH-E **
========================================================================
SPLASH-E is a forum for educators to make connections between programming
languages research and the ways we educate computer science students. We invite
work that could improve or inform computer science educators, especially work
that connects with introductory computer science courses, programming
languages, compilers, software engineering, and other SPLASH-related topics.
Educational tools, experience reports, and new curricula are all welcome.
========================================================================
*** ACM SIGPLAN Scala Symposium ***
========================================================================
Scala is a general-purpose programming language designed to express common
programming patterns in a concise, elegant, and type-safe way. It smoothly
integrates features of object-oriented and functional languages.
The Scala Symposium is the leading forum for researchers and practitioners
related to the Scala programming language. We welcome a broad spectrum of
research topics and support many submission formats for industry and academia
alike.
========================================================================
*** Co-Located Events ***
========================================================================
** Asian Symposium on Programming Languages and Systems (APLAS) **
The 19th Asian Symposium on Programming Languages and Systems (APLAS). 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. APLAS 2021 will be
held online and co-located with SPLASH 2021.
** Dynamic Languages Symposium (DLS) **
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.
** 20th International Conference on Generative Programming: Concepts &
Experiences (GPCE) **
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.
** The 28th Static Analysis Symposium (SAS 2021) **
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.
** 13th International ACM SIGPLAN Conference on Software Language Engineering
(SLE) **
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.
========================================================================
# Organizing Committee SPLASH 2021:
========================================================================
SPLASH General Chair: Hridesh Rajan (Iowa State University)
OOPSLA Review Committee Chair: Sophia Drossopoulou (Imperial College London)
GPCE General Chair: Eli Tilevich (Virginia Tech)
GPCE Program Chair: Coen De Roover (Vrije Universiteit Brussel)
SLE General Chair: Eelco Visser (Delft University of Technology)
SLE Program Co-Chair: Dimitris Kolovos (University of York)
SLE Program Co-Chair: Emma Söderberg (Lund University)
SLE Artifact Evaluation Co-Chair: Elias Castegren (KTH)
SLE Artifact Evaluation Co-Chair: Andreas Wortmann (RWTH Aachen University)
DLS Chair: Arjun Guha (Northeastern University)
Onward! Papers Chair: Wolfgang De Meuter (Vrije Universiteit Brussel)
Onward! Essays Chair: Elisa Baniassad (University of British Columbia)
SPLASH-E Co-Chair: Charlie Curtsinger (Grinnell College)
SPLASH-E Co-Chair: Tien N. Nguyen (University of Texas at Dallas)
Artifact Evaluation Co-Chair: Colin Gordon (Drexel University)
Artifact Evaluation Co-Chair: Ana Milanova (Rensselaer Polytechnic Institute)
Artifact Evaluation Co-Chair: Anders Møller (Aarhus University)
Hybridization Co-Chair: Jonathan Aldrich (Carnegie Mellon University)
Hybridization Co-Chair: Steve Blackburn (Australia National University)
Hybridization Co-Chair: Benjamin Chung (Northeastern University)
Hybridization Co-Chair: Youyou Cong (Tokyo Institute of Technology)
Hybridization Co-Chair: Alex Potanin (Victoria University of Wellington)
Hybridization Co-Chair: Talia Ringer (University of Illinois at
Urbana-Champaign)
Workshops Co-Chair: Mehdi Bagherzadeh (Oakland University)
Workshops Co-Chair: Raffi Khatchadourian (CUNY Hunter College)
Student Research Competition Co-Chair: Julia Rubin (University of British
Columbia)
Publicity Chair: Juan Fumero (University of Manchester)
Web Chair: Rangeet Pan (Iowa State University)
Student Volunteer Co-Chair: Breno Dantas Cruz (Virginia Tech)
Student Volunteer Co-Chair: Samantha Syeda Khairunnesa (Iowa State University)
Sponsorship Co-Chair: Ganesha Upadhyaya (Harmony.one)
Poster Co-Chair: Christos Dimoulas (PLT @ Northwestern University)
Poster Co-Chair: Murali Krishna Ramanathan (Uber Technologies Inc.)
Publications Chair: Saba Alimadadi (Simon Fraser University)
Accessibility Chair: Sumon Biswas (Iowa State University, USA)
========================================================================
