Skip to Content.
Sympa Menu

coq-club - [Coq-Club] SPLASH 2023 Call for Participation

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] SPLASH 2023 Call for Participation


Chronological Thread 
  • From: Alcides Fonseca <amfonseca AT ciencias.ulisboa.pt>
  • To: <seworld AT sigsoft.org>, <types-announce AT lists.seas.upenn.edu>, <concurrency AT listserver.tue.nl>, <hpc-announce AT mcs.anl.gov>, <coq-club AT inria.fr>, <agda AT lists.chalmers.se>, <haskell-cafe AT haskell.org>, <CS-APT AT listserv.manchester.ac.uk>
  • Subject: [Coq-Club] SPLASH 2023 Call for Participation
  • Date: Tue, 19 Sep 2023 11:56:17 +0100
  • Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=amfonseca AT ciencias.ulisboa.pt; spf=Pass smtp.mailfrom=amfonseca AT ciencias.ulisboa.pt; spf=None smtp.helo=postmaster AT MX01.fc.ul.pt
  • Ironport-data: A9a23:IAXRuaPKGLu5PXnvrR1zk8FynXyQoLVcMsEvi/4bfWQNrUoq0DQBn 2sfXGqHaPeONmTzfttyPIrloUxVvZ6EyYQyTXM5pCpnJ55ogZqcVI7Bdi8cHAvLc5adFBo/h yk6QoOdRCzhZiaE/n9BCpC48T8mk/vgqoPUUIbsIjp2SRJvVBAvgBdin/9RqoNziLBVOSvU0 T/Ji5OZYAXNNwJcaDpOsPrS8UI35pwehRtB1rAATaAT1LPhvyJNZH4vDfnZB2f1RIBSAtm7S 47rpF1u1j6xE78FU7tJo56jGqE4aua60Tum1hK6b5Ofbi1q/UTe5EqU2M00Mi+7gx3R9zx4J U4kWZaYEW/FNYWU8AgRvoUx/4iT8sSq9ZeeSUVTv/B/wGXiKn7eks42B311Esoe8O0mHn5Up KYXfWVlghCr34pawZqeerE1wMooatTvepsD0p1i5WiIUbB/GM+FH/+MvoIwMDQY3qiiGd7XY sQebyFiZx3oaBxCPFwWAYl4geOpnXP4entAtDp5oIJpvTONkVQojtABNvLtUOyYW+VEhH+Tq 0mY5H3TPxQ9LN+AnG/tHnWE3bORwXqiCer+DoaQ/flzxVaX22Y7EwwTTVL9oP+ji0f4Vcg3F qAP0i8+9fF0+kftU927RwHQTGO4UgA0f4NVIbwBsAqxiYWT5QySV3cbVG8bZ4lz3CMpfgAC2 liMltLvIDVgtryJVH6QnoupQSOO1Ts9dj9dPndVJecRy5yy+dps1HojW/45SMaIYsvJ9SbY+ wziQMIWo7QIh8kNv0lQ1Qma22rp/sCQJuLZziHWRWii6GtEiGONYpzwsB7V5rBdKMCBUjFtX UToeeDAt4ji7rnXzURhpdnh+pnyv55p1xWH2jZS82EJrWjFxpJaVdk4DMtCDEloKN0YXjTif VXevwhcjLcKYir3NfEuM9ntWph1pUQFKTgDfq2OBjapSsUrHDJrAAk0NCZ8Iki2yxJ2wfFX1 WmzKJ71XB729piLPBLtG7lBiOZ6rszP7W3UWJb3xgim1rzWanmPAawOMVaIZe1x5aWI6BnY+ NZZMM+NxAQbGPX5eDXK/ocXRW3m3lBmba0aX/d/L7bZSiI/QTlJI6aIkdsJJdc/94wLzbigw 51IchICoLYJrSeZeVzih7EKQO6HYKuTWlpgYXd8Ywv0hyB+CWtthY9GH6YKkXAc3LQL5ZZJo zMtIq1s29wfG2yVyCdXdpTnso1peTKigA/EbWLvYyEyc9QkD0bF88PtNFmnviQfLDuFhe1nq Z2Z1yTfXcUiQSZmB53oc/6B9Q66kkUcv+NQZHH2BOdvVn/iyrU3FBypvMQLe5kNDT7h2gql0 x2nBEZEhOvV/K4w3tr7pYGFiIaLEeJBIFdrRW3b5qfrbCP1+niSxN5AdOCiJRHcS2LG16Gwb spFz/zHEaMmnXQbl6FeArpU3aYFyN+3nIBjzyNgB2TtU1SnLphCM0u295BDmYMVz4AIpDbsf FyE/+drHImgOeTnIQY3HxUkZOHS7sMksGDewtptKXqr+RIt2qSMVHhTGBy+iCZ9Cr9RG6F9y McDvP8m0SCOuiAIAP2n0B8Nr3+tK0YeWZoJrpsZWY/nqjQ6w2F4PKDzNHXE34GtWf5tbG8ae iSZlYjTtYR6n0DiSUc+JVLJ/OhahKkNhix08U8/FwyJtObo1v4T9z9NwAszVTVQn0lm0fosG 21FNH9VBKSp/hVOu+RqT0SpKQNlAiOC3krbk3oIi2zrYE26XUPdLGAGGLis/WJI10l+bzRk7 LWj52K9agnTfeb1xTkXdX9+jv7eEexK6QzJnf64E/S/H5UVZSTvhomsbzEqryTLLNwQhkqdg 8VX58d1NLPGMBAPr50BC4W10aoaTDaGLjdgRdBj5KY4InHOSgqt2DShK1GDRe0VHqbkqXSHM s1JIt5Dcz+c1yzU9zASOvMqEo9OxfUs4IIPR6PvKWs4qICglztOsqyB0gjlhWQufcdirtZlF KPVaAC5MzKxgVl6pjbzifdqa0uCT/sKXgne5NyO0f4oEssDud58cEtp3bqTuW6UATRd/BmVn V3iYonO/dM/y41TsZnIFJtYDjWSKNmpefmD0Dmyl/9sbtr/F9jEmC1Ii1vgPiVQZaAwXfYun 5uzkdfH5mH3l5dobHL4wr6vT7Jo4+e2V8ppavPHFmFQx3a+aZW98ik99HCdAr0XttFkv+2MZ RayMem0fv4rA+Zt/mVfMXViIkxMGpbMT/nSoA2mpK6xETkb6wvMKe2n+VLPbW12ciwpOYX0O jTrusSBt8xpk4BROCAqX/1WIYd0AFvGa5sUc9fcsTq5DG7xjG3b6/Gm3VAl5CrQA3aJLNfi7 NiXDlLifRC1o+fTwMsfr4V2uQYNAW1ghfUrOHgQ4MNylyvwGVtuwT7x6nnaIso8fu3OOJDEi PXlSVt6UGPzVnJZdVPk/LwPm+tZ6vMmYr/Eyv4Bpit4qBtawKuLAbZn/SZp+DFrfjr4xuaub 8kCkpE1Fgbk2YlnHI7/+dTi6dqKBZrmKrYg8kHwlcfzCg1YHLELz3ZmFUxVSUQr1i0LeFrjf QAIeIyPfK13pYMd3yqtl7651Sz1ZA/S8gg=
  • Ironport-hdrordr: A9a23:qRC9Iat8cKdaE4ixp8OpR+In7skD1NV00zEX/kB9WHVpm6uj5r 2TdZUgpGXJYVMqMk3I9urwX5VoLUmskaKdgrNhWItKPjOWwVdARbsKheCOr1KPehEWndQtrZ uIHZIOc+HYPBxUp/repC2xE9MbytGB96yy7N2usUtFfEVEQZ1EqyNwCgOgGEVwQwVcQbUjEp 703Ls3mxOQPVs8UuH+InEEWtLIr9rNmImjQTNuPW9Z1CC+yRyD1Ju/NxCZ2y0VWzRJzaxn0W /LlRf87riitfbT8G6h64YR1fRrseqk5N9KBMnJrNMUJDXqggPtQIh6QbWNsHQUjYiUmTAXeR X30nQd1g1ImhHsl3+O0GvQ5zU=
  • Ironport-phdr: A9a23:Rx7ZPR06NArE1c5ssmDO9w0yDhhOgF0UFjAc5pdvsb9SaKPrp82kY BaBo6w91RSRBs3y0LFts6LuqafuWGgNs96qkUspV9hybSIDktgchAc6AcSIWgXRJf/uaDEmT owZDAc2t360PlJIF8ngelbcvmO97SIIGhX4KAF5Ovn5FpTdgsip1u2+4YDfbgZViDayfb9/I gi9oBnMuMURnYZsMLs6xAHTontPdeRWxGdoKkyWkh3h+Mq+/4Nt/jpJtf45+MFOTav1f6IjT bxFFzsmKHw65NfqtRbYUwSC4GYXX3gMnRpJBwjF6wz6Xov0vyDnuOdxxDWWMMvrRr0yRD+s7 bpkSAXwhSgINzA3/mLZhNFugq1HrxysvAB/w5fObY2JKPZyYqHQcNUHTmRBRMZRUClBD5ugY osLE+UBPPtXoJfmp1ATrRW+Ag+sBPjxxTBUnHD9wKo33P4kEQHI2wwgGckOv2rIo9rvL6odT eG1w7fOzTrfbvNZwyz95JLVchAloPGMRql/cc3LxkU1DwPFkkydpIr4NDyayuoDqXKU7/Z8V e2xkW4nrRl8ryShyMsxi4TEhIIbxFDK+yh23Is4J8G1RFN1b9CqDZdcqz2WOoRqTs4/TW9mu Ds2x6EJtJO1YCQExooqywDDZ/GBboOG7BXjVOOLLjd5gnJoYKm/hw628Ue60e38VtW70FFMr iZfldnMrH8N2hrO4caEUvtw5lqt1DKA2gzJ9+1IPEI5mbDUJpI/2LI9mJoevVzdEiPqnEj6l qybe0U+9uS29ejrf6/qqoKeOoNpjAz1L74gldalAesiNwgDR2ib9vq41L3k5UD3R7RFguErn qXDvpDVOd4XprO9AwNPyoYj9w6zDzag0NsGgXkKNE9JdRaIgoTzJl3CPfL1Ae2wjliyijtmy fDLMqXkAprXL3jDlLnhfax6605Z0Ac819Vf55xTCrEHO/L8RFP+u8bDAxAlMgy73eDnB8l81 owEQmKDGLKZMKfTsV+T/e0vJPODaJUNuDbhM/Ql4eXhgmcjmVABZampwYcXaHegE/h7O0mZe 2bjgs8dEWcWuQozVPDliFqbUTJKe3myW7886SogBYK9DYbDQ5itj6ab0Ce6GJ1WfGFGBUqWH XfmbYXXE8sLPXaJL9BmiDgIfaOgRJQm2w3osxX1nf4vevbF4iAD8Jvl0t9o4ebevRUz7iBvS d+Q2nrLUnl5mGVOSjMriuQ39Ud6zFyey7J1hfdJPdhS/O9SXx0kOISa0/F3Tdb2DEaJKteRQ xOvRNOhHDc6Q/o0yMRIakB5XdqlkEaHl36hBKZQnLiWDrQ19Ljd1j7/PZA5gyLP26Uop10nW ddUc2amj6p6+hLIQZXExQHRw6ajbqcR2CqI/26NwEKOtVpbXQp0F6LfUiZbLh/9lpHQ3n/qS 761Fa8qKBUHzMeEIatHccHklxNPT7H+O4KNTXi2njKZAR2Jyr6XJKTtfX4Q1yyVXEEBnQcV5 nuNPCA1ByqnqGPXF3pzEVP0aUTlt/Fi/iDoBnQoxh2HOhUyn4G+/QQY0KT0o5I727sFvHxks DBoBBOm2MqQDdOcpg1ndaEaYNUn4V4B23iK/xdlMMmGKKZvzkUbbxwxp1nnghxyBIJGisUhp VshzQd0IqORyxVcczKD15f5fKXLeSHp5B76U6fNwRnF1cqOvKIG6fA2sVLm6QisGE0k6Hhs2 vFe0naa7ZTDF0wPVZPqWEE+sQBm9PnBeidowYTS2DV3NLWs9D/P39V8HOw+1hOpZMtSKouhJ FerVcMRQdWqbvQ287SwRjQDOu0atKs9Psf9MuCDxLbuJ+F42jSvkWVA5ol5lEOK7St1DODSj d4DxLmD0w2LWi2Z7h/pu93rmY1CeTAZH3augSniColLY6RufIENQW6wKsyzz996itbjQXldv FKkAloH3oeud3/wJxT02ANX018aqnWPkiq1yTd1mipvs66exybJyqL6aFtPO2JGQnVjkUa5O ZK93LV4FACjawkkkgfg5F6vnvkH4v0mcC+PGwETInuTTSkqSKa7u7ucbtQa7ZoptX4SS+Gge RWBTaa7pRIG0iTlFm8YxTYhdjjstI+q+n4ywG+bMnt3q2LUPM9qwhKKrtXZS/lXxTcNTQFzi DTRDVm1JJ+0+dSPnZDK9PiiHTHENNUbYWzwwIWMuTHur2RvDxq5hP24k/XsEAU82i7yzJ93U STTphH1JJH3nfffU6ovbgxjA1ny7NB/E4d1n94rhZ0e7nMdg42c4XsNlWqb3cxz4avldzJNQ DcKx4WQ+w35wAh4KWrPwYvlV3Kby88nZt+gY2pQ1Dhvp8xNDa6V6vRDk04X6hKxqAzWZ+Nwl T41wvoj7nUbivpPpQ4s1S+aC/YKAQFUMDftmBKB892l5PwGOCD2KOf2iBA4xo3pBarnwEkUQ Hvjf5Y+ASJ8pt5yNl7Byjy7643pfsXRccNGsxSVlxnaiO0GYJk1l/cMmW9mITek7CFjkrdky 0A0m8rn7+3lYy138am0AwBVLGjwbsIXoXT2iLpG292Rx8apF4lgHTMCWN3pS+ipGXQcr6eCV U7GHTsip3OcAbeaExWY7RIspnfBFJawOnqeDHIYwNNpRRCGYlFbgRseWzx8hoJzRWXIjITxN Vx04Dwc/Auyox5CzeRzOhL2emzeqQGjaz4vDoWbLQFc6QgE/1ufYqn8pqpjWipf+JOmtgmEL GeWMh9JAW8+UUuBH1n/P7Oq6IqI462CC+G5NfeLfaSWpLkUSaKT3Zz2mNgDnX7EJoCVM3JlF fF+xkdTQSUzBZHCgztWAykH3yufat7D/VGy8Wtqqoan7LziCgf/vdHJBbAULNEp4wzT4+/LP ryVlH4ibzhTkI4Ig2fUgLFN2U5K12dgfH+wFfIYqWbEHqfAwvIRARVddic1LNctjep011tWP NLDkZX51/h2hbgoDxFdSRSkk8WtL6TmOkmbM1XKTAaOPbWCfnjQxt3vJLi7UftWhflVsBu5v XCaFVXiN3KNjWuhURfnKuxKgCyBWX4W8IigbhZgD3TiR9P6e1W6NtFwlzg/3bwzgDvDK2cdN TF2d04FoKeX6GtUhfB2GmoJ6XQAT6HMgyGC8+zRMYobq9NOMnwt0exRpmk+jaNJrWlFSPFzh CrOv4turlWhwYztgnJsVBtDrCoOhZre5BQ+f/yAqd8cAzCfoUFojy3YERkBqtp7B8e6vqlRz oOKj6fvMHJZ9MqS+8IABs/SIcbBMXw7MBOvFiSHaWlNBTOtK2zbgFRQ1f+I8XjA5JE/pJ/qg 5cFQ5dQVVEzHfITEQJ4GN0ZKpB+GCs42+3+7oZA9T+loR/dSd8P9IjATe6XCO7zJSyxqIkcP l0GyvXlKcILKseovi4qIkk/l4PMFU3KWNlLqSA0dQ44rnJG931mR3Ey0UboAutCyHQSGPi/n xctzBZ6YP8n8z6q+0tlfzIiRQMVoBFo39vuxy2VNibtfv/YtWR+ACv5sUMwO4i9XgJ0dge1l Ap8KGWcL48=
  • Ironport-sdr: 65097eb4_ps4eG8pLosFa/6HBkTDibaaUFwkj2sTJfgCu2+2E/ubSu4H 9u7Am8TffVtcVS8XDIDRzkEfjB7sjKapFXpr1/A==

======================================================================

Call For Participation


ACM Conference on Systems, Programming, Languages, and Applications:

Software for Humanity (SPLASH'23)


October 22-27, 2023, Cascais, Portugal


https://2023.splashcon.org/

Follow us on Twitter @splashcon


======================================================================


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.


======================================================================

# Participation

======================================================================


The registration information, including the link to registration form
is available at


https://2023.splashcon.org/attending/Registration


======================================================================

# List of Keynotes/Invited Talks

======================================================================


SPLASH will feature three keynotes:

Amal Ahmed, Northeastern University, USA

Dimitrios Vytiniotis, DeepMind, UK

Joe Hellerstein, UC Berkeley, USA




SPLASH co-located events include a number of speakers:

Andreas Rossberg, Independent, Germany (MPLR)

Manuel Hermenegildo, IMDEA, Spain (LOPSTR)

Maribel Fernández, King's College London, UK (PPDP+LOPSTR)

Delia Kesner, Université Paris Cité, France (PPDP)

Daniel Kaestner, AbsInt, Germany (SAS)

Gagandeep Singh, University of Illinois Urbana-Champaign, USA (SAS)

Bor-Yuh Evan Chang, University of Colorado Boulder & Amazon, USA (SAS)

Loris D’Antoni, University of Wisconsin, Madison, USA (SAS)


======================================================================

# 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.



** PLMW@SPLASH **

The SPLASH 2023 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 **

======================================================================


**** 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.


**** 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.


**** 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.


**** 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.



**** VMIL ****


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. The workshop is intended to be welcoming

to a wide range of topics and perspectives, covering all areas

relevant to the workshop’s theme.


======================================================================

** 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
fordoctoral 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.


======================================================================

*** 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.


**** 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.



**** Logic-based Program Synthesis and Transformation (LOPSTR)****


The aim of the LOPSTR series is to stimulate and promote international
research and collaboration on logic-based program development. LOPSTR
is open to contributions in logic-based program development in any
language paradigm. LOPSTR has a reputation for being a lively,
friendly forum for presenting and discussing work in progress.


**** 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).


**** Principles and Practice of Declarative Programming (PPDP) ****


PPDP aims to provide a forum that brings together researchers from the
declarative programming communities, including those working in the
logic, constraint and functional programming paradigms, but also
embracing a variety of other paradigms such as visual programming,
executable specification languages, database languages, AI languages
and knowledge representation languages used, for example, in the
semantic web.

The goal is to stimulate research in the use of logical formalisms and
methods for specifying, performing, and analysing computations,
including mechanisms for mobility, modularity, concurrency,
object-orientation, security, and static analysis. Papers related to
the use of declarative paradigms and tools in industry and education
are especially solicited.


**** Static Analysis Symposium (SAS) ****


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.



======================================================================

# Organizing Committee SPLASH 2023:

======================================================================

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)

Video Co-Chair: John Hui (Columbia University)

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: Diana Costa (University of Lisbon)

SIGPLAN Conference Manager: Neringa Young

======================================================================



Archive powered by MHonArc 2.6.19+.

Top of Page