Write a Blog >>
SPLASH 2019
Sun 20 - Fri 25 October 2019 Athens, Greece
VenueRoyal Olympic Hotel
Room nameOlympia
Floor-1
Room number
Capacity500
Additional informationThere is no additional information of this room available.
Program

This program is tentative and subject to change.

Wed 23 Oct

splash-2019-rebase
09:00 - 10:30: Rebase - Rebase Keynote (Might) at Olympia
splash-2019-splash-keynotes09:00 - 10:30
Talk
Matthew MightUniversity of Alabama at Birmingham | Harvard Medical School
splash-2019-oopsla
11:00 - 12:30: OOPSLA - Modular Verification at Olympia
Chair(s): Friedrich SteimannFernuni Hagen
splash-2019-oopsla11:00 - 11:22
Research paper
DOI Pre-print
splash-2019-oopsla11:22 - 11:45
Talk
Pavel PanchekhaUniversity of Washington, Michael D. ErnstUniversity of Washington, USA, Zachary TatlockUniversity of Washington, Shoaib KamilAdobe
splash-2019-oopsla11:45 - 12:07
Talk
Mingzhang HuangShanghai Jiao Tong University, Hongfei FuShanghai Jiao Tong University, Krishnendu ChatterjeeIST Austria, Amir Kafshdar GoharshadyIST Austria
splash-2019-oopsla12:07 - 12:30
Talk
Vytautas AstrauskasETH Zurich, Switzerland, Peter MüllerETH Zurich, Federico PoliETH Zurich, Switzerland, Alexander J. SummersETH Zurich
DOI Pre-print
splash-2019-oopsla
14:00 - 15:30: OOPSLA - Testing at Olympia
splash-2019-oopsla14:00 - 14:22
Talk
August ShiUniversity of Illinois at Urbana-Champaign, Milica Hadzi-TanovicTechnische Universitat Munchen, Lingming ZhangThe University of Texas at Dallas, Darko MarinovUniversity of Illinois at Urbana-Champaign, Owolabi LegunsenUniversity of Illinois at Urbana-Champaign
splash-2019-oopsla14:22 - 14:45
Talk
Burcu Kulahcioglu OzkanMax Planck Institute for Software Systems (MPI-SWS), Rupak MajumdarMax Planck Institute for Software Systems (MPI-SWS), Simin OraeeMax Planck Institute for Software Systems (MPI-SWS)
splash-2019-oopsla14:45 - 15:07
Talk
Dowon SongKorea University, Myungho LeeKorea University, Hakjoo OhKorea University
splash-2019-oopsla15:07 - 15:30
Talk
Ranadeep BiswasIRIF, University Paris Diderot & CNRS, Constantin EneaIRIF, University Paris Diderot & CNRS
splash-2019-oopsla
16:00 - 17:30: OOPSLA - Analysis at Olympia
splash-2019-oopsla16:00 - 16:22
Talk
Jingbo LuUNSW Sydney, Jingling XueUNSW Sydney
splash-2019-oopsla16:22 - 16:45
Talk
Gregory EssertelPurdue University, Guannan WeiPurdue University, Tiark RompfPurdue University
splash-2019-oopsla16:45 - 17:07
Talk
Milijana SurbatovichCarnegie Mellon University, Limin JiaCarnegie Mellon University, Brandon LuciaCarnegie Mellon University
splash-2019-oopsla17:07 - 17:30
Talk
Emma ToschUniversity of Massachusetts Amherst, Eytan BakshyFacebook, Inc., Emery BergerUniversity of Massachusetts Amherst, David JensenUniversity of Massachusetts Amherst, Eliot MossUniversity of Massachusetts Amherst
splash-2019-oopsla
17:30 - 18:30: OOPSLA - Awards / SIGPLAN Town Hall Meeting at Olympia

Thu 24 Oct

splash-2019-splash-keynotes
09:00 - 10:30: Keynotes - Sack keynote at Olympia
splash-2019-splash-keynotes09:00 - 10:30
Talk
Warren SackUniversity of California, Santa Cruz
splash-2019-oopsla
11:00 - 12:30: OOPSLA - Distributed Systems at Olympia
splash-2019-oopsla11:00 - 11:22
Talk
Ivana VukoticSnT, University of Luxembourg, Vincent RahliUniversity of Birmingham, Paulo Esteves-VeríssimoSnT, University of Luxembourg
splash-2019-oopsla11:22 - 11:45
Talk
Zachary BenavidesUC Riverside, Keval VoraSimon Fraser University, Rajiv GuptaUC Riverside
splash-2019-oopsla11:45 - 12:07
Talk
Ragnar MogkTechnische Universität Darmstadt, Joscha DrechslerTechnische Universität Darmstadt, Guido SalvaneschiTechnische Universität Darmstadt, Mira MeziniTechnische Universität Darmstadt
splash-2019-oopsla12:07 - 12:30
Talk
Guido SalvaneschiTechnische Universität Darmstadt, Mirko KöhlerTechnische Universität Darmstadt, Daniel SokolowskiTechnische Universität Darmstadt, Philipp HallerKTH Royal Institute of Technology, Sebastian ErdwegJGU Mainz, Mira MeziniTechnische Universität Darmstadt
splash-2019-oopsla
14:00 - 15:30: OOPSLA - Specification and Certification at Olympia
splash-2019-oopsla14:00 - 14:22
Talk
Shengyi WangNational University of Singapore, Qinxiang CaoShanghai Jiao Tong University, Anshuman MohanNational University of Singapore, Aquinas HoborNational University of Singapore
splash-2019-oopsla14:22 - 14:45
Talk
Timos AntonopoulosYale University, Eric KoskinenStevens Institute of Technology, Ton Chanh LeStevens Institute of Technology
splash-2019-oopsla14:45 - 15:07
Talk
Aleksandar NanevskiIMDEA Software Institute, Anindya BanerjeeIMDEA Software Institute, Germán Andrés DelbiancoIRIF - Université de Paris, Ignacio FábregasIMDEA Software Institute
splash-2019-oopsla15:07 - 15:30
Talk
Jia ChenUniversity of Texas at Austin, Jiayi WeiUniversity of Texas at Austin, Yu FengUniversity of California, Santa Barbara, Osbert BastaniUniversity of Pennsylvania, Isil DilligUniversity of Texas Austin
splash-2019-oopsla
16:00 - 17:30: OOPSLA - Types at Olympia
Chair(s): Éric TanterUniversity of Chile & Inria Paris
splash-2019-oopsla16:00 - 16:22
Talk
Gowtham KakiPurdue University, Swarn PriyaPurdue University, KC SivaramakrishnanIIT Madras, Suresh JagannathanPurdue University
splash-2019-oopsla16:22 - 16:45
Talk
Luís CairesUniversidade Nova de Lisboa and NOVA LINCS, Bernardo ToninhoUniversidade Nova de Lisboa and NOVA LINCS
splash-2019-oopsla16:45 - 17:07
Talk
Jad HamzaEPFL, Switzerland, Nicolas VoirolEPFL, Switzerland, Viktor KunčakEPFL, Switzerland
splash-2019-oopsla17:07 - 17:30
Talk
Ben GreenmanPLT @ Northeastern University, Matthias FelleisenPLT @ Northeastern University, Christos DimoulasPLT @ Northwestern University

Fri 25 Oct

splash-2019-splash-keynotes
09:00 - 10:30: Keynotes - Dillig keynote at Olympia
splash-2019-splash-keynotes09:00 - 10:30
Talk
Isil DilligUniversity of Texas Austin
splash-2019-oopsla
11:00 - 12:30: OOPSLA - Concurrency at Olympia
Chair(s): Sophia DrossopoulouImperial College London
splash-2019-oopsla11:00 - 11:22
Talk
Yoav ZurielTechnion - Israel, Michal FriedmanTechnion - Israel, Gali SheffiTechnion - Israel, Nachshon CohenAmazon, Erez PetrankTechnion - Israel
splash-2019-oopsla11:22 - 11:45
Talk
Azalea RaadMPI-SWS, Germany, John WickersonImperial College London, Viktor VafeiadisMPI-SWS, Germany
splash-2019-oopsla11:45 - 12:07
Talk
Vimuth FernandoUniversity of Illinois at Urbana-Champaign, Keyur JoshiUniversity of Illinois at Urbana-Champaign, Sasa MisailovicUniversity of Illinois at Urbana-Champaign
splash-2019-oopsla12:07 - 12:30
Talk
Kaan GençOhio State University, Jake RoemerOhio State University, Yufan XuOhio State University, Michael BondOhio State University
splash-2019-oopsla
14:00 - 15:30: OOPSLA - Implementation at Olympia
splash-2019-oopsla14:00 - 14:22
Talk
Ahmet CelikThe University of Texas at Austin, Pengyu NieThe University of Texas at Austin, Chris RossbachThe University of Texas at Austin and VMware Research Group, Milos GligoricThe University of Texas at Austin
splash-2019-oopsla14:22 - 14:45
Talk
Christian WimmerOracle Labs, Codrut StancuOracle Labs, Peter HoferOracle Labs, Vojin JovanovicOracle Labs, Paul WögererOracle Labs, Peter B. KesslerOracle Labs, Oleg PlissOracle Labs, Thomas WuerthingerOracle Labs
DOI Pre-print
splash-2019-oopsla14:45 - 15:07
Talk
splash-2019-oopsla15:07 - 15:30
Talk
Manas ThakurIIT Madras, V Krishna NandivadaIIT Madras
splash-2019-splash-keynotes
16:00 - 17:30: Keynotes - Dellaert keynote (closing) at Olympia
splash-2019-splash-keynotes16:00 - 17:30
Talk
Frank DellaertGeorgia Institute of Technology

This program is tentative and subject to change.

Wed 23 Oct 2019

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:0030
Olympia

Thu 24 Oct 2019

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Olympia
16:00 - 17:30

Fri 25 Oct 2019

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Olympia

This program is tentative and subject to change.