SPLASH 2020
Sun 15 - Sat 21 November 2020 Online Conference

PACMPL Issue OOPSLA 2020 seeks contributions on all aspects of programming languages and software engineering. Authors of papers published in PACMPL Issue OOPSLA 2020 will present their work in the OOPSLA track of the SPLASH virtual conference in November.

Papers may target any stage of software development, including requirements, modeling, prototyping, design, implementation, generation, analysis, verification, testing, evaluation, maintenance, and reuse of software systems. Contributions may include the development of new tools (such as language front-ends, program analyses, and runtime systems), new techniques (such as methodologies, design processes, and code organization approaches), new principles (such as formalisms, proofs, models, and paradigms), and new evaluations (such as experiments, corpora analyses, user studies, and surveys).

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

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

00:20 - 01:00: Breakfast in ParisMeet Someone New (MSN) at OOPSLA/ECOOP
00:20 - 01:00
Social Event
Meet Someone New (MSN)
02:20 - 03:00: Cocktails in SydneyMeet Someone New (MSN) at OOPSLA/ECOOP
02:20 - 03:00
Social Event
Meet Someone New (MSN)
04:20 - 05:00: Dinner in BeijingMeet Someone New (MSN) at OOPSLA/ECOOP
04:20 - 05:00
Social Event
Meet Someone New (MSN)
06:20 - 07:00: Dinner in DelhiMeet Someone New (MSN) at OOPSLA/ECOOP
06:20 - 07:00
Social Event
Meet Someone New (MSN)
08:20 - 09:00: Breakfast in ChicagoMeet Someone New (MSN) at OOPSLA/ECOOP +12h
08:20 - 09:00
Social Event
Meet Someone New (MSN)
12:20 - 13:00: Breakfast in Wellington (PLMW AMA)PLMW at OOPSLA/ECOOP +12h
12:20 - 13:00
Talk
PLMW
Sriram RajamaniMicrosoft Research
14:20 - 15:00: Cocktails in ParisMeet Someone New (MSN) at OOPSLA/ECOOP +12h
14:20 - 15:00
Social Event
Meet Someone New (MSN)
15:00 - 16:20: M-5OOPSLA at OOPSLA/ECOOP +12h
15:00 - 15:20
Talk
OOPSLA
David CastroImperial College London, Nobuko YoshidaImperial College London
15:20 - 15:40
Talk
OOPSLA
Shubhani Indian Institute of Technology Delhi, Abhishek RoseIndian Institute of Technology Delhi, Sorav BansalIIT Delhi, India
15:40 - 16:00
Talk
OOPSLA
Rupak MajumdarMax Planck Institute for Software Systems (MPI-SWS), Nobuko YoshidaImperial College London, Damien ZuffereyMPI-SWS
16:00 - 16:20
Talk
OOPSLA
Dominik WintererETH Zurich, Switzerland, Chengyu ZhangEast China Normal University, Zhendong SuETH Zurich, Switzerland
16:20 - 17:00: Breakfast in SeoulMeet Someone New (MSN) at OOPSLA/ECOOP +12h
16:20 - 17:00
Social Event
Meet Someone New (MSN)
17:00 - 18:20: M-6OOPSLA at OOPSLA/ECOOP +12h
17:00 - 17:20
Talk
OOPSLA
Michael CoblenzUniversity of Maryland at College Park, USA, Jonathan AldrichCarnegie Mellon University, Brad MyersCarnegie Mellon University, Joshua SunshineCarnegie Mellon University
17:20 - 17:40
Talk
OOPSLA
BO SANGPurdue University, Ant Financial Services Group, Patrick EugsterUniversita della Svizzera Italiana, Switzerland, Gustavo PetriArm Ltd, Srivatsan RaviUniversity of Southern California, Pierre-Louis RomanUniversità della Svizzera italiana
17:40 - 18:00
Talk
OOPSLA
Alexi TurcotteNortheastern University, Aviral GoelNortheastern University, Filip KrikavaCzech Technical University, Jan VitekNortheastern University
18:00 - 18:20
Talk
OOPSLA
Dietrich GeislerCornell University, Irene YoonUniversity of Pennsylvania, Aditi KabraCornell University, Horace HeCornell University, Yinnon SandersCornell University, Adrian SampsonCornell University, USA
18:20 - 19:00: Cocktails in RioMeet Someone New (MSN) at OOPSLA/ECOOP +12h
18:20 - 19:00
Social Event
Meet Someone New (MSN)
20:20 - 21:00: Cocktails in New YorkMeet Someone New (MSN) at OOPSLA/ECOOP
20:20 - 21:00
Social Event
Meet Someone New (MSN)

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

00:20 - 01:00: Breakfast in Paris (PLMW AMA)PLMW at OOPSLA/ECOOP
00:20 - 01:00
Talk
PLMW
Sriram RajamaniMicrosoft Research
02:20 - 03:00: Cocktails in SydneyMeet Someone New (MSN) at OOPSLA/ECOOP
02:20 - 03:00
Social Event
Meet Someone New (MSN)
03:00 - 04:20: M-5OOPSLA at OOPSLA/ECOOP
03:00 - 03:20
Talk
OOPSLA
David CastroImperial College London, Nobuko YoshidaImperial College London
03:20 - 03:40
Talk
OOPSLA
Shubhani Indian Institute of Technology Delhi, Abhishek RoseIndian Institute of Technology Delhi, Sorav BansalIIT Delhi, India
03:40 - 04:00
Talk
OOPSLA
Rupak MajumdarMax Planck Institute for Software Systems (MPI-SWS), Nobuko YoshidaImperial College London, Damien ZuffereyMPI-SWS
04:00 - 04:20
Talk
OOPSLA
Dominik WintererETH Zurich, Switzerland, Chengyu ZhangEast China Normal University, Zhendong SuETH Zurich, Switzerland
04:20 - 05:00: Dinner in BeijingMeet Someone New (MSN) at OOPSLA/ECOOP
04:20 - 05:00
Social Event
Meet Someone New (MSN)
05:00 - 06:20: M-6OOPSLA at OOPSLA/ECOOP
05:00 - 05:20
Talk
OOPSLA
Michael CoblenzUniversity of Maryland at College Park, USA, Jonathan AldrichCarnegie Mellon University, Brad MyersCarnegie Mellon University, Joshua SunshineCarnegie Mellon University
05:20 - 05:40
Talk
OOPSLA
BO SANGPurdue University, Ant Financial Services Group, Patrick EugsterUniversita della Svizzera Italiana, Switzerland, Gustavo PetriArm Ltd, Srivatsan RaviUniversity of Southern California, Pierre-Louis RomanUniversità della Svizzera italiana
05:40 - 06:00
Talk
OOPSLA
Alexi TurcotteNortheastern University, Aviral GoelNortheastern University, Filip KrikavaCzech Technical University, Jan VitekNortheastern University
06:00 - 06:20
Talk
OOPSLA
Dietrich GeislerCornell University, Irene YoonUniversity of Pennsylvania, Aditi KabraCornell University, Horace HeCornell University, Yinnon SandersCornell University, Adrian SampsonCornell University, USA
06:20 - 07:00: Dinner in DelhiMeet Someone New (MSN) at OOPSLA/ECOOP
06:20 - 07:00
Social Event
Meet Someone New (MSN)
07:00 - 08:20: TKeynotes at OOPSLA/ECOOP +12h
07:00 - 08:20
Keynote
Keynotes
Mary Lou SoffaUniversity of Virginia
08:20 - 09:00: Breakfast in ChicagoMeet Someone New (MSN) at OOPSLA/ECOOP +12h
08:20 - 09:00
Social Event
Meet Someone New (MSN)
09:00 - 10:20: T-2OOPSLA at OOPSLA/ECOOP +12h
09:00 - 09:20
Talk
OOPSLA
Aaron BembenekHarvard University, Michael GreenbergPomona College, Stephen ChongHarvard University
09:20 - 09:40
Talk
OOPSLA
Wing LamUniversity of Illinois at Urbana-Champaign, Stefan WinterTU Darmstadt, Germany, Anjiang WeiPeking University, Tao XiePeking University, Darko MarinovUniversity of Illinois at Urbana-Champaign, Jonathan BellNortheastern University
09:40 - 10:00
Talk
OOPSLA
Yizhou ZhangUniversity of Waterloo, Guido SalvaneschiUniversity of St. Gallen, Andrew MyersCornell University
10:00 - 10:20
Talk
OOPSLA
Hongyu LiuPurdue University, Sam SilvestroUniversity of Texas at San Antonio, USA, Xiangyu ZhangPurdue University, USA, Jian HuangUniversity of Illinois at Urbana-Champaign, Tongping LiuUniversity of Massachusetts Amherst
10:20 - 11:00: Breakfast in SeattleMeet Someone New (MSN) at OOPSLA/ECOOP +12h
10:20 - 11:00
Social Event
Meet Someone New (MSN)
11:00 - 12:20: T-3OOPSLA at OOPSLA/ECOOP +12h
11:00 - 11:20
Talk
OOPSLA
Ritwika GhoshUIUC, Chiao HsiehUniversity of Illinois at Urbana-Champaign, Sasa MisailovicUniversity of Illinois at Urbana-Champaign, sayan mitraUniversity of Illinois at Urbana-Champaign
Pre-print
11:20 - 11:40
Talk
OOPSLA
Suvam MukherjeeMicrosoft Research India, Pantazis DeligiannisMicrosoft Research, Arpita BiswasIndian Institute of Science, Akash LalMicrosoft Research India
11:40 - 12:00
Talk
OOPSLA
Umar FarooqUniversity of California Riverside, Zhijia ZhaoUC Riverside, Manu SridharanUniversity of California Riverside, Iulian NeamtiuNew Jersey Institute of Technology
Pre-print
12:00 - 12:20
Talk
OOPSLA
Aayan KumarMicrosoft Research India, Vivek SeshadriMicrosoft Research, India, Rahul SharmaMicrosoft Research
12:20 - 13:00: Breakfast in WellingtonStudent Research Competition at OOPSLA/ECOOP +12h
12:20 - 13:00
Poster
Student Research Competition
13:00 - 14:20: T-4OOPSLA at OOPSLA/ECOOP +12h
13:00 - 13:20
Talk
OOPSLA
Shaked BrodyTechnion, Uri AlonTechnion, Eran YahavTechnion
Pre-print
13:20 - 13:40
Talk
OOPSLA
André PacakJGU Mainz, Sebastian ErdwegJGU Mainz, Tamás Szabóitemis / JGU Mainz
13:40 - 14:00
Talk
OOPSLA
Anders MøllerAarhus University, Benjamin Barslev NielsenAarhus University, Martin Toldam TorpAarhus University
DOI
14:00 - 14:20
Talk
OOPSLA
Fengyun LiuEPFL, Switzerland, Ondřej LhotákUniversity of Waterloo, Aggelos BiboudisEPFL, Switzerland, Paolo G. GiarrussoBedRock Systems, Martin OderskyEPFL, Switzerland
14:20 - 15:00: Cocktails in ParisMeet Someone New (MSN) at OOPSLA/ECOOP +12h
14:20 - 15:00
Social Event
Meet Someone New (MSN)
15:00 - 16:20: T-5OOPSLA at OOPSLA/ECOOP +12h
15:00 - 15:20
Talk
OOPSLA
Mehdi BagherzadehOakland University, Nicholas FiremanOakland University, Anas ShaweshOakland University, Raffi KhatchadourianCity University of New York (CUNY) Hunter College
15:20 - 15:40
Talk
OOPSLA
Arjen RouvoetDelft University of Technology, Hendrik van AntwerpenTU Delft, Casper Bach PoulsenDelft University of Technology, Robbert KrebbersDelft University of Technology, Eelco VisserDelft University of Technology
Link to publication DOI Pre-print
15:40 - 16:00
Talk
OOPSLA
Quentin StiévenartVrije Universiteit Brussel, Belgium, Magnus MadsenAarhus University
16:00 - 16:20
Talk
OOPSLA
Lukáš HolíkBrno University of Technology, Czechia, Ondrej LengalBrno University of Technology , Olli SaarikiviMSR Redmond, Lenka TuronovaBrno University of Technology, Margus VeanesMicrosoft Research, Tomas VojnarBrno University of Technology
16:20 - 17:00: Breakfast in SeoulMeet Someone New (MSN) at OOPSLA/ECOOP +12h
16:20 - 17:00
Social Event
Meet Someone New (MSN)
17:00 - 18:20: T-6AOOPSLA at OOPSLA/ECOOP +12h
17:00 - 17:20
Talk
OOPSLA
Yulei SuiUniversity of Technology Sydney, Australia, Xiao ChengBeijing University of Posts and Telecommunications, Guanqin ZhangUniversity of Technology Sydney, Haoyu WangBeijing University of Posts and Telecommunications, China
17:20 - 17:40
Talk
OOPSLA
Ana MilanovaRensselaer Polytechnic Institute
17:40 - 18:00
Talk
OOPSLA
Zhefeng WuAlibaba Group, Zhe SunAlibaba Group, Kai GongAlibaba Group, lingyun ChenAlibaba Group, Bin LiaoAlibaba Group, Yihua JinAlibaba Group
18:00 - 18:20
Talk
OOPSLA
Jenna WiseCarnegie Mellon University, Johannes BaderFacebook, Cameron WongJane Street, Jonathan AldrichCarnegie Mellon University, Éric TanterUniversity of Chile, Joshua SunshineCarnegie Mellon University
17:00 - 18:20: T-6BOOPSLA at SPLASH +12h
17:00 - 17:20
Talk
OOPSLA
Ton Chanh LeStevens Institute of Technology, Timos AntonopoulosYale University, Parisa FathololumiStevens Institute of Technology, Eric KoskinenStevens Institute of Technology, ThanhVu NguyenUniversity of Nebraska, Lincoln
17:20 - 17:40
Talk
OOPSLA
Eric AtkinsonMIT, Michael CarbinMassachusetts Institute of Technology, USA
17:40 - 18:00
Talk
OOPSLA
Julia BelyakovaNortheastern University, USA, Benjamin ChungNortheastern University, Jack GelinasNortheastern University, Jameson NashJulia Computing, Ross TateCornell University, Jan VitekNortheastern University
18:00 - 18:20
Talk
OOPSLA
Robert GriesemerGoogle, Raymond HuUniversity of Hertfordshire, Wen KokkeUniversity of Edinburgh, Julien LangeRoyal Holloway, University of London, Ian Lance TaylorGoogle, Bernardo ToninhoUniversidade Nova de Lisboa and NOVA LINCS, Philip WadlerUniversity of Edinburgh, UK, Nobuko YoshidaImperial College London
18:20 - 19:00: Cocktails in RioMeet Someone New (MSN) at OOPSLA/ECOOP +12h
18:20 - 19:00
Social Event
Meet Someone New (MSN)
19:00 - 20:20: TKeynotes at OOPSLA/ECOOP
19:00 - 20:20
Keynote
Keynotes
Mary Lou SoffaUniversity of Virginia
20:20 - 21:00: Cocktails in New YorkMeet Someone New (MSN) at OOPSLA/ECOOP
20:20 - 21:00
Social Event
Meet Someone New (MSN)
21:00 - 22:20: T-2OOPSLA at OOPSLA/ECOOP
21:00 - 21:20
Talk
OOPSLA
Aaron BembenekHarvard University, Michael GreenbergPomona College, Stephen ChongHarvard University
21:20 - 21:40
Talk
OOPSLA
Wing LamUniversity of Illinois at Urbana-Champaign, Stefan WinterTU Darmstadt, Germany, Anjiang WeiPeking University, Tao XiePeking University, Darko MarinovUniversity of Illinois at Urbana-Champaign, Jonathan BellNortheastern University
21:40 - 22:00
Talk
OOPSLA
Yizhou ZhangUniversity of Waterloo, Guido SalvaneschiUniversity of St. Gallen, Andrew MyersCornell University
22:00 - 22:20
Talk
OOPSLA
Hongyu LiuPurdue University, Sam SilvestroUniversity of Texas at San Antonio, USA, Xiangyu ZhangPurdue University, USA, Jian HuangUniversity of Illinois at Urbana-Champaign, Tongping LiuUniversity of Massachusetts Amherst
22:20 - 23:00: Lunch in TokyoMeet Someone New (MSN) at OOPSLA/ECOOP
22:20 - 23:00
Social Event
Meet Someone New (MSN)
23:00 - 00:20: T-3OOPSLA at OOPSLA/ECOOP
23:00 - 23:20
Talk
OOPSLA
Ritwika GhoshUIUC, Chiao HsiehUniversity of Illinois at Urbana-Champaign, Sasa MisailovicUniversity of Illinois at Urbana-Champaign, sayan mitraUniversity of Illinois at Urbana-Champaign
Pre-print
23:20 - 23:40
Talk
OOPSLA
Suvam MukherjeeMicrosoft Research India, Pantazis DeligiannisMicrosoft Research, Arpita BiswasIndian Institute of Science, Akash LalMicrosoft Research India
23:40 - 00:00
Talk
OOPSLA
Umar FarooqUniversity of California Riverside, Zhijia ZhaoUC Riverside, Manu SridharanUniversity of California Riverside, Iulian NeamtiuNew Jersey Institute of Technology
Pre-print
00:00 - 00:20
Talk
OOPSLA
Aayan KumarMicrosoft Research India, Vivek SeshadriMicrosoft Research, India, Rahul SharmaMicrosoft Research

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

00:20 - 01:00: Breakfast in ParisStudent Research Competition at OOPSLA/ECOOP
00:20 - 01:00
Poster
Student Research Competition
01:00 - 02:20: T-4OOPSLA at OOPSLA/ECOOP
01:00 - 01:20
Talk
OOPSLA
Shaked BrodyTechnion, Uri AlonTechnion, Eran YahavTechnion
Pre-print
01:20 - 01:40
Talk
OOPSLA
André PacakJGU Mainz, Sebastian ErdwegJGU Mainz, Tamás Szabóitemis / JGU Mainz
01:40 - 02:00
Talk
OOPSLA
Anders MøllerAarhus University, Benjamin Barslev NielsenAarhus University, Martin Toldam TorpAarhus University
DOI
02:00 - 02:20
Talk
OOPSLA
Fengyun LiuEPFL, Switzerland, Ondřej LhotákUniversity of Waterloo, Aggelos BiboudisEPFL, Switzerland, Paolo G. GiarrussoBedRock Systems, Martin OderskyEPFL, Switzerland
02:20 - 03:00: Cocktails in SydneyMeet Someone New (MSN) at OOPSLA/ECOOP
02:20 - 03:00
Social Event
Meet Someone New (MSN)
03:00 - 04:20: T-5OOPSLA at OOPSLA/ECOOP
03:00 - 03:20
Talk
OOPSLA
Mehdi BagherzadehOakland University, Nicholas FiremanOakland University, Anas ShaweshOakland University, Raffi KhatchadourianCity University of New York (CUNY) Hunter College
03:20 - 03:40
Talk
OOPSLA
Arjen RouvoetDelft University of Technology, Hendrik van AntwerpenTU Delft, Casper Bach PoulsenDelft University of Technology, Robbert KrebbersDelft University of Technology, Eelco VisserDelft University of Technology
Link to publication DOI Pre-print
03:40 - 04:00
Talk
OOPSLA
Quentin StiévenartVrije Universiteit Brussel, Belgium, Magnus MadsenAarhus University
04:00 - 04:20
Talk
OOPSLA
Lukáš HolíkBrno University of Technology, Czechia, Ondrej LengalBrno University of Technology , Olli SaarikiviMSR Redmond, Lenka TuronovaBrno University of Technology, Margus VeanesMicrosoft Research, Tomas VojnarBrno University of Technology
04:20 - 05:00: Dinner in BejingMeet Someone New (MSN) at OOPSLA/ECOOP
04:20 - 05:00
Social Event
Meet Someone New (MSN)
05:00 - 06:20: T-6AOOPSLA at OOPSLA/ECOOP
05:00 - 05:20
Talk
OOPSLA
Yulei SuiUniversity of Technology Sydney, Australia, Xiao ChengBeijing University of Posts and Telecommunications, Guanqin ZhangUniversity of Technology Sydney, Haoyu WangBeijing University of Posts and Telecommunications, China
05:20 - 05:40
Talk
OOPSLA
Ana MilanovaRensselaer Polytechnic Institute
05:40 - 06:00
Talk
OOPSLA
Zhefeng WuAlibaba Group, Zhe SunAlibaba Group, Kai GongAlibaba Group, lingyun ChenAlibaba Group, Bin LiaoAlibaba Group, Yihua JinAlibaba Group
06:00 - 06:20
Talk
OOPSLA
Jenna WiseCarnegie Mellon University, Johannes BaderFacebook, Cameron WongJane Street, Jonathan AldrichCarnegie Mellon University, Éric TanterUniversity of Chile, Joshua SunshineCarnegie Mellon University
05:00 - 06:20: T-6BOOPSLA at SPLASH
05:00 - 05:20
Talk
OOPSLA
Ton Chanh LeStevens Institute of Technology, Timos AntonopoulosYale University, Parisa FathololumiStevens Institute of Technology, Eric KoskinenStevens Institute of Technology, ThanhVu NguyenUniversity of Nebraska, Lincoln
05:20 - 05:40
Talk
OOPSLA
Eric AtkinsonMIT, Michael CarbinMassachusetts Institute of Technology, USA
05:40 - 06:00
Talk
OOPSLA
Julia BelyakovaNortheastern University, USA, Benjamin ChungNortheastern University, Jack GelinasNortheastern University, Jameson NashJulia Computing, Ross TateCornell University, Jan VitekNortheastern University
06:00 - 06:20
Talk
OOPSLA
Robert GriesemerGoogle, Raymond HuUniversity of Hertfordshire, Wen KokkeUniversity of Edinburgh, Julien LangeRoyal Holloway, University of London, Ian Lance TaylorGoogle, Bernardo ToninhoUniversidade Nova de Lisboa and NOVA LINCS, Philip WadlerUniversity of Edinburgh, UK, Nobuko YoshidaImperial College London
06:20 - 07:00: Dinner in DelhiMeet Someone New (MSN) at OOPSLA/ECOOP
06:20 - 07:00
Social Event
Meet Someone New (MSN)
07:00 - 08:20: W-1OOPSLA at OOPSLA/ECOOP +12h
07:00 - 07:20
Talk
OOPSLA
Breanna Devore-McDonaldUniversity of Massachusetts Amherst, Emery BergerUniversity of Massachusetts Amherst
07:20 - 07:40
Talk
OOPSLA
Tongtong XiangUniversity of Waterloo, Jeff LuoUniversity of Waterloo, Werner DietlUniversity of Waterloo, Canada
07:40 - 08:00
Talk
OOPSLA
Joshua CluneCarnegie Mellon University, Vijay RamamurthyCarnegie Mellon University, Ruben MartinsCarnegie Mellon University, Umut A. AcarCarnegie Mellon University, USA
08:00 - 08:20
Talk
OOPSLA
Yaoda ZhouThe University of Hong Kong, Bruno C. d. S. OliveiraThe University of Hong Kong, Hong Kong, Jinxu ZhaoThe University of Hong Kong
08:20 - 09:00: Breakfast in ChicagoAwards at OOPSLA/ECOOP +12h
08:20 - 09:00
Other
Awards
09:00 - 10:20: WKeynotes at OOPSLA/ECOOP +12h
09:00 - 10:20
Keynote
Keynotes
Sriram RajamaniMicrosoft Research
10:20 - 11:00: Breakfast in SeattleMeet Someone New (MSN) at OOPSLA/ECOOP +12h
10:20 - 11:00
Social Event
Meet Someone New (MSN)
11:00 - 12:20: W-3OOPSLA at OOPSLA/ECOOP +12h
11:00 - 11:20
Talk
OOPSLA
Sarah SpallIndiana University, Neil MitchellFacebook, Sam Tobin-HochstadtIndiana University
11:20 - 11:40
Talk
OOPSLA
Vsevolod LivinskiiUniversity of Utah, Dmitry BabokinIntel Corporation, John RegehrUniversity of Utah
11:40 - 12:00
Talk
OOPSLA
DOI Pre-print
12:00 - 12:20
Talk
OOPSLA
Shankara PailoorUniversity of Texas at Austin, USA, Xinyu WangUniversity of Michigan, Hovav ShachamUniversity of Texas at Austin, USA, Isil DilligUniversity of Texas at Austin, USA
12:20 - 13:00: Breakfast in WellingtonMeet Someone New (MSN) at OOPSLA/ECOOP +12h
12:20 - 13:00
Social Event
Meet Someone New (MSN)
13:00 - 14:20: W-4OOPSLA at OOPSLA/ECOOP +12h
13:00 - 13:20
Talk
OOPSLA
Noam YefetTechnion, Uri AlonTechnion, Eran YahavTechnion
Pre-print
13:20 - 13:40
Talk
OOPSLA
Manuel RiggerETH Zurich, Switzerland, Zhendong SuETH Zurich, Switzerland
Pre-print
13:40 - 14:00
Talk
OOPSLA
Yotam FeldmanTel Aviv University, Artem KhyzhaTel Aviv University, Constantin EneaIRIF, University Paris Diderot & CNRS, Adam MorrisonTel Aviv University, Aleksandar NanevskiIMDEA Software Institute, Noam RinetzkyTel Aviv University, Israel, Sharon ShohamTel Aviv university
14:00 - 14:20
Talk
OOPSLA
Vytautas AstrauskasETH Zurich, Switzerland, Christoph MathejaETH Zurich, Switzerland, Federico PoliETH Zurich, Switzerland, Peter MüllerETH Zurich, Alexander J. SummersThe University of British Columbia
14:20 - 15:00: Cocktails in ParisMeet Someone New (MSN) at OOPSLA/ECOOP +12h
14:20 - 15:00
Social Event
Meet Someone New (MSN)
15:00 - 16:20: W-5OOPSLA at OOPSLA/ECOOP +12h
15:00 - 15:20
Talk
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
Pre-print
15:20 - 15:40
Talk
OOPSLA
Azalea RaadImperial College London, Ori LahavTel Aviv University, Israel, Viktor VafeiadisMPI-SWS, Germany
15:40 - 16:00
Talk
OOPSLA
Sumit GulwaniMicrosoft, Vu LeMicrosoft, Arjun RadhakrishnaMicrosoft, Ivan RadičekMicrosoft, Mohammad RazaMicrosoft
16:00 - 16:20
Talk
OOPSLA
Fangyi ZhouImperial College London, Francisco FerreiraImperial College London, Raymond HuUniversity of Hertfordshire, Rumyana NeykovaBrunel University London, Nobuko YoshidaImperial College London
Pre-print
16:20 - 17:00: Breakfast in SeoulMeet Someone New (MSN) at OOPSLA/ECOOP +12h
16:20 - 17:00
Social Event
Meet Someone New (MSN)
17:00 - 18:20: W-6OOPSLA at OOPSLA/ECOOP +12h
17:00 - 17:20
Talk
OOPSLA
Hila PelegUniversity of California, San Diego, Roi GabayTechnion, Shachar ItzhakyTechnion, Israel, Eran YahavTechnion
17:20 - 17:40
Talk
OOPSLA
Subarno BanerjeeUniversity of Michigan, David DevecseryGeorgia Institute of Technology, Peter M. ChenUniversity of Michigan, USA, Satish NarayanasamyUniversity of Michigan
17:40 - 18:00
Talk
OOPSLA
Guilherme LeobasUniversidade Federal de Minas Gerais, Fernando Magno Quintão PereiraUFMG
DOI Pre-print
18:00 - 18:20
Talk
OOPSLA
Yuting WangShanghai Jiao Tong University, Xiangzhe XuNanjing University, Pierre WILKECentraleSupelec Rennes, Zhong ShaoYale University
18:20 - 19:00: Cocktails in RioMeet Someone New (MSN) at OOPSLA/ECOOP +12h
18:20 - 19:00
Social Event
Meet Someone New (MSN)
19:00 - 20:20: W-1OOPSLA at OOPSLA/ECOOP
19:00 - 19:20
Talk
OOPSLA
Breanna Devore-McDonaldUniversity of Massachusetts Amherst, Emery BergerUniversity of Massachusetts Amherst
19:20 - 19:40
Talk
OOPSLA
Tongtong XiangUniversity of Waterloo, Jeff LuoUniversity of Waterloo, Werner DietlUniversity of Waterloo, Canada
19:40 - 20:00
Talk
OOPSLA
Joshua CluneCarnegie Mellon University, Vijay RamamurthyCarnegie Mellon University, Ruben MartinsCarnegie Mellon University, Umut A. AcarCarnegie Mellon University, USA
20:00 - 20:20
Talk
OOPSLA
Yaoda ZhouThe University of Hong Kong, Bruno C. d. S. OliveiraThe University of Hong Kong, Hong Kong, Jinxu ZhaoThe University of Hong Kong
20:20 - 21:00: Cocktails in New YorkAwards at OOPSLA/ECOOP
20:20 - 21:00
Other
Awards
21:00 - 22:20: WKeynotes at OOPSLA/ECOOP
21:00 - 22:20
Keynote
Keynotes
Sriram RajamaniMicrosoft Research
22:20 - 23:00: Lunch in TokyoMeet Someone New (MSN) at OOPSLA/ECOOP
22:20 - 23:00
Social Event
Meet Someone New (MSN)
23:00 - 00:20: W-3OOPSLA at OOPSLA/ECOOP
23:00 - 23:20
Talk
OOPSLA
Sarah SpallIndiana University, Neil MitchellFacebook, Sam Tobin-HochstadtIndiana University
23:20 - 23:40
Talk
OOPSLA
Vsevolod LivinskiiUniversity of Utah, Dmitry BabokinIntel Corporation, John RegehrUniversity of Utah
23:40 - 00:00
Talk
OOPSLA
DOI Pre-print
00:00 - 00:20
Talk
OOPSLA
Shankara PailoorUniversity of Texas at Austin, USA, Xinyu WangUniversity of Michigan, Hovav ShachamUniversity of Texas at Austin, USA, Isil DilligUniversity of Texas at Austin, USA

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

00:20 - 01:00: Breakfast in ParisMeet Someone New (MSN) at OOPSLA/ECOOP
00:20 - 01:00
Social Event
Meet Someone New (MSN)
01:00 - 02:20: W-4OOPSLA at OOPSLA/ECOOP
01:00 - 01:20
Talk
OOPSLA
Noam YefetTechnion, Uri AlonTechnion, Eran YahavTechnion
Pre-print
01:20 - 01:40
Talk
OOPSLA
Manuel RiggerETH Zurich, Switzerland, Zhendong SuETH Zurich, Switzerland
Pre-print
01:40 - 02:00
Talk
OOPSLA
Yotam FeldmanTel Aviv University, Artem KhyzhaTel Aviv University, Constantin EneaIRIF, University Paris Diderot & CNRS, Adam MorrisonTel Aviv University, Aleksandar NanevskiIMDEA Software Institute, Noam RinetzkyTel Aviv University, Israel, Sharon ShohamTel Aviv university
02:00 - 02:20
Talk
OOPSLA
Vytautas AstrauskasETH Zurich, Switzerland, Christoph MathejaETH Zurich, Switzerland, Federico PoliETH Zurich, Switzerland, Peter MüllerETH Zurich, Alexander J. SummersThe University of British Columbia
02:20 - 03:00: Cocktails in SydneyMeet Someone New (MSN) at OOPSLA/ECOOP
02:20 - 03:00
Social Event
Meet Someone New (MSN)
03:00 - 04:20: W-5OOPSLA at OOPSLA/ECOOP
03:00 - 03:20
Talk
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
Pre-print
03:20 - 03:40
Talk
OOPSLA
Azalea RaadImperial College London, Ori LahavTel Aviv University, Israel, Viktor VafeiadisMPI-SWS, Germany
03:40 - 04:00
Talk
OOPSLA
Sumit GulwaniMicrosoft, Vu LeMicrosoft, Arjun RadhakrishnaMicrosoft, Ivan RadičekMicrosoft, Mohammad RazaMicrosoft
04:00 - 04:20
Talk
OOPSLA
Fangyi ZhouImperial College London, Francisco FerreiraImperial College London, Raymond HuUniversity of Hertfordshire, Rumyana NeykovaBrunel University London, Nobuko YoshidaImperial College London
Pre-print
04:20 - 05:00: Dinner in BeijingMeet Someone New (MSN) at OOPSLA/ECOOP
04:20 - 05:00
Social Event
Meet Someone New (MSN)
05:00 - 06:20: W-6OOPSLA at OOPSLA/ECOOP
05:00 - 05:20
Talk
OOPSLA
Hila PelegUniversity of California, San Diego, Roi GabayTechnion, Shachar ItzhakyTechnion, Israel, Eran YahavTechnion
05:20 - 05:40
Talk
OOPSLA
Subarno BanerjeeUniversity of Michigan, David DevecseryGeorgia Institute of Technology, Peter M. ChenUniversity of Michigan, USA, Satish NarayanasamyUniversity of Michigan
05:40 - 06:00
Talk
OOPSLA
Guilherme LeobasUniversidade Federal de Minas Gerais, Fernando Magno Quintão PereiraUFMG
DOI Pre-print
06:00 - 06:20
Talk
OOPSLA
Yuting WangShanghai Jiao Tong University, Xiangzhe XuNanjing University, Pierre WILKECentraleSupelec Rennes, Zhong ShaoYale University
06:20 - 07:00: Dinner in DelhiMeet Someone New (MSN) at OOPSLA/ECOOP
06:20 - 07:00
Social Event
Meet Someone New (MSN)
08:20 - 09:00: Breakfast in ChicagoMeet Someone New (MSN) at OOPSLA/ECOOP +12h
08:20 - 09:00
Social Event
Meet Someone New (MSN)
09:00 - 10:20: R-2OOPSLA at OOPSLA/ECOOP +12h
09:00 - 09:20
Talk
OOPSLA
Ramy ShahinUniversity of Toronto, Marsha ChechikUniversity of Toronto
Pre-print
09:20 - 09:40
Talk
OOPSLA
Alejandro Gómez-LondoñoChalmers University of Technology, Johannes Åman PohjolaCSIRO's Data61/University of New South Wales, Hira Taqdees SyedaChalmers University of Technology, Magnus O. MyreenChalmers University of Technology, Sweden, Yong Kiam TanCarnegie Mellon University, USA
09:40 - 10:00
Talk
OOPSLA
Yiyun LiuUniversity of Maryland, College Park, USA, James ParkerUniversity of Maryland, Patrick RedmondUniversity of California, Santa Cruz, USA, Lindsey KuperUniversity of California, Santa Cruz, Michael HicksUniversity of Maryland, Niki VazouIMDEA Software Institute
10:00 - 10:20
Talk
OOPSLA
Milijana SurbatovichCarnegie Mellon University, Brandon LuciaCarnegie Mellon University, Limin JiaCarnegie Mellon University
10:20 - 11:00: Breakfast in SeattleStudent Research Competition at OOPSLA/ECOOP +12h
10:20 - 11:00
Poster
Student Research Competition
11:00 - 12:20: R-3OOPSLA at OOPSLA/ECOOP +12h
11:00 - 11:20
Talk
OOPSLA
Guannan WeiPurdue University, Oliver BračevacPurdue University, Shangyin TanPurdue University, Tiark RompfPurdue University
Pre-print
11:20 - 11:40
Talk
OOPSLA
Gushu LiUniversity of California, Santa Barbara, Li ZhouMax Planck Institute for Security and Privacy/Tsinghua University, Nengkun YuUniversity of Technology Sydney, Australia, Yufei DingUCSB, Mingsheng YingUniversity of Technology Sydney, Australia / Institute of Software at Chinese Academy of Sciences, China/ Department of Computer Science and Technology, Tsinghua University., Yuan XieUniversity of California, Santa Barbara
Pre-print
11:40 - 12:00
Talk
OOPSLA
Hamed GorjiaraUniversity of California at Irvine, USA, Guoqing Harry XuUniversity of California at Los Angeles, USA, Brian DemskyUniversity of California at Irvine, USA
12:00 - 12:20
Talk
OOPSLA
Stephen FreundWilliams College, Cormac FlanaganUniversity of California, Santa Cruz
12:20 - 13:00: Breakfast in WellingtonMeet Someone New (MSN) at OOPSLA/ECOOP +12h
12:20 - 13:00
Social Event
Meet Someone New (MSN)
14:20 - 15:00: Cocktails in ParisMeet Someone New (MSN) at OOPSLA/ECOOP +12h
14:20 - 15:00
Social Event
Meet Someone New (MSN)
15:00 - 16:20: R-5OOPSLA at OOPSLA/ECOOP +12h
15:00 - 15:20
Talk
OOPSLA
Sifis LagouvardosUniversity of Athens, Greece, Neville GrechUniversity of Athens, Greece, Ilias TsatirisUniversity of Athens, Yannis SmaragdakisUniversity of Athens, Greece
15:20 - 15:40
Talk
OOPSLA
Caterina UrbanINRIA & École Normale Supérieure, Maria ChristakisMPI-SWS, Germany, Valentin WüstholzConsenSys, Germany, Fuyuan ZhangMPI-SWS
15:40 - 16:00
Talk
OOPSLA
Elvira AlbertComplutense University of Madrid, Shelly GrossmanTel Aviv University, Noam RinetzkyTel Aviv University, Israel, Clara RodríguezComplutense University of Madrid, Albert RubioComplutense University of Madrid, Mooly SagivTel Aviv University
16:00 - 16:20
Talk
OOPSLA
Shengjian GuoBaidu X-Lab, Yueqi ChenThe Pennsylvania State University, Jiyong YuUniversity of Illinois at Urbana-Champaign, Meng WuAnt Financial, Zhiqiang ZuoNanjing University, China, Peng LiBaidu X-Lab, Yueqiang ChengBaidu Security
16:20 - 17:00: Breakfast in SeoulMeet Someone New (MSN) at OOPSLA/ECOOP +12h
16:20 - 17:00
Social Event
Meet Someone New (MSN)
17:00 - 18:20: R-6OOPSLA at OOPSLA/ECOOP +12h
17:00 - 17:20
Talk
OOPSLA
Leif AndersenNortheastern University, USA, Michael BallantynePLT @ Northeastern University, Matthias FelleisenPLT @ Northeastern University
17:20 - 17:40
Talk
OOPSLA
John FeserMIT CSAIL, Sam MaddenMIT, Nan TangQCRI HBKU, Armando Solar-LezamaMassachusetts Institute of Technology, USA
17:40 - 18:00
Talk
OOPSLA
Thai TrinhAdvanced Digital Sciences Center, Illinois at Singapore, Duc-Hiep ChuGoogle, Joxan JaffarNational University of Singapore
18:00 - 18:20
Talk
OOPSLA
Michael BallantynePLT @ Northeastern University, Alexis KingNorthwestern University, Matthias FelleisenPLT @ Northeastern University
18:20 - 19:00: Cocktails in RioMeet Someone New (MSN) at OOPSLA/ECOOP +12h
18:20 - 19:00
Social Event
Meet Someone New (MSN)
20:20 - 21:00: Cocktails in New YorkMeet Someone New (MSN) at OOPSLA/ECOOP
20:20 - 21:00
Social Event
Meet Someone New (MSN)
21:00 - 22:20: R-2OOPSLA at OOPSLA/ECOOP
21:00 - 21:20
Talk
OOPSLA
Ramy ShahinUniversity of Toronto, Marsha ChechikUniversity of Toronto
Pre-print
21:20 - 21:40
Talk
OOPSLA
Alejandro Gómez-LondoñoChalmers University of Technology, Johannes Åman PohjolaCSIRO's Data61/University of New South Wales, Hira Taqdees SyedaChalmers University of Technology, Magnus O. MyreenChalmers University of Technology, Sweden, Yong Kiam TanCarnegie Mellon University, USA
21:40 - 22:00
Talk
OOPSLA
Yiyun LiuUniversity of Maryland, College Park, USA, James ParkerUniversity of Maryland, Patrick RedmondUniversity of California, Santa Cruz, USA, Lindsey KuperUniversity of California, Santa Cruz, Michael HicksUniversity of Maryland, Niki VazouIMDEA Software Institute
22:00 - 22:20
Talk
OOPSLA
Milijana SurbatovichCarnegie Mellon University, Brandon LuciaCarnegie Mellon University, Limin JiaCarnegie Mellon University
22:20 - 23:00: Lunch in TokyoStudent Research Competition at OOPSLA/ECOOP
22:20 - 23:00
Poster
Student Research Competition
23:00 - 00:20: R-3OOPSLA at OOPSLA/ECOOP
23:00 - 23:20
Talk
OOPSLA
Guannan WeiPurdue University, Oliver BračevacPurdue University, Shangyin TanPurdue University, Tiark RompfPurdue University
Pre-print
23:20 - 23:40
Talk
OOPSLA
Gushu LiUniversity of California, Santa Barbara, Li ZhouMax Planck Institute for Security and Privacy/Tsinghua University, Nengkun YuUniversity of Technology Sydney, Australia, Yufei DingUCSB, Mingsheng YingUniversity of Technology Sydney, Australia / Institute of Software at Chinese Academy of Sciences, China/ Department of Computer Science and Technology, Tsinghua University., Yuan XieUniversity of California, Santa Barbara
Pre-print
23:40 - 00:00
Talk
OOPSLA
Hamed GorjiaraUniversity of California at Irvine, USA, Guoqing Harry XuUniversity of California at Los Angeles, USA, Brian DemskyUniversity of California at Irvine, USA
00:00 - 00:20
Talk
OOPSLA
Stephen FreundWilliams College, Cormac FlanaganUniversity of California, Santa Cruz

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

00:20 - 01:00: Breakfast in ParisMeet Someone New (MSN) at OOPSLA/ECOOP
00:20 - 01:00
Social Event
Meet Someone New (MSN)
02:20 - 03:00: Cocktails in SydneyMeet Someone New (MSN) at OOPSLA/ECOOP
02:20 - 03:00
Social Event
Meet Someone New (MSN)
03:00 - 04:20: R-5OOPSLA at OOPSLA/ECOOP
03:00 - 03:20
Talk
OOPSLA
Sifis LagouvardosUniversity of Athens, Greece, Neville GrechUniversity of Athens, Greece, Ilias TsatirisUniversity of Athens, Yannis SmaragdakisUniversity of Athens, Greece
03:20 - 03:40
Talk
OOPSLA
Caterina UrbanINRIA & École Normale Supérieure, Maria ChristakisMPI-SWS, Germany, Valentin WüstholzConsenSys, Germany, Fuyuan ZhangMPI-SWS
03:40 - 04:00
Talk
OOPSLA
Elvira AlbertComplutense University of Madrid, Shelly GrossmanTel Aviv University, Noam RinetzkyTel Aviv University, Israel, Clara RodríguezComplutense University of Madrid, Albert RubioComplutense University of Madrid, Mooly SagivTel Aviv University
04:00 - 04:20
Talk
OOPSLA
Shengjian GuoBaidu X-Lab, Yueqi ChenThe Pennsylvania State University, Jiyong YuUniversity of Illinois at Urbana-Champaign, Meng WuAnt Financial, Zhiqiang ZuoNanjing University, China, Peng LiBaidu X-Lab, Yueqiang ChengBaidu Security
04:20 - 05:00: Dinner in BeijingMeet Someone New (MSN) at OOPSLA/ECOOP
04:20 - 05:00
Social Event
Meet Someone New (MSN)
05:00 - 06:20: R-6OOPSLA at OOPSLA/ECOOP
05:00 - 05:20
Talk
OOPSLA
Leif AndersenNortheastern University, USA, Michael BallantynePLT @ Northeastern University, Matthias FelleisenPLT @ Northeastern University
05:20 - 05:40
Talk
OOPSLA
John FeserMIT CSAIL, Sam MaddenMIT, Nan TangQCRI HBKU, Armando Solar-LezamaMassachusetts Institute of Technology, USA
05:40 - 06:00
Talk
OOPSLA
Thai TrinhAdvanced Digital Sciences Center, Illinois at Singapore, Duc-Hiep ChuGoogle, Joxan JaffarNational University of Singapore
06:00 - 06:20
Talk
OOPSLA
Michael BallantynePLT @ Northeastern University, Alexis KingNorthwestern University, Matthias FelleisenPLT @ Northeastern University
06:20 - 07:00: Dinner in DelhiMeet Someone New (MSN) at OOPSLA/ECOOP
06:20 - 07:00
Social Event
Meet Someone New (MSN)
07:00 - 08:20: F-1AOOPSLA at OOPSLA/ECOOP +12h
07:00 - 07:20
Talk
OOPSLA
Konstantinos KallasUniversity of Pennsylvania, Filip NiksicUniversity of Pennsylvania, Caleb StanfordUniversity of Pennsylvania, Rajeev AlurUniversity of Pennsylvania
07:20 - 07:40
Talk
OOPSLA
Radha JagadeesanDePaul University, Alan JeffreyMozilla Research, James RielyDePaul University
Pre-print Media Attached
07:40 - 08:00
Talk
OOPSLA
Lingkun KongRice University, Konstantinos MamourasRice University
08:00 - 08:20
Talk
OOPSLA
Tyler SorensenPrinceton University, Esin TureciPrinceton University, Jake KirkhamPrinceton University, Margaret R. MartonosiPrinceton University
07:00 - 08:20: F-1BOOPSLA at SPLASH +12h
07:00 - 07:20
Talk
OOPSLA
Qianshan YuTsinghua University, Fei HeTsinghua University, China, Bow-Yaw WangAcademia Sinica, Taiwan
07:20 - 07:40
Talk
OOPSLA
Minseok JeonKorea University, South Korea, Myungho LeeKorea University, Hakjoo OhKorea University, South Korea
07:40 - 08:00
Talk
OOPSLA
Emily FirstUniversity of Massachusetts Amherst, Yuriy BrunUniversity of Massachusetts at Amherst, USA, Arjun GuhaNortheastern University
08:00 - 08:20
Talk
OOPSLA
Ruyi JiPeking University, China, Yican SunPeking University, Yingfei XiongPeking University, China, Zhenjiang HuPeking University, China
08:20 - 09:00: Breakfast in ChicagoMeet Someone New (MSN) at OOPSLA/ECOOP +12h
08:20 - 09:00
Social Event
Meet Someone New (MSN)
09:00 - 10:20: F-2AOOPSLA at OOPSLA/ECOOP +12h
09:00 - 09:20
Talk
OOPSLA
Ryan SenanayakeReservoir Labs, Changwan HongMIT, Ziheng WangMassachusetts Institute of Technology, Amalee WilsonStanford University, Stephen ChouMassachusetts Institute of Technology, USA, Shoaib KamilAdobe, Saman AmarasingheMIT, Fredrik KjolstadStanford University
DOI Pre-print
09:20 - 09:40
Talk
OOPSLA
Klara MardirosianKU Leuven, Tom SchrijversKU Leuven, Bruno C. d. S. OliveiraThe University of Hong Kong, Hong Kong, Georgios KarachaliasTweag
09:40 - 10:00
Talk
OOPSLA
Sean BartellUniversity of Illinois at Urbana-Champaign, Will DietzUniversity of Illinois at Urbana-Champaign, Vikram S. AdveUniversity of Illinois at Urbana-Champaign, USA
10:00 - 10:20
Talk
OOPSLA
Xiaohong ChenUniversity of Illinois at Urbana-Champaign, Thai TrinhAdvanced Digital Sciences Center, Illinois at Singapore, Nishant RodriguesUniversity of Illinois Urbana-Champaign, Lucas PeñaUniversity of Illinois at Urbana-Champaign, Grigore RosuUniversity of Illinois at Urbana-Champaign
09:00 - 10:20: F-2BOOPSLA at SPLASH +12h
09:00 - 09:20
Talk
OOPSLA
Xiang GaoNational University of Singapore, Singapore, Shraddha BarkeUniversity of California, San Diego, Arjun RadhakrishnaMicrosoft, Gustavo SoaresMicrosoft, Sumit GulwaniMicrosoft, Alan LeungMicrosoft, Nachiappan NagappanMicrosoft Research, Ashish TiwariMicrosoft
09:20 - 09:40
Talk
OOPSLA
Hengchu ZhangUniversity of Pennsylvania, Edo RothUniversity of Pennsylvania, Benjamin C. PierceUniversity of Pennsylvania, Aaron RothUniversity of Pennsylvania, USA, Andreas HaeberlenUniversity of Pennsylvania, USA
09:40 - 10:00
Talk
OOPSLA
Pengyu NieThe University of Texas at Austin, Marinela ParovicThe University of Texas at Austin, Zhiqiang ZangThe University of Texas at Austin, Sarfraz KhurshidUniversity of Texas at Austin, USA, Aleksandar MilicevicMicrosoft, Milos GligoricUniversity of Texas at Austin, USA
10:00 - 10:20
Talk
OOPSLA
Hailong ZhangFordham University, Yu Hao, Sufian LatifOhio State University, USA, Raef BassilyOhio State University, USA, Atanas RountevOhio State University
10:20 - 11:00: Breakfast in SeattleMeet Someone New (MSN) at OOPSLA/ECOOP +12h
10:20 - 11:00
Social Event
Meet Someone New (MSN)
11:00 - 12:20: F-3AOOPSLA at OOPSLA/ECOOP +12h
11:00 - 11:20
Talk
OOPSLA
Olivier FlückigerNortheastern University, USA, Guido ChariASAPP Inc, Ming-Ho YeeNortheastern University, Jan JecmenCzech Technical University, Jakob HainNortheastern University, Jan VitekNortheastern University
DOI Pre-print
11:20 - 11:40
Talk
OOPSLA
Magnus MadsenAarhus University, Ondřej LhotákUniversity of Waterloo
11:40 - 12:00
Talk
OOPSLA
Julie L. NewcombUniversity of California at Berkeley, Andrew AdamsAdobe, Steven JohnsonGoogle, Rastislav BodikUniversity of Washington, Shoaib KamilAdobe
12:00 - 12:20
Talk
OOPSLA
Magnus MadsenAarhus University, Jaco van de PolAarhus University
11:00 - 12:20: F-3BOOPSLA at SPLASH +12h
11:00 - 11:20
Talk
OOPSLA
Shraddha BarkeUniversity of California, San Diego, Hila PelegUniversity of California, San Diego, Nadia PolikarpovaUniversity of California, San Diego
11:20 - 11:40
Talk
OOPSLA
John Peter Campora IIIUniversity of Louisiana at Lafayette, Sheng ChenUniversity of Louisiana at Lafayette
11:40 - 12:00
Talk
OOPSLA
Yu WangDepartment of Computer Science and Technology, Nanjing University, Ke WangVisa Research, Fenjuan GaoNanjing University, Linzhang WangNanjing University
12:00 - 12:20
Talk
OOPSLA
Ifaz KabirUniversity of Alberta, Canada, Yufeng LiUniversity of Waterloo, Ondřej LhotákUniversity of Waterloo
12:20 - 13:00: Breakfast in WellingtonMeet Someone New (MSN) at OOPSLA/ECOOP +12h
12:20 - 13:00
Social Event
Meet Someone New (MSN)
13:00 - 14:20: F-4AOOPSLA at OOPSLA/ECOOP +12h
13:00 - 13:20
Talk
OOPSLA
Martin AvanziniINRIA Sophia Antipolis, France, Georg MoserUniversity of Innsbruck, Michael SchaperUniversity of Innsbruck
13:20 - 13:40
Talk
OOPSLA
Ivan GavranMPI-SWS, Eva DarulovaMPI-SWS, Germany, Rupak MajumdarMax Planck Institute for Software Systems (MPI-SWS)
13:40 - 14:00
Talk
OOPSLA
Steven HoltzenUniversity of California, Los Angeles, Guy Van den BroeckUniversity of California, Los Angeles, Todd MillsteinUniversity of California at Los Angeles, USA
Pre-print
14:00 - 14:20
Talk
OOPSLA
Michael B. JamesUniversity of California, San Diego, Zheng Guo, Ziteng WangUniversity of California, San Diego, Shivani DoshiCornell University, Hila PelegUniversity of California, San Diego, Ranjit JhalaUniversity of California at San Diego, USA, Nadia PolikarpovaUniversity of California, San Diego
13:00 - 14:20: F-4BOOPSLA at SPLASH +12h
13:00 - 13:20
Talk
OOPSLA
Sylvain BoulméGrenoble-INP - VERIMAG, David MonniauxCNRS, VERIMAG, Cyril SixKalray
13:20 - 13:40
Talk
OOPSLA
Christoph SprengerETH Zurich, Tobias KlenzeETH Zurich, Marco EilersETH Zurich, Felix WolfETH Zurich, Peter MüllerETH Zurich, Martin ClochardETH Zürich, David BasinETH Zurich, Switzerland
13:40 - 14:00
Talk
OOPSLA
Yaniv DavidTechnion, Uri AlonTechnion, Eran YahavTechnion
Pre-print
14:00 - 14:20
Talk
OOPSLA
Fei HeTsinghua University, China, Jitao HanSchool of Software, Tsinghua University
14:20 - 15:00: Cocktails in ParisMeet Someone New (MSN) at OOPSLA/ECOOP +12h
14:20 - 15:00
Social Event
Meet Someone New (MSN)
15:00 - 16:20: F-5AOOPSLA at OOPSLA/ECOOP +12h
15:00 - 15:20
Talk
OOPSLA
Jonathan Immanuel BrachthäuserUniversity of Tübingen, Germany, Philipp SchusterUniversity of Tübingen, Germany, Klaus OstermannUniversity of Tübingen, Germany
DOI Pre-print
15:20 - 15:40
Talk
OOPSLA
Tobias GrosserETH Zurich, Switzerland, Theodoros TheodoridisETH Zurich, Maxmilian FalkensteinETH Zurich, Arjun PitchanathanIIIT Hyderabad, Michael KruseArgonne National Laboratory, Manuel RiggerETH Zurich, Switzerland, Zhendong SuETH Zurich, Switzerland, Torsten HoeflerDepartment of Computer Science, ETH Zurich
15:00 - 16:20: F-5BOOPSLA at SPLASH +12h
15:00 - 15:20
Talk
OOPSLA
Cezara DrăgoiINRIA, ENS, CNRS, Josef WidderInformal Systems, Damien ZuffereyMPI-SWS
15:20 - 15:40
Talk
OOPSLA
Mirko KöhlerTechnische Universität Darmstadt, Nafise Eskandani MasouleTechnical University of Darmstadt, Pascal WeisenburgerTechnische Universität Darmstadt, Alessandro MargaraPolitecnico di Milano, Guido SalvaneschiUniversity of St. Gallen
15:40 - 16:00
Talk
OOPSLA
Cezara DrăgoiINRIA, ENS, CNRS, Constantin EneaIRIF, University Paris Diderot & CNRS, Burcu Kulahcioglu OzkanDelft University of Technology, Rupak MajumdarMax Planck Institute for Software Systems (MPI-SWS), Filip NiksicUniversity of Pennsylvania
16:20 - 17:00: Breakfast in SeoulMeet Someone New (MSN) at OOPSLA/ECOOP +12h
16:20 - 17:00
Social Event
Meet Someone New (MSN)
17:00 - 18:20: FKeynotes at OOPSLA/ECOOP +12h
17:00 - 18:20
Keynote
Keynotes
Brittany JohnsonUniversity of Massachusetts Amherst
18:20 - 19:00: Cocktails in RioClosing at OOPSLA/ECOOP +12h
18:20 - 19:00
Other
Closing
19:00 - 20:20: F-1AOOPSLA at OOPSLA/ECOOP
19:00 - 19:20
Talk
OOPSLA
Konstantinos KallasUniversity of Pennsylvania, Filip NiksicUniversity of Pennsylvania, Caleb StanfordUniversity of Pennsylvania, Rajeev AlurUniversity of Pennsylvania
19:20 - 19:40
Talk
OOPSLA
Radha JagadeesanDePaul University, Alan JeffreyMozilla Research, James RielyDePaul University
Pre-print Media Attached
19:40 - 20:00
Talk
OOPSLA
Lingkun KongRice University, Konstantinos MamourasRice University
20:00 - 20:20
Talk
OOPSLA
Tyler SorensenPrinceton University, Esin TureciPrinceton University, Jake KirkhamPrinceton University, Margaret R. MartonosiPrinceton University
19:00 - 20:20: F-1BOOPSLA at SPLASH
19:00 - 19:20
Talk
OOPSLA
Qianshan YuTsinghua University, Fei HeTsinghua University, China, Bow-Yaw WangAcademia Sinica, Taiwan
19:20 - 19:40
Talk
OOPSLA
Minseok JeonKorea University, South Korea, Myungho LeeKorea University, Hakjoo OhKorea University, South Korea
19:40 - 20:00
Talk
OOPSLA
Emily FirstUniversity of Massachusetts Amherst, Yuriy BrunUniversity of Massachusetts at Amherst, USA, Arjun GuhaNortheastern University
20:00 - 20:20
Talk
OOPSLA
Ruyi JiPeking University, China, Yican SunPeking University, Yingfei XiongPeking University, China, Zhenjiang HuPeking University, China
20:20 - 21:00: Cocktails in New YorkMeet Someone New (MSN) at OOPSLA/ECOOP
20:20 - 21:00
Social Event
Meet Someone New (MSN)
21:00 - 22:20: F-2AOOPSLA at OOPSLA/ECOOP
21:00 - 21:20
Talk
OOPSLA
Ryan SenanayakeReservoir Labs, Changwan HongMIT, Ziheng WangMassachusetts Institute of Technology, Amalee WilsonStanford University, Stephen ChouMassachusetts Institute of Technology, USA, Shoaib KamilAdobe, Saman AmarasingheMIT, Fredrik KjolstadStanford University
DOI Pre-print
21:20 - 21:40
Talk
OOPSLA
Klara MardirosianKU Leuven, Tom SchrijversKU Leuven, Bruno C. d. S. OliveiraThe University of Hong Kong, Hong Kong, Georgios KarachaliasTweag
21:40 - 22:00
Talk
OOPSLA
Sean BartellUniversity of Illinois at Urbana-Champaign, Will DietzUniversity of Illinois at Urbana-Champaign, Vikram S. AdveUniversity of Illinois at Urbana-Champaign, USA
22:00 - 22:20
Talk
OOPSLA
Xiaohong ChenUniversity of Illinois at Urbana-Champaign, Thai TrinhAdvanced Digital Sciences Center, Illinois at Singapore, Nishant RodriguesUniversity of Illinois Urbana-Champaign, Lucas PeñaUniversity of Illinois at Urbana-Champaign, Grigore RosuUniversity of Illinois at Urbana-Champaign
21:00 - 22:20: F-2BOOPSLA at SPLASH
21:00 - 21:20
Talk
OOPSLA
Xiang GaoNational University of Singapore, Singapore, Shraddha BarkeUniversity of California, San Diego, Arjun RadhakrishnaMicrosoft, Gustavo SoaresMicrosoft, Sumit GulwaniMicrosoft, Alan LeungMicrosoft, Nachiappan NagappanMicrosoft Research, Ashish TiwariMicrosoft
21:20 - 21:40
Talk
OOPSLA
Hengchu ZhangUniversity of Pennsylvania, Edo RothUniversity of Pennsylvania, Benjamin C. PierceUniversity of Pennsylvania, Aaron RothUniversity of Pennsylvania, USA, Andreas HaeberlenUniversity of Pennsylvania, USA
21:40 - 22:00
Talk
OOPSLA
Pengyu NieThe University of Texas at Austin, Marinela ParovicThe University of Texas at Austin, Zhiqiang ZangThe University of Texas at Austin, Sarfraz KhurshidUniversity of Texas at Austin, USA, Aleksandar MilicevicMicrosoft, Milos GligoricUniversity of Texas at Austin, USA
22:00 - 22:20
Talk
OOPSLA
Hailong ZhangFordham University, Yu Hao, Sufian LatifOhio State University, USA, Raef BassilyOhio State University, USA, Atanas RountevOhio State University
22:20 - 23:00: Lunch in TokyoMeet Someone New (MSN) at OOPSLA/ECOOP
22:20 - 23:00
Social Event
Meet Someone New (MSN)
23:00 - 00:20: F-3AOOPSLA at OOPSLA/ECOOP
23:00 - 23:20
Talk
OOPSLA
Olivier FlückigerNortheastern University, USA, Guido ChariASAPP Inc, Ming-Ho YeeNortheastern University, Jan JecmenCzech Technical University, Jakob HainNortheastern University, Jan VitekNortheastern University
DOI Pre-print
23:20 - 23:40
Talk
OOPSLA
Magnus MadsenAarhus University, Ondřej LhotákUniversity of Waterloo
23:40 - 00:00
Talk
OOPSLA
Julie L. NewcombUniversity of California at Berkeley, Andrew AdamsAdobe, Steven JohnsonGoogle, Rastislav BodikUniversity of Washington, Shoaib KamilAdobe
00:00 - 00:20
Talk
OOPSLA
Magnus MadsenAarhus University, Jaco van de PolAarhus University
23:00 - 00:20: F-3BOOPSLA at SPLASH
23:00 - 23:20
Talk
OOPSLA
Shraddha BarkeUniversity of California, San Diego, Hila PelegUniversity of California, San Diego, Nadia PolikarpovaUniversity of California, San Diego
23:20 - 23:40
Talk
OOPSLA
John Peter Campora IIIUniversity of Louisiana at Lafayette, Sheng ChenUniversity of Louisiana at Lafayette
23:40 - 00:00
Talk
OOPSLA
Yu WangDepartment of Computer Science and Technology, Nanjing University, Ke WangVisa Research, Fenjuan GaoNanjing University, Linzhang WangNanjing University
00:00 - 00:20
Talk
OOPSLA
Ifaz KabirUniversity of Alberta, Canada, Yufeng LiUniversity of Waterloo, Ondřej LhotákUniversity of Waterloo

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

00:20 - 01:00: Breakfast in ParisMeet Someone New (MSN) at OOPSLA/ECOOP
00:20 - 01:00
Social Event
Meet Someone New (MSN)
01:00 - 02:20: F-4AOOPSLA at OOPSLA/ECOOP
01:00 - 01:20
Talk
OOPSLA
Martin AvanziniINRIA Sophia Antipolis, France, Georg MoserUniversity of Innsbruck, Michael SchaperUniversity of Innsbruck
01:20 - 01:40
Talk
OOPSLA
Ivan GavranMPI-SWS, Eva DarulovaMPI-SWS, Germany, Rupak MajumdarMax Planck Institute for Software Systems (MPI-SWS)
01:40 - 02:00
Talk
OOPSLA
Steven HoltzenUniversity of California, Los Angeles, Guy Van den BroeckUniversity of California, Los Angeles, Todd MillsteinUniversity of California at Los Angeles, USA
Pre-print
02:00 - 02:20
Talk
OOPSLA
Michael B. JamesUniversity of California, San Diego, Zheng Guo, Ziteng WangUniversity of California, San Diego, Shivani DoshiCornell University, Hila PelegUniversity of California, San Diego, Ranjit JhalaUniversity of California at San Diego, USA, Nadia PolikarpovaUniversity of California, San Diego
01:00 - 02:20: F-4BOOPSLA at SPLASH
01:00 - 01:20
Talk
OOPSLA
Sylvain BoulméGrenoble-INP - VERIMAG, David MonniauxCNRS, VERIMAG, Cyril SixKalray
01:20 - 01:40
Talk
OOPSLA
Christoph SprengerETH Zurich, Tobias KlenzeETH Zurich, Marco EilersETH Zurich, Felix WolfETH Zurich, Peter MüllerETH Zurich, Martin ClochardETH Zürich, David BasinETH Zurich, Switzerland
01:40 - 02:00
Talk
OOPSLA
Yaniv DavidTechnion, Uri AlonTechnion, Eran YahavTechnion
Pre-print
02:00 - 02:20
Talk
OOPSLA
Fei HeTsinghua University, China, Jitao HanSchool of Software, Tsinghua University
02:20 - 03:00: Cocktails in SydneyMeet Someone New (MSN) at OOPSLA/ECOOP
02:20 - 03:00
Social Event
Meet Someone New (MSN)
03:00 - 04:20: F-5AOOPSLA at OOPSLA/ECOOP
03:00 - 03:20
Talk
OOPSLA
Jonathan Immanuel BrachthäuserUniversity of Tübingen, Germany, Philipp SchusterUniversity of Tübingen, Germany, Klaus OstermannUniversity of Tübingen, Germany
DOI Pre-print
03:20 - 03:40
Talk
OOPSLA
Tobias GrosserETH Zurich, Switzerland, Theodoros TheodoridisETH Zurich, Maxmilian FalkensteinETH Zurich, Arjun PitchanathanIIIT Hyderabad, Michael KruseArgonne National Laboratory, Manuel RiggerETH Zurich, Switzerland, Zhendong SuETH Zurich, Switzerland, Torsten HoeflerDepartment of Computer Science, ETH Zurich
03:00 - 04:20: F-5BOOPSLA at SPLASH
03:00 - 03:20
Talk
OOPSLA
Cezara DrăgoiINRIA, ENS, CNRS, Josef WidderInformal Systems, Damien ZuffereyMPI-SWS
03:20 - 03:40
Talk
OOPSLA
Mirko KöhlerTechnische Universität Darmstadt, Nafise Eskandani MasouleTechnical University of Darmstadt, Pascal WeisenburgerTechnische Universität Darmstadt, Alessandro MargaraPolitecnico di Milano, Guido SalvaneschiUniversity of St. Gallen
03:40 - 04:00
Talk
OOPSLA
Cezara DrăgoiINRIA, ENS, CNRS, Constantin EneaIRIF, University Paris Diderot & CNRS, Burcu Kulahcioglu OzkanDelft University of Technology, Rupak MajumdarMax Planck Institute for Software Systems (MPI-SWS), Filip NiksicUniversity of Pennsylvania
04:20 - 05:00: Dinner in BeijingMeet Someone New (MSN) at OOPSLA/ECOOP
04:20 - 05:00
Social Event
Meet Someone New (MSN)
05:00 - 06:20: FKeynotes at OOPSLA/ECOOP
05:00 - 06:20
Keynote
Keynotes
Brittany JohnsonUniversity of Massachusetts Amherst
06:20 - 07:00: Dinner in DelhiClosing at OOPSLA/ECOOP
06:20 - 07:00
Other
Closing

Call for Papers

Papers appear in an issue of the Proceedings of the ACM on Programming Languages (PACMPL). PACMPL is a Gold Open Access journal, all papers will be freely available to the public. Authors can voluntarily cover the article processing charge ($400), but payment is not required.

Paper Selection Criteria

We consider the following criteria when evaluating papers:

Novelty: The paper presents new ideas and results and places them appropriately within the context established by previous research.

Importance: The paper contributes to the advancement of knowledge in the field. We also welcome papers that diverge from the dominant trajectory of the field.

Evidence: The paper presents sufficient evidence supporting its claims, such as proofs, implemented systems, experimental results, statistical analyses, case studies, and anecdotes.

Clarity: The paper presents its contributions, methodology and results clearly.

Review Process

Papers will be selected using a two-stage process with double-blind reviewing until a subset of the submissions are conditionally accepted. This FAQ on Double Blind Reviewing address common questions. If after reading the FAQ you are still uncertain on how to prepare your submission for OOPSLA’s double-blind review, please contact the PC chair at oopsla@splashcon.org for guidance.

The first reviewing stage assess papers using the above selection criteria. At the end of that stage a set of papers is conditionally accepted. The entire first reviewing phase is double-blind.

Authors of conditionally accepted papers must make a set of mandatory revisions. The second reviewing phase assesses whether the revisions have been addressed. The expectation is that the revisions can be addressed and that conditionally accepted papers will be accepted in the second phase. The second reviewing phase does not use double blind reviewing.

The second submission must be accompanied by a cover letter mapping each mandatory revision request to specific parts of the paper.

Submission Requirements

For double-blind reviewing papers must adhere to three rules:

  1. author names and institutions must be omitted, and
  2. references to authors’ own related work should be in the third person (e.g., not “We build on our previous work …” but rather “We build on the work of …”), and
  3. any supplementary material should be similarly anonymized

The purpose of this process is to help reviewers decide whether to conditionally accept a submission without bias, not to make it impossible for them to discover the authors if they were to try. Nothing should be done in the name of anonymity that weakens the submission or makes the job of reviewing the paper more difficult.

Submissions must conform to both the ACM Policies for Authorship and SIGPLAN’s Republication Policy. Authors will be required to sign a license or copyright release.

The official publication date is the date the proceedings are made available in the ACM Digital Library, which may be up to two weeks prior to the first day of the conference.

Artifact Evaluation

Authors of conditionally accepted papers are encouraged to submit supporting materials for Artifact Evaluation.
Authors should indicate with their initial submission if an artifact exists and describe its nature and limitations.

Further information can be found in the OOPSLA Artifact track

Questions

For additional information or answers to questions please write to oopsla@splashcon.org.

Accepted Papers

<
Title
OOPSLA
OOPSLA
Pre-print
OOPSLA
OOPSLA
DOI Pre-print
OOPSLA
Pre-print
OOPSLA
OOPSLA
OOPSLA
OOPSLA
OOPSLA
Pre-print
OOPSLA
OOPSLA
OOPSLA
Pre-print
OOPSLA
OOPSLA
OOPSLA
OOPSLA
OOPSLA
OOPSLA
Pre-print
OOPSLA
DOI Pre-print
OOPSLA
OOPSLA
OOPSLA
OOPSLA
OOPSLA
DOI
OOPSLA
OOPSLA
OOPSLA
OOPSLA
OOPSLA
OOPSLA
DOI Pre-print
OOPSLA
DOI Pre-print
OOPSLA
DOI
OOPSLA
OOPSLA
OOPSLA
OOPSLA
OOPSLA
OOPSLA
Pre-print
OOPSLA
OOPSLA
OOPSLA
OOPSLA
OOPSLA