SPLASH 2021
Welcome
Welcome to SPLASH 2021, 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 on the applications of programming languages—at the intersection of programming languages and software engineering. SPLASH took place Sunday October 17th to Friday 22th in Chicago as well as virtually. Thank you speakers, student volunteers, and attendees for making SPLASH a great conference.
SPLASH 2021 required in-person attendees to be fully vaccinated, as defined by the Center for Disease Control (CDC). 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 offered virtual attendance options for those individuals who are not fully vaccinated. Vaccination validation was conducted by a vendor contracted by the ACM to perform this validation for the SPLASH 2021 conference. Masks were required at SPLASH 2021.
The virtual attendance option was available to unvaccinated attendees.
SPLASH Schedule
Room | Sun, Oct 17 | Mon, Oct 18 | Tue, Oct 19 | Wed, Oct 20 | Thur, Oct 21 | Fri, Oct 22 |
---|---|---|---|---|---|---|
Zurich D | APLAS | APLAS | SAS | |||
Zurich B | SAS | SAS | REBASE | OOPSLA | OOPSLA | OOPSLA |
Zurich C | ||||||
Zurich E | Scala | CONFLANG | HATRA | SPLASH-E |
Previous Year's Papers |
Previous Year's Papers |
Zurich F | AGERE | DSM | LIVE | Previous Year's Papers |
Previous Year's Papers |
|
Zurich G | BCNC | REBLS | VMIL | Previous Year's Papers |
Previous Year's Papers |
Previous Year's Papers |
Zurich A |
|
Invited Speakers @ Workshops & Co-located Conferences
![Mooly Sagiv](https://2021.splashcon.org/getProfileImage/moolysagiv/17a6c1de-acc6-4475-997a-dd6cfccb624c/avatar.jpg?1711469273000)
Pointer Analysis of Bytecode Programs for Effective Formal Verification of Smart Contracts
Mooly Sagiv
![Cristina Cifuentes](https://2021.splashcon.org/getProfileImage/cristinacifuentes/93834d39-4b1a-463a-8a8f-b4ab41fc90d3/avatar.jpg?1711472409000)
Oracle Parfait: The Flavour of Real-World Vulnerability Detection and Intelligent Configuration
Cristina Cifuentes
![Jonathan Aldrich](https://2021.splashcon.org/getProfileImage/jonathanaldrich/fef1660f-f39d-4a5a-8a6c-ed4c91cef11c/avatar.jpg?1711456124000)
SLE Keynote - Integrating Usability into Programming Language Design
Jonathan Aldrich
![Jonathan Worthington](https://2021.splashcon.org/getProfileImage/jonathanworthington/76d76a89-f5de-402d-a943-0bc88a60c457/avatar.jpg?1712709268000)
Reflections on a decade of MoarVM, a runtime for the Raku programming language
Jonathan Worthington
![Clemens Nylandsted Klokmose](https://2021.splashcon.org/getProfileImage/clemensnylandstedklokmose/69c6f0cc-510d-49fd-92a7-68d0f9875b24/avatar.jpg?1711485193000)
Software as Computational Media
Clemens Nylandsted Klokmose
![Timothy Bourke](https://2021.splashcon.org/getProfileImage/timothybourke/f8a4f990-d393-49be-9358-b4b91ee88aad/avatar.jpg?1711543081000)
Specification and End-to-End Proof of a Reactive Language and Its Compiler (Invited Talk)
Timothy Bourke
![Sorin Lerner](https://2021.splashcon.org/getProfileImage/sorinlerner/ac0ada55-0c39-453b-860f-1d9607e0b83a/avatar.jpg?1711477472000)
GPCE Keynote - Live Programming and Programming by Example: Better Together
Sorin Lerner
![Christian Wimmer](https://2021.splashcon.org/getProfileImage/christianwimmer/b676fc5e-10b7-4f65-bed4-12404220c2fa/avatar.jpg?1711477717000)
GraalVM Native Image: Large-scale static analysis for Java
Christian Wimmer
![Gerard Holzmann](https://2021.splashcon.org/getProfileImage/gerardholzmann/b6b7fa36-549e-405b-9c50-a6fee9292eab/avatar.jpg?1711561272000)
Interactive Code Analysis
Gerard Holzmann
![Tobias Grosser](https://2021.splashcon.org/getProfileImage/tobiasgrosser/79e55511-4ace-4282-a543-ff980c0d0744/avatar.jpg?1711483885000)
Cross-Domain Compilation: Exploiting Synergies Across the CS Community
Tobias Grosser
Latest News
- Wed 8 Sep 2021 by Hridesh Rajan
Early Registration Open for SPLASH 2021 (August 24, 2021)
SPLASH 2021 registration is now open. Please register using this online registration form. Early registration closes on September 18, 2021.
- Wed 8 Sep 2021 by Hridesh Rajan
State of SPLASH 2021 (August 20, 2021)
SPLASH 2021 will require in-person attendees to be fully vaccinated, as defined by the Center for Disease Control (CDC). 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 …
read full article