Write a Blog >>
SPLASH 2019
Sun 20 - Fri 25 October 2019 Athens, Greece
You're viewing the program in a time zone which is different from your device's time zone - change time zone

Sun 20 Oct
Times are displayed in time zone: Beirut change

09:00 - 10:30: Model and TheoryMETA at Room 1A
Chair(s): Guido ChariCzech Technical University
09:00 - 09:30
Full-paper
META
Toni MattisHasso Plattner Institute, University of Potsdam, Patrick ReinHasso Plattner Institute, Germany, Robert HirschfeldHasso-Plattner-Institut (HPI), Germany
09:30 - 10:00
Full-paper
META
Adrian Mensing, Hendrik van AntwerpenTU Delft, Eelco VisserDelft University of Technology, Casper Bach PoulsenDelft University of Technology
Link to publication Pre-print
10:00 - 10:30
Short-paper
META
Isaac Oscar GarianoVictoria University of Wellington, Marco ServettoVictoria University Wellington, New Zealand
File Attached
09:00 - 10:30: Introduction and keynoteDSM at Room 1B
Chair(s): Matti RossiAalto University School of Business, Jonathan SprinkleUniversity of Arizona, Juha-Pekka TolvanenMetaCase, Jeff GrayUniversity of Alabama
09:00 - 09:30
Talk
DSM
09:30 - 10:30
Industry talk
DSM
09:00 - 10:30: KeynoteDLS at Room 2A
Chair(s): Stefan MarrUniversity of Kent
09:15 - 09:30
Day opening
DLS
Stefan MarrUniversity of Kent
09:30 - 10:30
Talk
DLS
Media Attached
10:30 - 11:00: Coffee breakCatering at Break area
10:30 - 11:00
Coffee break
Catering
11:00 - 12:30: Concurrency and Data Structures META at Room 1A
Chair(s): Christophe ScholliersUniversiteit Gent, Belgium
11:00 - 12:00
Talk
META
Jan VitekNortheastern University, Aviral GoelNortheastern University
12:00 - 12:30
Full-paper
META
Kevin De Porre, Elisa Gonzalez BoixVrije Universiteit Brussel, Belgium
11:00 - 12:30: Types and ToolsDLS at Room 2A
Chair(s): Nick Papoulias Université Grenoble Alpes, France
11:00 - 11:30
Talk
DLS
Michael HomerVictoria University of Wellington, Timothy JonesMontoux, James NobleVictoria University of Wellington
Pre-print Media Attached
11:30 - 12:00
Talk
DLS
Daniel StolpeHasso-Plattner-Institut, Tim FelgentreffOracle Labs, Potsdam, Christian HumerOracle Labs, Switzerland, Fabio NiephausHasso Plattner Institute, University of Potsdam, Robert HirschfeldHasso-Plattner-Institut (HPI), Germany
Pre-print Media Attached
12:00 - 12:30
Talk
DLS
Michael M. VitousekIndiana University, Jeremy G. SiekIndiana University, USA, Avik ChaudhuriFacebook, USA
Media Attached
12:30 - 14:00: LunchCatering at Restaurant
14:00 - 15:30: Optimizing ComputationsDLS at Room 2A
Chair(s): Marc FeeleyUniversité de Montréal
14:00 - 14:30
Talk
DLS
Remigius MeierETH Zurich, Switzerland, Thomas GrossETH Zurich, Switzerland
14:30 - 15:00
Talk
DLS
Olivier FlückigerNortheastern University, Guido ChariCzech Technical University, Jan JečmenCzech Technical University, Ming-Ho YeeNortheastern University, Jakob HainNortheastern University, Jan VitekNortheastern University
Link to publication DOI Pre-print Media Attached
15:00 - 15:30
Talk
DLS
Dejice JacobUniversity of Glasgow, Phil TrinderUniversity of Glasgow, Jeremy SingerUniversity of Glasgow
Link to publication DOI Authorizer link
15:30 - 16:00: Coffee breakCatering at Break area
15:30 - 16:00
Coffee break
Catering
16:00 - 17:30: ClosingMETA at Room 1A
16:00 - 17:30: Group work and reportingDSM at Room 1B
Chair(s): Jeff GrayUniversity of Alabama
16:00 - 17:00
Meeting
DSM
17:00 - 17:30
Talk
DSM
16:00 - 17:30: Beyond the LanguageDLS at Room 2A
Chair(s): Stefan MarrUniversity of Kent
16:00 - 16:30
Talk
DLS
Clément BéraGoogle, Aarhus, Eliot MirandaCadence Design Systems, Elisa Gonzalez BoixVrije Universiteit Brussel, Belgium
16:30 - 17:00
Talk
DLS
Thomas DupriezUniversité Lille, CNRS, Centrale Lille, Inria, UMR 9189 - CRIStAL, Guillermo PolitoUniv. Lille, CNRS, Centrale Lille, Inria, UMR 9189 - CRIStAL - Centre de Recherche en Informatique Signal et Automatique de Lille, Steven Costiou INRIA Lille, Vincent AranegaUniversité Lille, CNRS, Centrale Lille, Inria, UMR 9189 - CRIStAL, Stéphane Ducasse INRIA Lille
Media Attached
17:00 - 17:30
Talk
DLS
Marcel WeiherHasso-Plattner-Institut (HPI), Germany, Robert HirschfeldHasso-Plattner-Institut (HPI), Germany
Pre-print Media Attached

Mon 21 Oct
Times are displayed in time zone: Beirut change

09:00 - 10:30: Session 1Doctoral Symposium at Abbey
09:00 - 09:10
Day opening
Doctoral Symposium
09:10 - 09:30
Talk
Doctoral Symposium
09:30 - 10:30
Talk
Doctoral Symposium
Andreas RossbergDfinity Stiftung
09:00 - 10:30: Keynote 1MPLR at Room 1
09:00 - 10:30
Talk
MPLR
Olivier FlückigerNortheastern University, Jan VitekNortheastern University
09:00 - 10:30: Data Data Data!STOKED at Room 2B
Chair(s): Yvonne CoadyUniversity of Victoria
09:00 - 09:55
Industry talk
STOKED
10:00 - 10:15
Experience report
STOKED
Ben SmithGraduate Student intern at Urthecast
10:20 - 10:30
Other
STOKED
09:00 - 10:30: KeynoteIC at Room 3A
Chair(s): Tamás Szabóitemis / JGU Mainz
09:00 - 10:30
Talk
IC
K: Frank McSherryMaterialize, Inc
09:00 - 10:30: KeynoteREBLS at Room 3B
09:00 - 09:10
Day opening
REBLS
09:10 - 10:30
Talk
REBLS
Ivan PerezNIA / NASA Formal Methods
09:00 - 10:30: Session 1: SLE WelcomeSLE at Templars
Chair(s): Beatriz SanchezUniversity of York
09:00 - 10:30
Talk
SLE
Ralf LämmelFacebook London
10:30 - 11:00: Coffee breakCatering at Break area
10:30 - 11:00
Coffee break
Catering
11:00 - 12:30: Language extensionGPCE at Ground floor conference room
Chair(s): Adam WelcUber Technologies
11:00 - 11:30
Talk
GPCE
Shigeru ChibaGraduate School of Information Science and Technology, The University of Tokyo
11:30 - 11:50
Talk
GPCE
Musa Al-hassyMcMaster University, Wolfram KahlMcMaster University, Jacques CaretteMcMaster University
11:50 - 12:10
Talk
GPCE
Lucas KramerUniversity of Minnesota, Eric Van WykUniversity of Minnesota, USA
DOI Pre-print
12:10 - 12:30
Talk
GPCE
Artur AndrzejakHeidelberg University, Kevin Kiefer, Diego CostaHeidelberg University, Oliver WenzHeidelberg University
11:00 - 12:30: Virtual machinesMPLR at Room 1
11:00 - 11:30
Talk
MPLR
Raphael MosanerJohannes Kepler University Linz, David LeopoldsederJohannes Kepler University Linz, Manuel RiggerETH Zurich, Roland SchatzJohannes Kepler University Linz, Hanspeter MössenböckJKU Linz, Austria
Pre-print
11:30 - 12:00
Talk
MPLR
Fabio NiephausHasso Plattner Institute, University of Potsdam, Tim FelgentreffOracle Labs, Potsdam, Robert HirschfeldHasso-Plattner-Institut (HPI), Germany
DOI Pre-print
12:00 - 12:30
Talk
MPLR
Robbert Gurdeep SinghUniversiteit Gent, Belgium, Christophe ScholliersUniversiteit Gent, Belgium
DOI Authorizer link Pre-print
11:00 - 12:30: Session 2NJR at Room 2A
11:00 - 11:45
Talk
NJR
Mira MeziniTechnische Universität Darmstadt
11:45 - 12:30
Talk
NJR
Uri AlonTechnion
11:00 - 12:30: Demanding Interfaces!STOKED at Room 2B
Chair(s): Yvonne CoadyUniversity of Victoria
11:00 - 11:50
Industry talk
STOKED
Michael Van Den BerghEsri, R&D Center Zurich
12:00 - 12:15
Experience report
STOKED
Matthew PlaudisGraduate Student intern at Esri, Canada
12:20 - 12:30
Other
STOKED
11:00 - 12:30: Incremental DatalogIC at Room 3A
Chair(s): Neville GrechUniversity of Athens
11:00 - 11:30
Talk
IC
André PacakJGU Mainz, Sebastian ErdwegJGU Mainz
11:30 - 12:00
Talk
IC
Tamás Szabóitemis / JGU Mainz, Gábor BergmannBudapest University of Technology and Economics / MTA-BME Lendület Research Group on Cyber-Physical Systems, Hungary, Sebastian ErdwegJGU Mainz
Pre-print
12:00 - 12:30
Talk
IC
David ZhaoThe University of Sydney, Pavle SuboticAmazon, Bernhard ScholzUniversity of Sydney, Australia
11:00 - 12:30: Language design and implementationREBLS at Room 3B
Chair(s): Tetsuo KaminaOita University
11:00 - 11:30
Talk
REBLS
Tian ZhaoUniversity of Wisconsin-Milwaukee, Adam BergerUniversity of Wisconsin -- Milwaukee, Yonglun LiUniversity of Wisconsin -- Milwaukee
11:30 - 12:00
Talk
REBLS
Yoshitaka SakuraiTokyo Institute of Technology, Takuo WatanabeTokyo Institute of Technology
DOI
12:00 - 12:30
Talk
REBLS
David RichterTechnische Universität Darmstadt, Ragnar MogkTechnische Universität Darmstadt
File Attached
11:00 - 12:30: Session 2: GrammarsSLE at Templars
Chair(s): Elizabeth ScottRoyal Holloway University of London
11:00 - 11:30
Talk
SLE
Nils WeidmannPaderborn University, Patrick RobrechtIndependent, Robin OppermannIndependent
11:30 - 12:00
Talk
SLE
Moeketsi RaselimoStellenbosch University, Bernd FischerStellenbosch University
12:00 - 12:30
Talk
SLE
Nils WeidmannPaderborn University, Anthony AnjorinPaderborn University, Erhan LeblebiciTechnische Universität Darmstadt, Andy SchürrTechnische Universität Darmstadt
12:30 - 14:00: LunchCatering at Restaurant
14:00 - 15:30: Session 3Doctoral Symposium at Abbey
14:00 - 14:40
Talk
Doctoral Symposium
Florian LatifiJohannes Kepler University Linz
DOI Pre-print
14:45 - 15:25
Talk
Doctoral Symposium
Gábor HorváthEötvös Loránd University
DOI Pre-print
14:00 - 15:30: MetaGPCE at Ground floor conference room
Chair(s): Shigeru ChibaGraduate School of Information Science and Technology, The University of Tokyo
14:00 - 14:30
Talk
GPCE
Alen StojanovETH Zurich, Tiark RompfPurdue University, Markus PüschelETH Zürich
14:30 - 15:00
Talk
GPCE
Lucas KramerUniversity of Minnesota, Ted KaminskiUniversity of Minnesota, Eric Van WykUniversity of Minnesota, USA
DOI Pre-print
15:00 - 15:20
Talk
GPCE
Amir ShaikhhaUniversity of Oxford
14:00 - 15:30: Concurrency and parallelismMPLR at Room 1
14:00 - 14:30
Talk
MPLR
Martin BättigDepartment of Computer Science, ETH Zurich, Thomas GrossETH Zurich, Switzerland
14:30 - 15:00
Talk
MPLR
Tatsuya AbeChiba Institute of Technology, Japan
15:00 - 15:30
Talk
MPLR
Swapnil Laxman GaikwadThe University of Manchester, Andrew NisbetThe University of Manchester, Mikel LujánUniversity of Manchester
14:00 - 15:30: Session 3NJR at Room 2A
14:00 - 14:30
Talk
NJR
Jens DietrichVictoria University of Wellington
14:30 - 15:00
Talk
NJR
Rohan AcharUC Irvine
15:00 - 15:30
Talk
NJR
Jens PalsbergUniversity of California, Los Angeles
14:00 - 15:30: Platforms, Plumbing and System InfrastructureSTOKED at Room 2B
Chair(s): Celina BergUBC, Computer Science
14:00 - 14:30
Other
STOKED
14:30 - 15:00
Experience report
STOKED
Jonathan HealyGraduate Student intern with the Earth Data Store
15:00 - 15:30
Other
STOKED
14:00 - 15:30: Incremental IDE servicesIC at Room 3A
Chair(s): Tamás Szabóitemis / JGU Mainz
14:00 - 14:30
Talk
IC
Gabriël KonatDelft University of Technology, Roelof SolDelft University of Technology, Sebastian ErdwegJGU Mainz, Eelco VisserDelft University of Technology
Pre-print File Attached
14:30 - 15:00
Talk
IC
Jeff SmitsDelft University of Technology, Gabriël KonatDelft University of Technology, Eelco VisserDelft University of Technology
Pre-print
15:00 - 15:30
Talk
IC
Nils KurowskyFernuni Hagen
14:00 - 15:30: Domain specific applicationsREBLS at Room 3B
Chair(s): Hidehiko MasuharaTokyo Institute of Technology
14:00 - 14:30
Talk
REBLS
Marcel BlöcherTU Darmstadt, Matthias EichholzTU Darmstadt, Pascal WeisenburgerTechnische Universität Darmstadt, Patrick EugsterUniversita della Svizzera Italiana, Switzerland, Mira MeziniTechnische Universität Darmstadt, Guido SalvaneschiTechnische Universität Darmstadt
14:30 - 15:00
Talk
REBLS
Vadim ZaytsevRaincode Labs, Belgium
15:00 - 15:30
Talk
REBLS
Daniel SokolowskiTechnische Universität Darmstadt, Philipp MartensTechnische Universität Darmstadt, Guido SalvaneschiTechnische Universität Darmstadt
File Attached
14:00 - 15:30: Session 3: LanguagesSLE at Templars
Chair(s): Casper Bach PoulsenDelft University of Technology
14:00 - 14:30
Talk
SLE
Vasco SousaUniversité de Montréal, Eugene SyrianiUniversité de Montréal, Khady FallUniversité de Montréal
14:30 - 14:50
Talk
SLE
David BromanKTH Royal Institute of Technology
14:50 - 15:10
Talk
SLE
Markus Völteritemis/independent, Klaus Birkenitemis AG, Sascha Lissonitemis AG, Alexander Rimeritemis AG
15:10 - 15:30
Talk
SLE
Nick Papoulias Université Grenoble Alpes, France
15:30 - 16:00: Coffee breakCatering at Break area
15:30 - 16:00
Coffee break
Catering
16:00 - 17:30: Session 4Doctoral Symposium at Abbey
16:00 - 16:40
Talk
Doctoral Symposium
Tim SoethoutING Bank and Centrum Wiskunde & Informatica (CWI), The Netherlands
DOI Pre-print File Attached
16:45 - 17:25
Talk
Doctoral Symposium
Dominik AumayrJohannes Kepler University Linz, Austria
Link to publication DOI
16:00 - 17:30: Program analysisMPLR at Room 1
16:00 - 16:30
Talk
MPLR
Martin SulzmannKarlsruhe University of Applied Sciences, Germany, Kai StadtmüllerKarlsruhe University of Applied Sciences
16:30 - 17:00
Talk
MPLR
Jacob KreindlJohannes Kepler University Linz, Daniele BonettaOracle Labs, Hanspeter MössenböckJKU Linz, Austria
17:00 - 17:30
Talk
MPLR
Markus WeningerChristian Doppler Lab. MEVSS, Johannes Kepler University Linz, Elias GanderChristian Doppler Lab. MEVSS, Johannes Kepler University Linz, Hanspeter MössenböckJKU Linz, Austria
16:00 - 17:30: Getting Real with Augmented and Virtual Realities!STOKED at Room 2B
Chair(s): Derek JacobyQVirt Labs
16:00 - 16:50
Industry talk
STOKED
Li JiLlamaZOO
17:00 - 17:15
Experience report
STOKED
Karina RigbyGreg Marshall Design
17:20 - 17:30
Other
STOKED
16:00 - 17:30: Databases & SemanticsIC at Room 3A
Chair(s): Markus Völteritemis/independent
16:00 - 16:30
Talk
IC
Jeffrey EymerSUNY Binghamton, Philip DexterSUNY Binghamton, Yu David Liu
16:30 - 17:00
Talk
IC
Roly PereraThe Alan Turing Institute
Pre-print
16:00 - 17:30: Session 4: ParsingSLE at Templars
Chair(s): Adrian JohnstoneRoyal Holloway, University of London
16:00 - 16:30
Talk
SLE
Elizabeth ScottRoyal Holloway University of London, Adrian JohnstoneRoyal Holloway, University of London
16:30 - 16:50
Talk
SLE
Moeketsi RaselimoStellenbosch University, Jan TaljaardStellenbosch University, Bernd FischerStellenbosch University
16:50 - 17:20
Talk
SLE
Lukas DiekmannKing's College London, Laurence TrattKing's College London
DOI Pre-print
17:30 - 19:30: Poster #1Posters at Kallirhoe
17:30 - 17:33
Poster
Posters
Daniel A. A. PelsmaekerDelft University of Technology, Netherlands, Hendrik van AntwerpenTU Delft, Eelco VisserDelft University of Technology
17:33 - 17:36
Poster
Posters
Alex VillazónUniversidad Privada Boliviana, Bolivia, Haiyang SunUniversità della Svizzera italiana, Andrea RosàUniversity of Lugano, Switzerland, Eduardo RosalesUniversity of Lugano, Switzerland, Daniele BonettaOracle Labs, Isabella DefilippisUniversidad Privada Boliviana (UPB), Sergio OportoUniversidad Privada Boliviana (UPB), Walter BinderUniversity of Lugano, Switzerland
17:36 - 17:39
Poster
Posters
Shigeyuki SatoThe University of Tokyo
17:39 - 17:42
Poster
Posters
Aleksandar ProkopecOracle Labs, Andrea RosàUniversity of Lugano, Switzerland, David LeopoldsederJohannes Kepler University Linz, Gilles DuboscqOracle Labs, Petr TumaCharles University, Martin StudenerJKU Linz, Austria, Lubomír BulejCharles University, Yudi ZhengOracle Labs, Alex VillazónUniversidad Privada Boliviana, Bolivia, Doug SimonOracle Labs, Thomas WuerthingerOracle Labs, Walter BinderUniversity of Lugano, Switzerland
17:42 - 17:45
Poster
Posters
Matúš SulírTechnical University of Košice
Pre-print
17:45 - 17:48
Poster
Posters
Alexandru DuraLund University, Hampus BalldinLund University
17:48 - 17:52
Poster
Posters
Michael CoblenzCarnegie Mellon University, Jonathan AldrichCarnegie Mellon University, Joshua SunshineCarnegie Mellon University, Brad A. MyersCarnegie Mellon University
17:52 - 17:55
Poster
Posters
Adam SeewaldUniversity of Southern Denmark, Ulrik Pagh SchultzUniversity of Southern Denmark, Julius RoedeUniversity of Amsterdam, Benjamin RouxelUniversity of Amsterdam, Clemens GrelckUniversity of Amsterdam
17:55 - 17:58
Poster
Posters
Nafise EskandaniTechnische Universität Darmstadt, Mirko KöhlerTechnische Universität Darmstadt, Guido SalvaneschiTechnische Universität Darmstadt
17:58 - 18:01
Poster
Posters
Minseok JeonKorea University, South Korea, Sehun JeongKorea University, South Korea, Hakjoo OhKorea University
18:01 - 18:04
Poster
Posters
Seongjoon HongKorea University, Junhee LeeKorea University, South Korea, Jeongsoo LeeKorea University, Hakjoo OhKorea University
18:04 - 18:07
Poster
Posters
Sunbeom SoKorea University, Myungho LeeKorea University, Hakjoo OhKorea University
18:07 - 18:11
Poster
Posters
Salim S. SalimUniversity of Manchester, Andrew NisbetThe University of Manchester, Mikel LujánUniversity of Manchester
18:11 - 18:14
Poster
Posters
Ari RaschUniversity of Münster, Richard SchulzeUniversity of Münster, Sergei Gorlatch
18:14 - 18:17
Poster
Posters
Kevin De Porre, Elisa Gonzalez BoixVrije Universiteit Brussel, Belgium
Link to publication
18:17 - 18:20
Poster
Posters
Jim BauwensVrije Universiteit Brussel, Elisa Gonzalez BoixVrije Universiteit Brussel, Belgium
Link to publication
18:20 - 18:23
Poster
Posters
Ikuta TanigawaKyusyu University, Harumi WatanabeTokai University, Nobuhiro OheTokai Univ., Mikiko SatoTokai University, Nobuhiko OguraTokyo City University, Takeshi Ohkawa Tokai Univ., Kenji HisazumiKyushu University, Akira FukudaKyushu University
Link to publication
18:23 - 18:26
Poster
Posters
Tetsuro YamazakiGraduate School of Information Science and Technology, The University of Tokyo, Tomoki NakamaruGraduate School of Information Science and Technology, The University of Tokyo, Shigeru ChibaGraduate School of Information Science and Technology, The University of Tokyo, Kazuhiro IchikawaGraduate School of Information Science and Technology, The University of Tokyo
Link to publication
18:26 - 18:30
Poster
Posters
Daniel SokolowskiTechnische Universität Darmstadt, Philipp MartensTechnische Universität Darmstadt, Guido SalvaneschiTechnische Universität Darmstadt
Link to publication
18:30 - 18:33
Poster
Posters
Shengyi WangNational University of Singapore, Qinxiang CaoShanghai Jiao Tong University, Anshuman MohanNational University of Singapore, Aquinas HoborNational University of Singapore
Link to publication DOI
18:33 - 18:36
Poster
Posters
Sven KeidelJGU Mainz, Sebastian ErdwegJGU Mainz
Link to publication
18:36 - 18:39
Poster
Posters
Makoto SakaneJapan Women’s University, Yuka AkinobuJapan Women’s University, Taku TadaYokohama National University, Kimio KuramitsuJapan Women’s University
18:39 - 18:42
Poster
Posters
Artur AndrzejakHeidelberg University, Kevin Kiefer, Diego CostaHeidelberg University, Oliver WenzHeidelberg University
Link to publication
18:42 - 18:45
Poster
Posters
Ragnar MogkTechnische Universität Darmstadt, Joscha DrechslerTechnische Universität Darmstadt, Guido SalvaneschiTechnische Universität Darmstadt, Mira MeziniTechnische Universität Darmstadt
Link to publication
18:45 - 18:48
Poster
Posters
Robbert Gurdeep SinghUniversiteit Gent, Belgium, Christophe ScholliersUniversiteit Gent, Belgium
Link to publication
18:48 - 18:52
Poster
Posters
Dowon SongKorea University, Myungho LeeKorea University, Hakjoo OhKorea University
Link to publication
18:52 - 18:55
Poster
Posters
Yu-Ping WangTsinghua University, China, Xu-Qiang HuTsinghua Univeraity, China, Zi-Xin ZouTsinghua Univeraity, China, Wende TanTsinghua University, China
Link to publication
18:55 - 18:58
Poster
Posters
David RichterTechnische Universität Darmstadt, Ragnar MogkTechnische Universität Darmstadt
Link to publication
18:58 - 19:01
Poster
Posters
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
Link to publication
19:01 - 19:04
Poster
Posters
Jacob KreindlJohannes Kepler University Linz, Daniele BonettaOracle Labs, Hanspeter MössenböckJKU Linz, Austria
Link to publication
19:04 - 19:07
Poster
Posters
Raphael MosanerJohannes Kepler University Linz, David LeopoldsederJohannes Kepler University Linz, Manuel RiggerETH Zurich, Roland SchatzJohannes Kepler University Linz, Hanspeter MössenböckJKU Linz, Austria
Link to publication
19:07 - 19:11
Poster
Posters
Lucas KramerUniversity of Minnesota, Ted KaminskiUniversity of Minnesota, Eric Van WykUniversity of Minnesota, USA
Link to publication
19:11 - 19:14
Poster
Posters
Muna AltherwiSouthampton University
19:14 - 19:17
Poster
Posters
Florian LatifiJohannes Kepler University Linz
19:17 - 19:20
Poster
Posters
Dominik AumayrJohannes Kepler University Linz, Austria
19:20 - 19:23
Poster
Posters
Samuel EstepLiberty University, Jenna WiseCarnegie Mellon University, Jonathan AldrichCarnegie Mellon University, Éric TanterUniversity of Chile & Inria Paris, Johannes BaderFacebook
19:23 - 19:26
Poster
Posters
Maarten P. SijmDelft University of Technology
19:26 - 19:30
Poster
Posters
Aaron LippeveldtsVrije Universiteit Brussel, Dominique DevrieseVrije Universiteit Brussel
17:30 - 18:00: SLE MIP Awards 2018 and 2019SLE at Templars
17:20 - 18:00
Awards
SLE

Tue 22 Oct
Times are displayed in time zone: Beirut change

09:00 - 10:30: Keynote & Session #1VMIL at Abbey
09:00 - 10:00
Talk
VMIL
Laurence TrattKing's College London
10:00 - 10:30
Full-paper
VMIL
Javier Cabrera ArteagaKTH Royal Institute of Technology, Martin MonperrusKTH Royal Institute of Technology, Benoit BaudryKTH Royal Institute of Technology, Sweden
Pre-print
09:00 - 10:30: GPCE KeynoteGPCE at Ground floor conference room
Chair(s): Christoph ReichenbachLund University
09:00 - 10:30
Talk
GPCE
K: Mira MeziniTechnische Universität Darmstadt
09:00 - 10:30: Keynote 2MPLR at Room 1
09:00 - 10:30
Talk
MPLR
Laurence TrattKing's College London
09:00 - 10:30: Opening keynoteLIVE at Room 2A
09:00 - 10:00
Talk
LIVE
10:00 - 10:30
Talk
LIVE
09:00 - 10:30: PapersAI-SEPS at Room 2B
Chair(s): Yukinori SatoToyohashi University of Technology
09:00 - 09:25
Talk
AI-SEPS
Aleksandr MaramzinUniversity of Edinburgh, Christos VasiladiotisUniversity of Edinburgh, Roberto Castañeda LozanoUniversity of Edinburgh, Murray ColeUniversity of Edinburgh, Björn FrankeUniversity of Edinburgh, UK
DOI
09:25 - 09:40
Talk
AI-SEPS
Yannic FischlerTU Darmstadt, Jan-Patrick LehrGraduate School of Computational Engineering, TU Darmstadt, Christian BischofScientific Computing, TU Darmstadt, Matthäus Magnus KiehnTU Darmstadt
DOI
09:00 - 10:30: KeynoteAGERE at Room 3A
09:00 - 09:15
Talk
AGERE
09:15 - 10:30
Talk
AGERE
Sophia DrossopoulouImperial College London
09:00 - 10:30: Why are we here?PLMW at Room 4
Chair(s): Jonathan BellGeorge Mason University
09:00 - 09:15
Day opening
PLMW
Karim AliUniversity of Alberta, Jonathan BellGeorge Mason University, Marianna RapoportUniversity of Waterloo
09:15 - 09:45
Social Event
PLMW
Marianna RapoportUniversity of Waterloo, Jonathan BellGeorge Mason University, Karim AliUniversity of Alberta
09:45 - 10:30
Talk
PLMW
Yannis SmaragdakisUniversity of Athens
Media Attached File Attached
09:00 - 10:30: Session 5: GPCE WelcomeSLE at Templars
10:30 - 11:00: Coffee breakCatering at Break area
11:00 - 12:30: Session #2VMIL at Abbey
Chair(s): Anthony CaninoSUNY Binghamton
11:00 - 11:30
Full-paper
VMIL
Isaac Oscar GarianoVictoria University of Wellington, Richard RobertsVictoria University of Wellington, Stefan MarrUniversity of Kent, Michael HomerVictoria University of Wellington, James NobleVictoria University of Wellington
11:30 - 12:00
Full-paper
VMIL
Rohan PadhyeUniversity of California, Berkeley, Koushik SenUniversity of California, Berkeley
Pre-print
12:00 - 12:15
Talk
VMIL
Kiko Fernandez-ReyesUppsala University, Isaac Oscar GarianoVictoria University of Wellington, James NobleVictoria University of Wellington, Tobias WrigstadUppsala University
Pre-print
12:15 - 12:30
Talk
VMIL
11:00 - 12:30: Domain-specific languages and modelingGPCE at Ground floor conference room
Chair(s): Ulrik Pagh SchultzUniversity of Southern Denmark
11:00 - 11:30
Talk
GPCE
Michael NiekeTU Braunschweig, Germany, Adrian HoffTU Braunschweig, Christoph SeidlTechnische Universität Braunschweig
11:30 - 12:00
Talk
GPCE
Karl CronburgTufts University, Sam GuyerTufts University
DOI Pre-print
12:00 - 12:20
Talk
GPCE
Amir ShaikhhaUniversity of Oxford, Vojin JovanovicOracle Labs, Christoph E. KochEPFL
11:00 - 12:30: Compilation and code manipulationMPLR at Room 1
Chair(s): Shigeru ChibaGraduate School of Information Science and Technology, The University of Tokyo
11:00 - 11:30
Talk
MPLR
Thomas BallMicrosoft Research, Peli de HalleuxMicrosoft Research, Michal MoskalMicrosoft Research
11:30 - 12:00
Talk
MPLR
Arthur Michener PetersThe University of Texas at Austin, Texas, USA, John A. ThywissenThe University of Texas at Austin, Chris RossbachThe University of Texas at Austin and VMware Research Group
12:00 - 12:30
Talk
MPLR
Tim HartleyThe University of Manchester, Foivos S. ZakkakUniversity of Manchester, UK, Christos KotselidisUniversity of Manchester, UK, Mikel LujánUniversity of Manchester
Link to publication DOI Authorizer link
11:00 - 12:30: Session 2LIVE at Room 2A
11:00 - 11:30
Talk
LIVE
Corey MontellaLehigh University
11:30 - 12:00
Talk
LIVE
Ikuta TanigawaKyushu University, Harumi WatanabeTokai University, Nobuhiro OheTokai Univ., Mikiko SatoTokai University, Nobuhiko OguraTokyo City University, Takeshi Ohkawa Tokai Univ., Kenji HisazumiKyushu University, Akira FukudaKyushu University
12:00 - 12:30
Talk
LIVE
Tom BeckmannHasso Plattner Institute, Christian FlachHasso Plattner Institute, University of Potsdam, Germany, Eva KrebsHasso Plattner Institute, Stefan RamsonHasso Plattner Institute, Germany, Patrick ReinHasso Plattner Institute, Germany, Robert HirschfeldHasso-Plattner-Institut (HPI), Germany
11:00 - 12:30: Session 1AGERE at Room 3A
11:00 - 11:30
Talk
AGERE
Colin GordonDrexel University
DOI Pre-print
11:30 - 12:00
Talk
AGERE
Tim SoethoutING Bank and Centrum Wiskunde & Informatica (CWI), The Netherlands, Tijs van der StormCWI & University of Groningen, Netherlands, Jurgen VinjuCWI, Netherlands
DOI Pre-print Media Attached
12:00 - 12:30
Talk
AGERE
Michael TranDepartment of Computer Science, Aalborg University, Denmark, Alexander Rønning BendixenDepartment of Computer Science, Aalborg University, Denmark, Bjarke Bredow BojesenDepartment of Computer Science, Aalborg University, Denmark, Hans HüttelDepartment of Computer Science, Aalborg University, Stian Lasse LybechDepartment of Computer Science, Aalborg University, Denmark
11:00 - 12:30: What do we do with PL?PLMW at Room 4
Chair(s): Karim AliUniversity of Alberta
11:00 - 11:45
Talk
PLMW
Eelco VisserDelft University of Technology
Media Attached File Attached
11:45 - 12:30
Other
PLMW
Dan BarowyWilliams College, Ciera JaspanGoogle, Alessandra GorlaIMDEA Software Institute, Kenny FonerGalois
11:00 - 12:30: Session 6: ModelingSLE at Templars
11:00 - 11:30
Talk
SLE
Manouchehr ZadahmadUniversité de Montréal, Eugene SyrianiUniversité de Montréal, Omar AlamTrent University, Esther GuerraUniversidad Autonoma de Madrid, Juan de LaraUniversidad Autonoma de Madrid
11:30 - 12:00
Talk
SLE
Djamel Eddine KhelladiCNRS, IRISA, Roland KretschmerJOHANNES KEPLER UNIVERSITY LINZ, Alexander EgyedJOHANNES KEPLER UNIVERSITY LINZ
12:00 - 12:30
Talk
SLE
Sergio GarciaChalmers | University of Gothenburg, Patrizio PelliccioneChalmers | University of Gothenburg, Claudio MenghiUniversity of Luxembourg, Luxembourg, Thorsten BergerChalmers | University of Gothenburg, Tomas BuresCharles University
12:30 - 14:00: LunchCatering at Restaurant
14:00 - 15:30: Keynote & Session #3VMIL at Abbey
14:00 - 15:00
Talk
VMIL
Andreas RossbergDfinity Stiftung
15:00 - 15:30
Full-paper
VMIL
Javad Ebrahimian AmiriAustralian National University / Data61, Steve BlackburnAustralian National University , Tony HoskingAustralian National University / Data61, Michael NorrishData61 at CSIRO, Australia / Australian National University, Australia
DOI Pre-print
14:00 - 15:30: Product linesGPCE at Ground floor conference room
Chair(s): Guido SalvaneschiTechnische Universität Darmstadt
14:00 - 14:30
Talk
GPCE
14:30 - 15:00
Talk
GPCE
Daniel HinterreiterJohannes Kepler University Linz, Michael NiekeTU Braunschweig, Germany, Lukas Linsbauer, Christoph SeidlTechnische Universität Braunschweig, Herbert PrähoferJohannes Kepler University Linz, Paul GrünbacherJohannes Kepler University Linz, Austria
15:00 - 15:30
Talk
GPCE
Kevin FeichtingerJohannes Kepler University Linz, Daniel HinterreiterJohannes Kepler University Linz, Lukas Linsbauer, Herbert PrähoferJohannes Kepler University Linz, Paul GrünbacherJohannes Kepler University Linz, Austria
14:00 - 15:30: ApplicationsMPLR at Room 1
Chair(s): Andrea RosàUniversity of Lugano, Switzerland
14:00 - 14:30
Talk
MPLR
Malin KällénUppsala University, Tobias WrigstadUppsala University
14:30 - 15:00
Talk
MPLR
Dominik AumayrJohannes Kepler University Linz, Austria, Stefan MarrUniversity of Kent, Elisa Gonzalez BoixVrije Universiteit Brussel, Belgium, Hanspeter MössenböckJKU Linz, Austria
DOI Pre-print
14:00 - 15:30: Session 3LIVE at Room 2A
14:00 - 14:30
Talk
LIVE
14:30 - 15:00
Talk
LIVE
Taku TadaYokohama National University, Yuka AkinobuJapan Women’s University, Makoto SakaneJapan Women’s University, Kimio KuramitsuJapan Women’s University
Media Attached
15:00 - 15:30
Talk
LIVE
Tomas PetricekUniversity of Kent
14:00 - 15:30: Session 2AGERE at Room 3A
14:00 - 14:30
Talk
AGERE
Nikolai SuslovFund for Supporting Development of RT
Media Attached
14:30 - 15:00
Talk
AGERE
Kouhei SakuraiGraduate School of Natural Science & Technology, Kanazawa University, Taiki ShimizuGraduate School of Natural Science & Technology, Kanazawa University
15:00 - 15:30
Talk
AGERE
Sebastian BlessingImperial College London, Kiko Fernandez-ReyesUppsala University, Albert Mingkun Yang, Sophia DrossopoulouImperial College London, Tobias WrigstadUppsala University
14:00 - 15:30: Practical Bits (Undergrads)PLMW at Room 3B
Chair(s): Jonathan BellGeorge Mason University
14:00 - 14:45
Talk
PLMW
Alessandra GorlaIMDEA Software Institute
File Attached
14:45 - 15:30
Talk
PLMW
File Attached
14:00 - 15:30: Practical Bits (Grads)PLMW at Room 4
Chair(s): Marianna RapoportUniversity of Waterloo
14:00 - 14:45
Talk
PLMW
Media Attached File Attached
14:45 - 15:30
Talk
PLMW
John HughesChalmers University of Technology, Sweden
Media Attached File Attached
14:00 - 15:30: Session 7: DSLs and CompositionSLE at Templars
Chair(s): Eugene SyrianiUniversité de Montréal
14:00 - 14:30
Talk
SLE
Lars SchützeTechnische Universität Dresden, Jeronimo CastrillonTU Dresden, Germany
14:30 - 15:00
Talk
SLE
Philipp SeiferUniversity of Koblenz-Landau, Germany, Johannes HärtelUniversity of Koblenz-Landau, Germany, Martin LeinbergerUniversity of Koblenz-Landau, Germany, Ralf LämmelFacebook London, Steffen StaabUniversity of Koblenz-Landau and University of Southampton, Germany
15:00 - 15:30
Talk
SLE
Pierre JeanjeanInria, Univ Rennes, CNRS, IRISA, Benoit CombemaleUniversity of Toulouse, Olivier BaraisUniv. Rennes, Inria, CNRS, IRISA
15:30 - 16:00: Coffee breakCatering at Break area
16:00 - 17:30: Session #4VMIL at Abbey
Chair(s): Andrea RosàUniversity of Lugano, Switzerland
16:00 - 16:30
Full-paper
VMIL
Guillaume BertholonÉcole Normale Supérieure, Stephen KellUniversity of Kent
16:30 - 17:00
Full-paper
VMIL
Jim BauwensVrije Universiteit Brussel, Elisa Gonzalez BoixVrije Universiteit Brussel, Belgium
17:00 - 17:30
Full-paper
VMIL
Dimitri RacordonUniversity of Geneva, Centre Universitaire d'Informatique, Geneva, Switzerland, Didier BuchsUniversity of Geneva, Centre Universitaire d'Informatique, Geneva, Switzerland
16:00 - 17:30: Closing keynoteLIVE at Room 2A
16:00 - 17:00
Talk
LIVE
James NobleVictoria University of Wellington
16:00 - 17:30: Discussion/PanelAGERE at Room 3A
16:00 - 17:30: Being a PhD StudentPLMW at Room 4
Chair(s): Marianna RapoportUniversity of Waterloo
16:00 - 16:45
Talk
PLMW
Link to publication Media Attached
16:45 - 17:30
Other
PLMW
Leonidas LampropoulosUniversity of Pennsylvania, University of Maryland, Ifaz KabirUniversity of Alberta, Canada, Azalea RaadMPI-SWS, Germany, Emma ToschUniversity of Massachusetts Amherst
19:00 - 22:00: DinnerSLE at Attica
19:00 - 22:00
Dinner
SLE

Wed 23 Oct
Times are displayed in time zone: Beirut change

09:00 - 10:30: Rebase Keynote (Might)Rebase / Keynotes at Olympia
Chair(s): Shan Shan HuangRelational.ai, Michael CarbinMassachusetts Institute of Technology, Yannis SmaragdakisUniversity of Athens
09:00 - 09:20
Day opening
Rebase
Yannis SmaragdakisUniversity of Athens, Shan Shan HuangRelational.ai, Michael CarbinMassachusetts Institute of Technology
09:20 - 10:30
Talk
Keynotes
K: Matthew MightUniversity of Alabama at Birmingham | Harvard Medical School
10:30 - 11:00: Coffee breakCatering at Break area
11:00 - 12:30: Abstract InterpretationOOPSLA at Attica
Chair(s): John HughesChalmers University of Technology, Sweden
11:00 - 11:22
Talk
OOPSLA
Zhuo ZhangPurdue University, Wei YouPurdue University, Guanhong TaoPurdue University, Guannan WeiPurdue University, Yonghwi KwonUniversity of Virginia, Xiangyu ZhangPurdue University
DOI Pre-print
11:22 - 11:45
Talk
OOPSLA
Guannan WeiPurdue University, Yuxuan ChenPurdue University, Tiark RompfPurdue University
DOI
11:45 - 12:07
Talk
OOPSLA
Benno SteinUniversity of Colorado Boulder, Benjamin Barslev NielsenAarhus University, Bor-Yuh Evan ChangUniversity of Colorado Boulder | Amazon, Anders MøllerAarhus University
DOI Pre-print
12:07 - 12:30
Talk
OOPSLA
Sven KeidelJGU Mainz, Sebastian ErdwegJGU Mainz
DOI
11:00 - 12:30: Modular VerificationOOPSLA at Olympia
Chair(s): Friedrich SteimannFernuni Hagen
11:00 - 11:22
Research paper
OOPSLA
Link to publication DOI Pre-print File Attached
11:22 - 11:45
Talk
OOPSLA
Pavel PanchekhaUniversity of Utah, Michael D. ErnstUniversity of Washington, USA, Zachary TatlockUniversity of Washington, Seattle, Shoaib KamilAdobe
DOI
11:45 - 12:07
Talk
OOPSLA
Mingzhang HuangShanghai Jiao Tong University, Hongfei FuShanghai Jiao Tong University, Krishnendu ChatterjeeIST Austria, Amir Kafshdar GoharshadyIST Austria
DOI
12:07 - 12:30
Talk
OOPSLA
Vytautas AstrauskasETH Zurich, Switzerland, Peter MüllerETH Zurich, Federico PoliETH Zurich, Switzerland, Alexander J. SummersETH Zurich
DOI Pre-print
11:00 - 12:30: Programming at ScaleRebase at Panorama
Chair(s): Shan Shan HuangRelational.ai
11:00 - 11:45
Talk
Rebase
11:45 - 12:30
Talk
Rebase
Adam WelcUber Technologies
11:00 - 12:30: Onward! Papers 1Onward! Papers at Templars
Chair(s): Wolfgang De MeuterVrije Universiteit Brussel
11:00 - 11:30
Talk
Onward! Papers
11:30 - 12:00
Talk
Onward! Papers
Tetsuo KaminaOita University, Tomoyuki AotaniTokyo Institute of Technology
12:00 - 12:30
Talk
Onward! Papers
Isaac Oscar GarianoVictoria University of Wellington, James NobleVictoria University of Wellington, Marco ServettoVictoria University Wellington, New Zealand
12:30 - 14:00: LunchCatering at Restaurant
14:00 - 15:30: Machine LearningOOPSLA at Attica
Chair(s): Elisa Gonzalez BoixVrije Universiteit Brussel, Belgium
14:00 - 14:22
Talk
OOPSLA
Joseph P. NearUniversity of Vermont, David DaraisUniversity of Vermont, Chike AbuahUniversity of Vermont, Tim StevensUniversity of Vermont, Pranav GaddamaduguUniversity of California, Berkeley, Lun WangUniversity of California, Berkeley, Neel SomaniUniversity of California, Berkeley, Mu ZhangUniversity of Utah, Nikhil SharmaUniversity of California, Berkeley, Alex ShanUniversity of California, Berkeley, Dawn SongUniversity of California, Berkeley
DOI
14:22 - 14:45
Talk
OOPSLA
Yi LiNew Jersey Institute of Technology, USA, Shaohua WangNew Jersey Institute of Technology, USA, Tien N. NguyenUniversity of Texas at Dallas, Son NguyenThe University of Texas at Dallas
DOI
14:45 - 15:07
Talk
OOPSLA
Osbert BastaniUniversity of Pennsylvania, Xin ZhangMassachusetts Institute of Technology, Armando Solar-LezamaMassachusetts Institute of Technology
DOI
15:07 - 15:30
Talk
OOPSLA
Baijun WuUniversity of Louisiana at Lafayette, John Peter CamporaUniversity of Louisiana at Lafayette, He YiUniversity of Louisiana at Lafayette, Alexander SchlechtUniversity of Louisiana at Lafayette, Sheng ChenUniversity of Louisiana at Lafayette
DOI
14:00 - 15:30: Testing OOPSLA at Olympia
Chair(s): Stephen KellUniversity of Kent
14:00 - 14:22
Talk
OOPSLA
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
14:22 - 14:45
Talk
OOPSLA
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
14:45 - 15:07
Talk
OOPSLA
Dowon SongKorea University, Myungho LeeKorea University, Hakjoo OhKorea University
DOI
15:07 - 15:30
Talk
OOPSLA
Ranadeep BiswasIRIF, University Paris Diderot & CNRS, Constantin EneaIRIF, University Paris Diderot & CNRS
DOI
14:00 - 15:30: Emerging DomainsRebase at Panorama
Chair(s): Aviral GoelNortheastern University
14:00 - 14:45
Talk
Rebase
Jens PalsbergUniversity of California, Los Angeles
14:45 - 15:30
Talk
Rebase
Phillip Stanley-MarbellUniversity of Cambridge
14:00 - 15:30: Onward! Papers 2Onward! Papers at Templars
Chair(s): Hidehiko MasuharaTokyo Institute of Technology
14:00 - 14:30
Talk
Onward! Papers
Jouke StoelCWI, Tijs van der StormCWI & University of Groningen, Netherlands, Jurgen VinjuCWI, Netherlands
Link to publication DOI Pre-print
14:30 - 15:00
Talk
Onward! Papers
Jose CambroneroMIT, Thurston HY DangMIT, Nikos VasilakisMIT CSAIL, USA, Jiasi ShenMassachusetts Institute of Technology, Jerry WuMIT, Martin RinardMIT
15:30 - 16:00: Coffee breakCatering at Break area
16:00 - 17:30: FormalizationOOPSLA at Attica
Chair(s): Eric KoskinenStevens Institute of Technology
16:00 - 16:22
Talk
OOPSLA
Abhinav JangdaUniversity of Massachusetts Amherst, Donald PinckneyUniversity of Massachusetts Amherst, Yuriy BrunUniversity of Massachusetts Amherst, Arjun GuhaUniversity of Massachusetts, Amherst
Link to publication DOI Pre-print
16:22 - 16:45
Talk
OOPSLA
John BenderUniversity of California, Los Angeles, Jens PalsbergUniversity of California, Los Angeles
DOI
16:45 - 17:07
Talk
OOPSLA
Marianna RapoportUniversity of Waterloo, Ondřej LhotákUniversity of Waterloo
DOI Pre-print Media Attached
17:07 - 17:30
Talk
OOPSLA
DOI Pre-print
16:00 - 17:30: Analysis OOPSLA at Olympia
Chair(s): Jan VitekNortheastern University
16:00 - 16:22
Talk
OOPSLA
Jingbo LuUNSW Sydney, Jingling XueUNSW Sydney
DOI
16:22 - 16:45
Talk
OOPSLA
Gregory EssertelPurdue University, Guannan WeiPurdue University, Tiark RompfPurdue University
DOI
16:45 - 17:07
Talk
OOPSLA
Milijana SurbatovichCarnegie Mellon University, Limin JiaCarnegie Mellon University, Brandon LuciaCarnegie Mellon University
DOI
17:07 - 17:30
Talk
OOPSLA
Emma ToschUniversity of Massachusetts Amherst, Eytan BakshyFacebook, Inc., Emery D. BergerUniversity of Massachusetts Amherst, David JensenUniversity of Massachusetts Amherst, Eliot MossUniversity of Massachusetts Amherst
DOI
16:00 - 17:30: Machine LearningRebase at Panorama
16:00 - 16:45
Talk
Rebase
Miltiadis AllamanisMicrosoft Research, Cambridge
16:45 - 17:30
Talk
Rebase
Thierry MoreauUniversity of Washington
16:00 - 17:30: Onward! Essays - Session 1Onward! Essays at Templars
16:00 - 16:45
Talk
Onward! Essays
Martin KleppmannUniversity of Cambridge, Adam WigginsInk & Switch, Peter van HardenbergInk & Switch, Mark McGranaghanInk & Switch
16:45 - 17:30
Talk
Onward! Essays
Yannis SmaragdakisUniversity of Athens
17:30 - 18:30: Awards / SIGPLAN Town Hall MeetingOOPSLA at Olympia
Chair(s): Eelco VisserDelft University of Technology, Jens PalsbergUniversity of California, Los Angeles
18:00 - 19:30: Competition - Round 1SRC at Foyer
18:00 - 18:11
Talk
SRC
Beatriz SouzaFederal University of Campina Grande
18:11 - 18:22
Talk
SRC
Kalliopi Evangelia StavrouliaCyprus University of Technology, Andreas LanitisCyprus University of Technology
18:22 - 18:33
Talk
SRC
Dominik AumayrJohannes Kepler University Linz, Austria
18:33 - 18:45
Talk
SRC
Aaron LippeveldtsVrije Universiteit Brussel, Dominique DevrieseVrije Universiteit Brussel
18:45 - 18:56
Talk
SRC
Muna AltherwiSouthampton University
18:56 - 19:07
Talk
SRC
Florian LatifiJohannes Kepler University Linz
DOI Pre-print
19:07 - 19:18
Talk
SRC
Samuel EstepLiberty University, Jenna WiseCarnegie Mellon University, Jonathan AldrichCarnegie Mellon University, Éric TanterUniversity of Chile & Inria Paris, Johannes BaderFacebook
19:18 - 19:30
Talk
SRC
Maarten P. SijmDelft University of Technology
19:30 - 22:30: BanquetCatering at Aegli Reception Area
19:30 - 22:30
Dinner
Catering

Thu 24 Oct
Times are displayed in time zone: Beirut change

09:30 - 10:30: Sack keynoteKeynotes at Olympia
Chair(s): Tomas PetricekUniversity of Kent, Hidehiko MasuharaTokyo Institute of Technology
09:30 - 10:30
Talk
Keynotes
K: Warren SackUniversity of California, Santa Cruz
10:30 - 11:00: Coffee breakCatering at Break area
11:00 - 12:30: Language DesignOOPSLA at Attica
Chair(s): Tiark RompfPurdue University
11:00 - 11:22
Talk
OOPSLA
Vilhelm SjöbergYale University, Yuyang SangYale University, Shu-chun WengYale University, Zhong ShaoYale University
DOI Pre-print
11:22 - 11:45
Talk
OOPSLA
Conrad WattUniversity of Cambridge, Andreas RossbergDfinity Stiftung, Jean Pichon-PharabodUniversity of Cambridge
DOI
11:45 - 12:07
Talk
OOPSLA
Ilya SergeyYale-NUS College and National University of Singapore, Vaivaswatha NagarajZilliqa Research, Jacob JohannsenZilliqa Research, Amrit KumarZilliqa Research, Anton TrunovZilliqa Research, Ken ChanZilliqa Research
DOI Pre-print File Attached
12:07 - 12:30
Talk
OOPSLA
Filip KřikavaCzech Technical University, Heather MillerCarnegie Mellon University, Jan VitekNortheastern University
DOI Pre-print
11:00 - 12:30: Distributed SystemsOOPSLA at Olympia
Chair(s): Arjun GuhaUniversity of Massachusetts, Amherst
11:00 - 11:22
Talk
OOPSLA
Ivana VukoticSnT, University of Luxembourg, Vincent RahliUniversity of Birmingham, Paulo Esteves-VeríssimoSnT, University of Luxembourg
DOI
11:22 - 11:45
Talk
OOPSLA
Zachary BenavidesUC Riverside, Keval VoraSimon Fraser University, Rajiv GuptaUC Riverside
DOI
11:45 - 12:07
Talk
OOPSLA
Ragnar MogkTechnische Universität Darmstadt, Joscha DrechslerTechnische Universität Darmstadt, Guido SalvaneschiTechnische Universität Darmstadt, Mira MeziniTechnische Universität Darmstadt
DOI
12:07 - 12:30
Talk
OOPSLA
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
11:00 - 12:30: Systems at ScaleRebase at Panorama
Chair(s): Sasa MisailovicUniversity of Illinois at Urbana-Champaign
11:00 - 11:45
Talk
Rebase
Diomidis SpinellisAthens University of Economics and Business
DOI
11:45 - 12:30
Talk
Rebase
11:00 - 12:30: Onward! Papers 3Onward! Papers at Templars
Chair(s): Tobias WrigstadUppsala University
11:00 - 11:30
Talk
Onward! Papers
Link to publication Pre-print Media Attached
11:30 - 12:00
Talk
Onward! Papers
Rohan AcharUC Irvine, Pritha DawnUC Irvine, Crista LopesUC Irvine
Pre-print
12:00 - 12:30
Talk
Onward! Papers
Marcel WeiherHasso-Plattner-Institut (HPI), Germany, Robert HirschfeldHasso-Plattner-Institut (HPI), Germany
Link to publication DOI Pre-print
12:30 - 14:00: LunchCatering at Restaurant
14:00 - 15:30: Corpus StudiesOOPSLA at Attica
Chair(s): Jonathan AldrichCarnegie Mellon University
14:00 - 14:22
Talk
OOPSLA
Emery D. BergerUniversity of Massachusetts Amherst, Celeste HollenbeckNortheastern University, Petr MajCzech Technical University, Olga VitekNortheastern University, Jan VitekNortheastern University
Link to publication DOI Pre-print
14:22 - 14:45
Talk
OOPSLA
Luis MastrangeloUniversità della Svizzera italiana, Matthias HauswirthUniversità della Svizzera italiana, Nate NystromUniversità della Svizzera italiana
DOI
14:45 - 15:07
Talk
OOPSLA
Aviral GoelNortheastern University, Jan VitekNortheastern University
DOI Pre-print
15:07 - 15:30
Talk
OOPSLA
Sifei LuanFacebook, Inc., Di YangUniversity of California, Irvine, Celeste BarnabyFacebook, Inc., Koushik SenUniversity of California, Berkeley, Satish ChandraFacebook
DOI
14:00 - 15:30: Specification and CertificationOOPSLA at Olympia
Chair(s): Colin GordonDrexel University
14:00 - 14:22
Talk
OOPSLA
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
14:22 - 14:45
Talk
OOPSLA
Timos AntonopoulosYale University, Eric KoskinenStevens Institute of Technology, Ton Chanh LeStevens Institute of Technology
DOI
14:45 - 15:07
Talk
OOPSLA
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
15:07 - 15:30
Talk
OOPSLA
Shengyi WangNational University of Singapore, Qinxiang CaoShanghai Jiao Tong University, Anshuman MohanNational University of Singapore, Aquinas HoborNational University of Singapore
DOI Pre-print
14:00 - 15:30: New Trends in Software DevelopmentRebase at Panorama
Chair(s): Neville GrechUniversity of Athens
14:00 - 14:45
Talk
Rebase
14:45 - 15:30
Talk
Rebase
Heather MillerCarnegie Mellon University
14:00 - 15:30: DSLs and Parsing OOPSLA at Room 1
Chair(s): Eric Van WykUniversity of Minnesota, USA
14:00 - 14:30
Talk
OOPSLA
DOI
14:30 - 15:00
Talk
OOPSLA
Tetsuro YamazakiGraduate School of Information Science and Technology, The University of Tokyo, Tomoki NakamaruGraduate School of Information Science and Technology, The University of Tokyo, Kazuhiro IchikawaGraduate School of Information Science and Technology, The University of Tokyo, Shigeru ChibaGraduate School of Information Science and Technology, The University of Tokyo
DOI
15:00 - 15:30
Talk
OOPSLA
Ian HenriksenThe University of Texas at Austin, Gianfranco BilardiUniversity of Padova, Italy, Keshav PingaliThe University of Texas at Austin
DOI
14:00 - 15:30: Onward! Papers 4Onward! Papers at Templars
Chair(s): Hidehiko MasuharaTokyo Institute of Technology
14:00 - 14:30
Talk
Onward! Papers
Shrutarshi BasuCornell University, Nate FosterCornell University, James GrimmelmannCornell University
Pre-print
14:30 - 15:00
Talk
Onward! Papers
Miltiadis AllamanisMicrosoft Research, Cambridge
DOI Pre-print
15:30 - 16:00: Coffee breakCatering at Break area
16:00 - 17:30: OptimizationOOPSLA at Attica
Chair(s): Tobias WrigstadUppsala University
16:00 - 16:22
Talk
OOPSLA
Ulf AdamsGoogle
Link to publication DOI
16:22 - 16:45
Talk
OOPSLA
Raj BarikUber Technologies Inc., Manu SridharanUniversity of California Riverside, Murali Krishna RamanathanUber Technologies Inc., Milind ChabbiUber Technologies Inc.
DOI
16:45 - 17:07
Talk
OOPSLA
Hashim SharifUniversity of Illinois at Urbana-Champaign, Prakalp SrivastavaUniversity of Illinois at Urbana-Champaign, Muhammad HuzaifaUniversity of Illinois at Urbana-Champaign, Maria KotsifakouUniversity of Illinois at Urbana-Champaign, Keyur JoshiUniversity of Illinois at Urbana-Champaign, Yasmin SaritaCornell University, Nathan ZhaoUniversity of Illinois at Urbana-Champaign, Vikram S. AdveUniversity of Illinois at Urbana-Champaign, Sasa MisailovicUniversity of Illinois at Urbana-Champaign, Sarita AdveUniversity of Illinois at Urbana-Champaign
DOI
17:07 - 17:30
Talk
OOPSLA
Yu-Ping WangTsinghua University, China, Xu-Qiang HuTsinghua Univeraity, China, Zi-Xin ZouTsinghua Univeraity, China, Wende TanTsinghua University, China, Gang TanThe Pennsylvania State University, University Park, USA
DOI
16:00 - 17:30: TypesOOPSLA at Olympia
Chair(s): Éric TanterUniversity of Chile & Inria Paris
16:00 - 16:22
Talk
OOPSLA
Gowtham KakiPurdue University, Swarn PriyaPurdue University, KC SivaramakrishnanIIT Madras, Suresh JagannathanPurdue University
Link to publication DOI
16:22 - 16:45
Talk
OOPSLA
Luís CairesUniversidade Nova de Lisboa and NOVA LINCS, Bernardo ToninhoUniversidade Nova de Lisboa and NOVA LINCS
DOI
16:45 - 17:07
Talk
OOPSLA
Jad HamzaEPFL, Switzerland, Nicolas VoirolEPFL, Switzerland, Viktor KunčakEPFL, Switzerland
DOI
17:07 - 17:30
Talk
OOPSLA
Ben GreenmanPLT @ Northeastern University, Matthias FelleisenPLT @ Northeastern University, Christos DimoulasPLT @ Northwestern University
DOI
16:00 - 17:30: KeynoteRebase at Panorama
Chair(s): Michael CarbinMassachusetts Institute of Technology
16:00 - 16:45
Talk
Rebase
16:45 - 17:30
Talk
Rebase
Jeff Bezanson, Stefan KarpinskiJulia Computing / NYU
16:00 - 17:30: Competition - Round 2SRC at Room 1
16:00 - 16:15
Talk
SRC
Kalliopi Evangelia StavrouliaCyprus University of Technology, Andreas LanitisCyprus University of Technology
16:15 - 16:30
Talk
SRC
Aaron LippeveldtsVrije Universiteit Brussel, Dominique DevrieseVrije Universiteit Brussel
16:30 - 16:45
Talk
SRC
Samuel EstepLiberty University, Jenna WiseCarnegie Mellon University, Jonathan AldrichCarnegie Mellon University, Éric TanterUniversity of Chile & Inria Paris, Johannes BaderFacebook
16:45 - 17:00
Talk
SRC
Maarten P. SijmDelft University of Technology
17:00 - 17:15
Talk
SRC
Dominik AumayrJohannes Kepler University Linz, Austria
17:15 - 17:30
Talk
SRC
Florian LatifiJohannes Kepler University Linz
DOI Pre-print
16:00 - 17:30: Onward! Essays - Session 2Onward! Essays at Templars
16:00 - 16:45
Talk
Onward! Essays
Elisa BaniassadUniversity of British Columbia, Ivan BeschastnikhComputer Science, University of British Columbia, Reid HolmesUniversity of British Columbia, Gregor KiczalesUniversity of British Columbia, Meghan AllenUniversity of British Columbia
17:30 - 19:30: Poster #2Posters at Foyer
17:30 - 17:32
Poster
Posters
Mohammadreza AshouriUniversity of Potsdam, Germany
17:32 - 17:35
Poster
Posters
Daniel A. A. PelsmaekerDelft University of Technology, Netherlands, Hendrik van AntwerpenTU Delft, Eelco VisserDelft University of Technology
17:35 - 17:38
Poster
Posters
Alex VillazónUniversidad Privada Boliviana, Bolivia, Haiyang SunUniversità della Svizzera italiana, Andrea RosàUniversity of Lugano, Switzerland, Eduardo RosalesUniversity of Lugano, Switzerland, Daniele BonettaOracle Labs, Isabella DefilippisUniversidad Privada Boliviana (UPB), Sergio OportoUniversidad Privada Boliviana (UPB), Walter BinderUniversity of Lugano, Switzerland
17:38 - 17:40
Poster
Posters
Shigeyuki SatoThe University of Tokyo
17:40 - 17:43
Poster
Posters
Aleksandar ProkopecOracle Labs, Andrea RosàUniversity of Lugano, Switzerland, David LeopoldsederJohannes Kepler University Linz, Gilles DuboscqOracle Labs, Petr TumaCharles University, Martin StudenerJKU Linz, Austria, Lubomír BulejCharles University, Yudi ZhengOracle Labs, Alex VillazónUniversidad Privada Boliviana, Bolivia, Doug SimonOracle Labs, Thomas WuerthingerOracle Labs, Walter BinderUniversity of Lugano, Switzerland
17:43 - 17:46
Poster
Posters
Alexandru DuraLund University, Hampus BalldinLund University
17:46 - 17:49
Poster
Posters
Michael CoblenzCarnegie Mellon University, Jonathan AldrichCarnegie Mellon University, Joshua SunshineCarnegie Mellon University, Brad A. MyersCarnegie Mellon University
17:49 - 17:51
Poster
Posters
Adam SeewaldUniversity of Southern Denmark, Ulrik Pagh SchultzUniversity of Southern Denmark, Julius RoedeUniversity of Amsterdam, Benjamin RouxelUniversity of Amsterdam, Clemens GrelckUniversity of Amsterdam
17:51 - 17:54
Poster
Posters
Nafise EskandaniTechnische Universität Darmstadt, Mirko KöhlerTechnische Universität Darmstadt, Guido SalvaneschiTechnische Universität Darmstadt
17:54 - 17:57
Poster
Posters
Minseok JeonKorea University, South Korea, Sehun JeongKorea University, South Korea, Hakjoo OhKorea University
17:57 - 18:00
Poster
Posters
Seongjoon HongKorea University, Junhee LeeKorea University, South Korea, Jeongsoo LeeKorea University, Hakjoo OhKorea University
18:00 - 18:02
Poster
Posters
Sunbeom SoKorea University, Myungho LeeKorea University, Hakjoo OhKorea University
18:02 - 18:05
Poster
Posters
Salim S. SalimUniversity of Manchester, Andrew NisbetThe University of Manchester, Mikel LujánUniversity of Manchester
18:05 - 18:08
Poster
Posters
Ari RaschUniversity of Münster, Richard SchulzeUniversity of Münster, Sergei Gorlatch
18:08 - 18:10
Poster
Posters
Kevin De Porre, Elisa Gonzalez BoixVrije Universiteit Brussel, Belgium
Link to publication
18:10 - 18:13
Poster
Posters
Jim BauwensVrije Universiteit Brussel, Elisa Gonzalez BoixVrije Universiteit Brussel, Belgium
Link to publication
18:13 - 18:16
Poster
Posters
Ikuta TanigawaKyusyu University, Harumi WatanabeTokai University, Nobuhiro OheTokai Univ., Mikiko SatoTokai University, Nobuhiko OguraTokyo City University, Takeshi Ohkawa Tokai Univ., Kenji HisazumiKyushu University, Akira FukudaKyushu University
Link to publication
18:16 - 18:19
Poster
Posters
Tetsuro YamazakiGraduate School of Information Science and Technology, The University of Tokyo, Tomoki NakamaruGraduate School of Information Science and Technology, The University of Tokyo, Shigeru ChibaGraduate School of Information Science and Technology, The University of Tokyo, Kazuhiro IchikawaGraduate School of Information Science and Technology, The University of Tokyo
Link to publication
18:19 - 18:21
Poster
Posters
Daniel SokolowskiTechnische Universität Darmstadt, Philipp MartensTechnische Universität Darmstadt, Guido SalvaneschiTechnische Universität Darmstadt
Link to publication
18:21 - 18:24
Poster
Posters
Shengyi WangNational University of Singapore, Qinxiang CaoShanghai Jiao Tong University, Anshuman MohanNational University of Singapore, Aquinas HoborNational University of Singapore
Link to publication DOI
18:24 - 18:27
Poster
Posters
Sifei LuanFacebook, Inc., Di YangUniversity of California, Irvine, Celeste BarnabyFacebook, Inc., Koushik SenUniversity of California, Berkeley, Satish ChandraFacebook
Link to publication
18:27 - 18:30
Poster
Posters
Jad HamzaEPFL, Switzerland, Nicolas VoirolEPFL, Switzerland, Viktor KunčakEPFL, Switzerland
Link to publication
18:30 - 18:32
Poster
Posters
Ragnar MogkTechnische Universität Darmstadt, Joscha DrechslerTechnische Universität Darmstadt, Guido SalvaneschiTechnische Universität Darmstadt, Mira MeziniTechnische Universität Darmstadt
Link to publication
18:32 - 18:35
Poster
Posters
Robbert Gurdeep SinghUniversiteit Gent, Belgium, Christophe ScholliersUniversiteit Gent, Belgium
Link to publication
18:35 - 18:38
Poster
Posters
Dowon SongKorea University, Myungho LeeKorea University, Hakjoo OhKorea University
Link to publication
18:38 - 18:40
Poster
Posters
Ivana VukoticSnT, University of Luxembourg, Vincent RahliUniversity of Birmingham, Paulo Esteves-VeríssimoSnT, University of Luxembourg
Link to publication
18:40 - 18:43
Poster
Posters
Yu-Ping WangTsinghua University, China, Xu-Qiang HuTsinghua Univeraity, China, Zi-Xin ZouTsinghua Univeraity, China, Wende TanTsinghua University, China
Link to publication
18:43 - 18:46
Poster
Posters
David RichterTechnische Universität Darmstadt, Ragnar MogkTechnische Universität Darmstadt
Link to publication
18:46 - 18:49
Poster
Posters
Igor KonnovInria Nancy - Grand Est, France, Jure KukovecTU Wien, Austria, Thanh-Hai TranTU Wien, Austria
Link to publication
18:49 - 18:51
Poster
Posters
Johannes BaderFacebook, Andrew ScottFacebook, Michael PradelUniversity of Stuttgart, Satish ChandraFacebook
Link to publication
18:51 - 18:54
Poster
Posters
Kaan GençOhio State University, Jake RoemerOhio State University, Yufan XuOhio State University, Michael D. BondOhio State University
Link to publication
18:54 - 18:57
Poster
Posters
Michalis KokologiannakisMPI-SWS, Germany, Azalea RaadMPI-SWS, Germany, Viktor VafeiadisMPI-SWS, Germany
Link to publication
18:57 - 19:00
Poster
Posters
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
Link to publication
19:00 - 19:02
Poster
Posters
Milijana SurbatovichCarnegie Mellon University, Limin JiaCarnegie Mellon University, Brandon LuciaCarnegie Mellon University
Link to publication
19:02 - 19:05
Poster