ECOOP 2020
Sun 15 - Tue 17 November 2020 Online Conference
co-located with SPLASH 2020
VenueOnline
Room nameSPLASH-I
Additional informationThere is no additional information of this room available.
Program

You're viewing the program in a time zone which is different from your device's time zone - change time zone

Sun 15 Nov
Times are displayed in time zone: Central Time (US & Canada) change

07:00 - 07:20: Opening SessionSPLASH Opening at SPLASH-I +12h
07:00 - 07:20
Day opening
SPLASH Opening
Hridesh RajanIowa State University, USA, David GroveIBM Research, E: Christian HammerUniversity of Potsdam, E: Robert HirschfeldHasso-Plattner-Institut (HPI), Germany, E: Anders MøllerAarhus University
07:20 - 08:20: SSPLASH Keynotes at SPLASH-I +12h
07:20 - 08:20
Keynote
SPLASH Keynotes
Jan VitekNortheastern University / Czech Technical University
Media Attached
08:20 - 09:00: Breakfast in ChicagoSPLASH Posters at SPLASH-I +12h

Please click the link below for the list of featured posters.

08:20 - 09:00
Other
SPLASH Posters
09:00 - 10:20: S-2Research Papers at SPLASH-I +12h
Chair(s): Yu David LiuState University of New York (SUNY) Binghamton, Shigeru ChibaThe University of Tokyo
09:00 - 09:20
Talk
Research Papers
Matías ToroUniversity of Chile, Éric TanterUniversity of Chile
Link to publication DOI Media Attached
09:20 - 09:40
Talk
Research Papers
Lukas DiekmannKing's College London, Laurence TrattKing's College London
Link to publication DOI Pre-print Media Attached
09:40 - 10:00
Talk
Research Papers
Abel NietoAarhus University, Marianna RapoportUniversity of Waterloo, Gregor RichardsUniversity of Waterloo, Ondřej LhotákUniversity of Waterloo
Link to publication DOI Pre-print Media Attached
10:00 - 10:20
Talk
Research Papers
Hila PelegUniversity of California at San Diego, Nadia PolikarpovaUniversity of California at San Diego
Link to publication DOI Media Attached
10:20 - 11:00: Breakfast in Seattle (PLMW AMA)SPLASH PLMW at SPLASH-I
10:20 - 11:00
Talk
SPLASH PLMW
Amal AhmedNortheastern University, USA
11:00 - 12:20: S-3Research Papers at SPLASH-I +12h
Chair(s): Anitha GollamudiHarvard University, Carl Friedrich Bolz-Tereick
11:00 - 11:20
Talk
Research Papers
Mohamad BarbarUniversity of Technology, Sydney, Yulei SuiUniversity of Technology Sydney, Shiping ChenData61 at CSIRO, Australia / UNSW, Australia
Link to publication DOI Media Attached
11:20 - 11:40
Talk
Research Papers
Davide AnconaDIBRIS, University of Genova, Italy, Pietro BarbieriUniversità di Genova, Francesco DagninoDIBRIS, University of Genova, Italy, Elena ZuccaUniversity of Genova
Link to publication DOI Media Attached
11:40 - 12:00
Talk
Research Papers
Benjamin Barslev NielsenAarhus University, Anders MøllerAarhus University
Link to publication DOI Pre-print Media Attached
12:00 - 12:20
Talk
Research Papers
Ningning XieThe University of Hong Kong, Bruno C. d. S. OliveiraUniversity of Hong Kong, Xuan BiThe University of Hong Kong, Tom SchrijversKU Leuven
Link to publication DOI Media Attached
12:20 - 13:00: Breakfast in WellingtonSPLASH Meet The Speakers (MTS) at SPLASH-I +36h
12:20 - 13:00
Social Event
SPLASH Meet The Speakers (MTS)
13:00 - 14:20: S-4Research Papers at SPLASH-I +12h
Chair(s): Karim AliUniversity of Alberta, Eli TilevichVirginia Tech
13:00 - 13:20
Talk
Research Papers
Liyi LiUniversity of Illinois at Urbana-Champaign, Elsa GunterUniversity of Illinois
Link to publication DOI Media Attached
13:20 - 13:40
Talk
Research Papers
Xuejing HuangThe University of Hong Kong, Bruno C. d. S. OliveiraUniversity of Hong Kong
Link to publication DOI Media Attached
13:40 - 14:00
Talk
Research Papers
Davide AnconaDIBRIS, University of Genova, Italy, Francesco DagninoDIBRIS, University of Genova, Italy, Jurriaan RotRadboud University Nijmegen, Elena ZuccaUniversity of Genova
Link to publication DOI Media Attached
14:00 - 14:20
Talk
Research Papers
Raphaël MonatSorbonne Université — LIP6, Abdelraouf OuadjaoutSorbonne Université, Antoine MinéSorbonne Université
Link to publication DOI Media Attached File Attached
14:20 - 15:00: Cocktails in ParisSPLASH Meet The Speakers (MTS) at SPLASH-I +12h
14:20 - 15:00
Social Event
SPLASH Meet The Speakers (MTS)
15:00 - 16:20: S-5Research Papers at SPLASH-I +12h
Chair(s): Davide AnconaDIBRIS, University of Genova, Italy, Eli TilevichVirginia Tech
15:00 - 15:20
Talk
Research Papers
Simon FowlerUniversity of Glasgow
Link to publication DOI Pre-print Media Attached
15:20 - 15:40
Talk
Research Papers
Alastair DonaldsonImperial College London, Hugues EvrardGoogle, Paul ThomsonGoogle
Link to publication DOI Media Attached
15:40 - 16:00
Talk
Research Papers
Sadegh DalvandiUniversity of Surrey, Simon DohertyUniversity of Sheffield, Brijesh DongolUniversity of Surrey, Heike WehrheimPaderborn University
Link to publication DOI Media Attached
16:00 - 16:20
Talk
Research Papers
David R. MacIverImperial College London, Alastair DonaldsonImperial College London
Link to publication DOI Media Attached
16:20 - 17:00: Breakfast in SeoulSPLASH Meet The Speakers (MTS) at SPLASH-I +12h
16:20 - 17:00
Social Event
SPLASH Meet The Speakers (MTS)
17:00 - 18:20: S-6Research Papers at SPLASH-I +12h
Chair(s): Shigeru ChibaThe University of Tokyo, Tiark RompfPurdue University
17:00 - 17:20
Talk
Research Papers
Julia GabetImperial College London, Nobuko YoshidaImperial College London
Link to publication DOI Media Attached
17:20 - 17:40
Talk
Research Papers
Vlastimil DortCharles University, Ondřej LhotákUniversity of Waterloo
Link to publication DOI Media Attached
17:40 - 18:00
Talk
Research Papers
Keigo ImaiGifu University, Rumyana NeykovaBrunel University London, Nobuko YoshidaImperial College London, Shoji YuenNagoya University
Link to publication DOI Media Attached
18:00 - 18:20
Talk
Research Papers
Abel NietoAarhus University, Yaoyu ZhaoUniversity of Waterloo, Ondřej LhotákUniversity of Waterloo, Angela ChangUniversity of Waterloo, Justin PuUniversity of Waterloo
Link to publication DOI Pre-print Media Attached
18:20 - 19:00: Cocktails in RioSPLASH Meet The Speakers (MTS) at SPLASH-I +12h
18:20 - 19:00
Social Event
SPLASH Meet The Speakers (MTS)
19:00 - 19:20: Opening SessionSPLASH Opening at SPLASH-I
19:00 - 19:20
Day opening
SPLASH Opening
Hridesh RajanIowa State University, USA, David GroveIBM Research, E: Christian HammerUniversity of Potsdam, E: Robert HirschfeldHasso-Plattner-Institut (HPI), Germany, E: Anders MøllerAarhus University
19:20 - 20:20: SSPLASH Keynotes at SPLASH-I
19:20 - 20:20
Keynote
SPLASH Keynotes
Jan VitekNortheastern University / Czech Technical University
Media Attached
20:20 - 21:00: Cocktails in New YorkSPLASH Posters at SPLASH-I

Please click the link below for the list of featured posters.

20:20 - 21:00
Other
SPLASH Posters
21:00 - 22:20: S-2Research Papers at SPLASH-I
Chair(s): Atsushi IgarashiKyoto University, Japan, Hidehiko MasuharaTokyo Institute of Technology
21:00 - 21:20
Talk
Research Papers
Matías ToroUniversity of Chile, Éric TanterUniversity of Chile
Link to publication DOI Media Attached
21:20 - 21:40
Talk
Research Papers
Lukas DiekmannKing's College London, Laurence TrattKing's College London
Link to publication DOI Pre-print Media Attached
21:40 - 22:00
Talk
Research Papers
Abel NietoAarhus University, Marianna RapoportUniversity of Waterloo, Gregor RichardsUniversity of Waterloo, Ondřej LhotákUniversity of Waterloo
Link to publication DOI Pre-print Media Attached
22:00 - 22:20
Talk
Research Papers
Hila PelegUniversity of California at San Diego, Nadia PolikarpovaUniversity of California at San Diego
Link to publication DOI Media Attached
22:20 - 23:00: Lunch in TokyoSPLASH Meet The Speakers (MTS) at SPLASH-I
22:20 - 23:00
Social Event
SPLASH Meet The Speakers (MTS)
23:00 - 00:20: S-3Research Papers at SPLASH-I
Chair(s): Elisa Gonzalez BoixVrije Universiteit Brussel, Belgium, Atsushi IgarashiKyoto University, Japan
23:00 - 23:20
Talk
Research Papers
Mohamad BarbarUniversity of Technology, Sydney, Yulei SuiUniversity of Technology Sydney, Shiping ChenData61 at CSIRO, Australia / UNSW, Australia
Link to publication DOI Media Attached
23:20 - 23:40
Talk
Research Papers
Davide AnconaDIBRIS, University of Genova, Italy, Pietro BarbieriUniversità di Genova, Francesco DagninoDIBRIS, University of Genova, Italy, Elena ZuccaUniversity of Genova
Link to publication DOI Media Attached
23:40 - 00:00
Talk
Research Papers
Benjamin Barslev NielsenAarhus University, Anders MøllerAarhus University
Link to publication DOI Pre-print Media Attached
00:00 - 00:20
Talk
Research Papers
Ningning XieThe University of Hong Kong, Bruno C. d. S. OliveiraUniversity of Hong Kong, Xuan BiThe University of Hong Kong, Tom SchrijversKU Leuven
Link to publication DOI Media Attached

Mon 16 Nov
Times are displayed in time zone: Central Time (US & Canada) change

00:20 - 01:00: Breakfast in Paris (PLMW AMA)SPLASH PLMW at SPLASH-I
00:20 - 01:00
Talk
SPLASH PLMW
Sriram RajamaniMicrosoft Research
01:00 - 02:20: S-4Research Papers at SPLASH-I
Chair(s): Atsushi IgarashiKyoto University, Japan, Elisa Gonzalez BoixVrije Universiteit Brussel, Belgium
01:00 - 01:20
Talk
Research Papers
Liyi LiUniversity of Illinois at Urbana-Champaign, Elsa GunterUniversity of Illinois
Link to publication DOI Media Attached
01:20 - 01:40
Talk
Research Papers
Xuejing HuangThe University of Hong Kong, Bruno C. d. S. OliveiraUniversity of Hong Kong
Link to publication DOI Media Attached
01:40 - 02:00
Talk
Research Papers
Davide AnconaDIBRIS, University of Genova, Italy, Francesco DagninoDIBRIS, University of Genova, Italy, Jurriaan RotRadboud University Nijmegen, Elena ZuccaUniversity of Genova
Link to publication DOI Media Attached
02:00 - 02:20
Talk
Research Papers
Raphaël MonatSorbonne Université — LIP6, Abdelraouf OuadjaoutSorbonne Université, Antoine MinéSorbonne Université
Link to publication DOI Media Attached File Attached
02:20 - 03:00: Cocktails in SydneySPLASH Meet The Speakers (MTS) at SPLASH-I
02:20 - 03:00
Social Event
SPLASH Meet The Speakers (MTS)
03:00 - 04:20: S-5Research Papers at SPLASH-I
Chair(s): Davide AnconaDIBRIS, University of Genova, Italy, Jeremy GibbonsDepartment of Computer Science, University of Oxford
03:00 - 03:20
Talk
Research Papers
Simon FowlerUniversity of Glasgow
Link to publication DOI Pre-print Media Attached
03:20 - 03:40
Talk
Research Papers
Alastair DonaldsonImperial College London, Hugues EvrardGoogle, Paul ThomsonGoogle
Link to publication DOI Media Attached
03:40 - 04:00
Talk
Research Papers
Sadegh DalvandiUniversity of Surrey, Simon DohertyUniversity of Sheffield, Brijesh DongolUniversity of Surrey, Heike WehrheimPaderborn University
Link to publication DOI Media Attached
04:00 - 04:20
Talk
Research Papers
David R. MacIverImperial College London, Alastair DonaldsonImperial College London
Link to publication DOI Media Attached
04:20 - 05:00: Dinner in BeijingSPLASH Meet The Speakers (MTS) at SPLASH-I
04:20 - 05:00
Social Event
SPLASH Meet The Speakers (MTS)
05:00 - 06:20: S-6Research Papers at SPLASH-I
Chair(s): Jeremy GibbonsDepartment of Computer Science, University of Oxford, Olivier FlückigerNortheastern University
05:00 - 05:20
Talk
Research Papers
Julia GabetImperial College London, Nobuko YoshidaImperial College London
Link to publication DOI Media Attached
05:20 - 05:40
Talk
Research Papers
Vlastimil DortCharles University, Ondřej LhotákUniversity of Waterloo
Link to publication DOI Media Attached
05:40 - 06:00
Talk
Research Papers
Keigo ImaiGifu University, Rumyana NeykovaBrunel University London, Nobuko YoshidaImperial College London, Shoji YuenNagoya University
Link to publication DOI Media Attached
06:00 - 06:20
Talk
Research Papers
Abel NietoAarhus University, Yaoyu ZhaoUniversity of Waterloo, Ondřej LhotákUniversity of Waterloo, Angela ChangUniversity of Waterloo, Justin PuUniversity of Waterloo
Link to publication DOI Pre-print Media Attached
06:20 - 07:00: Dinner in DelhiSPLASH Meet The Speakers (MTS) at SPLASH-I
06:20 - 07:00
Social Event
SPLASH Meet The Speakers (MTS)
07:00 - 08:20: M-1Research Papers at SPLASH-I +12h
Chair(s): Peter ThiemannUniversity of Freiburg, Germany, John BoylandUniveristy of Wisconsin, Milwaukee
07:00 - 07:20
Talk
Research Papers
Magnus MadsenAarhus University, Ondřej LhotákUniversity of Waterloo, Frank TipNortheastern University
Link to publication DOI Media Attached
07:20 - 07:40
Talk
Research Papers
Evgenii MoiseenkoSt. Petersburg University / JetBrains Research, Anton PodkopaevNRU HSE, JetBrains Research, Ori LahavTel Aviv University, Orestis MelkonianUtrecht University, Viktor VafeiadisMPI-SWS
Link to publication DOI Media Attached
07:40 - 08:00
Talk
Research Papers
Jan de Muijnck-HughesUniversity of Glasgow, Wim VanderbauwhedeUniversity of Glasgow, Edwin BradyUniversity of St. Andrews
Link to publication DOI Media Attached
08:00 - 08:20
Talk
Research Papers
Alexandros TasosImperial College London, Juliana Franco, Sophia DrossopoulouImperial College London, Tobias WrigstadUppsala University, Sweden, Susan EisenbachImperial College London
Link to publication DOI Media Attached
08:20 - 09:00: Breakfast in ChicagoSPLASH Meet The Speakers (MTS) at SPLASH-I +12h
08:20 - 09:00
Social Event
SPLASH Meet The Speakers (MTS)
09:00 - 10:20: MSPLASH Keynotes at SPLASH-I +12h
09:00 - 10:20
Keynote
SPLASH Keynotes
Jonathan BellNortheastern University
Media Attached
10:20 - 11:00: Breakfast in SeattleSPLASH Posters at SPLASH-I +12h

Please click the link below for the list of featured posters.

10:20 - 11:00
Poster
SPLASH Posters
11:00 - 12:20: M-3Research Papers at SPLASH-I +12h
Chair(s): John BoylandUniveristy of Wisconsin, Milwaukee, Peter ThiemannUniversity of Freiburg, Germany
11:00 - 11:20
Talk
Research Papers
Sam Van den VonderVrije Universiteit Brussel, Thierry RenauxVrije Universiteit Brussel, Bjarno OeyenVrije Universiteit Brussel, Joeri De KosterVrije Universiteit Brussel, Belgium, Wolfgang De MeuterVrije Universiteit Brussel
Link to publication DOI Pre-print Media Attached
11:20 - 11:40
Talk
Research Papers
Colin GordonDrexel University
Link to publication DOI Pre-print Media Attached
11:40 - 12:00
Talk
Research Papers
Bruno C. d. S. OliveiraUniversity of Hong Kong, Shaobo Cui, Baber RehmanUniversity of Hong Kong
Link to publication DOI Media Attached
12:00 - 12:20
Talk
Research Papers
Shale XiongARM Research, Andrea CeroneFootball Radar, Azalea RaadMPI-SWS / Imperial College London, Philippa GardnerImperial College London
Link to publication DOI Media Attached
12:20 - 13:00: Breakfast in WellingtonSPLASH Meet The Speakers (MTS) at SPLASH-I
12:20 - 13:00
Social Event
SPLASH Meet The Speakers (MTS)
13:00 - 14:20: M-4Research Papers at SPLASH-I +12h
Chair(s): Raffi KhatchadourianCity University of New York, Anitha GollamudiHarvard University
13:00 - 13:20
Talk
Research Papers
Colin GordonDrexel University
Link to publication DOI Pre-print Media Attached
13:20 - 13:40
Talk
Research Papers
Gabriela SampaioImperial College London, UK, José Fragoso SantosINESC-ID/Instituto Superior Técnico, Portugal , Petar MaksimovićImperial College London, UK, Philippa GardnerImperial College London
Link to publication DOI Media Attached
13:40 - 14:00
Talk
Research Papers
Link to publication DOI Media Attached
14:00 - 14:20
Talk
Research Papers
Sifis LagouvardosUniversity of Athens, Julian DolbyIBM Research, USA, Neville GrechUniversity of Athens, Anastasios AntoniadisUniversity of Athens, Greece, Yannis SmaragdakisUniversity of Athens
Link to publication DOI Media Attached
14:20 - 15:00: Cocktails in ParisSPLASH Meet The Speakers (MTS) at SPLASH-I +12h
14:20 - 15:00
Social Event
SPLASH Meet The Speakers (MTS)
16:20 - 17:00: Breakfast in SeoulSPLASH Meet The Speakers (MTS) at SPLASH-I +12h
16:20 - 17:00
Social Event
SPLASH Meet The Speakers (MTS)
17:00 - 18:20: M-6SPLASH OOPSLA at SPLASH-I +12h
Chair(s): Patrick LamUniversity of Waterloo, Konstantinos MamourasRice University
17:00 - 17:20
Talk
SPLASH OOPSLA
Michael CoblenzUniversity of Maryland at College Park, Jonathan AldrichCarnegie Mellon University, Brad A. MyersCarnegie Mellon University, Joshua SunshineCarnegie Mellon University
Link to publication DOI Media Attached
17:20 - 17:40
Talk
SPLASH OOPSLA
Bo SangPurdue University / Ant Group, Patrick EugsterUSI Lugano / TU Darmstadt / Purdue University, Gustavo PetriARM Research, Srivatsan RaviUniversity of Southern California, Pierre-Louis RomanUSI Lugano
Link to publication DOI Media Attached
17:40 - 18:00
Talk
SPLASH OOPSLA
Alexi TurcotteNortheastern University, Aviral GoelNortheastern University, Filip KřikavaCzech Technical University, Jan VitekNortheastern University / Czech Technical University
Link to publication DOI Media Attached
18:00 - 18:20
Talk
SPLASH OOPSLA
Dietrich GeislerCornell University, Irene YoonUniversity of Pennsylvania, Aditi KabraCarnegie Mellon University, Horace HeCornell University, Yinnon SandersCornell University, Adrian SampsonCornell University
Link to publication DOI Pre-print Media Attached
18:20 - 19:00: Cocktails in RioSPLASH Meet The Speakers (MTS) at SPLASH-I +12h
18:20 - 19:00
Social Event
SPLASH Meet The Speakers (MTS)
19:00 - 20:20: M-1Research Papers at SPLASH-I
Chair(s): Yu David LiuState University of New York (SUNY) Binghamton, Hidehiko MasuharaTokyo Institute of Technology
19:00 - 19:20
Talk
Research Papers
Magnus MadsenAarhus University, Ondřej LhotákUniversity of Waterloo, Frank TipNortheastern University
Link to publication DOI Media Attached
19:20 - 19:40
Talk
Research Papers
Evgenii MoiseenkoSt. Petersburg University / JetBrains Research, Anton PodkopaevNRU HSE, JetBrains Research, Ori LahavTel Aviv University, Orestis MelkonianUtrecht University, Viktor VafeiadisMPI-SWS
Link to publication DOI Media Attached
19:40 - 20:00
Talk
Research Papers
Jan de Muijnck-HughesUniversity of Glasgow, Wim VanderbauwhedeUniversity of Glasgow, Edwin BradyUniversity of St. Andrews
Link to publication DOI Media Attached
20:00 - 20:20
Talk
Research Papers
Alexandros TasosImperial College London, Juliana Franco, Sophia DrossopoulouImperial College London, Tobias WrigstadUppsala University, Sweden, Susan EisenbachImperial College London
Link to publication DOI Media Attached
20:20 - 21:00: Cocktails in New YorkSPLASH Meet The Speakers (MTS) at SPLASH-I
20:20 - 21:00
Social Event
SPLASH Meet The Speakers (MTS)
21:00 - 22:20: MSPLASH Keynotes at SPLASH-I
21:00 - 22:20
Keynote
SPLASH Keynotes
Jonathan BellNortheastern University
Media Attached
22:20 - 23:00: Lunch in TokyoSPLASH Posters at SPLASH-I

Please click the link below for the list of featured posters.

22:20 - 23:00
Poster
SPLASH Posters
23:00 - 00:20: M-3Research Papers at SPLASH-I
Chair(s): Patrick ReinHasso Plattner Institute, Hidehiko MasuharaTokyo Institute of Technology
23:00 - 23:20
Talk
Research Papers
Sam Van den VonderVrije Universiteit Brussel, Thierry RenauxVrije Universiteit Brussel, Bjarno OeyenVrije Universiteit Brussel, Joeri De KosterVrije Universiteit Brussel, Belgium, Wolfgang De MeuterVrije Universiteit Brussel
Link to publication DOI Pre-print Media Attached
23:20 - 23:40
Talk
Research Papers
Colin GordonDrexel University
Link to publication DOI Pre-print Media Attached
23:40 - 00:00
Talk
Research Papers
Bruno C. d. S. OliveiraUniversity of Hong Kong, Shaobo Cui, Baber RehmanUniversity of Hong Kong
Link to publication DOI Media Attached
00:00 - 00:20
Talk
Research Papers
Shale XiongARM Research, Andrea CeroneFootball Radar, Azalea RaadMPI-SWS / Imperial College London, Philippa GardnerImperial College London
Link to publication DOI Media Attached

Tue 17 Nov
Times are displayed in time zone: Central Time (US & Canada) change

00:20 - 01:00: Breakfast in ParisSPLASH Meet The Speakers (MTS) at SPLASH-I
00:20 - 01:00
Social Event
SPLASH Meet The Speakers (MTS)
01:00 - 02:20: M-4Research Papers at SPLASH-I
Chair(s): Manuel SerranoInria, France, Patrick ReinHasso Plattner Institute
01:00 - 01:20
Talk
Research Papers
Colin GordonDrexel University
Link to publication DOI Pre-print Media Attached
01:20 - 01:40
Talk
Research Papers
Gabriela SampaioImperial College London, UK, José Fragoso SantosINESC-ID/Instituto Superior Técnico, Portugal , Petar MaksimovićImperial College London, UK, Philippa GardnerImperial College London
Link to publication DOI Media Attached
01:40 - 02:00
Talk
Research Papers
Link to publication DOI Media Attached
02:00 - 02:20
Talk
Research Papers
Sifis LagouvardosUniversity of Athens, Julian DolbyIBM Research, USA, Neville GrechUniversity of Athens, Anastasios AntoniadisUniversity of Athens, Greece, Yannis SmaragdakisUniversity of Athens
Link to publication DOI Media Attached
02:20 - 03:00: Cocktails in SydneySPLASH Meet The Speakers (MTS) at SPLASH-I
02:20 - 03:00
Social Event
SPLASH Meet The Speakers (MTS)
04:20 - 05:00: Dinner in BeijingSPLASH Meet The Speakers (MTS) at SPLASH-I
04:20 - 05:00
Social Event
SPLASH Meet The Speakers (MTS)
05:00 - 06:20: M-6SPLASH OOPSLA at SPLASH-I
Chair(s): Ifaz KabirUniversity of Alberta, David GroveIBM Research
05:00 - 05:20
Talk
SPLASH OOPSLA
Michael CoblenzUniversity of Maryland at College Park, Jonathan AldrichCarnegie Mellon University, Brad A. MyersCarnegie Mellon University, Joshua SunshineCarnegie Mellon University
Link to publication DOI Media Attached
05:20 - 05:40
Talk
SPLASH OOPSLA
Bo SangPurdue University / Ant Group, Patrick EugsterUSI Lugano / TU Darmstadt / Purdue University, Gustavo PetriARM Research, Srivatsan RaviUniversity of Southern California, Pierre-Louis RomanUSI Lugano
Link to publication DOI Media Attached
05:40 - 06:00
Talk
SPLASH OOPSLA
Alexi TurcotteNortheastern University, Aviral GoelNortheastern University, Filip KřikavaCzech Technical University, Jan VitekNortheastern University / Czech Technical University
Link to publication DOI Media Attached
06:00 - 06:20
Talk
SPLASH OOPSLA
Dietrich GeislerCornell University, Irene YoonUniversity of Pennsylvania, Aditi KabraCarnegie Mellon University, Horace HeCornell University, Yinnon SandersCornell University, Adrian SampsonCornell University
Link to publication DOI Pre-print Media Attached
06:20 - 07:00: Dinner in DelhiSPLASH Meet The Speakers (MTS) at SPLASH-I
06:20 - 07:00
Social Event
SPLASH Meet The Speakers (MTS)
07:00 - 08:20: TSPLASH Keynotes at SPLASH-I +12h
Chair(s): Steve BlackburnAustralian National University
07:00 - 08:20
Keynote
SPLASH Keynotes
Mary Lou SoffaUniversity of Virginia
Link to publication
08:20 - 09:00: Breakfast in ChicagoSPLASH Meet The Speakers (MTS) at SPLASH-I +12h
08:20 - 09:00
Social Event
SPLASH Meet The Speakers (MTS)
09:00 - 10:20: T-2SPLASH OOPSLA at SPLASH-I +12h
Chair(s): Karim AliUniversity of Alberta, Aritra SenguptaAmazon Web Services, USA
09:00 - 09:20
Talk
SPLASH OOPSLA
Aaron BembenekHarvard University, Michael GreenbergPomona College, Stephen ChongHarvard University
Link to publication DOI Media Attached
09:20 - 09:40
Talk
SPLASH OOPSLA
Wing LamUniversity of Illinois at Urbana-Champaign, Stefan WinterTU Darmstadt, Anjiang WeiPeking University, Tao XiePeking University, Darko MarinovUniversity of Illinois at Urbana-Champaign, Jonathan BellNortheastern University
Link to publication DOI Media Attached
09:40 - 10:00
Talk
SPLASH OOPSLA
Yizhou ZhangUniversity of Waterloo, Guido SalvaneschiUniversity of St. Gallen, Andrew C. MyersCornell University
Link to publication DOI Media Attached
10:00 - 10:20
Talk
SPLASH OOPSLA
Hongyu LiuPurdue University, Sam SilvestroUniversity of Texas at San Antonio, Xiangyu ZhangPurdue University, Jian HuangUniversity of Illinois at Urbana-Champaign, Tongping LiuUniversity of Massachusetts at Amherst
Link to publication DOI Media Attached
10:20 - 11:00: Breakfast in SeattleSPLASH Meet The Speakers (MTS) at SPLASH-I +12h
10:20 - 11:00
Social Event
SPLASH Meet The Speakers (MTS)
11:00 - 12:20: T-3SPLASH OOPSLA at SPLASH-I +12h
Chair(s): Burcu Kulahcioglu OzkanMPI-SWS, Olivier TardieuIBM Research
11:00 - 11:20
Talk
SPLASH OOPSLA
Ritwika GhoshUniversity of Illinois at Urbana-Champaign, Chiao HsiehUniversity of Illinois at Urbana-Champaign, Sasa MisailovicUniversity of Illinois at Urbana-Champaign, Sayan MitraUniversity of Illinois at Urbana-Champaign
Link to publication DOI Pre-print Media Attached
11:20 - 11:40
Talk
SPLASH OOPSLA
Suvam MukherjeeMicrosoft Research, Pantazis DeligiannisMicrosoft Research, Arpita BiswasIISc Bangalore, Akash LalMicrosoft Research
Link to publication DOI Pre-print Media Attached
11:40 - 12:00
Talk
SPLASH OOPSLA
Umar FarooqUniversity of California at Riverside, Zhijia ZhaoUniversity of California at Riverside, Manu SridharanUniversity of California at Riverside, Iulian NeamtiuNew Jersey Institute of Technology
Link to publication DOI Pre-print Media Attached
12:00 - 12:20
Talk
SPLASH OOPSLA
Aayan KumarMicrosoft Research, Vivek SeshadriMicrosoft Research, Rahul SharmaMicrosoft Research
Link to publication DOI Media Attached
12:20 - 13:00: Breakfast in WellingtonSPLASH Student Research Competition at SPLASH-I +12h
  • Aidan Yang, SOAR: Synthesis for Open-Source API Refactoring

  • Gahwon Lee, SASIL: A Domain-Specific Language for Simulating Declarative Specifications of Scheduling Systems

  • Ian C. McCormack, A Software Library Model for the Internet of Things

  • Mona Zhang and Jacob Gorenburg, Design and Implementation of a Gradual Verifier

  • Raphael Mosaner, Machine Learning to Ease Understanding of Data Driven Compiler Optimizations

  • Reed Oei, Psamathe: A DSL for Safe Blockchain Assets

  • Sang Heon Choi, Consolidation: A Technique for Improving Permissiveness of Human-Machine Interfaces

  • Sophia Kolak, Detecting Performance Patterns with Deep Learning

  • Vitaly Romanov, Evaluating Importance of Edge Types when Using Graph Neural Network for Predicting Return Types of Python Functions

12:20 - 13:00
Poster
SPLASH Student Research Competition
14:20 - 15:00: Cocktails in ParisSPLASH Meet The Speakers (MTS) at SPLASH-I +12h
14:20 - 15:00
Social Event
SPLASH Meet The Speakers (MTS)
15:00 - 16:20: T-5SPLASH OOPSLA at SPLASH-I +12h
Chair(s): Raffi KhatchadourianCity University of New York, Tyler SorensenUniversity of California at Santa Cruz
15:00 - 15:20
Talk
SPLASH OOPSLA
Mehdi BagherzadehOakland University, Nicholas FiremanOakland University, Anas ShaweshOakland University, Raffi KhatchadourianCity University of New York
Link to publication DOI Pre-print Media Attached
15:20 - 15:40
Talk
SPLASH OOPSLA
Arjen RouvoetDelft University of Technology, Hendrik van AntwerpenDelft University of Technology, Casper Bach PoulsenDelft University of Technology, Robbert KrebbersRadboud University Nijmegen, Eelco VisserDelft University of Technology
Link to publication DOI Pre-print Media Attached
15:40 - 16:00
Talk
SPLASH OOPSLA
Quentin StiévenartVrije Universiteit Brussel, Magnus MadsenAarhus University
Link to publication DOI Media Attached
16:00 - 16:20
Talk
SPLASH OOPSLA
Lenka TuroňováBrno University of Technology, Lukáš HolíkBrno University of Technology, Ondřej LengálBrno University of Technology, Olli SaarikiviMicrosoft, Margus VeanesMicrosoft, Tomáš VojnarBrno University of Technology
Link to publication DOI Media Attached
16:20 - 17:00: Breakfast in SeoulSPLASH Meet The Speakers (MTS) at SPLASH-I +12h
16:20 - 17:00
Social Event
SPLASH Meet The Speakers (MTS)
17:00 - 18:20: T-6ASPLASH OOPSLA at SPLASH-I +12h
Chair(s): Zhefeng WuAlibaba Group, Filip NiksicGoogle
17:00 - 17:20
Talk
SPLASH OOPSLA
Yulei SuiUniversity of Technology Sydney, Xiao ChengBeijing University of Posts and Telecommunications, Guanqin ZhangUniversity of Technology Sydney, Haoyu WangBeijing University of Posts and Telecommunications
Link to publication DOI Media Attached
17:20 - 17:40
Talk
SPLASH OOPSLA
Ana MilanovaRensselaer Polytechnic Institute
Link to publication DOI Media Attached
17:40 - 18:00
Talk
SPLASH OOPSLA
Zhefeng WuAlibaba Group, Zhe SunAlibaba Group, Kai GongAlibaba Group, Lingyun ChenAlibaba Group, Bin LiaoAlibaba Group, Yihua JinAlibaba Group
Link to publication DOI Media Attached
18:00 - 18:20
Talk
SPLASH OOPSLA
Jenna WiseCarnegie Mellon University, Johannes BaderJane Street, Cameron WongJane Street, Jonathan AldrichCarnegie Mellon University, Éric TanterUniversity of Chile, Joshua SunshineCarnegie Mellon University
Link to publication DOI Media Attached
18:20 - 19:00: Cocktails in RioSPLASH Meet The Speakers (MTS) at SPLASH-I +12h
18:20 - 19:00
Social Event
SPLASH Meet The Speakers (MTS)
19:00 - 20:20: TSPLASH Keynotes at SPLASH-I
Chair(s): Steve BlackburnAustralian National University
19:00 - 20:20
Keynote
SPLASH Keynotes
Mary Lou SoffaUniversity of Virginia
Link to publication
20:20 - 21:00: Cocktails in New YorkSPLASH Meet The Speakers (MTS) at SPLASH-I
20:20 - 21:00
Social Event
SPLASH Meet The Speakers (MTS)
21:00 - 22:20: T-2SPLASH OOPSLA at SPLASH-I
Chair(s): Iulian NeamtiuNew Jersey Institute of Technology, Yaoda ZhouUniversity of Hong Kong
21:00 - 21:20
Talk
SPLASH OOPSLA
Aaron BembenekHarvard University, Michael GreenbergPomona College, Stephen ChongHarvard University
Link to publication DOI Media Attached
21:20 - 21:40
Talk
SPLASH OOPSLA
Wing LamUniversity of Illinois at Urbana-Champaign, Stefan WinterTU Darmstadt, Anjiang WeiPeking University, Tao XiePeking University, Darko MarinovUniversity of Illinois at Urbana-Champaign, Jonathan BellNortheastern University
Link to publication DOI Media Attached
21:40 - 22:00
Talk
SPLASH OOPSLA
Yizhou ZhangUniversity of Waterloo, Guido SalvaneschiUniversity of St. Gallen, Andrew C. MyersCornell University
Link to publication DOI Media Attached
22:00 - 22:20
Talk
SPLASH OOPSLA
Hongyu LiuPurdue University, Sam SilvestroUniversity of Texas at San Antonio, Xiangyu ZhangPurdue University, Jian HuangUniversity of Illinois at Urbana-Champaign, Tongping LiuUniversity of Massachusetts at Amherst
Link to publication DOI Media Attached
22:20 - 23:00: Lunch in TokyoSPLASH Meet The Speakers (MTS) at SPLASH-I
22:20 - 23:00
Social Event
SPLASH Meet The Speakers (MTS)
23:00 - 00:20: T-3SPLASH OOPSLA at SPLASH-I
Chair(s): Chengyu ZhangEast China Normal University, Ting CaoMicrosoft Research
23:00 - 23:20
Talk
SPLASH OOPSLA
Ritwika GhoshUniversity of Illinois at Urbana-Champaign, Chiao HsiehUniversity of Illinois at Urbana-Champaign, Sasa MisailovicUniversity of Illinois at Urbana-Champaign, Sayan MitraUniversity of Illinois at Urbana-Champaign
Link to publication DOI Pre-print Media Attached
23:20 - 23:40
Talk
SPLASH OOPSLA
Suvam MukherjeeMicrosoft Research, Pantazis DeligiannisMicrosoft Research, Arpita BiswasIISc Bangalore, Akash LalMicrosoft Research
Link to publication DOI Pre-print Media Attached
23:40 - 00:00
Talk
SPLASH OOPSLA
Umar FarooqUniversity of California at Riverside, Zhijia ZhaoUniversity of California at Riverside, Manu SridharanUniversity of California at Riverside, Iulian NeamtiuNew Jersey Institute of Technology
Link to publication DOI Pre-print Media Attached
00:00 - 00:20
Talk
SPLASH OOPSLA
Aayan KumarMicrosoft Research, Vivek SeshadriMicrosoft Research, Rahul SharmaMicrosoft Research
Link to publication DOI Media Attached

Wed 18 Nov
Times are displayed in time zone: Central Time (US & Canada) change

00:20 - 01:00: Breakfast in ParisSPLASH Student Research Competition at SPLASH-I
  • Aidan Yang, SOAR: Synthesis for Open-Source API Refactoring

  • Gahwon Lee, SASIL: A Domain-Specific Language for Simulating Declarative Specifications of Scheduling Systems

  • Ian C. McCormack, A Software Library Model for the Internet of Things

  • Mona Zhang and Jacob Gorenburg, Design and Implementation of a Gradual Verifier

  • Raphael Mosaner, Machine Learning to Ease Understanding of Data Driven Compiler Optimizations

  • Reed Oei, Psamathe: A DSL for Safe Blockchain Assets

  • Sang Heon Choi, Consolidation: A Technique for Improving Permissiveness of Human-Machine Interfaces

  • Sophia Kolak, Detecting Performance Patterns with Deep Learning

  • Vitaly Romanov, Evaluating Importance of Edge Types when Using Graph Neural Network for Predicting Return Types of Python Functions

00:20 - 01:00
Poster
SPLASH Student Research Competition
02:20 - 03:00: Cocktails in SydneySPLASH Meet The Speakers (MTS) at SPLASH-I
02:20 - 03:00
Social Event
SPLASH Meet The Speakers (MTS)
03:00 - 04:20: T-5SPLASH OOPSLA at SPLASH-I
Chair(s): Burcu Kulahcioglu OzkanMPI-SWS, Reuben RoweUniversity College London
03:00 - 03:20
Talk
SPLASH OOPSLA
Mehdi BagherzadehOakland University, Nicholas FiremanOakland University, Anas ShaweshOakland University, Raffi KhatchadourianCity University of New York
Link to publication DOI Pre-print Media Attached
03:20 - 03:40
Talk
SPLASH OOPSLA
Arjen RouvoetDelft University of Technology, Hendrik van AntwerpenDelft University of Technology, Casper Bach PoulsenDelft University of Technology, Robbert KrebbersRadboud University Nijmegen, Eelco VisserDelft University of Technology
Link to publication DOI Pre-print Media Attached
03:40 - 04:00
Talk
SPLASH OOPSLA
Quentin StiévenartVrije Universiteit Brussel, Magnus MadsenAarhus University
Link to publication DOI Media Attached
04:00 - 04:20
Talk
SPLASH OOPSLA
Lenka TuroňováBrno University of Technology, Lukáš HolíkBrno University of Technology, Ondřej LengálBrno University of Technology, Olli SaarikiviMicrosoft, Margus VeanesMicrosoft, Tomáš VojnarBrno University of Technology
Link to publication DOI Media Attached
04:20 - 05:00: Dinner in BejingSPLASH Meet The Speakers (MTS) at SPLASH-I
04:20 - 05:00
Social Event
SPLASH Meet The Speakers (MTS)
05:00 - 06:20: T-6ASPLASH OOPSLA at SPLASH-I
Chair(s): Michael PradelUniversity of Stuttgart, Germany, Konstantinos KallasUniversity of Pennsylvania
05:00 - 05:20
Talk
SPLASH OOPSLA
Yulei SuiUniversity of Technology Sydney, Xiao ChengBeijing University of Posts and Telecommunications, Guanqin ZhangUniversity of Technology Sydney, Haoyu WangBeijing University of Posts and Telecommunications
Link to publication DOI Media Attached
05:20 - 05:40
Talk
SPLASH OOPSLA
Ana MilanovaRensselaer Polytechnic Institute
Link to publication DOI Media Attached
05:40 - 06:00
Talk
SPLASH OOPSLA
Zhefeng WuAlibaba Group, Zhe SunAlibaba Group, Kai GongAlibaba Group, Lingyun ChenAlibaba Group, Bin LiaoAlibaba Group, Yihua JinAlibaba Group
Link to publication DOI Media Attached
06:00 - 06:20
Talk
SPLASH OOPSLA
Jenna WiseCarnegie Mellon University, Johannes BaderJane Street, Cameron WongJane Street, Jonathan AldrichCarnegie Mellon University, Éric TanterUniversity of Chile, Joshua SunshineCarnegie Mellon University
Link to publication DOI Media Attached
06:20 - 07:00: Dinner in DelhiSPLASH Meet The Speakers (MTS) at SPLASH-I
06:20 - 07:00
Social Event
SPLASH Meet The Speakers (MTS)
07:00 - 08:20: W-1SPLASH OOPSLA at SPLASH-I +12h
Chair(s): Karim AliUniversity of Alberta, Sophia DrossopoulouImperial College London
07:00 - 07:20
Talk
SPLASH OOPSLA
Breanna Devore-McDonaldUniversity of Massachusetts at Amherst, Emery D. BergerUniversity of Massachusetts at Amherst
Link to publication DOI Media Attached
07:20 - 07:40
Talk
SPLASH OOPSLA
Tongtong XiangUniversity of Waterloo, Jeff Y. LuoUniversity of Waterloo, Werner DietlUniversity of Waterloo
Link to publication DOI Media Attached
07:40 - 08:00
Talk
SPLASH OOPSLA
Joshua CluneCarnegie Mellon University, Vijay RamamurthyCarnegie Mellon University, Ruben MartinsCarnegie Mellon University, Umut A. AcarCarnegie Mellon University
Link to publication DOI Media Attached
08:00 - 08:20
Talk
SPLASH OOPSLA
Yaoda ZhouUniversity of Hong Kong, Bruno C. d. S. OliveiraUniversity of Hong Kong, Jinxu ZhaoUniversity of Hong Kong
Link to publication DOI Media Attached
08:20 - 09:00: Breakfast in ChicagoSPLASH Awards at SPLASH-I +12h
08:20 - 09:00
Other
SPLASH Awards
David GroveIBM Research, Jens PalsbergUniversity of California, Los Angeles
09:00 - 10:20: WSPLASH Keynotes at SPLASH-I +12h
Chair(s): Hridesh RajanIowa State University, USA
09:00 - 10:20
Keynote
SPLASH Keynotes
Sriram RajamaniMicrosoft Research
Link to publication
10:20 - 11:00: Breakfast in SeattleSPLASH Meet The Speakers (MTS) at SPLASH-I +12h
10:20 - 11:00
Social Event
SPLASH Meet The Speakers (MTS)
11:00 - 12:20: W-3SPLASH OOPSLA at SPLASH-I +12h
Chair(s): Eelco VisserDelft University of Technology, Dan BarowyWilliams College
11:00 - 11:20
Talk
SPLASH OOPSLA
Sarah SpallIndiana University, Neil MitchellFacebook, Sam Tobin-HochstadtIndiana University
Link to publication DOI Media Attached
11:20 - 11:40
Talk
SPLASH OOPSLA
Vsevolod LivinskiiUniversity of Utah, Dmitry BabokinIntel Corporation, John RegehrUniversity of Utah
Link to publication DOI Media Attached
11:40 - 12:00
Talk
SPLASH OOPSLA
Gabriel PoesiaStanford University, Fernando Magno Quintão PereiraFederal University of Minas Gerais
Link to publication DOI Pre-print Media Attached
12:00 - 12:20
Talk
SPLASH OOPSLA
Shankara PailoorUniversity of Texas at Austin, Xinyu WangUniversity of Michigan, Hovav ShachamUniversity of Texas at Austin, Isil DilligUniversity of Texas at Austin
Link to publication DOI Media Attached
12:20 - 13:00: Breakfast in WellingtonSPLASH Meet The Speakers (MTS) at SPLASH-I +12h
12:20 - 13:00
Social Event
SPLASH Meet The Speakers (MTS)
13:00 - 14:20: W-4SPLASH OOPSLA at SPLASH-I +12h
Chair(s): Justin HsuUniversity of Wisconsin-Madison, USA, Eric KoskinenStevens Institute of Technology
13:00 - 13:20
Talk
SPLASH OOPSLA
Noam YefetTechnion, Uri AlonTechnion, Eran YahavTechnion
Link to publication DOI Pre-print Media Attached
13:20 - 13:40
Talk
SPLASH OOPSLA
Manuel RiggerETH Zurich, Zhendong SuETH Zurich
Link to publication DOI Pre-print Media Attached
13:40 - 14:00
Talk
SPLASH OOPSLA
Yotam M. Y. FeldmanTel Aviv University, Artem KhyzhaTel Aviv University, Constantin EneaUniversity of Paris / IRIF / CNRS, Adam MorrisonTel Aviv University, Aleksandar NanevskiIMDEA Software Institute, Noam RinetzkyTel Aviv University, Sharon ShohamTel Aviv University
Link to publication DOI Media Attached
14:00 - 14:20
Talk
SPLASH OOPSLA
Vytautas AstrauskasETH Zurich, Christoph MathejaETH Zurich, Federico PoliETH Zurich, Peter MüllerETH Zurich, Alexander J. SummersUniversity of British Columbia
Link to publication DOI Media Attached
14:20 - 15:00: Cocktails in ParisSPLASH Meet The Speakers (MTS) at SPLASH-I +12h
14:20 - 15:00
Social Event
SPLASH Meet The Speakers (MTS)
15:00 - 16:20: W-5SPLASH OOPSLA at SPLASH-I +12h
Chair(s): Mohsen LesaniUniversity of California at Riverside, USA, Dan BarowyWilliams College
15:00 - 15:20
Talk
SPLASH OOPSLA
Thodoris SotiropoulosAthens University of Economics and Business, Stefanos ChaliasosAthens University of Economics and Business, Dimitris MitropoulosAthens University of Economics and Business, Diomidis SpinellisAthens University of Economics and Business
Link to publication DOI Pre-print Media Attached
15:20 - 15:40
Talk
SPLASH OOPSLA
Azalea RaadMPI-SWS / Imperial College London, Ori LahavTel Aviv University, Viktor VafeiadisMPI-SWS
Link to publication DOI Media Attached
15:40 - 16:00
Talk
SPLASH OOPSLA
Sumit GulwaniMicrosoft, Vu LeMicrosoft, Arjun RadhakrishnaMicrosoft, Ivan RadičekMicrosoft, Mohammad RazaMicrosoft
Link to publication DOI Media Attached
16:00 - 16:20
Talk
SPLASH OOPSLA
Fangyi ZhouImperial College London, Francisco FerreiraImperial College London, Raymond HuUniversity of Hertfordshire, Rumyana NeykovaBrunel University London, Nobuko YoshidaImperial College London
Link to publication DOI Pre-print Media Attached
16:20 - 17:00: Breakfast in SeoulSPLASH Meet The Speakers (MTS) at SPLASH-I +12h
16:20 - 17:00
Social Event
SPLASH Meet The Speakers (MTS)
17:00 - 18:20: W-6SPLASH OOPSLA at SPLASH-I +12h
Chair(s): Anitha GollamudiHarvard University, Hans-J. BoehmGoogle
17:00 - 17:20
Talk
SPLASH OOPSLA
Hila PelegUniversity of California at San Diego, Roi GabayTechnion, Shachar ItzhakyTechnion, Eran YahavTechnion
Link to publication DOI Media Attached
17:20 - 17:40
Talk
SPLASH OOPSLA
Subarno BanerjeeUniversity of Michigan, David DevecseryGeorgia Institute of Technology, Peter M. ChenUniversity of Michigan, Satish NarayanasamyUniversity of Michigan
Link to publication DOI Media Attached
17:40 - 18:00
Talk
SPLASH OOPSLA
Guilherme Vieira LeobasFederal University of Minas Gerais, Fernando Magno Quintão PereiraFederal University of Minas Gerais
Link to publication DOI Pre-print Media Attached
18:00 - 18:20
Talk
SPLASH OOPSLA
Yuting WangShanghai Jiao Tong University, Xiangzhe XuNanjing University, Pierre WilkeCentraleSupélec, Zhong ShaoYale University
Link to publication DOI Media Attached
18:20 - 19:00: Cocktails in RioSPLASH Meet The Speakers (MTS) at SPLASH-I +12h
18:20 - 19:00
Social Event
SPLASH Meet The Speakers (MTS)
19:00 - 20:20: W-1SPLASH OOPSLA at SPLASH-I
Chair(s): Patrick LamUniversity of Waterloo, Julia BelyakovaNortheastern University
19:00 - 19:20
Talk
SPLASH OOPSLA
Breanna Devore-McDonaldUniversity of Massachusetts at Amherst, Emery D. BergerUniversity of Massachusetts at Amherst
Link to publication DOI Media Attached
19:20 - 19:40
Talk
SPLASH OOPSLA
Tongtong XiangUniversity of Waterloo, Jeff Y. LuoUniversity of Waterloo, Werner DietlUniversity of Waterloo
Link to publication DOI Media Attached
19:40 - 20:00
Talk
SPLASH OOPSLA
Joshua CluneCarnegie Mellon University, Vijay RamamurthyCarnegie Mellon University, Ruben MartinsCarnegie Mellon University, Umut A. AcarCarnegie Mellon University
Link to publication DOI Media Attached
20:00 - 20:20
Talk
SPLASH OOPSLA
Yaoda ZhouUniversity of Hong Kong, Bruno C. d. S. OliveiraUniversity of Hong Kong, Jinxu ZhaoUniversity of Hong Kong
Link to publication DOI Media Attached
20:20 - 21:00: Cocktails in New YorkSPLASH Awards at SPLASH-I
20:20 - 21:00
Other
SPLASH Awards
David GroveIBM Research, Jens PalsbergUniversity of California, Los Angeles
21:00 - 22:20: WSPLASH Keynotes at SPLASH-I
Chair(s): Hridesh RajanIowa State University, USA
21:00 - 22:20
Keynote
SPLASH Keynotes
Sriram RajamaniMicrosoft Research
Link to publication
22:20 - 23:00: Lunch in TokyoSPLASH Meet The Speakers (MTS) at SPLASH-I
22:20 - 23:00
Social Event
SPLASH Meet The Speakers (MTS)
23:00 - 00:20: W-3SPLASH OOPSLA at SPLASH-I
Chair(s): Yuting WangShanghai Jiao Tong University, Alex PotaninVictoria University of Wellington
23:00 - 23:20
Talk
SPLASH OOPSLA
Sarah SpallIndiana University, Neil MitchellFacebook, Sam Tobin-HochstadtIndiana University
Link to publication DOI Media Attached
23:20 - 23:40
Talk
SPLASH OOPSLA
Vsevolod LivinskiiUniversity of Utah, Dmitry BabokinIntel Corporation, John RegehrUniversity of Utah
Link to publication DOI Media Attached
23:40 - 00:00
Talk
SPLASH OOPSLA
Gabriel PoesiaStanford University, Fernando Magno Quintão PereiraFederal University of Minas Gerais
Link to publication DOI Pre-print Media Attached
00:00 - 00:20
Talk
SPLASH OOPSLA
Shankara PailoorUniversity of Texas at Austin, Xinyu WangUniversity of Michigan, Hovav ShachamUniversity of Texas at Austin, Isil DilligUniversity of Texas at Austin
Link to publication DOI Media Attached

Thu 19 Nov
Times are displayed in time zone: Central Time (US & Canada) change

00:20 - 01:00: Breakfast in ParisSPLASH Meet The Speakers (MTS) at SPLASH-I
00:20 - 01:00
Social Event
SPLASH Meet The Speakers (MTS)
01:00 - 02:20: W-4SPLASH OOPSLA at SPLASH-I
Chair(s): Sophia DrossopoulouImperial College London, Jan VitekNortheastern University / Czech Technical University
01:00 - 01:20
Talk
SPLASH OOPSLA
Noam YefetTechnion, Uri AlonTechnion, Eran YahavTechnion
Link to publication DOI Pre-print Media Attached
01:20 - 01:40
Talk
SPLASH OOPSLA
Manuel RiggerETH Zurich, Zhendong SuETH Zurich
Link to publication DOI Pre-print Media Attached
01:40 - 02:00
Talk
SPLASH OOPSLA
Yotam M. Y. FeldmanTel Aviv University, Artem KhyzhaTel Aviv University, Constantin EneaUniversity of Paris / IRIF / CNRS, Adam MorrisonTel Aviv University, Aleksandar NanevskiIMDEA Software Institute, Noam RinetzkyTel Aviv University, Sharon ShohamTel Aviv University
Link to publication DOI Media Attached
02:00 - 02:20
Talk
SPLASH OOPSLA
Vytautas AstrauskasETH Zurich, Christoph MathejaETH Zurich, Federico PoliETH Zurich, Peter MüllerETH Zurich, Alexander J. SummersUniversity of British Columbia
Link to publication DOI Media Attached
02:20 - 03:00: Cocktails in SydneySPLASH Meet The Speakers (MTS) at SPLASH-I
02:20 - 03:00
Social Event
SPLASH Meet The Speakers (MTS)
03:00 - 04:20: W-5SPLASH OOPSLA at SPLASH-I
Chair(s): Nengkun YuUniversity of Technology Sydney, Filip KřikavaCzech Technical University
03:00 - 03:20
Talk
SPLASH OOPSLA
Thodoris SotiropoulosAthens University of Economics and Business, Stefanos ChaliasosAthens University of Economics and Business, Dimitris MitropoulosAthens University of Economics and Business, Diomidis SpinellisAthens University of Economics and Business
Link to publication DOI Pre-print Media Attached
03:20 - 03:40
Talk
SPLASH OOPSLA
Azalea RaadMPI-SWS / Imperial College London, Ori LahavTel Aviv University, Viktor VafeiadisMPI-SWS
Link to publication DOI Media Attached
03:40 - 04:00
Talk
SPLASH OOPSLA
Sumit GulwaniMicrosoft, Vu LeMicrosoft, Arjun RadhakrishnaMicrosoft, Ivan RadičekMicrosoft, Mohammad RazaMicrosoft
Link to publication DOI Media Attached
04:00 - 04:20
Talk
SPLASH OOPSLA
Fangyi ZhouImperial College London, Francisco FerreiraImperial College London, Raymond HuUniversity of Hertfordshire, Rumyana NeykovaBrunel University London, Nobuko YoshidaImperial College London
Link to publication DOI Pre-print Media Attached
04:20 - 05:00: Dinner in BeijingSPLASH Meet The Speakers (MTS) at SPLASH-I
04:20 - 05:00
Social Event
SPLASH Meet The Speakers (MTS)
05:00 - 06:20: W-6SPLASH OOPSLA at SPLASH-I
Chair(s): John WickersonImperial College London, Jan VitekNortheastern University / Czech Technical University
05:00 - 05:20
Talk
SPLASH OOPSLA
Hila PelegUniversity of California at San Diego, Roi GabayTechnion, Shachar ItzhakyTechnion, Eran YahavTechnion
Link to publication DOI Media Attached
05:20 - 05:40
Talk
SPLASH OOPSLA
Subarno BanerjeeUniversity of Michigan, David DevecseryGeorgia Institute of Technology, Peter M. ChenUniversity of Michigan, Satish NarayanasamyUniversity of Michigan
Link to publication DOI Media Attached
05:40 - 06:00
Talk
SPLASH OOPSLA
Guilherme Vieira LeobasFederal University of Minas Gerais, Fernando Magno Quintão PereiraFederal University of Minas Gerais
Link to publication DOI Pre-print Media Attached
06:00 - 06:20
Talk
SPLASH OOPSLA
Yuting WangShanghai Jiao Tong University, Xiangzhe XuNanjing University, Pierre WilkeCentraleSupélec, Zhong ShaoYale University
Link to publication DOI Media Attached
06:20 - 07:00: Dinner in DelhiSPLASH Meet The Speakers (MTS) at SPLASH-I
06:20 - 07:00
Social Event
SPLASH Meet The Speakers (MTS)
07:00 - 08:20: RSPLASH Keynotes at SPLASH-I +12h
Chair(s): David GroveIBM Research
07:00 - 08:20
Keynote
SPLASH Keynotes
Vikram S. AdveUniversity of Illinois at Urbana-Champaign
Link to publication
08:20 - 09:00: Breakfast in ChicagoSPLASH Meet The Speakers (MTS) at SPLASH-I +12h
08:20 - 09:00
Social Event
SPLASH Meet The Speakers (MTS)
09:00 - 10:20: R-2SPLASH OOPSLA at SPLASH-I +12h
Chair(s): Adrian SampsonCornell University, Sheng ChenUniversity of Louisiana at Lafayette
09:00 - 09:20
Talk
SPLASH OOPSLA
Ramy ShahinUniversity of Toronto, Marsha ChechikUniversity of Toronto
Link to publication DOI Pre-print Media Attached
09:20 - 09:40
Talk
SPLASH OOPSLA
Alejandro Gómez-LondoñoChalmers University of Technology, Johannes Åman PohjolaData61 at CSIRO / UNSW, Hira Taqdees SyedaChalmers University of Technology, Magnus O. MyreenChalmers University of Technology, Yong Kiam TanCarnegie Mellon University
Link to publication DOI Media Attached
09:40 - 10:00
Talk
SPLASH OOPSLA
Yiyun LiuUniversity of Maryland at College Park, James ParkerUniversity of Maryland at College Park, Patrick RedmondUniversity of California at Santa Cruz, Lindsey KuperUniversity of California at Santa Cruz, Michael HicksUniversity of Maryland at College Park, Niki VazouIMDEA Software Institute
Link to publication DOI Media Attached
10:00 - 10:20
Talk
SPLASH OOPSLA
Milijana SurbatovichCarnegie Mellon University, Brandon LuciaCarnegie Mellon University, Limin JiaCarnegie Mellon University
Link to publication DOI Media Attached
10:20 - 11:00: Breakfast in SeattleSPLASH Meet The Speakers (MTS) at SPLASH-I +12h
10:20 - 11:00
Social Event
SPLASH Meet The Speakers (MTS)
11:00 - 12:20: R-3SPLASH OOPSLA at SPLASH-I +12h
Chair(s): Marieke HuismanUniversity of Twente, Michael CoblenzUniversity of Maryland at College Park
11:00 - 11:20
Talk
SPLASH OOPSLA
Guannan WeiPurdue University, Oliver BračevacPurdue University, Shangyin TanPurdue University, Tiark RompfPurdue University
Link to publication DOI Pre-print Media Attached
11:20 - 11:40
Talk
SPLASH OOPSLA
Gushu LiUniversity of California at Santa Barbara, Li ZhouMax Planck Institute for Security and Privacy, Nengkun YuUniversity of Technology Sydney, Yufei DingUniversity of California at Santa Barbara, Mingsheng YingUniversity of Technology Sydney / Institute of Software at Chinese Academy of Sciences / Tsinghua University, Yuan XieUniversity of California at Santa Barbara
Link to publication DOI Pre-print Media Attached
11:40 - 12:00
Talk
SPLASH OOPSLA
Hamed GorjiaraUniversity of California at Irvine, Guoqing Harry XuUniversity of California at Los Angeles, Brian DemskyUniversity of California at Irvine
Link to publication DOI Media Attached
12:00 - 12:20
Talk
SPLASH OOPSLA
Cormac FlanaganUniversity of California at Santa Cruz, Stephen N. FreundWilliams College
Link to publication DOI Media Attached
12:20 - 13:00: Breakfast in WellingtonSPLASH Meet The Speakers (MTS) at SPLASH-I +12h
12:20 - 13:00
Social Event
SPLASH Meet The Speakers (MTS)
14:20 - 15:00: Cocktails in ParisSPLASH Meet The Speakers (MTS) at SPLASH-I +12h
14:20 - 15:00
Social Event
SPLASH Meet The Speakers (MTS)
15:00 - 16:20: R-5SPLASH OOPSLA at SPLASH-I +12h
Chair(s): Alex PotaninVictoria University of Wellington, Anitha GollamudiHarvard University
15:00 - 15:20
Talk
SPLASH OOPSLA
Sifis LagouvardosUniversity of Athens, Neville GrechUniversity of Athens, Ilias TsatirisUniversity of Athens, Yannis SmaragdakisUniversity of Athens
Link to publication DOI Media Attached
15:20 - 15:40
Talk
SPLASH OOPSLA
Caterina UrbanInria / ENS / CNRS / PSL University, Maria ChristakisMPI-SWS, Valentin WüstholzConsenSys, Fuyuan ZhangMPI-SWS
Link to publication DOI Media Attached
15:40 - 16:00
Talk
SPLASH OOPSLA
Elvira AlbertComplutense University of Madrid, Shelly GrossmanTel Aviv University, Noam RinetzkyTel Aviv University, Clara Rodríguez-NúñezComplutense University of Madrid, Albert RubioComplutense University of Madrid, Mooly SagivTel Aviv University
Link to publication DOI Media Attached
16:00 - 16:20
Talk
SPLASH OOPSLA
Shengjian GuoBaidu Security, Yueqi ChenPennsylvania State University, Jiyong YuUniversity of Illinois at Urbana-Champaign, Meng WuAnt Group, Zhiqiang ZuoNanjing University, Peng LiBaidu Security, Yueqiang ChengBaidu Security, Huibo WangBaidu Security
Link to publication DOI Media Attached
16:20 - 17:00: Breakfast in SeoulSPLASH Meet The Speakers (MTS) at SPLASH-I +12h
16:20 - 17:00
Social Event
SPLASH Meet The Speakers (MTS)
17:00 - 18:20: R-6SPLASH OOPSLA at SPLASH-I +12h
Chair(s): Filip NiksicGoogle, Adam WelcUber Technologies
17:00 - 17:20
Talk
SPLASH OOPSLA
Leif AndersenNortheastern University, Michael BallantyneNortheastern University, Matthias FelleisenNortheastern University
Link to publication DOI Media Attached
17:20 - 17:40
Talk
SPLASH OOPSLA
John FeserMassachusetts Institute of Technology, Sam MaddenMassachusetts Institute of Technology, Nan TangQCRI HBKU, Armando Solar-LezamaMassachusetts Institute of Technology
Link to publication DOI Media Attached
17:40 - 18:00
Talk
SPLASH OOPSLA
Minh-Thai TrinhAdvanced Digital Sciences Center, Duc-Hiep ChuNational University of Singapore, Joxan JaffarNational University of Singapore
Link to publication DOI Media Attached
18:00 - 18:20
Talk
SPLASH OOPSLA
Michael BallantyneNortheastern University, Alexis KingNorthwestern University, Matthias FelleisenNortheastern University
Link to publication DOI Media Attached
18:20 - 19:00: Cocktails in RioSPLASH Meet The Speakers (MTS) at SPLASH-I +12h
18:20 - 19:00
Social Event
SPLASH Meet The Speakers (MTS)
19:00 - 20:20: RSPLASH Keynotes at SPLASH-I
Chair(s): David GroveIBM Research
19:00 - 20:20
Keynote
SPLASH Keynotes
Vikram S. AdveUniversity of Illinois at Urbana-Champaign
Link to publication
20:20 - 21:00: Cocktails in New YorkSPLASH Meet The Speakers (MTS) at SPLASH-I
20:20 - 21:00
Social Event
SPLASH Meet The Speakers (MTS)
21:00 - 22:20: R-2SPLASH OOPSLA at SPLASH-I
Chair(s): Sheng ChenUniversity of Louisiana at Lafayette, John Peter CamporaUniversity of Louisiana at Lafayette
21:00 - 21:20
Talk
SPLASH OOPSLA
Ramy ShahinUniversity of Toronto, Marsha ChechikUniversity of Toronto
Link to publication DOI Pre-print Media Attached
21:20 - 21:40
Talk
SPLASH OOPSLA
Alejandro Gómez-LondoñoChalmers University of Technology, Johannes Åman PohjolaData61 at CSIRO / UNSW, Hira Taqdees SyedaChalmers University of Technology, Magnus O. MyreenChalmers University of Technology, Yong Kiam TanCarnegie Mellon University
Link to publication DOI Media Attached
21:40 - 22:00
Talk
SPLASH OOPSLA
Yiyun LiuUniversity of Maryland at College Park, James ParkerUniversity of Maryland at College Park, Patrick RedmondUniversity of California at Santa Cruz, Lindsey KuperUniversity of California at Santa Cruz, Michael HicksUniversity of Maryland at College Park, Niki VazouIMDEA Software Institute
Link to publication DOI Media Attached
22:00 - 22:20
Talk
SPLASH OOPSLA
Milijana SurbatovichCarnegie Mellon University, Brandon LuciaCarnegie Mellon University, Limin JiaCarnegie Mellon University
Link to publication DOI Media Attached
22:20 - 23:00: Lunch in TokyoSPLASH Meet The Speakers (MTS) at SPLASH-I
22:20 - 23:00
Social Event
SPLASH Meet The Speakers (MTS)
23:00 - 00:20: R-3SPLASH OOPSLA at SPLASH-I
Chair(s): Pranav KantUniversity of Utah, Xiangzhe XuNanjing University
23:00 - 23:20
Talk
SPLASH OOPSLA
Guannan WeiPurdue University, Oliver BračevacPurdue University, Shangyin TanPurdue University, Tiark RompfPurdue University
Link to publication DOI Pre-print Media Attached
23:20 - 23:40
Talk
SPLASH OOPSLA
Gushu LiUniversity of California at Santa Barbara, Li ZhouMax Planck Institute for Security and Privacy, Nengkun YuUniversity of Technology Sydney, Yufei DingUniversity of California at Santa Barbara, Mingsheng YingUniversity of Technology Sydney / Institute of Software at Chinese Academy of Sciences / Tsinghua University, Yuan XieUniversity of California at Santa Barbara
Link to publication DOI Pre-print Media Attached
23:40 - 00:00
Talk
SPLASH OOPSLA
Hamed GorjiaraUniversity of California at Irvine, Guoqing Harry XuUniversity of California at Los Angeles, Brian DemskyUniversity of California at Irvine
Link to publication DOI Media Attached
00:00 - 00:20
Talk
SPLASH OOPSLA
Cormac FlanaganUniversity of California at Santa Cruz, Stephen N. FreundWilliams College
Link to publication DOI Media Attached

Fri 20 Nov
Times are displayed in time zone: Central Time (US & Canada) change

00:20 - 01:00: Breakfast in ParisSPLASH Meet The Speakers (MTS) at SPLASH-I
00:20 - 01:00
Social Event
SPLASH Meet The Speakers (MTS)
02:20 - 03:00: Cocktails in SydneySPLASH Meet The Speakers (MTS) at SPLASH-I
02:20 - 03:00
Social Event
SPLASH Meet The Speakers (MTS)
03:00 - 04:20: R-5SPLASH OOPSLA at SPLASH-I
Chair(s): Jan VitekNortheastern University / Czech Technical University
03:00 - 03:20
Talk
SPLASH OOPSLA
Sifis LagouvardosUniversity of Athens, Neville GrechUniversity of Athens, Ilias TsatirisUniversity of Athens, Yannis SmaragdakisUniversity of Athens
Link to publication DOI Media Attached
03:20 - 03:40
Talk
SPLASH OOPSLA
Caterina UrbanInria / ENS / CNRS / PSL University, Maria ChristakisMPI-SWS, Valentin WüstholzConsenSys, Fuyuan ZhangMPI-SWS
Link to publication DOI Media Attached
03:40 - 04:00
Talk
SPLASH OOPSLA
Elvira AlbertComplutense University of Madrid, Shelly GrossmanTel Aviv University, Noam RinetzkyTel Aviv University, Clara Rodríguez-NúñezComplutense University of Madrid, Albert RubioComplutense University of Madrid, Mooly SagivTel Aviv University
Link to publication DOI Media Attached
04:00 - 04:20
Talk
SPLASH OOPSLA
Shengjian GuoBaidu Security, Yueqi ChenPennsylvania State University, Jiyong YuUniversity of Illinois at Urbana-Champaign, Meng WuAnt Group, Zhiqiang ZuoNanjing University, Peng LiBaidu Security, Yueqiang ChengBaidu Security, Huibo WangBaidu Security
Link to publication DOI Media Attached
04:20 - 05:00: Dinner in BeijingSPLASH Meet The Speakers (MTS) at SPLASH-I
04:20 - 05:00
Social Event
SPLASH Meet The Speakers (MTS)
05:00 - 06:20: R-6SPLASH OOPSLA at SPLASH-I
Chair(s): Eelco VisserDelft University of Technology, Dominik WintererETH Zurich
05:00 - 05:20
Talk
SPLASH OOPSLA
Leif AndersenNortheastern University, Michael BallantyneNortheastern University, Matthias FelleisenNortheastern University
Link to publication DOI Media Attached
05:20 - 05:40
Talk
SPLASH OOPSLA
John FeserMassachusetts Institute of Technology, Sam MaddenMassachusetts Institute of Technology, Nan TangQCRI HBKU, Armando Solar-LezamaMassachusetts Institute of Technology
Link to publication DOI Media Attached
05:40 - 06:00
Talk
SPLASH OOPSLA
Minh-Thai TrinhAdvanced Digital Sciences Center, Duc-Hiep ChuNational University of Singapore, Joxan JaffarNational University of Singapore
Link to publication DOI Media Attached
06:00 - 06:20
Talk
SPLASH OOPSLA
Michael BallantyneNortheastern University, Alexis KingNorthwestern University, Matthias FelleisenNortheastern University
Link to publication DOI Media Attached
06:20 - 07:00: Dinner in DelhiSPLASH Meet The Speakers (MTS) at SPLASH-I
06:20 - 07:00
Social Event
SPLASH Meet The Speakers (MTS)
07:00 - 08:20: F-1ASPLASH OOPSLA at SPLASH-I +12h
Chair(s): Diomidis SpinellisAthens University of Economics and Business, John WickersonImperial College London
07:00 - 07:20
Talk
SPLASH OOPSLA
Konstantinos KallasUniversity of Pennsylvania, Filip NiksicGoogle, Caleb StanfordUniversity of Pennsylvania, Rajeev AlurUniversity of Pennsylvania
Link to publication DOI Media Attached
07:20 - 07:40
Talk
SPLASH OOPSLA
Radha JagadeesanDePaul University, Alan JeffreyMozilla Research, James RielyDePaul University
Link to publication DOI Pre-print Media Attached
07:40 - 08:00
Talk
SPLASH OOPSLA
Lingkun KongRice University, Konstantinos MamourasRice University
Link to publication DOI Media Attached
08:00 - 08:20
Talk
SPLASH OOPSLA
Jake KirkhamPrinceton University, Tyler SorensenUniversity of California at Santa Cruz, Esin TureciPrinceton University, Margaret MartonosiPrinceton University
Link to publication DOI Media Attached
08:20 - 09:00: Breakfast in ChicagoSPLASH Meet The Speakers (MTS) at SPLASH-I +12h
08:20 - 09:00
Social Event
SPLASH Meet The Speakers (MTS)
09:00 - 10:20: F-2ASPLASH OOPSLA at SPLASH-I +12h
Chair(s): Aviral GoelNortheastern University, Reuben RoweUniversity College London
09:00 - 09:20
Talk
SPLASH OOPSLA
Ryan SenanayakeReservoir Labs, Changwan HongMassachusetts Institute of Technology, Ziheng WangMassachusetts Institute of Technology, Amalee WilsonStanford University, Stephen ChouMassachusetts Institute of Technology, Shoaib KamilAdobe Research, Saman AmarasingheMassachusetts Institute of Technology, Fredrik KjolstadStanford University
Link to publication DOI Pre-print Media Attached File Attached
09:20 - 09:40
Talk
SPLASH OOPSLA
Koar MarntirosianKU Leuven, Tom SchrijversKU Leuven, Bruno C. d. S. OliveiraUniversity of Hong Kong, Georgios KarachaliasTweag
Link to publication DOI Media Attached
09:40 - 10:00
Talk
SPLASH OOPSLA
Sean BartellUniversity of Illinois at Urbana-Champaign, Will DietzUniversity of Illinois at Urbana-Champaign, Vikram S. AdveUniversity of Illinois at Urbana-Champaign
Link to publication DOI Media Attached
10:00 - 10:20
Talk
SPLASH OOPSLA
Xiaohong ChenUniversity of Illinois at Urbana-Champaign, Minh-Thai TrinhAdvanced Digital Sciences Center, Nishant RodriguesUniversity of Illinois at Urbana-Champaign, Lucas PeñaUniversity of Illinois at Urbana-Champaign, Grigore RoşuUniversity of Illinois at Urbana-Champaign
Link to publication DOI Media Attached
10:20 - 11:00: Breakfast in SeattleSPLASH Meet The Speakers (MTS) at SPLASH-I +12h
10:20 - 11:00
Social Event
SPLASH Meet The Speakers (MTS)
11:00 - 12:20: F-3ASPLASH OOPSLA at SPLASH-I +12h
Chair(s): Stefan MarrUniversity of Kent, Reuben RoweUniversity College London
11:00 - 11:20
Talk
SPLASH OOPSLA
Olivier FlückigerNortheastern University, Guido ChariAsapp, Ming-Ho YeeNortheastern University, Jan JečmenCzech Technical University, Jakob HainNortheastern University, Jan VitekNortheastern University / Czech Technical University
Link to publication DOI Pre-print Media Attached
11:20 - 11:40
Talk
SPLASH OOPSLA
Magnus MadsenAarhus University, Ondřej LhotákUniversity of Waterloo
Link to publication DOI Media Attached
11:40 - 12:00
Talk
SPLASH OOPSLA
Julie L. NewcombUniversity of Washington, Andrew AdamsAdobe Research, Steven JohnsonGoogle, Rastislav BodikUniversity of Washington, Shoaib KamilAdobe Research
Link to publication DOI Media Attached
12:00 - 12:20
Talk
SPLASH OOPSLA
Magnus MadsenAarhus University, Jaco van de PolAarhus University
Link to publication DOI Media Attached
12:20 - 13:00: Breakfast in WellingtonSPLASH Meet The Speakers (MTS) at SPLASH-I +12h
12:20 - 13:00
Social Event
SPLASH Meet The Speakers (MTS)
13:00 - 14:20: F-4ASPLASH OOPSLA at SPLASH-I +12h
Chair(s): Ruben MartinsCarnegie Mellon University, Louis MandelIBM Research, USA
13:00 - 13:20
Talk
SPLASH OOPSLA
Martin AvanziniInria, Georg MoserUniversity of Innsbruck, Michael SchaperUniversity of Innsbruck
Link to publication DOI Media Attached
13:20 - 13:40
Talk
SPLASH OOPSLA
Ivan GavranMPI-SWS, Eva DarulovaMPI-SWS, Rupak MajumdarMPI-SWS
Link to publication DOI Media Attached
13:40 - 14:00
Talk