[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
======================================================================
Second Combined Call For Contributions
ACM Conference on Systems, Programming, Languages, and Applications:
Software for Humanity (SPLASH'23)
October 22-27, 2023, Cascais, Portugal
https://urldefense.com/v3/__https://2023.splashcon.org__;!!IBzWLUs!Wy1ITQzqMxVsZ4jNycYfpmO1t0K2ApZrKC6grlYT3SSGGUoy_GR5_PtYnoL5_vma4aE8niHRO5Xm6OvdzNNjLIUSQbg3ig$
<https://urldefense.com/v3/__https://2023.splashcon.org/__;!!IBzWLUs!Wy1ITQzqMxVsZ4jNycYfpmO1t0K2ApZrKC6grlYT3SSGGUoy_GR5_PtYnoL5_vma4aE8niHRO5Xm6OvdzNNjLIVJRcBLLw$
>
======================================================================
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.
Follow the registration space on the SPLASH website to attend this fantastic
line-up of events - we aim to open for registration on July 20.
======================================================================
OUTLINE OF THE SECOND COMBINED CALL FOR CONTRIBUTIONS:
SPLASH upcoming deadlines:
* Posters (deadline: 15 Aug)
* SPLASH-E (deadline: 27 Jul)
* Doctoral Symposium (deadline: 7 Jul)
* Student Research Competition (deadline: 14 Jul)
* Programming Languages Mentoring Workshop (PLMW) (deadline: 24 Jul)
SPLASH Workshops (submission deadline: 12 Jul):
* CONFLANG
* FTSCS
* HATRA
* IWACO
* LIVE
* PAINT
* PLF
* REBELS
* ST30
SPLASH Co-located Events:
* DLS (Deadline: 28 Jun)
* GPCE (Deadline: 7 July)
* MPLR (Deadline: 26 Jun)
======================================================================
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 2023 aims to signify the reopening of the world and being able to meet
your international colleagues in person.
** Co-located Events **
**** Dynamic Languages Symposium (DLS) ****
The Dynamic Languages Symposium (DLS) is the premier forum for researchers and
practitioners to share research and experience on all aspects of dynamic
languages.
After two decades of dynamic language research and DLS, it is time to reflect
and look forward to what the next two decades will bring. This year's DLS will
therefore be a special DLS focusing on the Future of Dynamic Languages. To do
the notion of "symposium" justice, we will actively invite speakers to present
their opinions on where Dynamic Languages might be, will be, or should be going
in the next twenty years.
Paper Submission Deadline: 28 Jun 2023
Details:
https://urldefense.com/v3/__https://2023.splashcon.org/home/dls-2023__;!!IBzWLUs!Wy1ITQzqMxVsZ4jNycYfpmO1t0K2ApZrKC6grlYT3SSGGUoy_GR5_PtYnoL5_vma4aE8niHRO5Xm6OvdzNNjLIVZwDdsTg$
**** Generative Programming: Concepts & Experiences (GPCE)****
ACM SIGPLAN 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 the software engineering and the
programming languages research communities.
Abstract Submission Deadline: 3 Jul 2023
Paper Submission Deadline: 7 Jul 2023
Details:
https://urldefense.com/v3/__https://2023.splashcon.org/home/gpce-2023__;!!IBzWLUs!Wy1ITQzqMxVsZ4jNycYfpmO1t0K2ApZrKC6grlYT3SSGGUoy_GR5_PtYnoL5_vma4aE8niHRO5Xm6OvdzNNjLIWod-43HA$
**** Managed Programming Languages & Runtimes (MPLR)****
The 20th International Conference on Managed Programming Languages & Runtimes
(MPLR'23, formerly ManLang, originally PPPJ) is a premier forum for presenting
and discussing novel results in all aspects of managed programming languages
and runtime systems, which serve as building blocks for some of the most
important computing systems around, ranging from small-scale (embedded and
real-time systems) to large-scale (cloud-computing and big-data platforms) and
anything in between (mobile, IoT, and wearable applications).
Paper/Abstract Submission Deadline: 26 Jun 2023
Details:
https://urldefense.com/v3/__https://2023.splashcon.org/home/mplr-2023__;!!IBzWLUs!Wy1ITQzqMxVsZ4jNycYfpmO1t0K2ApZrKC6grlYT3SSGGUoy_GR5_PtYnoL5_vma4aE8niHRO5Xm6OvdzNNjLIVJgeVMFA$
**** 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. We invite submissions covering 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.
Submission Deadline: 15 Aug 2023
**** SPLASH-E ****
SPLASH-E is a symposium, started in 2013, 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. SPLASH-E
strives to bring together researchers and those with educational interests that
arise from software ideas or concerns.
Archival Submission Deadline: 27 Jul 2023
** Student Research Competition (SRC) **
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.
Abstract Submission Deadline: 14 Jul 2023
** Programming Languages Mentoring Workshop (PLMW) **
The SPLASH 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.
Application Submission Deadline: 24 Jul 2023
** Workshops **
**** CONFLANG ****
CONFLANG is a workshop on the design, the theory, the practice and the future
evolution of configuration languages. It aims to gather the emerging community
in this area in order to engage in fruitful interactions, to share ideas,
results, opinions, and experiences on languages for configuration. Correct
configuration is an actual industrial problem, and would greatly benefit from
existing and ongoing academic research. Dually, this is a space with new
challenges to overcome and new directions to explore, which is a great
opportunity to confront new ideas with large-scale production.
**** FTSCS ****
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.
Specific topics include, but are not limited to: case studies and experience
reports on the use of formal methods for analyzing safety-critical systems,
including avionics, automotive, medical, railway, and other kinds of
safety-critical and QoS-critical systems; methods, techniques and tools to
support automated analysis, certification, debugging, etc., of
safety/QoS-critical systems; analysis methods that address the limitations of
formal methods in industry (usability, scalability, etc.); formal analysis
support for modeling languages used in industry, such as AADL, Ptolemy, SysML,
SCADE, Modelica, etc.; code generation from validated models.
The workshop will provide a platform for discussions and the exchange of
innovative ideas, so submissions on work in progress are encouraged.
**** HATRA ****
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.
We have two goals: (1) to provide a venue for discussion and feedback on
early-stage approaches that might enable people to be more effective at
achieving stronger safety properties in their programs; (2) to facilitate
discussion about relevant topics of participant interest.
**** IWACO ****
Many techniques have been introduced to describe and reason about stateful
programs, and to restrict, analyze, and prevent aliases. These include various
forms of ownership types, capabilities, separation logic, linear logic,
uniqueness, sharing control, escape analysis, argument independence, read-only
references, linear references, effect systems, and access control mechanisms.
These tools have found their way into type systems, compilers and interpreters,
runtime systems and bug-finding tools. Their immediate practical relevance is
self-evident from the popularity of Rust, a programming language built around
reasoning about aliasing and ownership to enable static memory management and
data race freedom, voted the "most beloved" language in the annual Stack
Overflow Developer Survey seven times in a row.
IWACO'23 will focus on these techniques, on how they can be used to reason
about stateful (sequential or concurrent) programs, and how they have been
applied to programming languages. In particular, we will consider papers on:
models, type systems and other formal systems, programming language mechanisms,
analysis and design techniques, patterns and notations for expressing
ownership, aliasing, capabilities, uniqueness, and related topics; empirical
studies of programs or experience reports from programming systems designed
with these techniques in mind; programming logics that deal with aliasing
and/or shared state, or use ownership, capabilities or resourcing; applications
of capabilities, ownership and other similar type systems in low-level systems
such as programming languages runtimes, virtual machines, or compilers; and
optimization techniques, analysis algorithms, libraries, applications, and
novel approaches exploiting ownership, aliasing, capabilities, uniqueness, and
related topics.
**** LIVE ****
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.
Our 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 environments that integrate tools, notations, and abstractions into
a holistic user experience can provide programmers with better support for what
they want to achieve. These programming environments can create an engaging
place to do new forms of informational work - resulting in enjoyable, creative,
and productive experiences with programming.
In the workshop on Programming Abstractions and Interactive Notations, Tools,
and Environments (PAINT), we want to discuss programming environments that
support users in working with and creating notations and abstractions that
matter to them. We are interested in the relationship between people centric
notations and general-purpose programming languages and environments. How do we
reflect the various experiences, needs, and priorities of the many people
involved in programming — whether they call it that or not?
**** PLF ****
Applications supporting multi-device are ubiquitous. While most of the
distributed applications that we see nowadays are cloud-based, avoiding the
cloud can lead to privacy and performance benefits for users and operational
and cost benefits for companies and developers. Following this idea,
Local-First Software runs and stores its data locally while still allowing
collaboration, thus retaining the benefits of existing collaborative
applications without depending on the cloud. Many specific solutions already
exist: operational transformation, client-side databases with eventually
consistent replication based on CRDTs, and even synchronization as a service
provided by commercial offerings, and a vast selection of UI design libraries.
However, these solutions are not integrated with the programming languages that
applications are developed in. Language based solutions related to distribution
such as type systems describing protocols, reliable actor runtimes, data
processing, machine learning, etc., are designed and optimized for the cloud
not for a loosely connected set of cooperating devices. This workshop aims at
bringing the issue to the attention of the PL community, and accelerating the
development of suitable solutions for this area.
**** REBELS ****
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. Moreover,
large applications are still to be developed and patterns and tools for
developing reactive applications is an area that is vastly unexplored.
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.
**** ST30 ****
Session types are a type-theoretic approach to specifying communication
protocols so that they can be verified by type-checking. This year marks 30
years since the first paper on session types, by Kohei Honda at CONCUR 1993.
Since then the topic has attracted increasing interest, and a substantial
community and literature have developed. Google Scholar lists almost 400
articles with "session types" in the title, and most programming language
conferences now include several papers on session types each year. In terms of
the technical focus, there have been continuing theoretical developments
(notably the generalisation from two-party to multi-party session types by
Honda, Yoshida and Carbone in 2008, and the development of a Curry-Howard
correspondence with linear logic by Caires and Pfenning in 2010) and a variety
of implementations of session types as programming language extensions or
libraries, covering (among others) Haskell, OCaml, Java, Scala, Rust, Python,
C#, Go.
ST30 is a workshop to celebrate the 30th anniversary of session types by
bringing together the community for a day of talks and technical discussion.
======================================================================
Be part of these fantastic events!
======================================================================
Organizing Committee
General Chair: Vasco T. Vasconcelos (University of Lisbon)
OOPSLA Review Committee Chair: Mira Mezini (TU Darmstadt)
OOPSLA Publications Co-Chair: Ragnar Mogk (TU Darmstadt)
OOPSLA Artifact Evaluation Co-Chair: Benjamin Greenman (Brown University)
OOPSLA Artifact Evaluation Co-Chair: Guillaume Baudart (INRIA)
DLS General Chair: Stefan Marr (University of Kent)
GPCE General Chair: Bernhard Rumpe (RWTH Aachen University)
GPCE PC Chair: Amir Shaikhha (University of Edinburgh)
LOPSTR PC Chair: Robert Glück (University of Copenhagen, Denmark)
LOPSTR PC Chair: Bishoksan Kafle (IMDEA)
MPLR General Chair: Rodrigo Bruno (University of Lisbon)
MPLR PC Chair: Elliot Moss (University of Massachusetts Amherst)
PPDP PC Chair: Santiago Escobar (Universitat Politècnica de València )
SAS Co-Chair: Manuel Hermenegildo (Technical University of Madrid & IMDEA)
SAS Co-Chair: José Morales (IMDEA)
SAS Artifact Evaluation Chair: Marc Chevalier (Snyk)
SLE Chair: João Saraiva (University of Minho)
SLE PC Co-Chair: Thomas Degueule (CNRS, LaBRI)
SLE PC Co-Chair: Elizabeth Scott (Royal Holloway University of London)
Onward! Papers Chair: Tijs van der Storm (CWI & University of Groningen)
Onward! Essays Chair: Robert Hirschfeld (University of Potsdam; Hasso Plattner
Institute)
SPLASH-E Co-Chair: Molly Feldman (Oberlin College)
Posters Co-Chair: Xujie Si (University of Toronto)
Workshops Co-Chair: Mehdi Bagherzadeh (Oakland University)
Workshops Co-Chair: Amin Alipour (University of Houston)
Hybridisation Co-Chair: Youyou Cong (Tokyo Institute of Technology)
Hybridisation Co-Chair: Jonathan Immanuel Brachthäuser (University of Tübingen)
Video Co-Chair: Guilherme Espada (University of Lisbon)
Video Co-Chair: Apoorv Ingle (University of Iowa)
Publicity Chair, Web Co-Chair: Andreea Costea (National University Of Singapore)
Publicity Chair, Web Co-Chair: Alcides Fonseca (University of Lisbon)
PLMW Co-Chair: Molly Feldman (Oberlin College)
PLMW Co-Chair: Youyou Cong (Tokyo Institute of Technology)
PLMW Co-Chair: João Ferreira (University of Lisbon)
Sponsoring Co-Chair: Bor-Yuh Evan Chang (University of Colorado Boulder &
Amazon)
Sponsoring Co-Chair: Nicolas Wu (Imperial College London)
Student Research Competition Co-Chair: Xujie Si (McGill University, Canada)
Local Organizer Chair: Andreia Mordido (University of Lisbon)
SIGPLAN Conference Manager: Neringa Young
