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

Wed 23 Oct

splash-2019-rebase
09:00 - 10:30: Rebase - Rebase Keynote (Might) at Olympia
Chair(s): Shan Shan HuangRelational.ai, Michael CarbinMassachusetts Institute of Technology, Yannis SmaragdakisUniversity of Athens
splash-2019-rebase09:00 - 09:20
Day opening
Yannis SmaragdakisUniversity of Athens, Shan Shan HuangRelational.ai, Michael CarbinMassachusetts Institute of Technology
splash-2019-splash-keynotes09:20 - 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
Link to publication DOI Pre-print File Attached
splash-2019-oopsla11:22 - 11:45
Talk
Pavel PanchekhaUniversity of Utah, Michael D. ErnstUniversity of Washington, USA, Zachary TatlockUniversity of Washington, Shoaib KamilAdobe
DOI
splash-2019-oopsla11:45 - 12:07
Talk
Mingzhang HuangShanghai Jiao Tong University, Hongfei FuShanghai Jiao Tong University, Krishnendu ChatterjeeIST Austria, Amir Kafshdar GoharshadyIST Austria
DOI
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
Chair(s): Stephen KellUniversity of Kent
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
DOI
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)
DOI
splash-2019-oopsla14:45 - 15:07
Talk
Dowon SongKorea University, Myungho LeeKorea University, Hakjoo OhKorea University
DOI
splash-2019-oopsla15:07 - 15:30
Talk
Ranadeep BiswasIRIF, University Paris Diderot & CNRS, Constantin EneaIRIF, University Paris Diderot & CNRS
DOI
splash-2019-oopsla
16:00 - 17:30: OOPSLA - Analysis at Olympia
Chair(s): Jan VitekNortheastern University
splash-2019-oopsla16:00 - 16:22
Talk
Jingbo LuUNSW Sydney, Jingling XueUNSW Sydney
DOI
splash-2019-oopsla16:22 - 16:45
Talk
Gregory EssertelPurdue University, Guannan WeiPurdue University, Tiark RompfPurdue University
DOI
splash-2019-oopsla16:45 - 17:07
Talk
Milijana SurbatovichCarnegie Mellon University, Limin JiaCarnegie Mellon University, Brandon LuciaCarnegie Mellon University
DOI
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
DOI
splash-2019-oopsla
17:30 - 18:30: OOPSLA - Awards / SIGPLAN Town Hall Meeting at Olympia
Chair(s): Eelco VisserDelft University of Technology, Jens PalsbergUniversity of California, Los Angeles

Thu 24 Oct

splash-2019-splash-keynotes
09:30 - 10:30: Keynotes - Sack keynote at Olympia
Chair(s): Tomas PetricekUniversity of Kent, Hidehiko MasuharaTokyo Institute of Technology
splash-2019-splash-keynotes09:30 - 10:30
Talk
Warren SackUniversity of California, Santa Cruz
splash-2019-oopsla
11:00 - 12:30: OOPSLA - Distributed Systems at Olympia
Chair(s): Arjun GuhaUniversity of Massachusetts, Amherst
splash-2019-oopsla11:00 - 11:22
Talk
Ivana VukoticSnT, University of Luxembourg, Vincent RahliUniversity of Birmingham, Paulo Esteves-VeríssimoSnT, University of Luxembourg
DOI
splash-2019-oopsla11:22 - 11:45
Talk
Zachary BenavidesUC Riverside, Keval VoraSimon Fraser University, Rajiv GuptaUC Riverside
DOI
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
DOI
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
DOI
splash-2019-oopsla
14:00 - 15:30: OOPSLA - Specification and Certification at Olympia
Chair(s): Colin GordonDrexel University
splash-2019-oopsla14:00 - 14:22
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
DOI
splash-2019-oopsla14:22 - 14:45
Talk
Timos AntonopoulosYale University, Eric KoskinenStevens Institute of Technology, Ton Chanh LeStevens Institute of Technology
DOI
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
Link to publication DOI
splash-2019-oopsla15:07 - 15:30
Talk
Shengyi WangNational University of Singapore, Qinxiang CaoShanghai Jiao Tong University, Anshuman MohanNational University of Singapore, Aquinas HoborNational University of Singapore
DOI Pre-print
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
Link to publication DOI
splash-2019-oopsla16:22 - 16:45
Talk
Luís CairesUniversidade Nova de Lisboa and NOVA LINCS, Bernardo ToninhoUniversidade Nova de Lisboa and NOVA LINCS
DOI
splash-2019-oopsla16:45 - 17:07
Talk
Jad HamzaEPFL, Switzerland, Nicolas VoirolEPFL, Switzerland, Viktor KunčakEPFL, Switzerland
DOI
splash-2019-oopsla17:07 - 17:30
Talk
Ben GreenmanPLT @ Northeastern University, Matthias FelleisenPLT @ Northeastern University, Christos DimoulasPLT @ Northwestern University
DOI

Fri 25 Oct

splash-2019-splash-keynotes
09:30 - 10:30: Keynotes - Dillig keynote at Olympia
Chair(s): Eelco VisserDelft University of Technology
splash-2019-splash-keynotes09:30 - 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
DOI
splash-2019-oopsla11:22 - 11:45
Talk
Azalea RaadMPI-SWS, Germany, John WickersonImperial College London, Viktor VafeiadisMPI-SWS, Germany
DOI
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
DOI
splash-2019-oopsla12:07 - 12:30
Talk
Kaan GençOhio State University, Jake RoemerOhio State University, Yufan XuOhio State University, Michael BondOhio State University
DOI Pre-print
splash-2019-oopsla
14:00 - 15:30: OOPSLA - Implementation at Olympia
Chair(s): Jens PalsbergUniversity of California, Los Angeles
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
DOI
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
Link to publication DOI File Attached
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
Chair(s): Yannis SmaragdakisUniversity of Athens
splash-2019-splash-keynotes16:00 - 17:30
Talk
Frank DellaertGeorgia Institute of Technology

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