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 be invited to 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 Paris (PLMW AMA)PLMW at SPLASH-I
00:20
40m
Talk
Ask Me Anything: Sriram Rajamani
PLMW
Sriram RajamaniMicrosoft Research
02:20 - 03:00
Cocktails in SydneyMeet The Speakers (MTS) at SPLASH-I
02:20
40m
Social Event
Meet The Speakers
Meet The Speakers (MTS)
04:20 - 05:00
Dinner in BeijingMeet The Speakers (MTS) at SPLASH-I
04:20
40m
Social Event
Meet The Speakers
Meet The Speakers (MTS)
06:20 - 07:00
06:20
40m
Social Event
Meet The Speakers
Meet The Speakers (MTS)
08:20 - 09:00
Breakfast in ChicagoMeet The Speakers (MTS) at SPLASH-I +12h
08:20
40m
Social Event
Meet The Speakers
Meet The Speakers (MTS)
10:20 - 11:00
Breakfast in SeattlePosters at SPLASH-I +12h

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

10:20
40m
Poster
Posters Session 2
Posters
12:20 - 13:00
Breakfast in WellingtonMeet The Speakers (MTS) at SPLASH-I
12:20
40m
Social Event
Meet The Speakers
Meet The Speakers (MTS)
14:20 - 15:00
Cocktails in ParisMeet The Speakers (MTS) at SPLASH-I +12h
14:20
40m
Social Event
Meet The Speakers
Meet The Speakers (MTS)
16:20 - 17:00
Breakfast in SeoulMeet The Speakers (MTS) at SPLASH-I +12h
16:20
40m
Social Event
Meet The Speakers
Meet The Speakers (MTS)
17:00 - 18:20
M-6OOPSLA at SPLASH-I +12h
Chair(s): Patrick LamUniversity of Waterloo, Konstantinos MamourasRice University
17:00
20m
Talk
Can Advanced Type Systems Be Usable? An Empirical Study of Ownership, Assets, and Typestate in Obsidian
OOPSLA
Michael CoblenzUniversity of Maryland at College Park, Jonathan AldrichCarnegie Mellon University, Brad A. MyersCarnegie Mellon University, Joshua SunshineCarnegie Mellon University
Link to publication DOI Media Attached
17:20
20m
Talk
Scalable and Serializable Networked Multi-actor Programming
OOPSLA
Bo SangPurdue University / Ant Group, Patrick EugsterUSI Lugano / TU Darmstadt / Purdue University, Gustavo PetriARM Research, Srivatsan RaviUniversity of Southern California, Pierre-Louis RomanUSI Lugano
Link to publication DOI Media Attached
17:40
20m
Talk
Designing Types for R, Empirically
OOPSLA
Alexi TurcotteNortheastern University, Aviral GoelNortheastern University, Filip KřikavaCzech Technical University, Jan VitekNortheastern University / Czech Technical University
Link to publication DOI Media Attached
18:00
20m
Talk
Geometry Types for Graphics Programming
OOPSLA
Dietrich GeislerCornell University, Irene YoonUniversity of Pennsylvania, Aditi KabraCarnegie Mellon University, Horace HeCornell University, Yinnon SandersCornell University, Adrian SampsonCornell University
Link to publication DOI Pre-print Media Attached
18:20 - 19:00
Cocktails in RioMeet The Speakers (MTS) at SPLASH-I +12h
18:20
40m
Social Event
Meet The Speakers
Meet The Speakers (MTS)
20:20 - 21:00
Cocktails in New YorkMeet The Speakers (MTS) at SPLASH-I
20:20
40m
Social Event
Meet The Speakers
Meet The Speakers (MTS)
22:20 - 23:00
Lunch in TokyoPosters at SPLASH-I

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

22:20
40m
Poster
Posters Session 2
Posters

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

00:20 - 01:00
Breakfast in ParisMeet The Speakers (MTS) at SPLASH-I
00:20
40m
Social Event
Meet The Speakers
Meet The Speakers (MTS)
02:20 - 03:00
Cocktails in SydneyMeet The Speakers (MTS) at SPLASH-I
02:20
40m
Social Event
Meet The Speakers
Meet The Speakers (MTS)
04:20 - 05:00
Dinner in BeijingMeet The Speakers (MTS) at SPLASH-I
04:20
40m
Social Event
Meet The Speakers
Meet The Speakers (MTS)
05:00 - 06:20
M-6OOPSLA at SPLASH-I
Chair(s): Ifaz KabirUniversity of Alberta, David GroveIBM Research
05:00
20m
Talk
Can Advanced Type Systems Be Usable? An Empirical Study of Ownership, Assets, and Typestate in Obsidian
OOPSLA
Michael CoblenzUniversity of Maryland at College Park, Jonathan AldrichCarnegie Mellon University, Brad A. MyersCarnegie Mellon University, Joshua SunshineCarnegie Mellon University
Link to publication DOI Media Attached
05:20
20m
Talk
Scalable and Serializable Networked Multi-actor Programming
OOPSLA
Bo SangPurdue University / Ant Group, Patrick EugsterUSI Lugano / TU Darmstadt / Purdue University, Gustavo PetriARM Research, Srivatsan RaviUniversity of Southern California, Pierre-Louis RomanUSI Lugano
Link to publication DOI Media Attached
05:40
20m
Talk
Designing Types for R, Empirically
OOPSLA
Alexi TurcotteNortheastern University, Aviral GoelNortheastern University, Filip KřikavaCzech Technical University, Jan VitekNortheastern University / Czech Technical University
Link to publication DOI Media Attached
06:00
20m
Talk
Geometry Types for Graphics Programming
OOPSLA
Dietrich GeislerCornell University, Irene YoonUniversity of Pennsylvania, Aditi KabraCarnegie Mellon University, Horace HeCornell University, Yinnon SandersCornell University, Adrian SampsonCornell University
Link to publication DOI Pre-print Media Attached
06:20 - 07:00
06:20
40m
Social Event
Meet The Speakers
Meet The Speakers (MTS)
07:00 - 08:20
TKeynotes at SPLASH-I +12h
Chair(s): Steve BlackburnAustralian National University
07:00
80m
Keynote
Testing Deep Neural Networks
Keynotes
Mary Lou SoffaUniversity of Virginia
Link to publication
08:20 - 09:00
Breakfast in ChicagoMeet The Speakers (MTS) at SPLASH-I +12h
08:20
40m
Social Event
Meet The Speakers
Meet The Speakers (MTS)
09:00 - 10:20
T-2OOPSLA at SPLASH-I +12h
Chair(s): Karim AliUniversity of Alberta, Aritra SenguptaAmazon Web Services, USA
09:00
20m
Talk
Formulog: Datalog for SMT-Based Static Analysis
OOPSLA
Aaron BembenekHarvard University, Michael GreenbergPomona College, Stephen ChongHarvard University
Link to publication DOI Media Attached
09:20
20m
Talk
A Large-Scale Longitudinal Study of Flaky Tests
OOPSLA
Wing LamUniversity of Illinois at Urbana-Champaign, Stefan WinterTU Darmstadt, Anjiang WeiPeking University, Tao XiePeking University, Darko MarinovUniversity of Illinois at Urbana-Champaign, Jonathan BellNortheastern University
Link to publication DOI Media Attached
09:40
20m
Talk
Handling Bidirectional Control Flow
OOPSLA
Yizhou ZhangUniversity of Waterloo, Guido SalvaneschiUniversity of St. Gallen, Andrew C. MyersCornell University
Link to publication DOI Media Attached
10:00
20m
Talk
WATCHER: In-Situ Failure Diagnosis
OOPSLA
Hongyu LiuPurdue University, Sam SilvestroUniversity of Texas at San Antonio, Xiangyu ZhangPurdue University, Jian HuangUniversity of Illinois at Urbana-Champaign, Tongping LiuUniversity of Massachusetts at Amherst
Link to publication DOI Media Attached
10:20 - 11:00
Breakfast in SeattleMeet The Speakers (MTS) at SPLASH-I +12h
10:20
40m
Social Event
Meet The Speakers
Meet The Speakers (MTS)
11:00 - 12:20
T-3OOPSLA at SPLASH-I +12h
Chair(s): Burcu Kulahcioglu OzkanMPI-SWS, Olivier TardieuIBM Research
11:00
20m
Talk
Koord: A Language for Programming and Verifying Distributed Robotics Application
OOPSLA
Ritwika GhoshUniversity of Illinois at Urbana-Champaign, Chiao HsiehUniversity of Illinois at Urbana-Champaign, Sasa MisailovicUniversity of Illinois at Urbana-Champaign, Sayan MitraUniversity of Illinois at Urbana-Champaign
Link to publication DOI Pre-print Media Attached
11:20
20m
Talk
Learning-Based Controlled Concurrency Testing
OOPSLA
Suvam MukherjeeMicrosoft Research, Pantazis DeligiannisMicrosoft Research, Arpita BiswasIISc Bangalore, Akash LalMicrosoft Research
Link to publication DOI Pre-print Media Attached
11:40
20m
Talk
LiveDroid: Identifying and Preserving Mobile App State in Volatile Runtime Environments
OOPSLA
Umar FarooqUniversity of California at Riverside, Zhijia ZhaoUniversity of California at Riverside, Manu SridharanUniversity of California at Riverside, Iulian NeamtiuNew Jersey Institute of Technology
Link to publication DOI Pre-print Media Attached
12:00
20m
Talk
Shiftry: RNN Inference in 2KB of RAM
OOPSLA
Aayan KumarMicrosoft Research, Vivek SeshadriMicrosoft Research, Rahul SharmaMicrosoft Research
Link to publication DOI Media Attached
12:20 - 13:00
Breakfast in WellingtonStudent Research Competition at SPLASH-I +12h
  • Aidan Yang, SOAR: Synthesis for Open-Source API Refactoring

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

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

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

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

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

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

  • Sophia Kolak, Detecting Performance Patterns with Deep Learning

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

12:20
40m
Poster
Student Research Competition
Student Research Competition
14:20 - 15:00
Cocktails in ParisMeet The Speakers (MTS) at SPLASH-I +12h
14:20
40m
Social Event
Meet The Speakers
Meet The Speakers (MTS)
15:00 - 16:20
T-5OOPSLA at SPLASH-I +12h
Chair(s): Raffi KhatchadourianCity University of New York, Tyler SorensenUniversity of California at Santa Cruz
15:00
20m
Talk
Actor Concurrency Bugs: A Comprehensive Study on Symptoms, Root Causes, API Usages, and Differences
OOPSLA
Mehdi BagherzadehOakland University, Nicholas FiremanOakland University, Anas ShaweshOakland University, Raffi KhatchadourianCity University of New York
Link to publication DOI Pre-print Media Attached
15:20
20m
Talk
Knowing When to Ask: Sound Scheduling of Name Resolution in Type Checkers Derived from Declarative Specifications
OOPSLA
Arjen RouvoetDelft University of Technology, Hendrik van AntwerpenDelft University of Technology, Casper Bach PoulsenDelft University of Technology, Robbert KrebbersRadboud University Nijmegen, Eelco VisserDelft University of Technology
Link to publication DOI Pre-print Media Attached
15:40
20m
Talk
Fuzzing Channel-Based Concurrency Runtimes using Types and Effects
OOPSLA
Quentin StiévenartVrije Universiteit Brussel, Magnus MadsenAarhus University
Link to publication DOI Media Attached
16:00
20m
Talk
Regex Matching with Counting-Set Automata
OOPSLA
Lenka TuroňováBrno University of Technology, Lukáš HolíkBrno University of Technology, Ondřej LengálBrno University of Technology, Olli SaarikiviMicrosoft, Margus VeanesMicrosoft, Tomáš VojnarBrno University of Technology
Link to publication DOI Media Attached
16:20 - 17:00
Breakfast in SeoulMeet The Speakers (MTS) at SPLASH-I +12h
16:20
40m
Social Event
Meet The Speakers
Meet The Speakers (MTS)
17:00 - 18:20
T-6AOOPSLA at SPLASH-I +12h
Chair(s): Zhefeng WuAlibaba Group, Filip NiksicGoogle
17:00
20m
Talk
Flow2Vec: Value-Flow-Based Precise Code EmbeddingDistinguished Paper
OOPSLA
Yulei SuiUniversity of Technology Sydney, Xiao ChengBeijing University of Posts and Telecommunications, Guanqin ZhangUniversity of Technology Sydney, Haoyu WangBeijing University of Posts and Telecommunications
Link to publication DOI Media Attached
17:20
20m
Talk
FlowCFL: Generalized Type-Based Reachability Analysis: Graph Reduction and Equivalence of CFL-Based and Type-Based Reachability
OOPSLA
Ana MilanovaRensselaer Polytechnic Institute
Link to publication DOI Media Attached
17:40
20m
Talk
Hidden Inheritance: An Inline Caching Design for TypeScript Performance
OOPSLA
Zhefeng WuAlibaba Group, Zhe SunAlibaba Group, Kai GongAlibaba Group, Lingyun ChenAlibaba Group, Bin LiaoAlibaba Group, Yihua JinAlibaba Group
Link to publication DOI Media Attached
18:00
20m
Talk
Gradual Verification of Recursive Heap Data Structures
OOPSLA
Jenna WiseCarnegie Mellon University, Johannes BaderJane Street, Cameron WongJane Street, Jonathan AldrichCarnegie Mellon University, Éric TanterUniversity of Chile, Joshua SunshineCarnegie Mellon University
Link to publication DOI Media Attached
17:00 - 18:20
T-6BOOPSLA at SPLASH-III +12h
Chair(s): Todd MillsteinUniversity of California at Los Angeles, Manu SridharanUniversity of California at Riverside
17:00
20m
Talk
DynamiTe: Dynamic Termination and Non-termination Proofs
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
Link to publication DOI Media Attached
17:20
20m
Talk
Programming and Reasoning with Partial Observability
OOPSLA
Eric AtkinsonMassachusetts Institute of Technology, Michael CarbinMassachusetts Institute of Technology
Link to publication DOI Media Attached
17:40
20m
Talk
World Age in Julia: Optimizing Method Dispatch in the Presence of Eval
OOPSLA
Julia BelyakovaNortheastern University, Benjamin ChungNortheastern University, Jack GelinasNortheastern University, Jameson NashJulia Computing, Ross TateCornell University, Jan VitekNortheastern University / Czech Technical University
Link to publication DOI Media Attached
18:00
20m
Talk
Featherweight Go
OOPSLA
Robert GriesemerGoogle, Raymond HuUniversity of Hertfordshire, Wen KokkeUniversity of Edinburgh, Julien LangeRoyal Holloway University of London, Ian Lance TaylorGoogle, Bernardo ToninhoNova University of Lisbon / NOVA-LINCS, Philip WadlerUniversity of Edinburgh, Nobuko YoshidaImperial College London
Link to publication DOI Media Attached
18:20 - 19:00
Cocktails in RioMeet The Speakers (MTS) at SPLASH-I +12h
18:20
40m
Social Event
Meet The Speakers
Meet The Speakers (MTS)
19:00 - 20:20
TKeynotes at SPLASH-I
Chair(s): Steve BlackburnAustralian National University
19:00
80m
Keynote
Testing Deep Neural Networks
Keynotes
Mary Lou SoffaUniversity of Virginia
Link to publication
20:20 - 21:00
Cocktails in New YorkMeet The Speakers (MTS) at SPLASH-I
20:20
40m
Social Event
Meet The Speakers
Meet The Speakers (MTS)
21:00 - 22:20
T-2OOPSLA at SPLASH-I
Chair(s): Iulian NeamtiuNew Jersey Institute of Technology, Yaoda ZhouUniversity of Hong Kong
21:00
20m
Talk
Formulog: Datalog for SMT-Based Static Analysis
OOPSLA
Aaron BembenekHarvard University, Michael GreenbergPomona College, Stephen ChongHarvard University
Link to publication DOI Media Attached
21:20
20m
Talk
A Large-Scale Longitudinal Study of Flaky Tests
OOPSLA
Wing LamUniversity of Illinois at Urbana-Champaign, Stefan WinterTU Darmstadt, Anjiang WeiPeking University, Tao XiePeking University, Darko MarinovUniversity of Illinois at Urbana-Champaign, Jonathan BellNortheastern University
Link to publication DOI Media Attached
21:40
20m
Talk
Handling Bidirectional Control Flow
OOPSLA
Yizhou ZhangUniversity of Waterloo, Guido SalvaneschiUniversity of St. Gallen, Andrew C. MyersCornell University
Link to publication DOI Media Attached
22:00
20m
Talk
WATCHER: In-Situ Failure Diagnosis
OOPSLA
Hongyu LiuPurdue University, Sam SilvestroUniversity of Texas at San Antonio, Xiangyu ZhangPurdue University, Jian HuangUniversity of Illinois at Urbana-Champaign, Tongping LiuUniversity of Massachusetts at Amherst
Link to publication DOI Media Attached
22:20 - 23:00
22:20
40m
Social Event
Meet The Speakers
Meet The Speakers (MTS)
23:00 - 00:20
T-3OOPSLA at SPLASH-I
Chair(s): Chengyu ZhangEast China Normal University, Ting CaoMicrosoft Research
23:00
20m
Talk
Koord: A Language for Programming and Verifying Distributed Robotics Application
OOPSLA
Ritwika GhoshUniversity of Illinois at Urbana-Champaign, Chiao HsiehUniversity of Illinois at Urbana-Champaign, Sasa MisailovicUniversity of Illinois at Urbana-Champaign, Sayan MitraUniversity of Illinois at Urbana-Champaign
Link to publication DOI Pre-print Media Attached
23:20
20m
Talk
Learning-Based Controlled Concurrency Testing
OOPSLA
Suvam MukherjeeMicrosoft Research, Pantazis DeligiannisMicrosoft Research, Arpita BiswasIISc Bangalore, Akash LalMicrosoft Research
Link to publication DOI Pre-print Media Attached
23:40
20m
Talk
LiveDroid: Identifying and Preserving Mobile App State in Volatile Runtime Environments
OOPSLA
Umar FarooqUniversity of California at Riverside, Zhijia ZhaoUniversity of California at Riverside, Manu SridharanUniversity of California at Riverside, Iulian NeamtiuNew Jersey Institute of Technology
Link to publication DOI Pre-print Media Attached
00:00
20m
Talk
Shiftry: RNN Inference in 2KB of RAM
OOPSLA
Aayan KumarMicrosoft Research, Vivek SeshadriMicrosoft Research, Rahul SharmaMicrosoft Research
Link to publication DOI Media Attached

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

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

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

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

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

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

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

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

  • Sophia Kolak, Detecting Performance Patterns with Deep Learning

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

00:20
40m
Poster
Student Research Competition
Student Research Competition
02:20 - 03:00
Cocktails in SydneyMeet The Speakers (MTS) at SPLASH-I
02:20
40m
Social Event
Meet The Speakers
Meet The Speakers (MTS)
03:00 - 04:20
T-5OOPSLA at SPLASH-I
Chair(s): Burcu Kulahcioglu OzkanMPI-SWS, Reuben RoweUniversity College London
03:00
20m
Talk
Actor Concurrency Bugs: A Comprehensive Study on Symptoms, Root Causes, API Usages, and Differences
OOPSLA
Mehdi BagherzadehOakland University, Nicholas FiremanOakland University, Anas ShaweshOakland University, Raffi KhatchadourianCity University of New York
Link to publication DOI Pre-print Media Attached
03:20
20m
Talk
Knowing When to Ask: Sound Scheduling of Name Resolution in Type Checkers Derived from Declarative Specifications
OOPSLA
Arjen RouvoetDelft University of Technology, Hendrik van AntwerpenDelft University of Technology, Casper Bach PoulsenDelft University of Technology, Robbert KrebbersRadboud University Nijmegen, Eelco VisserDelft University of Technology
Link to publication DOI Pre-print Media Attached
03:40
20m
Talk
Fuzzing Channel-Based Concurrency Runtimes using Types and Effects
OOPSLA
Quentin StiévenartVrije Universiteit Brussel, Magnus MadsenAarhus University
Link to publication DOI Media Attached
04:00
20m
Talk
Regex Matching with Counting-Set Automata
OOPSLA
Lenka TuroňováBrno University of Technology, Lukáš HolíkBrno University of Technology, Ondřej LengálBrno University of Technology, Olli SaarikiviMicrosoft, Margus VeanesMicrosoft, Tomáš VojnarBrno University of Technology
Link to publication DOI Media Attached
04:20 - 05:00
Dinner in BejingMeet The Speakers (MTS) at SPLASH-I
04:20
40m
Social Event
Meet The Speakers
Meet The Speakers (MTS)
05:00 - 06:20
T-6AOOPSLA at SPLASH-I
Chair(s): Michael PradelUniversity of Stuttgart, Germany, Konstantinos KallasUniversity of Pennsylvania
05:00
20m
Talk
Flow2Vec: Value-Flow-Based Precise Code EmbeddingDistinguished Paper
OOPSLA
Yulei SuiUniversity of Technology Sydney, Xiao ChengBeijing University of Posts and Telecommunications, Guanqin ZhangUniversity of Technology Sydney, Haoyu WangBeijing University of Posts and Telecommunications
Link to publication DOI Media Attached
05:20
20m
Talk
FlowCFL: Generalized Type-Based Reachability Analysis: Graph Reduction and Equivalence of CFL-Based and Type-Based Reachability
OOPSLA
Ana MilanovaRensselaer Polytechnic Institute
Link to publication DOI Media Attached
05:40
20m
Talk
Hidden Inheritance: An Inline Caching Design for TypeScript Performance
OOPSLA
Zhefeng WuAlibaba Group, Zhe SunAlibaba Group, Kai GongAlibaba Group, Lingyun ChenAlibaba Group, Bin LiaoAlibaba Group, Yihua JinAlibaba Group
Link to publication DOI Media Attached
06:00
20m
Talk
Gradual Verification of Recursive Heap Data Structures
OOPSLA
Jenna WiseCarnegie Mellon University, Johannes BaderJane Street, Cameron WongJane Street, Jonathan AldrichCarnegie Mellon University, Éric TanterUniversity of Chile, Joshua SunshineCarnegie Mellon University
Link to publication DOI Media Attached
05:00 - 06:20
T-6BOOPSLA at SPLASH-III
Chair(s): Olivier FlückigerNortheastern University, Sorav BansalIIT Delhi
05:00
20m
Talk
DynamiTe: Dynamic Termination and Non-termination Proofs
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
Link to publication DOI Media Attached
05:20
20m
Talk
Programming and Reasoning with Partial Observability
OOPSLA
Eric AtkinsonMassachusetts Institute of Technology, Michael CarbinMassachusetts Institute of Technology
Link to publication DOI Media Attached
05:40
20m
Talk
World Age in Julia: Optimizing Method Dispatch in the Presence of Eval
OOPSLA
Julia BelyakovaNortheastern University, Benjamin ChungNortheastern University, Jack GelinasNortheastern University, Jameson NashJulia Computing, Ross TateCornell University, Jan VitekNortheastern University / Czech Technical University
Link to publication DOI Media Attached
06:00
20m
Talk
Featherweight Go
OOPSLA
Robert GriesemerGoogle, Raymond HuUniversity of Hertfordshire, Wen KokkeUniversity of Edinburgh, Julien LangeRoyal Holloway University of London, Ian Lance TaylorGoogle, Bernardo ToninhoNova University of Lisbon / NOVA-LINCS, Philip WadlerUniversity of Edinburgh, Nobuko YoshidaImperial College London
Link to publication DOI Media Attached
06:20 - 07:00
06:20
40m
Social Event
Meet The Speakers
Meet The Speakers (MTS)
07:00 - 08:20
W-1OOPSLA at SPLASH-I +12h
Chair(s): Karim AliUniversity of Alberta, Sophia DrossopoulouImperial College London
07:00
20m
Talk
Mossad: Defeating Software Plagiarism Detection
OOPSLA
Breanna Devore-McDonaldUniversity of Massachusetts at Amherst, Emery D. BergerUniversity of Massachusetts at Amherst
Link to publication DOI Media Attached
07:20
20m
Talk
Precise Inference of Expressive Units of Measurement Types
OOPSLA
Tongtong XiangUniversity of Waterloo, Jeff Y. LuoUniversity of Waterloo, Werner DietlUniversity of Waterloo
Link to publication DOI Media Attached
07:40
20m
Talk
Program Equivalence for Assisted Grading of Functional Programs
OOPSLA
Joshua CluneCarnegie Mellon University, Vijay RamamurthyCarnegie Mellon University, Ruben MartinsCarnegie Mellon University, Umut A. AcarCarnegie Mellon University
Link to publication DOI Media Attached
08:00
20m
Talk
Revisiting Iso-Recursive Subtyping
OOPSLA
Yaoda ZhouUniversity of Hong Kong, Bruno C. d. S. OliveiraUniversity of Hong Kong, Jinxu ZhaoUniversity of Hong Kong
Link to publication DOI Media Attached
08:20 - 09:00
Breakfast in ChicagoAwards at SPLASH-I +12h
08:20
40m
Other
Awards Session
Awards
David GroveIBM Research, Jens PalsbergUniversity of California, Los Angeles
09:00 - 10:20
WKeynotes at SPLASH-I +12h
Chair(s): Hridesh RajanIowa State University, USA
09:00
80m
Keynote
Models and Programs: Better Togethersupported by Futurewei
Keynotes
Sriram RajamaniMicrosoft Research
Link to publication
10:20 - 11:00
Breakfast in SeattleMeet The Speakers (MTS) at SPLASH-I +12h
10:20
40m
Social Event
Meet The Speakers
Meet The Speakers (MTS)
11:00 - 12:20
W-3OOPSLA at SPLASH-I +12h
Chair(s): Eelco VisserDelft University of Technology, Dan BarowyWilliams College
11:00
20m
Talk
Build Scripts with Perfect Dependencies
OOPSLA
Sarah SpallIndiana University, Neil MitchellFacebook, Sam Tobin-HochstadtIndiana University
Link to publication DOI Media Attached
11:20
20m
Talk
Random Testing for C and C++ Compilers with YARPGenDistinguished Paper
OOPSLA
Vsevolod LivinskiiUniversity of Utah, Dmitry BabokinIntel Corporation, John RegehrUniversity of Utah
Link to publication DOI Media Attached
11:40
20m
Talk
Dynamic Dispatch of Context-Sensitive Optimizations
OOPSLA
Gabriel PoesiaStanford University, Fernando Magno Quintão PereiraFederal University of Minas Gerais
Link to publication DOI Pre-print Media Attached
12:00
20m
Talk
Automated Policy Synthesis for System Call SandboxingDistinguished Paper
OOPSLA
Shankara PailoorUniversity of Texas at Austin, Xinyu WangUniversity of Michigan, Hovav ShachamUniversity of Texas at Austin, Isil DilligUniversity of Texas at Austin
Link to publication DOI Media Attached
12:20 - 13:00
Breakfast in WellingtonMeet The Speakers (MTS) at SPLASH-I +12h
12:20
40m
Social Event
Meet The Speakers
Meet The Speakers (MTS)
13:00 - 14:20
W-4OOPSLA at SPLASH-I +12h
Chair(s): Justin HsuUniversity of Wisconsin-Madison, USA, Eric KoskinenStevens Institute of Technology
13:00
20m
Talk
Adversarial Examples for Models of Code
OOPSLA
Noam YefetTechnion, Uri AlonTechnion, Eran YahavTechnion
Link to publication DOI Pre-print Media Attached
13:20
20m
Talk
Finding Bugs in Database Systems via Query Partitioning
OOPSLA
Manuel RiggerETH Zurich, Zhendong SuETH Zurich
Link to publication DOI Pre-print Media Attached
13:40
20m
Talk
Proving Highly-Concurrent Traversals Correct
OOPSLA
Yotam M. Y. FeldmanTel Aviv University, Artem KhyzhaTel Aviv University, Constantin EneaUniversity of Paris / IRIF / CNRS, Adam MorrisonTel Aviv University, Aleksandar NanevskiIMDEA Software Institute, Noam RinetzkyTel Aviv University, Sharon ShohamTel Aviv University
Link to publication DOI Media Attached
14:00
20m
Talk
How Do Programmers Use Unsafe Rust?
OOPSLA
Vytautas AstrauskasETH Zurich, Christoph MathejaETH Zurich, Federico PoliETH Zurich, Peter MüllerETH Zurich, Alexander J. SummersUniversity of British Columbia
Link to publication DOI Media Attached
14:20 - 15:00
Cocktails in ParisMeet The Speakers (MTS) at SPLASH-I +12h
14:20
40m
Social Event
Meet The Speakers
Meet The Speakers (MTS)
15:00 - 16:20
W-5OOPSLA at SPLASH-I +12h
Chair(s): Mohsen LesaniUniversity of California at Riverside, USA, Dan BarowyWilliams College
15:00
20m
Talk
A Model for Detecting Faults in Build Specifications
OOPSLA
Thodoris SotiropoulosAthens University of Economics and Business, Stefanos ChaliasosAthens University of Economics and Business, Dimitris MitropoulosAthens University of Economics and Business, Diomidis SpinellisAthens University of Economics and Business
Link to publication DOI Pre-print Media Attached
15:20
20m
Talk
Persistent Owicki-Gries Reasoning: A Program Logic for Reasoning about Persistent Programs on Intel-x86
OOPSLA
Azalea RaadImperial College London, Ori LahavTel Aviv University, Viktor VafeiadisMPI-SWS
Link to publication DOI Media Attached
15:40
20m
Talk
Structure Interpretation of Text Formats
OOPSLA
Sumit GulwaniMicrosoft, Vu LeMicrosoft, Arjun RadhakrishnaMicrosoft, Ivan RadičekMicrosoft, Mohammad RazaMicrosoft
Link to publication DOI Media Attached
16:00
20m
Talk
Statically Verified Refinements for Multiparty Protocols
OOPSLA
Fangyi ZhouImperial College London, Francisco FerreiraImperial College London, Raymond HuUniversity of Hertfordshire, Rumyana NeykovaBrunel University London, Nobuko YoshidaImperial College London
Link to publication DOI Pre-print Media Attached
16:20 - 17:00
Breakfast in SeoulMeet The Speakers (MTS) at SPLASH-I +12h
16:20
40m
Social Event
Meet The Speakers
Meet The Speakers (MTS)
17:00 - 18:20
W-6OOPSLA at SPLASH-I +12h
Chair(s): Anitha GollamudiHarvard University, Hans-J. BoehmGoogle
17:00
20m
Talk
Programming with a Read-Eval-Synth Loop
OOPSLA
Hila PelegUniversity of California at San Diego, Roi GabayTechnion, Shachar ItzhakyTechnion, Eran YahavTechnion
Link to publication DOI Media Attached
17:20
20m
Talk
Sound Garbage Collection for C using Pointer Provenance
OOPSLA
Subarno BanerjeeUniversity of Michigan, David DevecseryGeorgia Institute of Technology, Peter M. ChenUniversity of Michigan, Satish NarayanasamyUniversity of Michigan
Link to publication DOI Media Attached
17:40
20m
Talk
Semiring Optimizations: Dynamic Elision of Expressions with Identity and Absorbing Elements
OOPSLA
Guilherme Vieira LeobasFederal University of Minas Gerais, Fernando Magno Quintão PereiraFederal University of Minas Gerais
Link to publication DOI Pre-print Media Attached
18:00
20m
Talk
CompCertELF: Verified Separate Compilation of C Programs into ELF Object Files
OOPSLA
Yuting WangShanghai Jiao Tong University, Xiangzhe XuNanjing University, Pierre WilkeCentraleSupélec, Zhong ShaoYale University
Link to publication DOI Media Attached
18:20 - 19:00
Cocktails in RioMeet The Speakers (MTS) at SPLASH-I +12h
18:20
40m
Social Event
Meet The Speakers
Meet The Speakers (MTS)
19:00 - 20:20
W-1OOPSLA at SPLASH-I
Chair(s): Patrick LamUniversity of Waterloo, Julia BelyakovaNortheastern University
19:00
20m
Talk
Mossad: Defeating Software Plagiarism Detection
OOPSLA
Breanna Devore-McDonaldUniversity of Massachusetts at Amherst, Emery D. BergerUniversity of Massachusetts at Amherst
Link to publication DOI Media Attached
19:20
20m
Talk
Precise Inference of Expressive Units of Measurement Types
OOPSLA
Tongtong XiangUniversity of Waterloo, Jeff Y. LuoUniversity of Waterloo, Werner DietlUniversity of Waterloo
Link to publication DOI Media Attached
19:40
20m
Talk
Program Equivalence for Assisted Grading of Functional Programs
OOPSLA
Joshua CluneCarnegie Mellon University, Vijay RamamurthyCarnegie Mellon University, Ruben MartinsCarnegie Mellon University, Umut A. AcarCarnegie Mellon University
Link to publication DOI Media Attached
20:00
20m
Talk
Revisiting Iso-Recursive Subtyping
OOPSLA
Yaoda ZhouUniversity of Hong Kong, Bruno C. d. S. OliveiraUniversity of Hong Kong, Jinxu ZhaoUniversity of Hong Kong
Link to publication DOI Media Attached
20:20 - 21:00
Cocktails in New YorkAwards at SPLASH-I
20:20
40m
Other
Awards Session
Awards
David GroveIBM Research, Jens PalsbergUniversity of California, Los Angeles
21:00 - 22:20
WKeynotes at SPLASH-I
Chair(s): Hridesh RajanIowa State University, USA
21:00
80m
Keynote
Models and Programs: Better Togethersupported by Futurewei
Keynotes
Sriram RajamaniMicrosoft Research
Link to publication
22:20 - 23:00
22:20
40m
Social Event
Meet The Speakers
Meet The Speakers (MTS)
23:00 - 00:20
W-3OOPSLA at SPLASH-I
Chair(s): Yuting WangShanghai Jiao Tong University, Alex PotaninVictoria University of Wellington
23:00
20m
Talk
Build Scripts with Perfect Dependencies
OOPSLA
Sarah SpallIndiana University, Neil MitchellFacebook, Sam Tobin-HochstadtIndiana University
Link to publication DOI Media Attached
23:20
20m
Talk
Random Testing for C and C++ Compilers with YARPGenDistinguished Paper
OOPSLA
Vsevolod LivinskiiUniversity of Utah, Dmitry BabokinIntel Corporation, John RegehrUniversity of Utah
Link to publication DOI Media Attached
23:40
20m
Talk
Dynamic Dispatch of Context-Sensitive Optimizations
OOPSLA
Gabriel PoesiaStanford University, Fernando Magno Quintão PereiraFederal University of Minas Gerais
Link to publication DOI Pre-print Media Attached
00:00
20m
Talk
Automated Policy Synthesis for System Call SandboxingDistinguished Paper
OOPSLA
Shankara PailoorUniversity of Texas at Austin, Xinyu WangUniversity of Michigan, Hovav ShachamUniversity of Texas at Austin, Isil DilligUniversity of Texas at Austin
Link to publication DOI Media Attached

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

00:20 - 01:00
Breakfast in ParisMeet The Speakers (MTS) at SPLASH-I
00:20
40m
Social Event
Meet The Speakers
Meet The Speakers (MTS)
01:00 - 02:20
W-4OOPSLA at SPLASH-I
Chair(s): Sophia DrossopoulouImperial College London, Jan VitekNortheastern University / Czech Technical University
01:00
20m
Talk
Adversarial Examples for Models of Code
OOPSLA
Noam YefetTechnion, Uri AlonTechnion, Eran YahavTechnion
Link to publication DOI Pre-print Media Attached
01:20
20m
Talk
Finding Bugs in Database Systems via Query Partitioning
OOPSLA
Manuel RiggerETH Zurich, Zhendong SuETH Zurich
Link to publication DOI Pre-print Media Attached
01:40
20m
Talk
Proving Highly-Concurrent Traversals Correct
OOPSLA
Yotam M. Y. FeldmanTel Aviv University, Artem KhyzhaTel Aviv University, Constantin EneaUniversity of Paris / IRIF / CNRS, Adam MorrisonTel Aviv University, Aleksandar NanevskiIMDEA Software Institute, Noam RinetzkyTel Aviv University, Sharon ShohamTel Aviv University
Link to publication DOI Media Attached
02:00
20m
Talk
How Do Programmers Use Unsafe Rust?
OOPSLA
Vytautas AstrauskasETH Zurich, Christoph MathejaETH Zurich, Federico PoliETH Zurich, Peter MüllerETH Zurich, Alexander J. SummersUniversity of British Columbia
Link to publication DOI Media Attached
02:20 - 03:00
Cocktails in SydneyMeet The Speakers (MTS) at SPLASH-I
02:20
40m
Social Event
Meet The Speakers
Meet The Speakers (MTS)
03:00 - 04:20
W-5OOPSLA at SPLASH-I
Chair(s): Nengkun YuUniversity of Technology Sydney, Filip KřikavaCzech Technical University
03:00
20m
Talk
A Model for Detecting Faults in Build Specifications
OOPSLA
Thodoris SotiropoulosAthens University of Economics and Business, Stefanos ChaliasosAthens University of Economics and Business, Dimitris MitropoulosAthens University of Economics and Business, Diomidis SpinellisAthens University of Economics and Business
Link to publication DOI Pre-print Media Attached
03:20
20m
Talk
Persistent Owicki-Gries Reasoning: A Program Logic for Reasoning about Persistent Programs on Intel-x86
OOPSLA
Azalea RaadImperial College London, Ori LahavTel Aviv University, Viktor VafeiadisMPI-SWS
Link to publication DOI Media Attached
03:40
20m
Talk
Structure Interpretation of Text Formats
OOPSLA
Sumit GulwaniMicrosoft, Vu LeMicrosoft, Arjun RadhakrishnaMicrosoft, Ivan RadičekMicrosoft, Mohammad RazaMicrosoft
Link to publication DOI Media Attached
04:00
20m
Talk
Statically Verified Refinements for Multiparty Protocols
OOPSLA
Fangyi ZhouImperial College London, Francisco FerreiraImperial College London, Raymond HuUniversity of Hertfordshire, Rumyana NeykovaBrunel University London, Nobuko YoshidaImperial College London
Link to publication DOI Pre-print Media Attached
04:20 - 05:00
Dinner in BeijingMeet The Speakers (MTS) at SPLASH-I
04:20
40m
Social Event
Meet The Speakers
Meet The Speakers (MTS)
05:00 - 06:20
W-6OOPSLA at SPLASH-I
Chair(s): John WickersonImperial College London, Jan VitekNortheastern University / Czech Technical University
05:00
20m
Talk
Programming with a Read-Eval-Synth Loop
OOPSLA
Hila PelegUniversity of California at San Diego, Roi GabayTechnion, Shachar ItzhakyTechnion, Eran YahavTechnion
Link to publication DOI Media Attached
05:20
20m
Talk
Sound Garbage Collection for C using Pointer Provenance
OOPSLA
Subarno BanerjeeUniversity of Michigan, David DevecseryGeorgia Institute of Technology, Peter M. ChenUniversity of Michigan, Satish NarayanasamyUniversity of Michigan
Link to publication DOI Media Attached
05:40
20m
Talk
Semiring Optimizations: Dynamic Elision of Expressions with Identity and Absorbing Elements
OOPSLA
Guilherme Vieira LeobasFederal University of Minas Gerais, Fernando Magno Quintão PereiraFederal University of Minas Gerais
Link to publication DOI Pre-print Media Attached
06:00
20m
Talk
CompCertELF: Verified Separate Compilation of C Programs into ELF Object Files
OOPSLA
Yuting WangShanghai Jiao Tong University, Xiangzhe XuNanjing University, Pierre WilkeCentraleSupélec, Zhong ShaoYale University
Link to publication DOI Media Attached
06:20 - 07:00
06:20
40m
Social Event
Meet The Speakers
Meet The Speakers (MTS)
07:00 - 08:20
RKeynotes at SPLASH-I +12h
Chair(s): David GroveIBM Research
07:00
80m
Keynote
Why Digital Agriculture is Fertile Ground for Software Systems Researchsupported by IBM Research
Keynotes
Vikram S. AdveUniversity of Illinois at Urbana-Champaign
Link to publication
08:20 - 09:00
Breakfast in ChicagoMeet The Speakers (MTS) at SPLASH-I +12h
08:20
40m
Social Event
Meet The Speakers
Meet The Speakers (MTS)
09:00 - 10:20
R-2OOPSLA at SPLASH-I +12h
Chair(s): Adrian SampsonCornell University, Sheng ChenUniversity of Louisiana at Lafayette
09:00
20m
Talk
Automatic and Efficient Variability-Aware Lifting of Functional Programs
OOPSLA
Ramy ShahinUniversity of Toronto, Marsha ChechikUniversity of Toronto
Link to publication DOI Pre-print Media Attached
09:20
20m
Talk
Do You Have Space for Dessert? A Verified Space Cost Semantics for CakeML Programs
OOPSLA
Alejandro Gómez-LondoñoChalmers University of Technology, Johannes Åman PohjolaData61 at CSIRO / UNSW, Hira Taqdees SyedaChalmers University of Technology, Magnus O. MyreenChalmers University of Technology, Yong Kiam TanCarnegie Mellon University
Link to publication DOI Media Attached
09:40
20m
Talk
Verifying Replicated Data Types with Typeclass Refinements in Liquid Haskell
OOPSLA
Yiyun LiuUniversity of Maryland at College Park, James ParkerUniversity of Maryland at College Park, Patrick RedmondUniversity of California at Santa Cruz, Lindsey KuperUniversity of California at Santa Cruz, Michael HicksUniversity of Maryland at College Park, Niki VazouIMDEA Software Institute
Link to publication DOI Media Attached
10:00
20m
Talk
Towards a Formal Foundation of Intermittent Computing
OOPSLA
Milijana SurbatovichCarnegie Mellon University, Brandon LuciaCarnegie Mellon University, Limin JiaCarnegie Mellon University
Link to publication DOI Media Attached
10:20 - 11:00
Breakfast in SeattleMeet The Speakers (MTS) at SPLASH-I +12h
10:20
40m
Social Event
Meet The Speakers
Meet The Speakers (MTS)
11:00 - 12:20
R-3OOPSLA at SPLASH-I +12h
Chair(s): Marieke HuismanUniversity of Twente, Michael CoblenzUniversity of Maryland at College Park
11:00
20m
Talk
Compiling Symbolic Execution with Staging and Algebraic Effects
OOPSLA
Guannan WeiPurdue University, Oliver BračevacPurdue University, Shangyin TanPurdue University, Tiark RompfPurdue University
Link to publication DOI Pre-print Media Attached
11:20
20m
Talk
Projection-Based Runtime Assertions for Testing and Debugging Quantum ProgramsDistinguished Paper
OOPSLA
Gushu LiUniversity of California at Santa Barbara, Li ZhouMax Planck Institute for Security and Privacy, Nengkun YuUniversity of Technology Sydney, Yufei DingUniversity of California at Santa Barbara, Mingsheng YingUniversity of Technology Sydney / Institute of Software at Chinese Academy of Sciences / Tsinghua University, Yuan XieUniversity of California at Santa Barbara
Link to publication DOI Pre-print Media Attached
11:40
20m
Talk
Satune: Synthesizing Efficient SAT Encoders
OOPSLA
Hamed GorjiaraUniversity of California at Irvine, Guoqing Harry XuUniversity of California at Los Angeles, Brian DemskyUniversity of California at Irvine
Link to publication DOI Media Attached
12:00
20m
Talk
The Anchor Verifier for Blocking and Non-blocking Concurrent Software
OOPSLA
Cormac FlanaganUniversity of California at Santa Cruz, Stephen N. FreundWilliams College
Link to publication DOI Media Attached
11:00 - 12:20
11:00
80m
Poster
Student Research Competition
Student Research Competition
12:20 - 13:00
Breakfast in WellingtonMeet The Speakers (MTS) at SPLASH-I +12h
12:20
40m
Social Event
Meet The Speakers
Meet The Speakers (MTS)
14:20 - 15:00
Cocktails in ParisMeet The Speakers (MTS) at SPLASH-I +12h
14:20
40m
Social Event
Meet The Speakers
Meet The Speakers (MTS)
15:00 - 16:20
R-5OOPSLA at SPLASH-I +12h
Chair(s): Alex PotaninVictoria University of Wellington, Anitha GollamudiHarvard University
15:00
20m
Talk
Precise Static Modeling of Ethereum “Memory”
OOPSLA
Sifis LagouvardosUniversity of Athens, Neville GrechUniversity of Malta, Ilias TsatirisUniversity of Athens, Yannis SmaragdakisUniversity of Athens
Link to publication DOI Media Attached
15:20
20m
Talk
Perfectly Parallel Fairness Certification of Neural Networks
OOPSLA
Caterina UrbanINRIA & École Normale Supérieure | Université PSL, Maria ChristakisMPI-SWS, Valentin WüstholzConsenSys, Fuyuan ZhangMPI-SWS
Link to publication DOI Media Attached
15:40
20m
Talk
Taming Callbacks for Smart Contract Modularity
OOPSLA
Elvira AlbertComplutense University of Madrid, Shelly GrossmanTel Aviv University, Noam RinetzkyTel Aviv University, Clara Rodríguez-NúñezComplutense University of Madrid, Albert RubioComplutense University of Madrid, Mooly SagivTel Aviv University
Link to publication DOI Media Attached
16:00
20m
Talk
Exposing Cache Timing Side-Channel Leaks through Out-of-Order Symbolic Execution
OOPSLA
Shengjian GuoBaidu Security, Yueqi ChenPennsylvania State University, Jiyong YuUniversity of Illinois at Urbana-Champaign, Meng WuAnt Group, Zhiqiang ZuoNanjing University, Peng LiBaidu Security, Yueqiang ChengBaidu Security, Huibo WangBaidu Security
Link to publication DOI Media Attached
16:20 - 17:00
Breakfast in SeoulMeet The Speakers (MTS) at SPLASH-I +12h
16:20
40m
Social Event
Meet The Speakers
Meet The Speakers (MTS)
17:00 - 18:20
R-6OOPSLA at SPLASH-I +12h
Chair(s): Filip NiksicGoogle, Adam WelcUber Technologies
17:00
20m
Talk
Adding Interactive Visual Syntax to Textual Code
OOPSLA
Leif AndersenNortheastern University, Michael BallantyneNortheastern University, Matthias FelleisenNortheastern University
Link to publication DOI Media Attached
17:20
20m
Talk
Deductive Optimization of Relational Data Storage
OOPSLA
John FeserMassachusetts Institute of Technology, Sam MaddenMassachusetts Institute of Technology, Nan TangQCRI HBKU, Armando Solar-LezamaMassachusetts Institute of Technology
Link to publication DOI Media Attached
17:40
20m
Talk
Inter-theory Dependency Analysis for SMT String Solvers
OOPSLA
Minh-Thai TrinhAdvanced Digital Sciences Center, Duc-Hiep ChuNational University of Singapore, Joxan JaffarNational University of Singapore
Link to publication DOI Media Attached
18:00
20m
Talk
Macros for Domain-Specific Languages
OOPSLA
Michael BallantyneNortheastern University, Alexis KingNorthwestern University, Matthias FelleisenNortheastern University
Link to publication DOI Media Attached
18:20 - 19:00
Cocktails in RioMeet The Speakers (MTS) at SPLASH-I +12h
18:20
40m
Social Event
Meet The Speakers
Meet The Speakers (MTS)
19:00 - 20:20
RKeynotes at SPLASH-I
Chair(s): David GroveIBM Research
19:00
80m
Keynote
Why Digital Agriculture is Fertile Ground for Software Systems Researchsupported by IBM Research
Keynotes
Vikram S. AdveUniversity of Illinois at Urbana-Champaign
Link to publication
20:20 - 21:00
Cocktails in New YorkMeet The Speakers (MTS) at SPLASH-I
20:20
40m
Social Event
Meet The Speakers
Meet The Speakers (MTS)
21:00 - 22:20
R-2OOPSLA at SPLASH-I
Chair(s): Sheng ChenUniversity of Louisiana at Lafayette, John Peter CamporaUniversity of Louisiana at Lafayette
21:00
20m
Talk
Automatic and Efficient Variability-Aware Lifting of Functional Programs
OOPSLA
Ramy ShahinUniversity of Toronto, Marsha ChechikUniversity of Toronto
Link to publication DOI Pre-print Media Attached
21:20
20m
Talk
Do You Have Space for Dessert? A Verified Space Cost Semantics for CakeML Programs
OOPSLA
Alejandro Gómez-LondoñoChalmers University of Technology, Johannes Åman PohjolaData61 at CSIRO / UNSW, Hira Taqdees SyedaChalmers University of Technology, Magnus O. MyreenChalmers University of Technology, Yong Kiam TanCarnegie Mellon University
Link to publication DOI Media Attached
21:40
20m
Talk
Verifying Replicated Data Types with Typeclass Refinements in Liquid Haskell
OOPSLA
Yiyun LiuUniversity of Maryland at College Park, James ParkerUniversity of Maryland at College Park, Patrick RedmondUniversity of California at Santa Cruz, Lindsey KuperUniversity of California at Santa Cruz, Michael HicksUniversity of Maryland at College Park, Niki VazouIMDEA Software Institute
Link to publication DOI Media Attached
22:00
20m
Talk
Towards a Formal Foundation of Intermittent Computing
OOPSLA
Milijana SurbatovichCarnegie Mellon University, Brandon LuciaCarnegie Mellon University, Limin JiaCarnegie Mellon University
Link to publication DOI Media Attached
22:20 - 23:00
22:20
40m
Social Event
Meet The Speakers
Meet The Speakers (MTS)
23:00 - 00:20
R-3OOPSLA at SPLASH-I
Chair(s): Pranav KantUniversity of Utah, Xiangzhe XuNanjing University
23:00
20m
Talk
Compiling Symbolic Execution with Staging and Algebraic Effects
OOPSLA
Guannan WeiPurdue University, Oliver BračevacPurdue University, Shangyin TanPurdue University, Tiark RompfPurdue University
Link to publication DOI Pre-print Media Attached
23:20
20m
Talk
Projection-Based Runtime Assertions for Testing and Debugging Quantum ProgramsDistinguished Paper
OOPSLA
Gushu LiUniversity of California at Santa Barbara, Li ZhouMax Planck Institute for Security and Privacy, Nengkun YuUniversity of Technology Sydney, Yufei DingUniversity of California at Santa Barbara, Mingsheng YingUniversity of Technology Sydney / Institute of Software at Chinese Academy of Sciences / Tsinghua University, Yuan XieUniversity of California at Santa Barbara
Link to publication DOI Pre-print Media Attached
23:40
20m
Talk
Satune: Synthesizing Efficient SAT Encoders
OOPSLA
Hamed GorjiaraUniversity of California at Irvine, Guoqing Harry XuUniversity of California at Los Angeles, Brian DemskyUniversity of California at Irvine
Link to publication DOI Media Attached
00:00
20m
Talk
The Anchor Verifier for Blocking and Non-blocking Concurrent Software
OOPSLA
Cormac FlanaganUniversity of California at Santa Cruz, Stephen N. FreundWilliams College
Link to publication DOI Media Attached

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

00:20 - 01:00
Breakfast in ParisMeet The Speakers (MTS) at SPLASH-I
00:20
40m
Social Event
Meet The Speakers
Meet The Speakers (MTS)
02:20 - 03:00
Cocktails in SydneyMeet The Speakers (MTS) at SPLASH-I
02:20
40m
Social Event
Meet The Speakers
Meet The Speakers (MTS)
03:00 - 04:20
R-5OOPSLA at SPLASH-I
Chair(s): Jan VitekNortheastern University / Czech Technical University
03:00
20m
Talk
Precise Static Modeling of Ethereum “Memory”
OOPSLA
Sifis LagouvardosUniversity of Athens, Neville GrechUniversity of Malta, Ilias TsatirisUniversity of Athens, Yannis SmaragdakisUniversity of Athens
Link to publication DOI Media Attached
03:20
20m
Talk
Perfectly Parallel Fairness Certification of Neural Networks
OOPSLA
Caterina UrbanINRIA & École Normale Supérieure | Université PSL, Maria ChristakisMPI-SWS, Valentin WüstholzConsenSys, Fuyuan ZhangMPI-SWS
Link to publication DOI Media Attached
03:40
20m
Talk
Taming Callbacks for Smart Contract Modularity
OOPSLA
Elvira AlbertComplutense University of Madrid, Shelly GrossmanTel Aviv University, Noam RinetzkyTel Aviv University, Clara Rodríguez-NúñezComplutense University of Madrid, Albert RubioComplutense University of Madrid, Mooly SagivTel Aviv University
Link to publication DOI Media Attached
04:00
20m
Talk
Exposing Cache Timing Side-Channel Leaks through Out-of-Order Symbolic Execution
OOPSLA
Shengjian GuoBaidu Security, Yueqi ChenPennsylvania State University, Jiyong YuUniversity of Illinois at Urbana-Champaign, Meng WuAnt Group, Zhiqiang ZuoNanjing University, Peng LiBaidu Security, Yueqiang ChengBaidu Security, Huibo WangBaidu Security
Link to publication DOI Media Attached
04:20 - 05:00
Dinner in BeijingMeet The Speakers (MTS) at SPLASH-I
04:20
40m
Social Event
Meet The Speakers
Meet The Speakers (MTS)
05:00 - 06:20
R-6OOPSLA at SPLASH-I
Chair(s): Eelco VisserDelft University of Technology, Dominik WintererETH Zurich
05:00
20m
Talk
Adding Interactive Visual Syntax to Textual Code
OOPSLA
Leif AndersenNortheastern University, Michael BallantyneNortheastern University, Matthias FelleisenNortheastern University
Link to publication DOI Media Attached
05:20
20m
Talk
Deductive Optimization of Relational Data Storage
OOPSLA
John FeserMassachusetts Institute of Technology, Sam MaddenMassachusetts Institute of Technology, Nan TangQCRI HBKU, Armando Solar-LezamaMassachusetts Institute of Technology
Link to publication DOI Media Attached
05:40
20m
Talk
Inter-theory Dependency Analysis for SMT String Solvers
OOPSLA
Minh-Thai TrinhAdvanced Digital Sciences Center, Duc-Hiep ChuNational University of Singapore, Joxan JaffarNational University of Singapore
Link to publication DOI Media Attached
06:00
20m
Talk
Macros for Domain-Specific Languages
OOPSLA
Michael BallantyneNortheastern University, Alexis KingNorthwestern University, Matthias FelleisenNortheastern University
Link to publication DOI Media Attached
06:20 - 07:00
06:20
40m
Social Event
Meet The Speakers
Meet The Speakers (MTS)
07:00 - 08:20
F-1AOOPSLA at SPLASH-I +12h
Chair(s): Diomidis SpinellisAthens University of Economics and Business, John WickersonImperial College London
07:00
20m
Talk
DiffStream: Differential Output Testing for Stream Processing Programs
OOPSLA
Konstantinos KallasUniversity of Pennsylvania, Filip NiksicGoogle, Caleb StanfordUniversity of Pennsylvania, Rajeev AlurUniversity of Pennsylvania
Link to publication DOI Media Attached
07:20
20m
Talk
Pomsets with Preconditions: A Simple Model of Relaxed Memory
OOPSLA
Radha JagadeesanDePaul University, Alan JeffreyMozilla Research, James RielyDePaul University
Link to publication DOI Pre-print Media Attached
07:40
20m
Talk
StreamQL: A Query Language for Processing Streaming Time Series
OOPSLA
Lingkun KongRice University, Konstantinos MamourasRice University
Link to publication DOI Media Attached
08:00
20m
Talk
Foundations of Empirical Memory Consistency Testing
OOPSLA
Jake KirkhamPrinceton University, Tyler SorensenUniversity of California at Santa Cruz, Esin TureciPrinceton University, Margaret MartonosiPrinceton University
Link to publication DOI Media Attached
07:00 - 08:20
F-1BOOPSLA at SPLASH-III +12h
Chair(s): Aviral GoelNortheastern University, Sophia DrossopoulouImperial College London
07:00
20m
Talk
Incremental Predicate Analysis for Regression Verification
OOPSLA
Qianshan YuTsinghua University, Fei HeTsinghua University, Bow-Yaw WangAcademia Sinica
Link to publication DOI Media Attached
07:20
20m
Talk
Learning Graph-Based Heuristics for Pointer Analysis without Handcrafting Application-Specific Features
OOPSLA
Minseok JeonKorea University, Myungho LeeKorea University, Hakjoo OhKorea University
Link to publication DOI Media Attached
07:40
20m
Talk
TacTok: Semantics-Aware Proof Synthesis
OOPSLA
Emily FirstUniversity of Massachusetts at Amherst, Yuriy BrunUniversity of Massachusetts Amherst, Arjun GuhaUniversity of Massachusetts at Amherst
Link to publication DOI Pre-print Media Attached
08:00
20m
Talk
Guiding Dynamic Programing via Structural Probability for Accelerating Programming by Example
OOPSLA
Ruyi JiPeking University, Yican SunPeking University, Yingfei XiongPeking University, Zhenjiang HuPeking University
Link to publication DOI Media Attached
08:20 - 09:00
Breakfast in ChicagoMeet The Speakers (MTS) at SPLASH-I +12h
08:20
40m
Social Event
Meet The Speakers
Meet The Speakers (MTS)
09:00 - 10:20
F-2AOOPSLA at SPLASH-I +12h
Chair(s): Aviral GoelNortheastern University, Reuben RoweUniversity College London
09:00
20m
Talk
A Sparse Iteration Space Transformation Framework for Sparse Tensor Algebra
OOPSLA
Ryan SenanayakeReservoir Labs, Changwan HongMassachusetts Institute of Technology, Ziheng WangMassachusetts Institute of Technology, Amalee WilsonStanford University, Stephen ChouMassachusetts Institute of Technology, Shoaib KamilAdobe Research, Saman AmarasingheMassachusetts Institute of Technology, Fredrik KjolstadStanford University
Link to publication DOI Pre-print Media Attached File Attached
09:20
20m
Talk
Resolution as Intersection Subtyping via Modus Ponens
OOPSLA
Koar MarntirosianKU Leuven, Tom SchrijversKU Leuven, Bruno C. d. S. OliveiraUniversity of Hong Kong, Georgios KarachaliasTweag
Link to publication DOI Media Attached
09:40
20m
Talk
Guided Linking: Dynamic Linking without the Costs
OOPSLA
Sean BartellUniversity of Illinois at Urbana-Champaign, Will DietzUniversity of Illinois at Urbana-Champaign, Vikram S. AdveUniversity of Illinois at Urbana-Champaign
Link to publication DOI Media Attached
10:00
20m
Talk
Towards a Unified Proof Framework for Automated Fixpoint Reasoning using Matching Logic
OOPSLA
Xiaohong ChenUniversity of Illinois at Urbana-Champaign, Minh-Thai TrinhAdvanced Digital Sciences Center, Nishant RodriguesUniversity of Illinois at Urbana-Champaign, Lucas PeñaUniversity of Illinois at Urbana-Champaign, Grigore RoşuUniversity of Illinois at Urbana-Champaign
Link to publication DOI Media Attached
09:00 - 10:20
F-2BOOPSLA at SPLASH-III +12h
Chair(s): Hridesh RajanIowa State University, USA
09:00
20m
Talk
Feedback-Driven Semi-supervised Synthesis of Program Transformations
OOPSLA
Xiang GaoNational University of Singapore, Shraddha BarkeUniversity of California at San Diego, Arjun RadhakrishnaMicrosoft, Gustavo SoaresMicrosoft, Sumit GulwaniMicrosoft, Alan LeungMicrosoft, Nachiappan NagappanMicrosoft Research, Ashish TiwariMicrosoft
Link to publication DOI Media Attached
09:20
20m
Talk
Testing Differential Privacy with Dual Interpreters
OOPSLA
Hengchu ZhangUniversity of Pennsylvania, Edo RothUniversity of Pennsylvania, Andreas HaeberlenUniversity of Pennsylvania, Benjamin C. PierceUniversity of Pennsylvania, Aaron RothUniversity of Pennsylvania
Link to publication DOI Media Attached
09:40
20m
Talk
Unifying Execution of Imperative Generators and Declarative Specifications
OOPSLA
Pengyu NieUniversity of Texas at Austin, Marinela ParovicUniversity of Texas at Austin, Zhiqiang ZangUniversity of Texas at Austin, Sarfraz KhurshidUniversity of Texas at Austin, Aleksandar MilicevicMicrosoft, Milos GligoricUniversity of Texas at Austin
Link to publication DOI Media Attached
10:00
20m
Talk
Differentially-Private Software Frequency Profiling under Linear Constraints
OOPSLA
Hailong ZhangFordham University, Yu HaoOhio State University, Sufian LatifOhio State University, Raef BassilyOhio State University, Atanas RountevOhio State University
Link to publication DOI Media Attached
10:20 - 11:00
Breakfast in SeattleMeet The Speakers (MTS) at SPLASH-I +12h
10:20
40m
Social Event
Meet The Speakers
Meet The Speakers (MTS)
11:00 - 12:20
F-3AOOPSLA at SPLASH-I +12h
Chair(s): Stefan MarrUniversity of Kent, Reuben RoweUniversity College London
11:00
20m
Talk
Contextual Dispatch for Function Specialization
OOPSLA
Olivier FlückigerNortheastern University, Guido ChariAsapp, Ming-Ho YeeNortheastern University, Jan JečmenCzech Technical University, Jakob HainNortheastern University, Jan VitekNortheastern University / Czech Technical University
Link to publication DOI Pre-print Media Attached
11:20
20m
Talk
Fixpoints for the Masses: Programming with First-Class Datalog Constraints
OOPSLA
Magnus MadsenAarhus University, Ondřej LhotákUniversity of Waterloo
Link to publication DOI Media Attached
11:40
20m
Talk
Verifying and Improving Halide’s Term Rewriting System with Program Synthesis
OOPSLA
Julie L. NewcombUniversity of Washington, Andrew AdamsAdobe Research, Steven JohnsonGoogle, Rastislav BodikUniversity of Washington, Shoaib KamilAdobe Research
Link to publication DOI Media Attached
12:00
20m
Talk
Polymorphic Types and Effects with Boolean Unification
OOPSLA
Magnus MadsenAarhus University, Jaco van de PolAarhus University
Link to publication DOI Media Attached
11:00 - 12:20
F-3BOOPSLA at SPLASH-III +12h
Chair(s): Francisco FerreiraImperial College London, Yaniv DavidTechnion
11:00
20m
Talk
Just-in-Time Learning for Bottom-Up Enumerative Synthesis
OOPSLA
Shraddha BarkeUniversity of California at San Diego, Hila PelegUniversity of California at San Diego, Nadia PolikarpovaUniversity of California at San Diego
Link to publication DOI Media Attached
11:20
20m
Talk
Taming Type Annotations in Gradual Typing
OOPSLA
John Peter CamporaUniversity of Louisiana at Lafayette, Sheng ChenUniversity of Louisiana at Lafayette
Link to publication DOI Media Attached
11:40
20m
Talk
Learning Semantic Program Embeddings with Graph Interval Neural NetworkDistinguished Paper
OOPSLA
Yu WangNanjing University, Ke WangVisa Research, Fengjuan GaoNanjing University, Linzhang WangNanjing University
Link to publication DOI Media Attached
12:00
20m
Talk
ιDOT: A DOT Calculus with Object Initialization
OOPSLA
Ifaz KabirUniversity of Alberta, Yufeng LiUniversity of Waterloo, Ondřej LhotákUniversity of Waterloo
Link to publication DOI Media Attached
12:20 - 13:00
Breakfast in WellingtonMeet The Speakers (MTS) at SPLASH-I +12h
12:20
40m
Social Event
Meet The Speakers
Meet The Speakers (MTS)
13:00 - 14:20
F-4AOOPSLA at SPLASH-I +12h
Chair(s): Ruben MartinsCarnegie Mellon University, Louis MandelIBM Research, USA
13:00
20m
Talk
A Modular Cost Analysis for Probabilistic Programs
OOPSLA
Martin AvanziniInria, Georg MoserUniversity of Innsbruck, Michael SchaperUniversity of Innsbruck
Link to publication DOI Media Attached
13:20
20m
Talk
Interactive Synthesis of Temporal Specifications from Examples and Natural Language
OOPSLA
Ivan GavranMPI-SWS, Eva DarulovaMPI-SWS, Rupak MajumdarMPI-SWS
Link to publication DOI Media Attached
13:40
20m
Talk
Scaling Exact Inference for Discrete Probabilistic ProgramsDistinguished Paper
OOPSLA
Steven HoltzenUniversity of California at Los Angeles, Guy Van den BroeckUniversity of California at Los Angeles, Todd MillsteinUniversity of California at Los Angeles
Link to publication DOI Pre-print Media Attached
14:00
20m
Talk
Digging for Fold: Synthesis-Aided API Discovery for Haskell
OOPSLA
Michael B. JamesUniversity of California at San Diego, Zheng GuoUniversity of California, San Diego, Ziteng WangUniversity of California at San Diego, Shivani DoshiUniversity of California at San Diego, Hila PelegUniversity of California at San Diego, Ranjit JhalaUniversity of California at San Diego, Nadia PolikarpovaUniversity of California at San Diego
Link to publication DOI Media Attached
14:20 - 15:00
Cocktails in ParisMeet The Speakers (MTS) at SPLASH-I +12h
14:20
40m
Social Event
Meet The Speakers
Meet The Speakers (MTS)
15:00 - 16:20
F-5BOOPSLA at SPLASH-III +12h
Chair(s): Mohsen LesaniUniversity of California at Riverside, USA, Aviral GoelNortheastern University
15:00
20m
Talk
Programming at the Edge of Synchrony
OOPSLA
Cezara DrăgoiInria / ENS / CNRS / PSL University / Informal Systems, Josef WidderInformal Systems, Damien ZuffereyMPI-SWS
Link to publication DOI
15:20
20m
Talk
Rethinking Safe Consistency in Distributed Object-Oriented Programming
OOPSLA
Mirko KöhlerTU Darmstadt, Nafise EskandaniTU Darmstadt, Pascal WeisenburgerTU Darmstadt, Alessandro MargaraPolitecnico di Milano, Guido SalvaneschiUniversity of St. Gallen
Link to publication DOI Media Attached
15:40
20m
Talk
Testing Consensus Implementations using Communication Closure
OOPSLA
Cezara DrăgoiInria / ENS / CNRS / PSL University / Informal Systems, Constantin EneaUniversity of Paris / IRIF / CNRS, Burcu Kulahcioglu OzkanMPI-SWS, Rupak MajumdarMPI-SWS, Filip NiksicGoogle
Link to publication DOI Media Attached
16:20 - 17:00
Breakfast in SeoulMeet The Speakers (MTS) at SPLASH-I +12h
16:20
40m
Social Event
Meet The Speakers
Meet The Speakers (MTS)
17:00 - 18:20
FKeynotes at SPLASH-I +12h
Chair(s): Stephen KellUniversity of Kent, Didier VernaEPITA / LRDE
17:00
80m
Keynote
Towards Building Ethically-Sound Data-Driven Software
Keynotes
Brittany JohnsonGeorge Mason University
Link to publication
18:20 - 19:00
Cocktails in RioClosing at SPLASH-I +12h
18:20
40m
Day closing
Closing Session
Closing
G: Hridesh RajanIowa State University, USA
19:00 - 20:20
F-1AOOPSLA at SPLASH-I
Chair(s): Azalea RaadImperial College London, Tongping LiuUniversity of Massachusetts at Amherst
19:00
20m
Talk
DiffStream: Differential Output Testing for Stream Processing Programs
OOPSLA
Konstantinos KallasUniversity of Pennsylvania, Filip NiksicGoogle, Caleb StanfordUniversity of Pennsylvania, Rajeev AlurUniversity of Pennsylvania
Link to publication DOI Media Attached
19:20
20m
Talk
Pomsets with Preconditions: A Simple Model of Relaxed Memory
OOPSLA
Radha JagadeesanDePaul University, Alan JeffreyMozilla Research, James RielyDePaul University
Link to publication DOI Pre-print Media Attached
19:40
20m
Talk
StreamQL: A Query Language for Processing Streaming Time Series
OOPSLA
Lingkun KongRice University, Konstantinos MamourasRice University
Link to publication DOI Media Attached
20:00
20m
Talk
Foundations of Empirical Memory Consistency Testing
OOPSLA
Jake KirkhamPrinceton University, Tyler SorensenUniversity of California at Santa Cruz, Esin TureciPrinceton University, Margaret MartonosiPrinceton University
Link to publication DOI Media Attached
19:00 - 20:20
F-1BOOPSLA at SPLASH-III
Chair(s): Alex PotaninVictoria University of Wellington, Steve BlackburnAustralian National University
19:00
20m
Talk
Incremental Predicate Analysis for Regression Verification
OOPSLA
Qianshan YuTsinghua University, Fei HeTsinghua University, Bow-Yaw WangAcademia Sinica
Link to publication DOI Media Attached
19:20
20m
Talk
Learning Graph-Based Heuristics for Pointer Analysis without Handcrafting Application-Specific Features
OOPSLA
Minseok JeonKorea University, Myungho LeeKorea University, Hakjoo OhKorea University
Link to publication DOI Media Attached
19:40
20m
Talk
TacTok: Semantics-Aware Proof Synthesis
OOPSLA
Emily FirstUniversity of Massachusetts at Amherst, Yuriy BrunUniversity of Massachusetts Amherst, Arjun GuhaUniversity of Massachusetts at Amherst
Link to publication DOI Pre-print Media Attached
20:00
20m
Talk
Guiding Dynamic Programing via Structural Probability for Accelerating Programming by Example
OOPSLA
Ruyi JiPeking University, Yican SunPeking University, Yingfei XiongPeking University, Zhenjiang HuPeking University
Link to publication DOI Media Attached
20:20 - 21:00
Cocktails in New YorkMeet The Speakers (MTS) at SPLASH-I
20:20
40m
Social Event
Meet The Speakers
Meet The Speakers (MTS)
21:00 - 22:20
F-2AOOPSLA at SPLASH-I
Chair(s): Pranav KantUniversity of Utah, Atsushi IgarashiKyoto University, Japan
21:00
20m
Talk
A Sparse Iteration Space Transformation Framework for Sparse Tensor Algebra
OOPSLA
Ryan SenanayakeReservoir Labs, Changwan HongMassachusetts Institute of Technology, Ziheng WangMassachusetts Institute of Technology, Amalee WilsonStanford University, Stephen ChouMassachusetts Institute of Technology, Shoaib KamilAdobe Research, Saman AmarasingheMassachusetts Institute of Technology, Fredrik KjolstadStanford University
Link to publication DOI Pre-print Media Attached File Attached
21:20
20m
Talk
Resolution as Intersection Subtyping via Modus Ponens
OOPSLA
Koar MarntirosianKU Leuven, Tom SchrijversKU Leuven, Bruno C. d. S. OliveiraUniversity of Hong Kong, Georgios KarachaliasTweag
Link to publication DOI Media Attached
21:40
20m
Talk
Guided Linking: Dynamic Linking without the Costs
OOPSLA
Sean BartellUniversity of Illinois at Urbana-Champaign, Will DietzUniversity of Illinois at Urbana-Champaign, Vikram S. AdveUniversity of Illinois at Urbana-Champaign
Link to publication DOI Media Attached
22:00
20m
Talk
Towards a Unified Proof Framework for Automated Fixpoint Reasoning using Matching Logic
OOPSLA
Xiaohong ChenUniversity of Illinois at Urbana-Champaign, Minh-Thai TrinhAdvanced Digital Sciences Center, Nishant RodriguesUniversity of Illinois at Urbana-Champaign, Lucas PeñaUniversity of Illinois at Urbana-Champaign, Grigore RoşuUniversity of Illinois at Urbana-Champaign
Link to publication DOI Media Attached
21:00 - 22:20
F-2BOOPSLA at SPLASH-III
Chair(s): Alex PotaninVictoria University of Wellington, Steve BlackburnAustralian National University
21:00
20m
Talk
Feedback-Driven Semi-supervised Synthesis of Program Transformations
OOPSLA
Xiang GaoNational University of Singapore, Shraddha BarkeUniversity of California at San Diego, Arjun RadhakrishnaMicrosoft, Gustavo SoaresMicrosoft, Sumit GulwaniMicrosoft, Alan LeungMicrosoft, Nachiappan NagappanMicrosoft Research, Ashish TiwariMicrosoft
Link to publication DOI Media Attached
21:20
20m
Talk
Testing Differential Privacy with Dual Interpreters
OOPSLA
Hengchu ZhangUniversity of Pennsylvania, Edo RothUniversity of Pennsylvania, Andreas HaeberlenUniversity of Pennsylvania, Benjamin C. PierceUniversity of Pennsylvania, Aaron RothUniversity of Pennsylvania
Link to publication DOI Media Attached
21:40
20m
Talk
Unifying Execution of Imperative Generators and Declarative Specifications
OOPSLA
Pengyu NieUniversity of Texas at Austin, Marinela ParovicUniversity of Texas at Austin, Zhiqiang ZangUniversity of Texas at Austin, Sarfraz KhurshidUniversity of Texas at Austin, Aleksandar MilicevicMicrosoft, Milos GligoricUniversity of Texas at Austin
Link to publication DOI Media Attached
22:00
20m
Talk
Differentially-Private Software Frequency Profiling under Linear Constraints
OOPSLA
Hailong ZhangFordham University, Yu HaoOhio State University, Sufian LatifOhio State University, Raef BassilyOhio State University, Atanas RountevOhio State University
Link to publication DOI Media Attached
22:20 - 23:00
22:20
40m
Social Event
Meet The Speakers
Meet The Speakers (MTS)
23:00 - 00:20
F-3AOOPSLA at SPLASH-I
Chair(s): Ramy ShahinUniversity of Toronto, Hidehiko MasuharaTokyo Institute of Technology
23:00
20m
Talk
Contextual Dispatch for Function Specialization
OOPSLA
Olivier FlückigerNortheastern University, Guido ChariAsapp, Ming-Ho YeeNortheastern University, Jan JečmenCzech Technical University, Jakob HainNortheastern University, Jan VitekNortheastern University / Czech Technical University
Link to publication DOI Pre-print Media Attached
23:20
20m
Talk
Fixpoints for the Masses: Programming with First-Class Datalog Constraints
OOPSLA
Magnus MadsenAarhus University, Ondřej LhotákUniversity of Waterloo
Link to publication DOI Media Attached
23:40
20m
Talk
Verifying and Improving Halide’s Term Rewriting System with Program Synthesis
OOPSLA
Julie L. NewcombUniversity of Washington, Andrew AdamsAdobe Research, Steven JohnsonGoogle, Rastislav BodikUniversity of Washington, Shoaib KamilAdobe Research
Link to publication DOI Media Attached
00:00
20m
Talk
Polymorphic Types and Effects with Boolean Unification
OOPSLA
Magnus MadsenAarhus University, Jaco van de PolAarhus University
Link to publication DOI Media Attached
23:00 - 00:20
F-3BOOPSLA at SPLASH-III
Chair(s): Dimitri RacordonUniversity of Geneva, Switzerland, Yulei SuiUniversity of Technology Sydney
23:00
20m
Talk
Just-in-Time Learning for Bottom-Up Enumerative Synthesis
OOPSLA
Shraddha BarkeUniversity of California at San Diego, Hila PelegUniversity of California at San Diego, Nadia PolikarpovaUniversity of California at San Diego
Link to publication DOI Media Attached
23:20
20m
Talk
Taming Type Annotations in Gradual Typing
OOPSLA
John Peter CamporaUniversity of Louisiana at Lafayette, Sheng ChenUniversity of Louisiana at Lafayette
Link to publication DOI Media Attached
23:40
20m
Talk
Learning Semantic Program Embeddings with Graph Interval Neural NetworkDistinguished Paper
OOPSLA
Yu WangNanjing University, Ke WangVisa Research, Fengjuan GaoNanjing University, Linzhang WangNanjing University
Link to publication DOI Media Attached
00:00
20m
Talk
ιDOT: A DOT Calculus with Object Initialization
OOPSLA
Ifaz KabirUniversity of Alberta, Yufeng LiUniversity of Waterloo, Ondřej LhotákUniversity of Waterloo
Link to publication DOI Media Attached

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

00:20 - 01:00
Breakfast in ParisMeet The Speakers (MTS) at SPLASH-I
00:20
40m
Social Event
Meet The Speakers
Meet The Speakers (MTS)
01:00 - 02:20
F-4AOOPSLA at SPLASH-I
Chair(s): Hidehiko MasuharaTokyo Institute of Technology
01:00
20m
Talk
A Modular Cost Analysis for Probabilistic Programs
OOPSLA
Martin AvanziniInria, Georg MoserUniversity of Innsbruck, Michael SchaperUniversity of Innsbruck
Link to publication DOI Media Attached
01:20
20m
Talk
Interactive Synthesis of Temporal Specifications from Examples and Natural Language
OOPSLA
Ivan GavranMPI-SWS, Eva DarulovaMPI-SWS, Rupak MajumdarMPI-SWS
Link to publication DOI Media Attached
01:40
20m
Talk
Scaling Exact Inference for Discrete Probabilistic ProgramsDistinguished Paper
OOPSLA
Steven HoltzenUniversity of California at Los Angeles, Guy Van den BroeckUniversity of California at Los Angeles, Todd MillsteinUniversity of California at Los Angeles
Link to publication DOI Pre-print Media Attached
02:00
20m
Talk
Digging for Fold: Synthesis-Aided API Discovery for Haskell
OOPSLA
Michael B. JamesUniversity of California at San Diego, Zheng GuoUniversity of California, San Diego, Ziteng WangUniversity of California at San Diego, Shivani DoshiUniversity of California at San Diego, Hila PelegUniversity of California at San Diego, Ranjit JhalaUniversity of California at San Diego, Nadia PolikarpovaUniversity of California at San Diego
Link to publication DOI Media Attached
02:20 - 03:00
Cocktails in SydneyMeet The Speakers (MTS) at SPLASH-I
02:20
40m
Social Event
Meet The Speakers
Meet The Speakers (MTS)
03:00 - 04:20
F-5BOOPSLA at SPLASH-III
Chair(s): Sophia DrossopoulouImperial College London, Julien LangeRoyal Holloway University of London
03:00
20m
Talk
Programming at the Edge of Synchrony
OOPSLA
Cezara DrăgoiInria / ENS / CNRS / PSL University / Informal Systems, Josef WidderInformal Systems, Damien ZuffereyMPI-SWS
Link to publication DOI
03:20
20m
Talk
Rethinking Safe Consistency in Distributed Object-Oriented Programming
OOPSLA
Mirko KöhlerTU Darmstadt, Nafise EskandaniTU Darmstadt, Pascal WeisenburgerTU Darmstadt, Alessandro MargaraPolitecnico di Milano, Guido SalvaneschiUniversity of St. Gallen
Link to publication DOI Media Attached
03:40
20m
Talk
Testing Consensus Implementations using Communication Closure
OOPSLA
Cezara DrăgoiInria / ENS / CNRS / PSL University / Informal Systems, Constantin EneaUniversity of Paris / IRIF / CNRS, Burcu Kulahcioglu OzkanMPI-SWS, Rupak MajumdarMPI-SWS, Filip NiksicGoogle
Link to publication DOI Media Attached
04:20 - 05:00
Dinner in BeijingMeet The Speakers (MTS) at SPLASH-I
04:20
40m
Social Event
Meet The Speakers
Meet The Speakers (MTS)
05:00 - 06:20
FKeynotes at SPLASH-I
Chair(s): Didier VernaEPITA / LRDE, Stephen KellUniversity of Kent
05:00
80m
Keynote
Towards Building Ethically-Sound Data-Driven Software
Keynotes
Brittany JohnsonGeorge Mason University
Link to publication
06:20 - 07:00
Dinner in DelhiClosing at SPLASH-I
06:20
40m
Day closing
Closing Session
Closing
G: Hridesh RajanIowa State University, USA

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
A Large-Scale Longitudinal Study of Flaky Tests
OOPSLA
Link to publication DOI Media Attached
A Model for Detecting Faults in Build Specifications
OOPSLA
Link to publication DOI Pre-print Media Attached
A Modular Cost Analysis for Probabilistic Programs
OOPSLA
Link to publication DOI Media Attached
A Sparse Iteration Space Transformation Framework for Sparse Tensor Algebra
OOPSLA
Link to publication DOI Pre-print Media Attached File Attached
A Structural Model for Contextual Code Changes
OOPSLA
Link to publication DOI Pre-print Media Attached
A Systematic Approach to Deriving Incremental Type Checkers
OOPSLA
Link to publication DOI Media Attached
A Type-and-Effect System for Object Initialization
OOPSLA
Link to publication DOI Media Attached
Actor Concurrency Bugs: A Comprehensive Study on Symptoms, Root Causes, API Usages, and Differences
OOPSLA
Link to publication DOI Pre-print Media Attached
Adding Interactive Visual Syntax to Textual Code
OOPSLA
Link to publication DOI Media Attached
Adversarial Examples for Models of Code
OOPSLA
Link to publication DOI Pre-print Media Attached
Assertion-Based Optimization of Quantum Programs
OOPSLA
Link to publication DOI Media Attached
Automated Policy Synthesis for System Call SandboxingDistinguished Paper
OOPSLA
Link to publication DOI Media Attached
Automatic and Efficient Variability-Aware Lifting of Functional Programs
OOPSLA
Link to publication DOI Pre-print Media Attached
Build Scripts with Perfect Dependencies
OOPSLA
Link to publication DOI Media Attached
CAMP: Cost-Aware Multiparty Session Protocols
OOPSLA
Link to publication DOI Media Attached
Can Advanced Type Systems Be Usable? An Empirical Study of Ownership, Assets, and Typestate in Obsidian
OOPSLA
Link to publication DOI Media Attached
Certified and Efficient Instruction Scheduling: Application to Interlocked VLIW Processors
OOPSLA
Link to publication DOI Media Attached
CompCertELF: Verified Separate Compilation of C Programs into ELF Object Files
OOPSLA
Link to publication DOI Media Attached
Compiling Symbolic Execution with Staging and Algebraic Effects
OOPSLA
Link to publication DOI Pre-print Media Attached
Contextual Dispatch for Function Specialization
OOPSLA
Link to publication DOI Pre-print Media Attached
Counterexample-Guided Correlation Algorithm for Translation Validation
OOPSLA
Link to publication DOI Media Attached
Dataflow-Based Pruning for Speeding up SuperoptimizationDistinguished Paper
OOPSLA
Link to publication DOI Media Attached
Deductive Optimization of Relational Data Storage
OOPSLA
Link to publication DOI Media Attached
Designing Types for R, Empirically
OOPSLA
Link to publication DOI Media Attached
Detecting Locations in JavaScript Programs Affected by Breaking Library Changes
OOPSLA
Link to publication DOI Pre-print Media Attached
DiffStream: Differential Output Testing for Stream Processing Programs
OOPSLA
Link to publication DOI Media Attached
Differentially-Private Software Frequency Profiling under Linear Constraints
OOPSLA
Link to publication DOI Media Attached
Digging for Fold: Synthesis-Aided API Discovery for Haskell
OOPSLA
Link to publication DOI Media Attached
Do You Have Space for Dessert? A Verified Space Cost Semantics for CakeML Programs
OOPSLA
Link to publication DOI Media Attached
DynamiTe: Dynamic Termination and Non-termination Proofs
OOPSLA
Link to publication DOI Media Attached
Dynamic Dispatch of Context-Sensitive Optimizations
OOPSLA
Link to publication DOI Pre-print Media Attached
Effects as Capabilities: Effect Handlers and Lightweight Effect Polymorphism
OOPSLA
Link to publication DOI Pre-print Media Attached
Eliminating Abstraction Overhead of Java Stream Pipelines using Ahead-of-Time Program Optimization
OOPSLA
Link to publication DOI Pre-print Media Attached
Enabling Accuracy-Aware Quantum Compilers using Symbolic Resource Estimation
OOPSLA
Link to publication DOI Media Attached
Exposing Cache Timing Side-Channel Leaks through Out-of-Order Symbolic Execution
OOPSLA
Link to publication DOI Media Attached
Fast Linear Programming through Transprecision Computing on Small and Sparse Data
OOPSLA
Link to publication DOI Media Attached
Featherweight Go
OOPSLA
Link to publication DOI Media Attached
Feedback-Driven Semi-supervised Synthesis of Program Transformations
OOPSLA
Link to publication DOI Media Attached
Finding Bugs in Database Systems via Query Partitioning
OOPSLA
Link to publication DOI Pre-print Media Attached
Fixpoints for the Masses: Programming with First-Class Datalog Constraints
OOPSLA
Link to publication DOI Media Attached
Flow2Vec: Value-Flow-Based Precise Code EmbeddingDistinguished Paper
OOPSLA
Link to publication DOI Media Attached
FlowCFL: Generalized Type-Based Reachability Analysis: Graph Reduction and Equivalence of CFL-Based and Type-Based Reachability
OOPSLA
Link to publication DOI Media Attached
Formulog: Datalog for SMT-Based Static Analysis
OOPSLA
Link to publication DOI Media Attached
Foundations of Empirical Memory Consistency Testing
OOPSLA
Link to publication DOI Media Attached
Fuzzing Channel-Based Concurrency Runtimes using Types and Effects
OOPSLA
Link to publication DOI Media Attached
Geometry Types for Graphics Programming
OOPSLA
Link to publication DOI Pre-print Media Attached
Gradual Verification of Recursive Heap Data Structures
OOPSLA
Link to publication DOI Media Attached
Guided Linking: Dynamic Linking without the Costs
OOPSLA
Link to publication DOI Media Attached
Guiding Dynamic Programing via Structural Probability for Accelerating Programming by Example
OOPSLA
Link to publication DOI Media Attached
Handling Bidirectional Control Flow
OOPSLA
Link to publication DOI Media Attached
Hidden Inheritance: An Inline Caching Design for TypeScript Performance
OOPSLA
Link to publication DOI Media Attached
How Do Programmers Use Unsafe Rust?
OOPSLA
Link to publication DOI Media Attached
Igloo: Soundly Linking Compositional Refinement and Separation Logic for Distributed System Verification
OOPSLA
Link to publication DOI Media Attached
Incremental Predicate Analysis for Regression Verification
OOPSLA
Link to publication DOI Media Attached
Inter-theory Dependency Analysis for SMT String Solvers
OOPSLA
Link to publication DOI Media Attached
Interactive Synthesis of Temporal Specifications from Examples and Natural Language
OOPSLA
Link to publication DOI Media Attached
Just-in-Time Learning for Bottom-Up Enumerative Synthesis
OOPSLA
Link to publication DOI Media Attached
Knowing When to Ask: Sound Scheduling of Name Resolution in Type Checkers Derived from Declarative Specifications
OOPSLA
Link to publication DOI Pre-print Media Attached
Koord: A Language for Programming and Verifying Distributed Robotics Application
OOPSLA
Link to publication DOI Pre-print Media Attached
Learning Graph-Based Heuristics for Pointer Analysis without Handcrafting Application-Specific Features
OOPSLA
Link to publication DOI Media Attached
Learning Semantic Program Embeddings with Graph Interval Neural NetworkDistinguished Paper
OOPSLA
Link to publication DOI Media Attached
Learning-Based Controlled Concurrency Testing
OOPSLA
Link to publication DOI Pre-print Media Attached
LiveDroid: Identifying and Preserving Mobile App State in Volatile Runtime Environments
OOPSLA
Link to publication DOI Pre-print Media Attached
Macros for Domain-Specific Languages
OOPSLA
Link to publication DOI Media Attached
Mossad: Defeating Software Plagiarism Detection
OOPSLA
Link to publication DOI Media Attached
Multiparty Motion Coordination: From Choreographies to Robotics Programs
OOPSLA