2023.splashcon.org
Open in
urlscan Pro
131.180.119.44
Public Scan
Submitted URL: http://2023.splashcon.org/
Effective URL: https://2023.splashcon.org/
Submission: On October 20 via api from US — Scanned from NL
Effective URL: https://2023.splashcon.org/
Submission: On October 20 via api from US — Scanned from NL
Form analysis 2 forms found in the DOM
Name: form_131600131703c411e65b13378d08eb1f6672b5a0259 — POST https://2023.splashcon.org/eventDetailsModalByAjaxConferenceEdition
<form name="form_131600131703c411e65b13378d08eb1f6672b5a0259" id="form_131600131703c411e65b13378d08eb1f6672b5a0259" action="https://2023.splashcon.org/eventDetailsModalByAjaxConferenceEdition" accept-charset="UTF-8" method="POST" class="hidden">
<input type="hidden" name="form_131600131703c411e65b13378d08eb1f6672b5a0259" value="1"><input type="hidden" name="context" value="splash-2023"><input name="ae03f7f6f951d515a297b161e922205d" type="text" value=""
class="inputString form-control event-id-input"><button style="position: absolute; left: -9999px; width: 1px; height: 1px;"
onclick="javascript:serverInvoke("https://2023.splashcon.org/eventDetailsModalByAjaxConferenceEdition","eventDetailsModalByAjaxConferenceEdition_ia0_3c411e65b13378d08eb1f6672b5a0259", [{"name":"context", "value":"splash-2023"},],"form_131600131703c411e65b13378d08eb1f6672b5a0259", this.nextSibling, false,"event-modal-loader"); return false;"></button><a submitid="eventDetailsModalByAjaxConferenceEdition_ia0_3c411e65b13378d08eb1f6672b5a0259" href="javascript:void(0)" onclick="javascript:loadImageElem=this;$(this.previousSibling).click()" id="load-modal-action"></a>
</form>Name: form_509860938088b48fd14544d4239b498a2cf339e02b — POST https://2023.splashcon.org/eventStarByAjaxConferenceEdition
<form name="form_509860938088b48fd14544d4239b498a2cf339e02b" id="form_509860938088b48fd14544d4239b498a2cf339e02b" action="https://2023.splashcon.org/eventStarByAjaxConferenceEdition" accept-charset="UTF-8" method="POST" class="hidden"><input
type="hidden" name="form_509860938088b48fd14544d4239b498a2cf339e02b" value="1"><input type="hidden" name="context" value="splash-2023"><input name="a0b55aa29cf9431a9461b359872014e3" type="text" value=""
class="inputString form-control event-id-input"><button style="position: absolute; left: -9999px; width: 1px; height: 1px;"
onclick="javascript:serverInvoke("https://2023.splashcon.org/eventStarByAjaxConferenceEdition","eventStarByAjaxConferenceEdition_ia0_88b48fd14544d4239b498a2cf339e02b", [{"name":"context", "value":"splash-2023"},],"form_509860938088b48fd14544d4239b498a2cf339e02b", this.nextSibling, false,"event-star-form"); return false;"></button><a submitid="eventStarByAjaxConferenceEdition_ia0_88b48fd14544d4239b498a2cf339e02b" href="javascript:void(0)" onclick="javascript:loadImageElem=this;$(this.previousSibling).click()" id="star-event-action"></a>
</form>Text Content
SPLASH 2023
Sun 22 - Fri 27 October 2023 Cascais, Portugal
Toggle navigation
* Attending
* Venue: Hotel Cascais Miragem
* Registration
* Sponsoring
* Code of Conduct
* Support for Attending the Conference
* Live Streams
* Instructions for Presenters
* How to SPLASH (Quick Attendee Guide)
* Program
* Complete Program
* Your Program
*
* Sun 22 Oct
* Mon 23 Oct
* Tue 24 Oct
* Wed 25 Oct
* Thu 26 Oct
* Fri 27 Oct
* Tracks
* SPLASH 2023
* OOPSLA
* OOPSLA Artifacts
* Doctoral Symposium
* Onward! Essays
* Onward! Papers
* PLMW
* Posters
* SPLASH-E
* Student Research Competition
* Volunteers
* Workshops
* DEI Activities
* CARES
* Co-hosted Conferences
* DLS
* GPCE
* LOPSTR
* MPLR
* PPDP
* SAS
* SAS
* SAS
* SAS Artifacts
* SLE
* Workshops
* CONFLANG 23
* FTSCS
* HATRA
* IWACO
* LIVE
* PAINT
* PLF
* REBLS
* ST30
* VMIL
* Organization
* SPLASH 2023 Committees
* Organizing Committee
* Steering Committee
* Track Committees
* OOPSLA
* OOPSLA Review Committee
* External Review / Artifact Evaluation Committee
* OOPSLA Artifacts
* Doctoral Symposium
* Onward! Essays
* Program Committee
* Onward! Steering Committee
* Onward! Papers
* Program Committee
* Steering Committee
* PLMW
* Organizing Committee
* Speakers & Panelists
* Mentors
* Posters
* SPLASH-E
* Program Commitee
* Steering Committee
* Student Research Competition
* Organizers
* Judges
* Reviewers
* Volunteers
* Workshops
* Contributors
* People Index
* Co-hosted Conferences
* DLS
* Program Committee
* Steering Committee
* GPCE
* Organizing Committee
* Program Committee
* LOPSTR
* N/A - check homepage
* MPLR
* Organizing Committee
* Program Committee
* PPDP
* N/A - check homepage
* SAS
* Invited Speakers
* Organizing Committee
* SAS 2023
* SAS 2023 Artifacts
* SLE
* Organizing Committee
* Program Committee
* Workshops
* CONFLANG
* Organizing Committee
* Program Committee
* FTSCS
* Organizing Committee
* Program Committee
* HATRA
* Organizing Committee
* Program Committee
* IWACO
* Organizing Committee
* Program Committee
* LIVE
* Organizing Committee
* Program Committee
* PAINT
* Organizing Committee
* Program Committee
* PLF
* Organizing Committee
* Program Committee
* REBLS
* Organizing Committee
* Program Committee
* ST30
* Organizing Committee
* Programme Committee
* VMIL
* Organizing Committee
* Program Committee
* Search
* Series
* Series
*
* SPLASH 2024
* SPLASH 2023
* SPLASH 2022
* SPLASH 2021
* SPLASH 2020
* SPLASH 2019
* SPLASH 2018
* SPLASH 2017
* SPLASH 2016
* SPLASH 2015
* SPLASH 2014
* SPLASH 2013
* SPLASH 2012
* SPLASH 2011
*
* SPLASH 2010
*
* OOPSLA 2009
* OOPSLA 2008
* OOPSLA 2007
* OOPSLA 2006
* OOPSLA 2005
* OOPSLA 2004
* OOPSLA 2003
* OOPSLA 2002
* OOPSLA 2001
* OOPSLA 2000
* Sign in
* Sign up
1.
2.
3.
4.
5.
6.
7.
8.
CASCAIS
LISBOA
PALÁCIO DA PENA
QUINTA DA REGALEIRA
PASTEL DE BELÉM
TERREIRO DO PAÇO
CASTELO DE SÃO JORGE
Photo by Yao Li
LINHA DE CASCAIS
COASTAL TRAIN LINE BETWEEN LISBON AND CASCAIS
SPLASH 2023
The ACM SIGPLAN International 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.
We welcome the community to join us in Lisbon to celebrate humanity at the core
of the software development process. We encourage everyone to participate in the
many different events co-located with SPLASH, such as OOPSLA or Onward! Papers
and Essays. Once again, researchers will circumnavigate the world to meet in
Lisbon to discuss science and humanities.
KEYNOTES
Keynote
GOAL-DIRECTED ABSTRACT INTERPRETATION AND EVENT-DRIVEN FRAMEWORKS
BOR-YUH EVAN CHANG
Keynote
ALL THE LANGUAGES TOGETHER
AMAL AHMED
Keynote
SCALING UP MACHINE LEARNING WITHOUT TEARS (AND WHAT DO PROGRAMMING LANGUAGES
HAVE TO DO WITH IT)
DIMITRIOS VYTINIOTIS
Keynote
ABSTRACT INTERPRETATION IN INDUSTRY - EXPERIENCE AND LESSONS LEARNED
DANIEL KAESTNER
Keynote
VERIFYING INFINITELY MANY PROGRAMS AT ONCE
LORIS D'ANTONI
Keynote
HYDROFLOW: A COMPILER TARGET FOR FAST, CORRECT DISTRIBUTED PROGRAMS
JOSEPH M. HELLERSTEIN
Keynote
ON-THE-FLY VERIFICATION VIA INCREMENTAL, INTERACTIVE ABSTRACT INTERPRETATION
WITH CIAOPP AND VERIFLY
MANUEL HERMENEGILDO
KEYNOTE: FEELING THE LOCAL-FIRST ELEPHANT: A ROADMAP, HIDDEN GEMS, AND NEW
PUZZLES FROM THE FIELD
BROOKLYN ZELENKA
OPENING, KEYNOTE: BOUNDED STL MODEL CHECKING FOR HYBRID SYSTEMS
KYUNGMIN BAE
Keynote
CREATING A LEARNABLE AND INCLUSIVE PROGRAMMING LANGUAGE
FELIENNE HERMANS
Keynote
EMBEDDING QUANTITATIVE PROPERTIES OF CALL-BY-NAME AND CALL-BY-VALUE IN A
UNIFYING FRAMEWORK
DELIA KESNER
Keynote
UNIFICATION MODULO EQUATIONAL THEORIES IN LANGUAGES WITH BINDING OPERATORS
MARIBEL FERNANDEZ
RemoteKeynote
BUILDING TRUST AND SAFETY IN ARTIFICIAL INTELLIGENCE WITH ABSTRACT
INTERPRETATION
GAGANDEEP SINGH
SPLASH 2023 SCHEDULE (OVERVIEW)
Room Sun, Oct 22 Mon, Oct 23 Tue, Oct 24 Wed, Oct 25 Thu, Oct 26 Fri, Oct 27
Room I (392)SAS /
Posters (evening)SASSAS /
Posters (evening)OOPSLAOOPSLAOOPSLA Room II (196)MPLRSLESLEOOPSLAOOPSLAOOPSLA
Room IV (36)FTSCSREBLS Room V (37)PAINT Room XIII (44)ST30ST30IWACO Room XV
(100)GPCEGPCEDLS Ocenos (50)PPDPPPDPCONFLANG Room VI (108)HATRAVMILPLF Room VII
(90)LOPSTRLOPSTROnward!Onward! Room XII (120)LIVEDoctoral
SymposiumSPLASH-EOOPSLAOOPSLA Room III (270)PLMWJob Market Breakfast / LGBTQ
lunchJunior Faculty breakfast / URM LunchSIGPLAN-M Lunch Room XIOffice
roomOffice roomOffice roomOffice roomOffice roomOffice room GalleryCoffee break
/ LunchCoffee break / LunchCoffee break / LunchCoffee break / Lunch / Standing
buffet, receptionCoffee break / LunchCoffee break / Lunch
Our expected daily schedule is as follows (please do check out the detailed
program as well since some of the events’ programs deviate slightly):
Time Slot 7:30am - 4pmRegistration 8am - 9amMentoring Breakfast (Wed/Thu)* 9am
(or 9:30am) - 10:30amFirst Session / Keynote Talk 10:30am - 11amMorning Break
11am - 12:30pm (or 12:30pm TBC)Second Session 12:30pm - 2pmLunch 2pm -
3:30pmThird Session 3:30pm - 4pmAfternoon Break 4pm - 5:30pmFourth Session
5:30pm - 7:30pmPoster Session / Reception
*requires prior registration
DEI EVENTS:
Wed, Oct 25 Thu, Oct 26 Fri, Oct 27 Job Market Breakfast
(Room III)Junior Faculty Breakfast
(Room III)SIGPLAN-M Lunch LGBTQ Lunch
(Room III)URM (Under-represented Minorities) Lunch
(Room III) Women@SPLASH dinner
(Restaurant Baía do Peixe,
Av. Dom Carlos I 6, 2750-310 Cascais)
LATEST NEWS
* Tue 19 Sep 2023 by Andreea Costea
SPLASH 2023 PROGRAM
The tentative full SPLASH 2023 schedule is now publicly available!
* Mon 14 Aug 2023 by Andreea Costea
REGISTRATION IS NOW OPEN!
The registration for SPLASH 2023 has multiple pass options and once
registered for a certain day you will have access to all the events during
that day.
All News Articles
SPLASH 2023 Tracks
OOPSLA | OOPSLA Artifacts | Doctoral Symposium | Onward! Essays | Onward! Papers
| PLMW@SPLASH | Posters | SPLASH-E | Student Research Competition | Volunteers |
Workshops | DEI Activities | CARES
Show all tracks
Important Datesup till Mon 23 Oct 2023
Sun 22 Oct 2023
HATRA HATRA workshopSun 22 Oct 2023
FTSCS WorkshopSun 22 Oct 2023
MPLR Conference dateSun 22 - Mon 23 Oct 2023
ST30 WorkshopMon 23 Oct 2023
VMIL WorkshopMon 23 Oct 2023
PAINT WorkshopMon 23 Oct 2023 new
LIVE LIVE workshop (Room XII / Discord)Mon 23 Oct 2023
PLMW Programming Languages Mentoring Workshop! All important dates
Featured News
SPLASH 2023 Program Tue 19 Sep 2023Registration is now open!Mon 14 Aug 2023
X
Facebook
Supporters
DiamondDiamondSilverSilverBronzeBronzeBronze
xFri 20 Oct 19:55
SPLASH 2023
--------------------------------------------------------------------------------
using conf.researchr.org (v1.61.3)
Support page
TRACKS
OOPSLA
OOPSLA Artifacts
Doctoral Symposium
Onward! Essays
Onward! Papers
PLMW
Posters
SPLASH-E
Student Research Competition
Volunteers
Workshops
DEI Activities
CARES
CO-HOSTED CONFERENCES
DLS 2023
GPCE 2023
LOPSTR 2023
MPLR 2023
PPDP 2023
SAS 2023
SLE 2023
WORKSHOPS
CONFLANG 2023
FTSCS 2023
HATRA 2023
IWACO 2023
LIVE 2023
PAINT 2023
PLF 2023
REBLS 2023
ST30
VMIL 2023
ATTENDING
Venue: Hotel Cascais Miragem
Registration
Sponsoring
Code of Conduct
Support for Attending the Conference
Live Streams
Instructions for Presenters
How to SPLASH (Quick Attendee Guide)
Sign Up