SPLASH 2020 (series) /
SPLASH 2020 Program
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Sun 15 NovDisplayed time zone: Central Time (US & Canada) change
Sun 15 Nov
Displayed time zone: Central Time (US & Canada) change
07:00 - 07:20 | |||
07:00 20mDay opening | Opening Session Opening Hridesh Rajan Iowa State University, USA, David Grove IBM Research, E: Christian Hammer University of Potsdam, E: Robert Hirschfeld Hasso Plattner Institute (HPI), University of Potsdam, Germany, E: Anders Møller Aarhus University | ||
07:20 - 08:20 | |||
07:20 60mKeynote | Fitzcarraldo — or How to Hack Academia to Build StuffAMAsupported by Facebook Keynotes Jan Vitek Northeastern University / Czech Technical University Link to publication Media Attached | ||
08:20 - 09:00 | |||
08:20 40mOther | Posters Session 1 Posters | ||
09:00 - 10:20 | S-2ECOOP Research Papers at SPLASH-I +12h Chair(s): Shigeru Chiba The University of Tokyo, Yu David Liu State University of New York (SUNY) Binghamton | ||
09:00 20mTalk | Abstracting gradual referencesSCICO Journal-First ECOOP Research Papers Link to publication DOI Media Attached | ||
09:20 20mTalk | Don't Panic! Better, Fewer, Syntax Errors for LR Parsers ECOOP Research Papers Link to publication DOI Pre-print Media Attached | ||
09:40 20mTalk | Blame for Null ECOOP Research Papers Abel Nieto Aarhus University, Marianna Rapoport University of Waterloo, Gregor Richards University of Waterloo, Ondřej Lhoták University of Waterloo Link to publication DOI Pre-print Media Attached | ||
10:00 20mTalk | Perfect is the Enemy of Good: Best-Effort Program Synthesis ECOOP Research Papers Hila Peleg University of California at San Diego, Nadia Polikarpova University of California at San Diego Link to publication DOI Media Attached | ||
09:00 - 09:40 | |||
09:00 40mTalk | Move Semantics for Nim REBASE Andreas Rumpf Freelancer | ||
09:00 - 09:40 | GPCE/SLE OpeningGPCE / SLE at SPLASH-III +12h Chair(s): Martin Erwig Oregon State University, Jeff Gray University of Alabama, Ralf Laemmel Facebook London, Laurence Tratt King's College London, Juan de Lara Autonomous University of Madrid | ||
09:00 40mOther | GPCE/SLE Opening GPCE Link to publication | ||
09:00 - 10:20 | 10:00-- Logic in Program Specification and AnalysisLPOP at SPLASH-IV Chair(s): Y. Annie Liu Stony Brook University | ||
10:00 10mDay opening | Opening and Introduction LPOP Peter Van Roy Université catholique de Louvain | ||
10:10 40mTalk | Invited Talk: If You're Not Writing a Program, Don't Use a Programming Language LPOP | ||
10:50 15mPaper | Deductive Synthesis of the Unification Algorithm: The Automation of Introspection LPOP | ||
11:05 15mPaper | Logic in Program Analysis and Verification LPOP Patrick Cousot New York University | ||
11:20 30mLive Q&A | Panel: Logic in Program Specification: Where Has It Failed? How Can We Fix It? LPOP Leslie Lamport Microsoft Research, Richard Waldinger , Patrick Cousot New York University, C: David Warren Stony Brook University | ||
11:50 10mBreak | Break: Ask Me Anything LPOP | ||
09:40 - 10:20 | SLE / GPCE at SPLASH-III +12h Chair(s): Laurence Tratt King's College London, Juan de Lara Autonomous University of Madrid, Jeff Gray University of Alabama | ||
09:40 20mTalk | Modeling Black-Box Components with Probabilistic SynthesisBest Paper Award GPCE Bruce Collie University of Edinburgh, Jackson Woodruff University of Edinburgh, Michael F. P. O'Boyle University of Edinburgh Link to publication DOI Media Attached | ||
10:00 20mTalk | Gradually Typing Strategies SLE Link to publication DOI Pre-print Media Attached | ||
10:20 - 11:00 | |||
10:20 40mTalk | Ask Me Anything: Amal Ahmed PLMW Amal Ahmed Northeastern University, USA | ||
11:00 - 11:40 | |||
11:00 40mTalk | Back to the Future! A History of UIs through Trends and Mass Culture REBASE Paola Bisogno Casavo Media Attached | ||
11:00 - 12:20 | SLE / GPCE at SPLASH-III +12h Chair(s): Benoit Combemale University of Rennes, France / Inria, France / CNRS, France / IRISA, France, Eric Van Wyk University of Minnesota, USA | ||
11:00 20mTalk | Automated Variability Injection for Graphical Modelling Languages GPCE Antonio Garmendia JKU Linz, Manuel Wimmer JKU Linz, Esther Guerra Autonomous University of Madrid, Elena Gómez-Martínez Autonomous University of Madrid, Juan de Lara Autonomous University of Madrid Link to publication DOI Pre-print Media Attached | ||
11:20 20mTalk | Modular and Distributed IDE SLE Fabien Coulon Obeo, France / University of Rennes, France / Inria, France / CNRS, France / IRISA, France, Alex Auvolat University of Rennes, France / Inria, France / CNRS, France / IRISA, France, Benoit Combemale University of Rennes, France / Inria, France / CNRS, France / IRISA, France, Yérom-David Bromberg University of Rennes, France / Inria, France / CNRS, France / IRISA, France, François Taïani University of Rennes, France / Inria, France / CNRS, France / IRISA, France, Olivier Barais University of Rennes, France / Inria, France / CNRS, France / IRISA, France, Noël Plouzeau University of Rennes, France / Inria, France / CNRS, France / IRISA, France Link to publication DOI Pre-print Media Attached | ||
11:40 20mTalk | Correctness-by-Construction for Feature-Oriented Software Product Lines GPCE Link to publication DOI Media Attached | ||
12:00 20mTalk | A Family of Languages for Trustworthy Agent-Based Simulation SLE Link to publication DOI Pre-print Media Attached | ||
11:00 - 12:20 | 12:00-- Logic in Artificial Intelligence and Machine LearningLPOP at SPLASH-IV Chair(s): Peter Van Roy Université catholique de Louvain | ||
12:00 40mTalk | Invited Talk: Logic, Probability, Knowledge, and Learning LPOP | ||
12:40 15mPaper | Training Neural Networks to Do Logic, with Logic LPOP Paul Tarau University of North Texas | ||
12:55 10mBreak | Break: Ask Me Anything LPOP | ||
12:20 - 13:00 | |||
12:20 40mSocial Event | Meet The Speakers Meet The Speakers (MTS) | ||
13:00 - 14:20 | S-4ECOOP Research Papers at SPLASH-I +12h Chair(s): Karim Ali University of Alberta, Eli Tilevich Virginia Tech | ||
13:00 20mTalk | K-LLVM: A Relatively Complete Semantics of LLVM IR ECOOP Research Papers Link to publication DOI Media Attached | ||
13:20 20mTalk | A Type-Directed Operational Semantics for a Calculus with a Merge Operator ECOOP Research Papers Link to publication DOI Media Attached | ||
13:40 20mTalk | A big step from finite to infinite computationsSCICO Journal-First ECOOP Research Papers Davide Ancona DIBRIS, University of Genova, Italy, Francesco Dagnino DIBRIS, University of Genova, Italy, Jurriaan Rot Radboud University Nijmegen, Elena Zucca University of Genova Link to publication DOI Media Attached | ||
14:00 20mTalk | Static Type Analysis by Abstract Interpretation of Python Programs ECOOP Research Papers Raphaël Monat Sorbonne Université — LIP6, Abdelraouf Ouadjaout Sorbonne Université, Antoine Miné Sorbonne Université Link to publication DOI Media Attached File Attached | ||
13:00 - 13:40 | |||
13:00 40mTalk | Probabilistic Programming: The What, Why and HowAMA REBASE Maria I. Gorinova The University of Edinburgh | ||
13:00 - 14:20 | |||
13:00 20mTalk | Multi-stage Programming in the Large with Staged Classes GPCE Link to publication DOI Media Attached | ||
13:20 20mTalk | Software Language Engineers’ Worst Nightmare SLE Vadim Zaytsev University of Twente, Netherlands Link to publication DOI Pre-print Media Attached | ||
13:40 20mTalk | Reorganizing Queries with Grouping GPCE Link to publication DOI Media Attached | ||
14:00 20mTalk | Principles and Patterns of JastAdd-Style Reference Attribute Grammars SLE Link to publication DOI Media Attached | ||
13:00 - 14:20 | 13:05-- Logic and Implementation TractabilityLPOP at SPLASH-IV Chair(s): Y. Annie Liu Stony Brook University | ||
13:05 40mTalk | Invited Talk: Tractable Boolean Circuits: Applications and Compilation Algorithms LPOP | ||
13:45 30mLive Q&A | Panel: Logic in Artificial Intelligence: Don’t Machine Learning and Neural Networks Do It All? LPOP Stuart Russell University of California, Berkeley, Paul Tarau University of North Texas, Adnan Darwiche UCLA, C: David Warren Stony Brook University | ||
14:15 10mBreak | Break: Ask Me Anything LPOP Manuel Hermenegildo IMDEA Software Institute and T.U. of Madrid, C: Martin Gebser University of Klagenfurt, Austria | ||
14:20 - 15:00 | |||
14:20 40mSocial Event | Meet The Speakers Meet The Speakers (MTS) | ||
15:00 - 16:20 | S-5ECOOP Research Papers at SPLASH-I +12h Chair(s): Davide Ancona DIBRIS, University of Genova, Italy, Eli Tilevich Virginia Tech | ||
15:00 20mTalk | Model-View-Update-Communicate: Session Types meet the Elm Architecture ECOOP Research Papers Simon Fowler University of Glasgow Link to publication DOI Pre-print Media Attached | ||
15:20 20mTalk | Putting Randomized Compiler Testing into Production ECOOP Research Papers Link to publication DOI Media Attached | ||
15:40 20mTalk | Owicki-Gries Reasoning for C11 RAR ECOOP Research Papers Sadegh Dalvandi University of Surrey, Simon Doherty University of Sheffield, Brijesh Dongol University of Surrey, Heike Wehrheim Paderborn University Link to publication DOI Media Attached | ||
16:00 20mTalk | Test-Case Reduction via Test-Case Generation: Insights From the Hypothesis Reducer ECOOP Research Papers Link to publication DOI Media Attached | ||
15:00 - 15:40 | |||
15:00 40mTalk | A Ray of Hope: Array Programming for the 21st Century REBASE Gilad Bracha F5 Networks Media Attached | ||
15:00 - 16:20 | 14:25-- Logic and Language ExpressivenessLPOP at SPLASH-IV Chair(s): Peter Van Roy Université catholique de Louvain | ||
14:25 40mTalk | Invited Talk: From CLP(R) to MiniZinc: There and Back Again LPOP | ||
15:05 15mPaper | Logical English LPOP | ||
15:20 10mPaper | Flamingo, a Compiler and Runtime for Reactive ALM Systems LPOP | ||
15:30 30mLive Q&A | Panel: Since Logic Languages Are So Good, Why Aren’t They Pervasive? LPOP Peter Stuckey University of Melbourne, Robert Kowalski , Daniel Hines , C: David Warren Stony Brook University | ||
16:20 - 17:00 | |||
16:20 40mSocial Event | Meet The Speakers Meet The Speakers (MTS) | ||
17:00 - 18:20 | S-6ECOOP Research Papers at SPLASH-I +12h Chair(s): Shigeru Chiba The University of Tokyo, Tiark Rompf Purdue University | ||
17:00 20mTalk | Static Race Detection and Mutex Safety and Liveness for Go Programs ECOOP Research Papers Link to publication DOI Media Attached | ||
17:20 20mTalk | Reference immutability for DOT ECOOP Research Papers Link to publication DOI Media Attached | ||
17:40 20mTalk | Multiparty Session Programming with Global Protocol Combinators ECOOP Research Papers Keigo Imai Gifu University, Rumyana Neykova Brunel University London, Nobuko Yoshida Imperial College London, Shoji Yuen Nagoya University Link to publication DOI Media Attached | ||
18:00 20mTalk | Scala with Explicit Nulls ECOOP Research Papers Abel Nieto Aarhus University, Yaoyu Zhao University of Waterloo, Ondřej Lhoták University of Waterloo, Angela Chang University of Waterloo, Justin Pu University of Waterloo Link to publication DOI Pre-print Media Attached | ||
17:00 - 17:40 | |||
17:00 40mTalk | APIs are Illness and Cure: The Software Heterogeneity Problem in Web ProgrammingAMA REBASE Jean Yang Akita Software Media Attached | ||
17:00 - 18:20 | |||
17:00 20mTalk | VarSem: Declarative Expression and Automated Inference of Variable Usage Semantics GPCE Link to publication DOI Media Attached | ||
17:20 20mTalk | Monadification of Attribute Grammars SLE Link to publication DOI Pre-print Media Attached | ||
17:40 20mTalk | Fluid Quotes: Metaprogramming across Abstraction Boundaries with Dependent Types GPCE Shadaj Laddad University of California at Berkeley, Koushik Sen University of California at Berkeley Link to publication DOI Pre-print Media Attached | ||
18:00 20mTalk | Strategic Tree Rewriting in Attribute Grammars SLE Link to publication DOI Pre-print Media Attached | ||
18:20 - 19:00 | |||
18:20 40mSocial Event | Meet The Speakers Meet The Speakers (MTS) | ||
19:00 - 19:20 | |||
19:00 20mDay opening | Opening Session Opening Hridesh Rajan Iowa State University, USA, David Grove IBM Research, E: Christian Hammer University of Potsdam, E: Robert Hirschfeld Hasso Plattner Institute (HPI), University of Potsdam, Germany, E: Anders Møller Aarhus University | ||
19:20 - 20:20 | |||
19:20 60mKeynote | Fitzcarraldo — or How to Hack Academia to Build StuffAMAsupported by Facebook Keynotes Jan Vitek Northeastern University / Czech Technical University Link to publication Media Attached | ||
20:20 - 21:00 | |||
20:20 40mOther | Posters Session 1 Posters | ||
21:00 - 22:20 | S-2ECOOP Research Papers at SPLASH-I Chair(s): Atsushi Igarashi Kyoto University, Japan, Hidehiko Masuhara Tokyo Institute of Technology | ||
21:00 20mTalk | Abstracting gradual referencesSCICO Journal-First ECOOP Research Papers Link to publication DOI Media Attached | ||
21:20 20mTalk | Don't Panic! Better, Fewer, Syntax Errors for LR Parsers ECOOP Research Papers Link to publication DOI Pre-print Media Attached | ||
21:40 20mTalk | Blame for Null ECOOP Research Papers Abel Nieto Aarhus University, Marianna Rapoport University of Waterloo, Gregor Richards University of Waterloo, Ondřej Lhoták University of Waterloo Link to publication DOI Pre-print Media Attached | ||
22:00 20mTalk | Perfect is the Enemy of Good: Best-Effort Program Synthesis ECOOP Research Papers Hila Peleg University of California at San Diego, Nadia Polikarpova University of California at San Diego Link to publication DOI Media Attached | ||
21:00 - 21:40 | GPCE/SLE OpeningGPCE / SLE at SPLASH-III Chair(s): Martin Erwig Oregon State University, Jeff Gray University of Alabama, Ralf Laemmel Facebook London, Laurence Tratt King's College London, Juan de Lara Autonomous University of Madrid | ||
21:00 40mOther | GPCE/SLE Opening GPCE Link to publication | ||
21:40 - 22:20 | SLE / GPCE at SPLASH-III Chair(s): Jeff Gray University of Alabama, Laurence Tratt King's College London, Juan de Lara Autonomous University of Madrid | ||
21:40 20mTalk | Modeling Black-Box Components with Probabilistic SynthesisBest Paper Award GPCE Bruce Collie University of Edinburgh, Jackson Woodruff University of Edinburgh, Michael F. P. O'Boyle University of Edinburgh Link to publication DOI Media Attached | ||
22:00 20mTalk | Gradually Typing Strategies SLE Link to publication DOI Pre-print Media Attached | ||
22:20 - 23:00 | |||
22:20 40mSocial Event | Meet The Speakers Meet The Speakers (MTS) | ||
23:00 - 23:40 | |||
23:00 40mTalk | Probabilistic Programming: The What, Why and HowAMA REBASE Maria I. Gorinova The University of Edinburgh | ||
23:00 - 00:20 | |||
23:00 20mTalk | Automated Variability Injection for Graphical Modelling Languages GPCE Antonio Garmendia JKU Linz, Manuel Wimmer JKU Linz, Esther Guerra Autonomous University of Madrid, Elena Gómez-Martínez Autonomous University of Madrid, Juan de Lara Autonomous University of Madrid Link to publication DOI Pre-print Media Attached | ||
23:20 20mTalk | Modular and Distributed IDE SLE Fabien Coulon Obeo, France / University of Rennes, France / Inria, France / CNRS, France / IRISA, France, Alex Auvolat University of Rennes, France / Inria, France / CNRS, France / IRISA, France, Benoit Combemale University of Rennes, France / Inria, France / CNRS, France / IRISA, France, Yérom-David Bromberg University of Rennes, France / Inria, France / CNRS, France / IRISA, France, François Taïani University of Rennes, France / Inria, France / CNRS, France / IRISA, France, Olivier Barais University of Rennes, France / Inria, France / CNRS, France / IRISA, France, Noël Plouzeau University of Rennes, France / Inria, France / CNRS, France / IRISA, France Link to publication DOI Pre-print Media Attached | ||
23:40 20mTalk | Correctness-by-Construction for Feature-Oriented Software Product Lines GPCE Link to publication DOI Media Attached | ||
00:00 20mTalk | A Family of Languages for Trustworthy Agent-Based Simulation SLE Link to publication DOI Pre-print Media Attached | ||
Mon 16 NovDisplayed time zone: Central Time (US & Canada) change
Mon 16 Nov
Displayed time zone: Central Time (US & Canada) change
00:20 - 01:00 | |||
00:20 40mTalk | Ask Me Anything: Sriram Rajamani PLMW Sriram Rajamani Microsoft Research | ||
01:00 - 01:40 | |||
01:00 40mTalk | A Ray of Hope: Array Programming for the 21st Century REBASE Gilad Bracha F5 Networks Media Attached | ||
01:00 - 02:20 | |||
01:00 20mTalk | Multi-stage Programming in the Large with Staged Classes GPCE Link to publication DOI Media Attached | ||
01:20 20mTalk | Software Language Engineers’ Worst Nightmare SLE Vadim Zaytsev University of Twente, Netherlands Link to publication DOI Pre-print Media Attached | ||
01:40 20mTalk | Reorganizing Queries with Grouping GPCE Link to publication DOI Media Attached | ||
02:00 20mTalk | Principles and Patterns of JastAdd-Style Reference Attribute Grammars SLE Link to publication DOI Media Attached | ||
02:20 - 03:00 | |||
02:20 40mSocial Event | Meet The Speakers Meet The Speakers (MTS) | ||
03:00 - 04:20 | S-5ECOOP Research Papers at SPLASH-I Chair(s): Davide Ancona DIBRIS, University of Genova, Italy, Jeremy Gibbons Department of Computer Science, University of Oxford | ||
03:00 20mTalk | Model-View-Update-Communicate: Session Types meet the Elm Architecture ECOOP Research Papers Simon Fowler University of Glasgow Link to publication DOI Pre-print Media Attached | ||
03:20 20mTalk | Putting Randomized Compiler Testing into Production ECOOP Research Papers Link to publication DOI Media Attached | ||
03:40 20mTalk | Owicki-Gries Reasoning for C11 RAR ECOOP Research Papers Sadegh Dalvandi University of Surrey, Simon Doherty University of Sheffield, Brijesh Dongol University of Surrey, Heike Wehrheim Paderborn University Link to publication DOI Media Attached | ||
04:00 20mTalk | Test-Case Reduction via Test-Case Generation: Insights From the Hypothesis Reducer ECOOP Research Papers Link to publication DOI Media Attached | ||
03:00 - 03:40 | |||
03:00 40mTalk | Gillian: a Multi-language Platform for Compositional Symbolic AnalysisAMA REBASE Philippa Gardner Imperial College London | ||
04:20 - 05:00 | |||
04:20 40mSocial Event | Meet The Speakers Meet The Speakers (MTS) | ||
05:00 - 06:20 | S-6ECOOP Research Papers at SPLASH-I Chair(s): Olivier Flückiger Northeastern University, Jeremy Gibbons Department of Computer Science, University of Oxford | ||
05:00 20mTalk | Static Race Detection and Mutex Safety and Liveness for Go Programs ECOOP Research Papers Link to publication DOI Media Attached | ||
05:20 20mTalk | Reference immutability for DOT ECOOP Research Papers Link to publication DOI Media Attached | ||
05:40 20mTalk | Multiparty Session Programming with Global Protocol Combinators ECOOP Research Papers Keigo Imai Gifu University, Rumyana Neykova Brunel University London, Nobuko Yoshida Imperial College London, Shoji Yuen Nagoya University Link to publication DOI Media Attached | ||
06:00 20mTalk | Scala with Explicit Nulls ECOOP Research Papers Abel Nieto Aarhus University, Yaoyu Zhao University of Waterloo, Ondřej Lhoták University of Waterloo, Angela Chang University of Waterloo, Justin Pu University of Waterloo Link to publication DOI Pre-print Media Attached | ||
05:00 - 05:40 | |||
05:00 40mTalk | APIs are Illness and Cure: The Software Heterogeneity Problem in Web ProgrammingAMA REBASE Jean Yang Akita Software Media Attached | ||
05:00 - 06:20 | |||
05:00 20mTalk | VarSem: Declarative Expression and Automated Inference of Variable Usage Semantics GPCE Link to publication DOI Media Attached | ||
05:20 20mTalk | Monadification of Attribute Grammars SLE Link to publication DOI Pre-print Media Attached | ||
05:40 20mTalk | Fluid Quotes: Metaprogramming across Abstraction Boundaries with Dependent Types GPCE Shadaj Laddad University of California at Berkeley, Koushik Sen University of California at Berkeley Link to publication DOI Pre-print Media Attached | ||
06:00 20mTalk | Strategic Tree Rewriting in Attribute Grammars SLE Link to publication DOI Pre-print Media Attached | ||
06:20 - 07:00 | |||
06:20 40mSocial Event | Meet The Speakers Meet The Speakers (MTS) | ||
07:00 - 07:40 | |||
07:00 40mTalk | Reliable Stack Traces, the Reality of MythAMA REBASE Francesco Zappa Nardelli Facebook | ||
07:00 - 08:20 | |||
07:00 20mDay opening | Welcome to REBLS REBLS Ivan Perez NIA / NASA Formal Methods | ||
07:20 60mKeynote | Keynote: SCADE 6 REBLS | ||
08:20 - 09:00 | |||
08:20 40mSocial Event | Meet The Speakers Meet The Speakers (MTS) | ||
09:00 - 10:20 | |||
09:00 80mKeynote | Catching More Bugs with Fewer False AlarmsAMA Keynotes Jonathan Bell Northeastern University Link to publication Media Attached | ||
09:00 - 10:20 | |||
09:00 40mResearch paper | Debugging RxJS-based Applications REBLS Manuel Alabor University of Applied Sciences of Eastern Switzerland (OST) File Attached | ||
09:40 40mTalk | Managing Persistent Signals using Signal Classes REBLS Tetsuo Kamina Oita University, Tomoyuki Aotani Mamezou Co.,Ltd., Hidehiko Masuhara Tokyo Institute of Technology File Attached | ||
10:20 - 11:00 | |||
10:20 40mPoster | Posters Session 2 Posters | ||
10:20 - 11:00 | |||
10:20 40mPoster | Resolution as Intersection Subtyping via Modus PonensOOPSLA Posters Koar Marntirosian KU Leuven, Tom Schrijvers KU Leuven, Bruno C. d. S. Oliveira University of Hong Kong, Georgios Karachalias Tweag | ||
10:20 40mPoster | Macros For Domain-Specific LanguagesOOPSLA Posters Michael Ballantyne Northeastern University, Alexis King Northwestern University, Matthias Felleisen Northeastern University | ||
10:20 40mPoster | Precise Inference of Expressive Units of Measurement TypesOOPSLA Posters Tongtong Xiang University of Waterloo, Jeff Y. Luo University of Waterloo, Werner Dietl University of Waterloo | ||
10:20 40mPoster | Guiding Dynamic Programing via Structural Probability for Accelerating Programming by ExampleOOPSLA Posters Ruyi Ji Peking University, Yican Sun Peking University, Yingfei Xiong Peking University, Zhenjiang Hu Peking University | ||
10:20 40mPoster | A Sparse Iteration Space Transformation Framework for Sparse Tensor AlgebraOOPSLA Posters Ryan Senanayake Reservoir Labs, Changwan Hong Massachusetts Institute of Technology, Ziheng Wang Massachusetts Institute of Technology, Amalee Wilson Stanford University, Stephen Chou Massachusetts Institute of Technology, Shoaib Kamil Adobe Research, Saman Amarasinghe Massachusetts Institute of Technology, Fredrik Kjolstad Stanford University DOI Pre-print Media Attached File Attached | ||
10:20 40mPoster | Learning Semantic Program Embeddings with Graph Interval Neural NetworkOOPSLA Posters Yu Wang Nanjing University, China, Ke Wang Visa Research, Fengjuan Gao Nanjing University, Linzhang Wang Nanjing University | ||
10:20 40mPoster | Statically Verified Refinements for Multiparty ProtocolsOOPSLA Posters Fangyi Zhou Imperial College London, Francisco Ferreira Imperial College London, Raymond Hu University of Hertfordshire, Rumyana Neykova Brunel University London, Nobuko Yoshida Imperial College London | ||
10:20 40mPoster | Towards a Formal Foundation of Intermittent ComputingOOPSLA Posters Milijana Surbatovich Carnegie Mellon University, Brandon Lucia Carnegie Mellon University, Limin Jia Carnegie Mellon University | ||
10:20 40mPoster | Incremental Predicate Analysis for Regression VerificationOOPSLA Posters | ||
10:20 40mPoster | StreamQL: A Query Language for Processing Streaming Time SeriesOOPSLA Posters | ||
10:20 40mPoster | SATUNE: Synthesizing Efficient SAT EncodersOOPSLA Posters Hamed Gorjiara University of California at Irvine, Guoqing Harry Xu University of California at Los Angeles, Brian Demsky University of California at Irvine | ||
10:20 40mPoster | Scaling Exact Inference for Discrete Probabilistic ProgramsOOPSLA Posters Steven Holtzen University of California at Los Angeles, Guy Van den Broeck University of California at Los Angeles, Todd Millstein University of California, Los Angeles | ||
10:20 40mPoster | Certified and Efficient Instruction SchedulingOOPSLA Posters Sylvain Boulmé Grenoble Alps University / CNRS / Grenoble INP / VERIMAG, Cyril Six Kalray / Grenoble Alps University / CNRS / Grenoble INP / VERIMAG, David Monniaux Grenoble Alps University / CNRS / Grenoble INP / VERIMAG | ||
10:20 40mPoster | Revisiting Iso-Recursive SubtypingOOPSLA Posters Yaoda Zhou University of Hong Kong, Bruno C. d. S. Oliveira University of Hong Kong, Jinxu Zhao University of Hong Kong | ||
10:20 40mPoster | Guided Linking: Dynamic Linking Without the CostsOOPSLA Posters Sean Bartell University of Illinois at Urbana-Champaign, Will Dietz University of Illinois at Urbana-Champaign, Vikram S. Adve University of Illinois at Urbana-Champaign | ||
10:20 40mPoster | Unifying Execution of Imperative Generators and Declarative SpecificationsOOPSLA Posters Pengyu Nie University of Texas at Austin, Marinela Parovic University of Texas at Austin, Zhiqiang Zang University of Texas at Austin, Sarfraz Khurshid University of Texas at Austin, Aleksandar Milicevic Microsoft, Milos Gligoric University of Texas at Austin | ||
10:20 40mPoster | CompCertELF: Verified Separate Compilation of C Programs into ELF Object FilesOOPSLA Posters Yuting Wang Shanghai Jiao Tong University, Xiangzhe Xu Nanjing University, Pierre Wilke CentraleSupélec, Zhong Shao Yale University | ||
11:00 - 11:40 | |||
11:00 40mTalk | Paparazzi, an open source UAV for research REBASE Gautier Hattenberger ENAC | ||
11:00 - 12:20 | |||
11:00 40mResearch paper | Asynchronous Monad for Reactive IoT Programming REBLS Tian Zhao University of Wisconsin-Milwaukee, Adam Berger University of Wisconsin -- Milwaukee, Yonglun Li University of Wisconsin -- Milwaukee File Attached | ||
11:40 40mResearch paper | The essence of live coding: Change the program, keep the state! REBLS Manuel Bärenz sonnen eServices GmbH | ||
12:20 - 13:00 | |||
12:20 40mSocial Event | Meet The Speakers Meet The Speakers (MTS) | ||
13:00 - 13:40 | |||
13:00 40mTalk | Herding Nulls in DartAMA REBASE Erik Ernst Google LLC | ||
13:00 - 14:20 | |||
13:00 40mTalk | An Introduction to Denotative Continuous Spacetime Programming (Work in Progress) REBLS Adriaan Leijnse Universidade NOVA de Lisboa File Attached | ||
13:40 40mTalk | Reactive Sorting Networks REBLS Bjarno Oeyen Vrije Universiteit Brussel, Sam Van den Vonder Vrije Universiteit Brussel, Wolfgang De Meuter Vrije Universiteit Brussel | ||
14:20 - 15:00 | |||
14:20 40mSocial Event | Meet The Speakers Meet The Speakers (MTS) | ||
15:00 - 16:20 | M-5OOPSLA at SPLASH-I +12h Chair(s): Jonathan Aldrich Carnegie Mellon University, Leonidas Lampropoulos University of Maryland, College Park | ||
15:00 20mTalk | CAMP: Cost-Aware Multiparty Session Protocols OOPSLA Link to publication DOI Media Attached | ||
15:20 20mTalk | Counterexample-Guided Correlation Algorithm for Translation Validation OOPSLA Link to publication DOI Media Attached | ||
15:40 20mTalk | Multiparty Motion Coordination: From Choreographies to Robotics Programs OOPSLA Link to publication DOI Media Attached | ||
16:00 20mTalk | On the Unusual Effectiveness of Type-Aware Operator Mutations for Testing SMT Solvers OOPSLA Link to publication DOI Media Attached | ||
15:00 - 15:40 | |||
15:00 40mTalk | Non-local compiler transformations in the presence of dynamic dispatch REBASE Keno Fischer Julia Computing | ||
15:00 - 15:40 | |||
15:00 20mTalk | A Semantic Framework for PEGs SLE Sergio Queiroz de Medeiros Universidade Federal do Rio Grande do Norte, Carlos Olarte Federal University of Rio Grande do Norte, Brazil Link to publication DOI Pre-print Media Attached | ||
15:20 20mTalk | Untangling Mechanized Proofs SLE Clément Pit-Claudel MIT CSAIL DOI Pre-print Media Attached | ||
15:00 - 16:20 | |||
15:00 40mTalk | Multitier Languages for Reactive Microservice Architectures REBLS Simon Schoenwaelder TU Darmstadt, Pascal Weisenburger TU Darmstadt, Guido Salvaneschi University of St. Gallen File Attached | ||
15:40 20mDay closing | Closing remarks REBLS Ivan Perez NIA / NASA Formal Methods | ||
16:20 - 17:00 | |||
16:20 40mSocial Event | Meet The Speakers Meet The Speakers (MTS) | ||
17:00 - 18:20 | M-6OOPSLA at SPLASH-I +12h Chair(s): Patrick Lam University of Waterloo, Konstantinos Mamouras Rice University | ||
17:00 20mTalk | Can Advanced Type Systems Be Usable? An Empirical Study of Ownership, Assets, and Typestate in Obsidian OOPSLA Michael Coblenz University of Maryland at College Park, Jonathan Aldrich Carnegie Mellon University, Brad A. Myers Carnegie Mellon University, Joshua Sunshine Carnegie Mellon University Link to publication DOI Media Attached | ||
17:20 20mTalk | Scalable and Serializable Networked Multi-actor Programming OOPSLA Bo Sang Purdue University / Ant Group, Patrick Eugster USI Lugano / TU Darmstadt / Purdue University, Gustavo Petri ARM Research, Srivatsan Ravi University of Southern California, Pierre-Louis Roman USI Lugano Link to publication DOI Media Attached | ||
17:40 20mTalk | Designing Types for R, Empirically OOPSLA Alexi Turcotte Northeastern University, Aviral Goel Northeastern University, Filip Křikava Czech Technical University, Jan Vitek Northeastern University / Czech Technical University Link to publication DOI Media Attached | ||
18:00 20mTalk | Geometry Types for Graphics Programming OOPSLA Dietrich Geisler Cornell University, Irene Yoon University of Pennsylvania, Aditi Kabra Carnegie Mellon University, Horace He Cornell University, Yinnon Sanders Cornell University, Adrian Sampson Cornell University Link to publication DOI Pre-print Media Attached | ||
17:00 - 17:40 | |||
17:00 40mTalk | Lies we tell ourselves about developer infrastructureAMA REBASE Joe Pamer Facebook | ||
17:00 - 17:20 | M-6BECOOP Research Papers at SPLASH-III +12h Chair(s): Raffi Khatchadourian City University of New York, Patrick Rein Hasso Plattner Institute | ||
17:00 20mTalk | Space-Efficient Gradual Typing in Coercion-Passing Style ECOOP Research Papers Yuya Tsuda Kyoto University, Atsushi Igarashi Kyoto University, Japan, Tomoya Tabuchi Kyoto University Link to publication DOI Media Attached | ||
18:20 - 19:00 | |||
18:20 40mSocial Event | Meet The Speakers Meet The Speakers (MTS) | ||
19:00 - 19:40 | |||
19:00 40mTalk | Reliable Stack Traces, the Reality of MythAMA REBASE Francesco Zappa Nardelli Facebook | ||
20:20 - 21:00 | |||
20:20 40mSocial Event | Meet The Speakers Meet The Speakers (MTS) | ||
21:00 - 22:20 | |||
21:00 80mKeynote | Catching More Bugs with Fewer False AlarmsAMA Keynotes Jonathan Bell Northeastern University Link to publication Media Attached | ||
22:20 - 23:00 | |||
22:20 40mPoster | Posters Session 2 Posters | ||
22:20 - 23:00 | |||
22:20 40mPoster | Learning Semantic Program Embeddings with Graph Interval Neural NetworkOOPSLA Posters Yu Wang Nanjing University, China, Ke Wang Visa Research, Fengjuan Gao Nanjing University, Linzhang Wang Nanjing University | ||
22:20 40mPoster | Towards a Formal Foundation of Intermittent ComputingOOPSLA Posters Milijana Surbatovich Carnegie Mellon University, Brandon Lucia Carnegie Mellon University, Limin Jia Carnegie Mellon University | ||
22:20 40mPoster | StreamQL: A Query Language for Processing Streaming Time SeriesOOPSLA Posters | ||
22:20 40mPoster | Incremental Predicate Analysis for Regression VerificationOOPSLA Posters | ||
22:20 40mPoster | SATUNE: Synthesizing Efficient SAT EncodersOOPSLA Posters Hamed Gorjiara University of California at Irvine, Guoqing Harry Xu University of California at Los Angeles, Brian Demsky University of California at Irvine | ||
22:20 40mPoster | A Sparse Iteration Space Transformation Framework for Sparse Tensor AlgebraOOPSLA Posters Ryan Senanayake Reservoir Labs, Changwan Hong Massachusetts Institute of Technology, Ziheng Wang Massachusetts Institute of Technology, Amalee Wilson Stanford University, Stephen Chou Massachusetts Institute of Technology, Shoaib Kamil Adobe Research, Saman Amarasinghe Massachusetts Institute of Technology, Fredrik Kjolstad Stanford University DOI Pre-print Media Attached File Attached | ||
22:20 40mPoster | Unifying Execution of Imperative Generators and Declarative SpecificationsOOPSLA Posters Pengyu Nie University of Texas at Austin, Marinela Parovic University of Texas at Austin, Zhiqiang Zang University of Texas at Austin, Sarfraz Khurshid University of Texas at Austin, Aleksandar Milicevic Microsoft, Milos Gligoric University of Texas at Austin | ||
22:20 40mPoster | Statically Verified Refinements for Multiparty ProtocolsOOPSLA Posters Fangyi Zhou Imperial College London, Francisco Ferreira Imperial College London, Raymond Hu University of Hertfordshire, Rumyana Neykova Brunel University London, Nobuko Yoshida Imperial College London | ||
22:20 40mPoster | Guiding Dynamic Programing via Structural Probability for Accelerating Programming by ExampleOOPSLA Posters Ruyi Ji Peking University, Yican Sun Peking University, Yingfei Xiong Peking University, Zhenjiang Hu Peking University | ||
22:20 40mPoster | Revisiting Iso-Recursive SubtypingOOPSLA Posters Yaoda Zhou University of Hong Kong, Bruno C. d. S. Oliveira University of Hong Kong, Jinxu Zhao University of Hong Kong | ||
22:20 40mPoster | Macros For Domain-Specific LanguagesOOPSLA Posters Michael Ballantyne Northeastern University, Alexis King Northwestern University, Matthias Felleisen Northeastern University | ||
22:20 40mPoster | CompCertELF: Verified Separate Compilation of C Programs into ELF Object FilesOOPSLA Posters Yuting Wang Shanghai Jiao Tong University, Xiangzhe Xu Nanjing University, Pierre Wilke CentraleSupélec, Zhong Shao Yale University | ||
22:20 40mPoster | Certified and Efficient Instruction SchedulingOOPSLA Posters Sylvain Boulmé Grenoble Alps University / CNRS / Grenoble INP / VERIMAG, Cyril Six Kalray / Grenoble Alps University / CNRS / Grenoble INP / VERIMAG, David Monniaux Grenoble Alps University / CNRS / Grenoble INP / VERIMAG | ||
22:20 40mPoster | Resolution as Intersection Subtyping via Modus PonensOOPSLA Posters Koar Marntirosian KU Leuven, Tom Schrijvers KU Leuven, Bruno C. d. S. Oliveira University of Hong Kong, Georgios Karachalias Tweag | ||
22:20 40mPoster | Precise Inference of Expressive Units of Measurement TypesOOPSLA Posters Tongtong Xiang University of Waterloo, Jeff Y. Luo University of Waterloo, Werner Dietl University of Waterloo | ||
22:20 40mPoster | Guided Linking: Dynamic Linking Without the CostsOOPSLA Posters Sean Bartell University of Illinois at Urbana-Champaign, Will Dietz University of Illinois at Urbana-Champaign, Vikram S. Adve University of Illinois at Urbana-Champaign | ||
22:20 40mPoster | Scaling Exact Inference for Discrete Probabilistic ProgramsOOPSLA Posters Steven Holtzen University of California at Los Angeles, Guy Van den Broeck University of California at Los Angeles, Todd Millstein University of California, Los Angeles | ||
23:00 - 23:40 | |||
23:00 40mTalk | Herding Nulls in DartAMA REBASE Erik Ernst Google LLC | ||
Tue 17 NovDisplayed time zone: Central Time (US & Canada) change
Tue 17 Nov
Displayed time zone: Central Time (US & Canada) change
00:20 - 01:00 | |||
00:20 40mSocial Event | Meet The Speakers Meet The Speakers (MTS) | ||
01:00 - 01:40 | |||
01:00 40mTalk | Lies we tell ourselves about developer infrastructureAMA REBASE Joe Pamer Facebook | ||
01:00 - 02:20 | |||
01:00 80mKeynote | Invited Talk: Abstract Domains in SMT Solving for Real Algebra NSAD Erika Abraham RWTH Aachen University | ||
02:20 - 03:00 | |||
02:20 40mSocial Event | Meet The Speakers Meet The Speakers (MTS) | ||
03:00 - 04:20 | M-5OOPSLA at SPLASH-I Chair(s): Bernardo Toninho Nova University of Lisbon / NOVA-LINCS, Xiangzhe Xu Nanjing University | ||
03:00 20mTalk | CAMP: Cost-Aware Multiparty Session Protocols OOPSLA Link to publication DOI Media Attached | ||
03:20 20mTalk | Counterexample-Guided Correlation Algorithm for Translation Validation OOPSLA Link to publication DOI Media Attached | ||
03:40 20mTalk | Multiparty Motion Coordination: From Choreographies to Robotics Programs OOPSLA Link to publication DOI Media Attached | ||
04:00 20mTalk | On the Unusual Effectiveness of Type-Aware Operator Mutations for Testing SMT Solvers OOPSLA Link to publication DOI Media Attached | ||
03:00 - 03:40 | |||
03:00 40mTalk | SQLancer: Automatically Finding Bugs in Databases REBASE Manuel Rigger ETH Zurich Media Attached | ||
03:00 - 03:40 | |||
03:00 20mTalk | A Semantic Framework for PEGs SLE Sergio Queiroz de Medeiros Universidade Federal do Rio Grande do Norte, Carlos Olarte Federal University of Rio Grande do Norte, Brazil Link to publication DOI Pre-print Media Attached | ||
03:20 20mTalk | Untangling Mechanized Proofs SLE Clément Pit-Claudel MIT CSAIL DOI Pre-print Media Attached | ||
03:00 - 04:20 | |||
03:00 20mPaper | Abstract Domains for Constraint Programming with Differential Equations NSAD Ghiles Ziat , Olivier Mullier , Julien Alexandre dit Sandretto , Christophe Garion ISAE-SUPAERO, Alexandre Chapoutot , Xavier Thirioux | ||
03:20 20mPaper | Numeric Domains Meet Algebraic Data Types NSAD Santiago Bautista Univ Rennes, ENS Rennes, Inria, IRISA, Thomas P. Jensen INRIA Rennes, Benoît Montagu Inria | ||
03:40 20mPaper | Proving array properties using data abstraction NSAD | ||
04:00 20mPaper | Rigorous Linear Programming Techniques for Numerical Abstract Domains NSAD | ||
04:20 - 05:00 | |||
04:20 40mSocial Event | Meet The Speakers Meet The Speakers (MTS) | ||
05:00 - 06:20 | |||
05:00 20mTalk | Can Advanced Type Systems Be Usable? An Empirical Study of Ownership, Assets, and Typestate in Obsidian OOPSLA Michael Coblenz University of Maryland at College Park, Jonathan Aldrich Carnegie Mellon University, Brad A. Myers Carnegie Mellon University, Joshua Sunshine Carnegie Mellon University Link to publication DOI Media Attached | ||
05:20 20mTalk | Scalable and Serializable Networked Multi-actor Programming OOPSLA Bo Sang Purdue University / Ant Group, Patrick Eugster USI Lugano / TU Darmstadt / Purdue University, Gustavo Petri ARM Research, Srivatsan Ravi University of Southern California, Pierre-Louis Roman USI Lugano Link to publication DOI Media Attached | ||
05:40 20mTalk | Designing Types for R, Empirically OOPSLA Alexi Turcotte Northeastern University, Aviral Goel Northeastern University, Filip Křikava Czech Technical University, Jan Vitek Northeastern University / Czech Technical University Link to publication DOI Media Attached | ||
06:00 20mTalk | Geometry Types for Graphics Programming OOPSLA Dietrich Geisler Cornell University, Irene Yoon University of Pennsylvania, Aditi Kabra Carnegie Mellon University, Horace He Cornell University, Yinnon Sanders Cornell University, Adrian Sampson Cornell University Link to publication DOI Pre-print Media Attached | ||
05:00 - 05:20 | M-6BECOOP Research Papers at SPLASH-III Chair(s): Patrick Rein Hasso Plattner Institute, Manuel Serrano Inria, France | ||
05:00 20mTalk | Space-Efficient Gradual Typing in Coercion-Passing Style ECOOP Research Papers Yuya Tsuda Kyoto University, Atsushi Igarashi Kyoto University, Japan, Tomoya Tabuchi Kyoto University Link to publication DOI Media Attached | ||
05:00 - 07:00 | |||
05:00 10mDay opening | AGERE: Opening AGERE Elias Castegren KTH Royal Institute of Technology, Joeri De Koster Vrije Universiteit Brussel, Belgium, Thomas C. Schmidt HAW Hamburg | ||
05:10 30mTalk | High-Throughput Stream Processing with Actors AGERE Luca Rinaldi University of Pisa, Massimo Torquati Computer Science Department - University of Pisa, Gabriele Mencagli University of Pisa, Italy, Marco Danelutto University of Pisa, Italy Pre-print Media Attached | ||
05:40 30mTalk | Revisiting the Network Stack in CAF AGERE Jakob Otto HAW Hamburg, Raphael Hiesgen HAW Hamburg, Dominik Charousset HAW Hamburg, Thomas C. Schmidt HAW Hamburg DOI Pre-print | ||
06:10 30mTalk | Run, Agent, Run; Architecture and Benchmark of Actor-based Agents AGERE Mostafa Mohajeri Parizi University of Amsterdam, Giovanni Sileno University of Amsterdam, Tom van Engers Leibniz Institute / University of Amsterdam / TNO, Sander Klous University of Amsterdam | ||
06:40 10mDay closing | AGERE: Closing AGERE Elias Castegren KTH Royal Institute of Technology, Joeri De Koster Vrije Universiteit Brussel, Belgium, Thomas C. Schmidt HAW Hamburg | ||
06:20 - 07:00 | |||
06:20 40mSocial Event | Meet The Speakers Meet The Speakers (MTS) | ||
07:00 - 08:20 | |||
07:00 80mKeynote | Testing Deep Neural Networks Keynotes Mary Lou Soffa University of Virginia Link to publication | ||
08:20 - 09:00 | |||
08:20 40mSocial Event | Meet The Speakers Meet The Speakers (MTS) | ||
09:00 - 10:20 | T-2OOPSLA at SPLASH-I +12h Chair(s): Karim Ali University of Alberta, Aritra Sengupta Amazon Web Services, USA | ||
09:00 20mTalk | Formulog: Datalog for SMT-Based Static Analysis OOPSLA Aaron Bembenek Harvard University, Michael Greenberg Pomona College, Stephen Chong Harvard University Link to publication DOI Media Attached | ||
09:20 20mTalk | A Large-Scale Longitudinal Study of Flaky Tests OOPSLA Wing Lam University of Illinois at Urbana-Champaign, Stefan Winter TU Darmstadt, Anjiang Wei Peking University, Tao Xie Peking University, Darko Marinov University of Illinois at Urbana-Champaign, Jonathan Bell Northeastern University Link to publication DOI Media Attached | ||
09:40 20mTalk | Handling Bidirectional Control Flow OOPSLA Yizhou Zhang University of Waterloo, Guido Salvaneschi University of St. Gallen, Andrew Myers Cornell University Link to publication DOI Media Attached | ||
10:00 20mTalk | WATCHER: In-Situ Failure Diagnosis OOPSLA Hongyu Liu Purdue University, Sam Silvestro University of Texas at San Antonio, Xiangyu Zhang Purdue University, Jian Huang University of Illinois at Urbana-Champaign, Tongping Liu University of Massachusetts at Amherst Link to publication DOI Media Attached | ||
09:00 - 09:40 | |||
09:00 40mTalk | Gillian: a Multi-language Platform for Compositional Symbolic AnalysisAMA REBASE Philippa Gardner Imperial College London | ||
09:00 - 10:20 | |||
09:00 20mTalk | Example-Based Live Programming for Everyone: Building Language-agnostic Tools for Live Programming with LSP and GraalVM Onward! Papers Fabio Niephaus Hasso Plattner Institute, University of Potsdam, Patrick Rein Hasso Plattner Institute, Jakob Edding Hasso Plattner Institute, University of Potsdam, Jonas Hering Hasso Plattner Institute, University of Potsdam, Bastian König Hasso Plattner Institute, University of Potsdam, Kolya Opahle Hasso Plattner Institute, University of Potsdam, Nico Scordialo Hasso Plattner Institute, University of Potsdam, Robert Hirschfeld Hasso Plattner Institute (HPI), University of Potsdam, Germany Link to publication DOI Pre-print Media Attached | ||
09:20 20mTalk | End-User Software Customization by Direct Manipulation of Tabular Data Onward! Papers Link to publication Pre-print | ||
09:40 20mTalk | Discussion of Aviation Software Oversight Improvement Onward! Essays Marc Ronell U.S. Federal Aviation Administration Link to publication DOI | ||
10:00 20mTalk | A Case Study in Language-Based Security: Building an I/O Library for Wyvern Onward! Papers Jennifer Fish Carnegie Mellon University, Darya Melicher Google, Jonathan Aldrich Carnegie Mellon University Link to publication | ||
09:00 - 10:20 | Invited Talk: Evolution of the Dart PL VMIL at SPLASH-V Chair(s): Marc Feeley Université de Montréal
| ||
09:00 80mKeynote | 10 years of Dart VMIL | ||
09:00 - 10:20 | Keynote & Short TalksLIVE at SPLASH-VI Chair(s): Roly Perera The Alan Turing Institute/University of Bristol | ||
09:00 60mKeynote | Liveliness, Reactivity, and Interactivity in the Future of Notebook Programming LIVE Media Attached | ||
10:00 10mTalk | Toward a Multi-Language and Multi-Environment Framework for Live Programming LIVE Hidehiko Masuhara Tokyo Institute of Technology, Shusuke Takahashi Tokyo Institute of Technology, Yusuke Izawa Tokyo Institute of Technology, Youyou Cong Tokyo Institute of Technology Pre-print Media Attached | ||
10:10 10mTalk | Toward Providing Live Feedback in Web Automation IDEs LIVE Media Attached | ||
10:20 - 11:00 | |||
10:20 40mSocial Event | Meet The Speakers Meet The Speakers (MTS) | ||
11:00 - 11:40 | |||
11:00 40mTalk | Towards the tower of Babel: a Polyglot Language VM in Java REBASE Christian Humer Oracle Labs | ||
11:00 - 12:20 | T-3-OnwardOnward! Essays / Onward! Papers at SPLASH-III +12h Chair(s): William Cook University of Texas at Austin, Stephen Kell University of Kent | ||
11:00 20mTalk | How (Not) to Write Java Pointer Analyses after 2020 Onward! Essays Manas Thakur IIT Mandi Link to publication DOI Pre-print | ||
11:20 20mTalk | The Wonderful Wizard of LoC: Paying Attention to the Man behind the Curtain of Lines-of-Code Metrics Onward! Essays Kalev Alpernas Tel Aviv University, Yotam M. Y. Feldman Tel Aviv University, Hila Peleg University of California at San Diego Link to publication DOI | ||
11:40 20mTalk | Putting the Semantics into Semantic Versioning Onward! Essays Patrick Lam University of Waterloo, Jens Dietrich Victoria University of Wellington, David J. Pearce Victoria University of Wellington, New Zealand Link to publication DOI Pre-print | ||
12:00 20mTalk | Demystifying Dependence Onward! Papers Link to publication | ||
11:00 - 12:20 | Invited Talk + PaperVMIL at SPLASH-V Chair(s): Juan Fumero University of Manchester, UK
| ||
11:00 40mKeynote | Understanding Graal IR VMIL | ||
11:40 40mFull-paper | Programming Microcontrollers through High-Level Abstractions VMIL Steven Varoumas Sorbonne University — LIP6, Basile Pesin Inria Paris, Benoît Vaugon , Emmanuel Chailloux UPMC, France | ||
11:00 - 12:20 | |||
11:00 20mTalk | NBSafety: Fine-Grained Lineage for Safer Jupyter Notebooks LIVE Media Attached | ||
11:20 20mTalk | Mito: Edit a spreadsheet. Generate production ready Python. LIVE Media Attached | ||
11:40 20mTalk | Functional Block Programming and Debugging LIVE Dimi Racordon University of Geneva, Switzerland, Emmanouela Stachtiari University of Geneva, Damien Morard , Didier Buchs University of Geneva, Switzerland Media Attached | ||
12:00 20mTalk | Exploring Human-in-the-loop Program Synthesis with Live Coding LIVE Mark Santolucito Barnard College, Columbia University, USA Media Attached | ||
12:20 - 13:00 | Breakfast in WellingtonStudent Research Competition at SPLASH-I +12h
| ||
12:20 40mPoster | Student Research Competition Student Research Competition | ||
13:00 - 14:20 | T-4OOPSLA at SPLASH-I +12h Chair(s): Michael Pradel University of Stuttgart, Germany, Sophia Drossopoulou Imperial College London | ||
13:00 20mTalk | A Structural Model for Contextual Code Changes OOPSLA Link to publication DOI Pre-print Media Attached | ||
13:20 20mTalk | A Systematic Approach to Deriving Incremental Type Checkers OOPSLA André Pacak JGU Mainz, Sebastian Erdweg University of Mainz, Tamás Szabó University of Mainz / itemis Link to publication DOI Media Attached | ||
13:40 20mTalk | Detecting Locations in JavaScript Programs Affected by Breaking Library Changes OOPSLA Anders Møller Aarhus University, Benjamin Barslev Nielsen Aarhus University, Martin Toldam Torp Aarhus University Link to publication DOI Pre-print Media Attached | ||
14:00 20mTalk | A Type-and-Effect System for Object Initialization OOPSLA Fengyun Liu EPFL, Ondřej Lhoták University of Waterloo, Aggelos Biboudis EPFL, Paolo G. Giarrusso Delft University of Technology, Martin Odersky EPFL Link to publication DOI Media Attached | ||
13:00 - 13:40 | |||
13:00 40mTalk | Developing the Wolfram Language Compiler REBASE Tom Wickham-Jones Wolfram Research, Inc. Media Attached | ||
13:00 - 14:00 | T-4-OnwardOnward! Papers / Onward! Essays at SPLASH-III +12h Chair(s): Marc Ronell U.S. Federal Aviation Administration | ||
13:00 20mTalk | Notes on Notebooks: Is Jupyter the Bringer of Jollity? Onward! Essays Jeremy Singer Glasgow University Link to publication DOI Pre-print | ||
13:20 20mTalk | Intrepydd: Performance, Productivity and Portability for Data Science Application Kernels Onward! Papers Tong Zhou Georgia Institute of Technology, Jun Shirako Georgia Institute of Technology, Anirudh Jain Georgia Institute of Technology, Sriseshan Srikanth Georgia Institute of Technology, Thomas Conte Georgia Institute of Technology, Richard Vuduc Georgia Tech, Vivek Sarkar Georgia Institute of Technology Link to publication | ||
13:40 20mTalk | A principled approach to REPL interpreters Onward! Papers L. Thomas van Binsbergen CWI, Mauricio Verano Merino Technische Universiteit Eindhoven, Pierre Jeanjean Inria, Univ Rennes, CNRS, IRISA, Tijs van der Storm CWI & University of Groningen, Netherlands, Benoit Combemale University of Rennes, France / Inria, France / CNRS, France / IRISA, France, Olivier Barais University of Rennes, France / Inria, France / CNRS, France / IRISA, France Link to publication DOI Pre-print | ||
13:00 - 14:20 | Invited Talk - JitBuilder 2.0VMIL at SPLASH-V Chair(s): Juan Fumero University of Manchester, UK
| ||
13:00 80mKeynote | In Pursuit of Easy(er) JITs VMIL | ||
13:00 - 14:20 | Full Talks IILIVE at SPLASH-VI Chair(s): Roly Perera The Alan Turing Institute/University of Bristol | ||
13:00 20mTalk | Sketchable Interaction - End-User Customization via Interactive Regions LIVE Media Attached | ||
13:20 20mTalk | Data Theater: A Live Programming Environment for Prototyping Data-Driven Explorable Explanations LIVE Media Attached | ||
13:40 20mTalk | ManipML: Towards Bimodal Tangible Functional Programming LIVE Media Attached | ||
14:00 20mDay closing | Wrap-up Discussion and Feedback LIVE Media Attached | ||
14:20 - 15:00 | |||
14:20 40mSocial Event | Meet The Speakers Meet The Speakers (MTS) | ||
15:00 - 15:40 | |||
15:00 40mTalk | Quantitative Types in Idris 2AMA REBASE Edwin Brady University of St. Andrews | ||
15:00 - 16:00 | T-5-OnwardOnward! Essays / Onward! Papers at SPLASH-III +12h Chair(s): Stephen Kell University of Kent | ||
15:00 20mTalk | Natural Language Theory Meets Programming Language Theory: An Interdisciplinary Framework for Programming Language Evaluation Onward! Essays | ||
15:20 20mTalk | Software Design as Story Telling: Reflecting on the Work of Italo Calvino Onward! Essays Paolo Ciancarini University of Bologna / Innopolis University, Sergey Masyagin Innopolis University, Russia, Giancarlo Succi Innopolis University Link to publication DOI | ||
15:40 20mTalk | Analogy-Making as a Core Primitive in the Software Engineering Toolbox Onward! Papers Link to publication Pre-print Media Attached | ||
15:00 - 16:20 | Invited Talk - Racket VMIL at SPLASH-V Chair(s): Marc Feeley Université de Montréal
| ||
15:00 80mKeynote | Racket’s Intermediate Language for Control VMIL | ||
16:20 - 17:00 | |||
16:20 40mSocial Event | Meet The Speakers Meet The Speakers (MTS) | ||
17:00 - 17:40 | |||
17:00 40mTalk | Technology Today: A Paucity of Integrity and ImaginationAMA REBASE Media Attached | ||
17:00 - 18:20 | T-6BOOPSLA at SPLASH-III +12h Chair(s): Todd Millstein University of California at Los Angeles, Manu Sridharan University of California at Riverside | ||
17:00 20mTalk | DynamiTe: Dynamic Termination and Non-termination Proofs OOPSLA Ton Chanh Le Stevens Institute of Technology, Timos Antonopoulos Yale University, Parisa Fathololumi Stevens Institute of Technology, Eric Koskinen Stevens Institute of Technology, ThanhVu Nguyen University of Nebraska-Lincoln Link to publication DOI Media Attached | ||
17:20 20mTalk | Programming and Reasoning with Partial Observability OOPSLA Eric Atkinson Massachusetts Institute of Technology, Michael Carbin Massachusetts Institute of Technology Link to publication DOI Media Attached | ||
17:40 20mTalk | World Age in Julia: Optimizing Method Dispatch in the Presence of Eval OOPSLA Julia Belyakova Northeastern University, Benjamin Chung Northeastern University, Jack Gelinas Northeastern University, Jameson Nash Julia Computing, Ross Tate Cornell University, Jan Vitek Northeastern University / Czech Technical University Link to publication DOI Media Attached | ||
18:00 20mTalk | Featherweight Go OOPSLA Robert Griesemer Google, Raymond Hu University of Hertfordshire, Wen Kokke University of Edinburgh, Julien Lange Royal Holloway University of London, Ian Lance Taylor Google, Bernardo Toninho Nova University of Lisbon / NOVA-LINCS, Philip Wadler University of Edinburgh, Nobuko Yoshida Imperial College London Link to publication DOI Media Attached | ||
18:20 - 19:00 | |||
18:20 40mSocial Event | Meet The Speakers Meet The Speakers (MTS) | ||
19:00 - 20:20 | |||
19:00 80mKeynote | Testing Deep Neural Networks Keynotes Mary Lou Soffa University of Virginia Link to publication | ||
20:20 - 21:00 | |||
20:20 40mSocial Event | Meet The Speakers Meet The Speakers (MTS) | ||
21:00 - 22:20 | T-2OOPSLA at SPLASH-I Chair(s): Yaoda Zhou University of Hong Kong, Iulian Neamtiu New Jersey Institute of Technology | ||
21:00 20mTalk | Formulog: Datalog for SMT-Based Static Analysis OOPSLA Aaron Bembenek Harvard University, Michael Greenberg Pomona College, Stephen Chong Harvard University Link to publication DOI Media Attached | ||
21:20 20mTalk | A Large-Scale Longitudinal Study of Flaky Tests OOPSLA Wing Lam University of Illinois at Urbana-Champaign, Stefan Winter TU Darmstadt, Anjiang Wei Peking University, Tao Xie Peking University, Darko Marinov University of Illinois at Urbana-Champaign, Jonathan Bell Northeastern University Link to publication DOI Media Attached | ||
21:40 20mTalk | Handling Bidirectional Control Flow OOPSLA Yizhou Zhang University of Waterloo, Guido Salvaneschi University of St. Gallen, Andrew Myers Cornell University Link to publication DOI Media Attached | ||
22:00 20mTalk | WATCHER: In-Situ Failure Diagnosis OOPSLA Hongyu Liu Purdue University, Sam Silvestro University of Texas at San Antonio, Xiangyu Zhang Purdue University, Jian Huang University of Illinois at Urbana-Champaign, Tongping Liu University of Massachusetts at Amherst Link to publication DOI Media Attached | ||
21:00 - 22:20 | |||
21:00 20mTalk | Example-Based Live Programming for Everyone: Building Language-agnostic Tools for Live Programming with LSP and GraalVM Onward! Papers Fabio Niephaus Hasso Plattner Institute, University of Potsdam, Patrick Rein Hasso Plattner Institute, Jakob Edding Hasso Plattner Institute, University of Potsdam, Jonas Hering Hasso Plattner Institute, University of Potsdam, Bastian König Hasso Plattner Institute, University of Potsdam, Kolya Opahle Hasso Plattner Institute, University of Potsdam, Nico Scordialo Hasso Plattner Institute, University of Potsdam, Robert Hirschfeld Hasso Plattner Institute (HPI), University of Potsdam, Germany Link to publication DOI Pre-print Media Attached | ||
21:20 20mTalk | End-User Software Customization by Direct Manipulation of Tabular Data Onward! Papers Link to publication Pre-print | ||
21:40 20mTalk | Discussion of Aviation Software Oversight Improvement Onward! Essays Marc Ronell U.S. Federal Aviation Administration Link to publication DOI | ||
22:00 20mTalk | A Case Study in Language-Based Security: Building an I/O Library for Wyvern Onward! Papers Jennifer Fish Carnegie Mellon University, Darya Melicher Google, Jonathan Aldrich Carnegie Mellon University Link to publication | ||
22:20 - 23:00 | |||
22:20 40mSocial Event | Meet The Speakers Meet The Speakers (MTS) | ||
23:00 - 00:20 | T-3-OnwardOnward! Papers / Onward! Essays at SPLASH-III Chair(s): Crista Lopes University of California, Irvine | ||
23:00 20mTalk | How (Not) to Write Java Pointer Analyses after 2020 Onward! Essays Manas Thakur IIT Mandi Link to publication DOI Pre-print | ||
23:20 20mTalk | The Wonderful Wizard of LoC: Paying Attention to the Man behind the Curtain of Lines-of-Code Metrics Onward! Essays Kalev Alpernas Tel Aviv University, Yotam M. Y. Feldman Tel Aviv University, Hila Peleg University of California at San Diego Link to publication DOI | ||
23:40 20mTalk | Putting the Semantics into Semantic Versioning Onward! Essays Patrick Lam University of Waterloo, Jens Dietrich Victoria University of Wellington, David J. Pearce Victoria University of Wellington, New Zealand Link to publication DOI Pre-print | ||
00:00 20mTalk | Demystifying Dependence Onward! Papers Link to publication | ||
Wed 18 NovDisplayed time zone: Central Time (US & Canada) change
Wed 18 Nov
Displayed time zone: Central Time (US & Canada) change
00:20 - 01:00 | Breakfast in ParisStudent Research Competition at SPLASH-I
| ||
00:20 40mPoster | Student Research Competition Student Research Competition | ||
01:00 - 02:20 | T-4OOPSLA at SPLASH-I Chair(s): Sophia Drossopoulou Imperial College London, Julien Lange Royal Holloway University of London | ||
01:00 20mTalk | A Structural Model for Contextual Code Changes OOPSLA Link to publication DOI Pre-print Media Attached | ||
01:20 20mTalk | A Systematic Approach to Deriving Incremental Type Checkers OOPSLA André Pacak JGU Mainz, Sebastian Erdweg University of Mainz, Tamás Szabó University of Mainz / itemis Link to publication DOI Media Attached | ||
01:40 20mTalk | Detecting Locations in JavaScript Programs Affected by Breaking Library Changes OOPSLA Anders Møller Aarhus University, Benjamin Barslev Nielsen Aarhus University, Martin Toldam Torp Aarhus University Link to publication DOI Pre-print Media Attached | ||
02:00 20mTalk | A Type-and-Effect System for Object Initialization OOPSLA Fengyun Liu EPFL, Ondřej Lhoták University of Waterloo, Aggelos Biboudis EPFL, Paolo G. Giarrusso Delft University of Technology, Martin Odersky EPFL Link to publication DOI Media Attached | ||
01:00 - 01:40 | |||
01:00 40mTalk | Developing the Wolfram Language Compiler REBASE Tom Wickham-Jones Wolfram Research, Inc. Media Attached | ||
01:00 - 02:00 | |||
01:00 20mTalk | Notes on Notebooks: Is Jupyter the Bringer of Jollity? Onward! Essays Jeremy Singer Glasgow University Link to publication DOI Pre-print | ||
01:20 20mTalk | Intrepydd: Performance, Productivity and Portability for Data Science Application Kernels Onward! Papers Tong Zhou Georgia Institute of Technology, Jun Shirako Georgia Institute of Technology, Anirudh Jain Georgia Institute of Technology, Sriseshan Srikanth Georgia Institute of Technology, Thomas Conte Georgia Institute of Technology, Richard Vuduc Georgia Tech, Vivek Sarkar Georgia Institute of Technology Link to publication | ||
01:40 20mTalk | A principled approach to REPL interpreters Onward! Papers L. Thomas van Binsbergen CWI, Mauricio Verano Merino Technische Universiteit Eindhoven, Pierre Jeanjean Inria, Univ Rennes, CNRS, IRISA, Tijs van der Storm CWI & University of Groningen, Netherlands, Benoit Combemale University of Rennes, France / Inria, France / CNRS, France / IRISA, France, Olivier Barais University of Rennes, France / Inria, France / CNRS, France / IRISA, France Link to publication DOI Pre-print | ||
02:20 - 03:00 | |||
02:20 40mSocial Event | Meet The Speakers Meet The Speakers (MTS) | ||
03:00 - 03:40 | |||
03:00 40mTalk | Quantitative Types in Idris 2AMA REBASE Edwin Brady University of St. Andrews | ||
03:00 - 04:00 | |||
03:00 20mTalk | Natural Language Theory Meets Programming Language Theory: An Interdisciplinary Framework for Programming Language Evaluation Onward! Essays | ||
03:20 20mTalk | Software Design as Story Telling: Reflecting on the Work of Italo Calvino Onward! Essays Paolo Ciancarini University of Bologna / Innopolis University, Sergey Masyagin Innopolis University, Russia, Giancarlo Succi Innopolis University Link to publication DOI | ||
03:40 20mTalk | Analogy-Making as a Core Primitive in the Software Engineering Toolbox Onward! Papers Link to publication Pre-print Media Attached | ||
04:20 - 05:00 | |||
04:20 40mSocial Event | Meet The Speakers Meet The Speakers (MTS) | ||
05:00 - 05:40 | |||
05:00 40mTalk | Technology Today: A Paucity of Integrity and ImaginationAMA REBASE Media Attached | ||
05:00 - 06:20 | T-6BOOPSLA at SPLASH-III Chair(s): Sorav Bansal IIT Delhi and CompilerAI Labs, Olivier Flückiger Northeastern University | ||
05:00 20mTalk | DynamiTe: Dynamic Termination and Non-termination Proofs OOPSLA Ton Chanh Le Stevens Institute of Technology, Timos Antonopoulos Yale University, Parisa Fathololumi Stevens Institute of Technology, Eric Koskinen Stevens Institute of Technology, ThanhVu Nguyen University of Nebraska-Lincoln Link to publication DOI Media Attached | ||
05:20 20mTalk | Programming and Reasoning with Partial Observability OOPSLA Eric Atkinson Massachusetts Institute of Technology, Michael Carbin Massachusetts Institute of Technology Link to publication DOI Media Attached | ||
05:40 20mTalk | World Age in Julia: Optimizing Method Dispatch in the Presence of Eval OOPSLA Julia Belyakova Northeastern University, Benjamin Chung Northeastern University, Jack Gelinas Northeastern University, Jameson Nash Julia Computing, Ross Tate Cornell University, Jan Vitek Northeastern University / Czech Technical University Link to publication DOI Media Attached | ||
06:00 20mTalk | Featherweight Go OOPSLA Robert Griesemer Google, Raymond Hu University of Hertfordshire, Wen Kokke University of Edinburgh, Julien Lange Royal Holloway University of London, Ian Lance Taylor Google, Bernardo Toninho Nova University of Lisbon / NOVA-LINCS, Philip Wadler University of Edinburgh, Nobuko Yoshida Imperial College London Link to publication DOI Media Attached | ||
06:20 - 07:00 | |||
06:20 40mSocial Event | Meet The Speakers Meet The Speakers (MTS) | ||
07:00 - 07:40 | |||
07:00 40mTalk | Miniaturize All States! REBASE Mathieu Boespflug Tweag I/O | ||
07:00 - 08:00 | |||
07:00 40mTalk | Cost Analysis of Smart Contracts via Parametric Resource AnalysisInvited Talk SAS Media Attached File Attached | ||
07:40 20mResearch paper | A Library Modeling Language for the Static Analysis of C ProgramsArtifact SAS Media Attached File Attached | ||
07:40 - 08:20 | |||
07:40 40mSocial Event | CARES Session CARES | ||
08:20 - 09:00 | |||
08:20 40mOther | Awards Session Awards | ||
09:00 - 10:20 | |||
09:00 80mKeynote | Models and Programs: Better Togethersupported by Futurewei Keynotes Sriram Rajamani Microsoft Research Link to publication | ||
10:20 - 11:00 | |||
10:20 40mSocial Event | Meet The Speakers Meet The Speakers (MTS) | ||
11:00 - 12:20 | W-3OOPSLA at SPLASH-I +12h Chair(s): Eelco Visser Delft University of Technology, Dan Barowy Williams College | ||
11:00 20mTalk | Build Scripts with Perfect Dependencies OOPSLA Link to publication DOI Media Attached | ||
11:20 20mTalk | Random Testing for C and C++ Compilers with YARPGen OOPSLA Vsevolod Livinskii University of Utah, Dmitry Babokin Intel Corporation, John Regehr University of Utah Link to publication DOI Media Attached | ||
11:40 20mTalk | Dynamic Dispatch of Context-Sensitive Optimizations OOPSLA Gabriel Poesia Stanford University, Fernando Magno Quintão Pereira Federal University of Minas Gerais Link to publication DOI Pre-print Media Attached | ||
12:00 20mTalk | Automated Policy Synthesis for System Call Sandboxing OOPSLA Shankara Pailoor University of Texas at Austin, Xinyu Wang University of Michigan, Hovav Shacham University of Texas at Austin, Işıl Dillig University of Texas at Austin Link to publication DOI Media Attached | ||
11:00 - 11:40 | |||
11:00 40mTalk | Paradigms Without Progress: Kuhnian Reflections on Programming PracticeAMA REBASE Jimmy Miller Adzerk Media Attached | ||
11:00 - 12:20 | 2SAS / DLS at SPLASH-III +12h Chair(s): Matthew Flatt University of Utah, USA, David Pichardie Univ Rennes, ENS Rennes, IRISA | ||
11:00 40mTalk | Static Resource Analysis at ScaleInvited Talk SAS File Attached | ||
11:40 40mKeynote | Croquet: A Unique Collaboration Architecture (Keynote)Keynote DLS Vanessa Freudenberg Croquet Corp Media Attached | ||
11:00 - 12:20 | |||
11:00 20mMeeting | Welcome and Introductions HATRA | ||
11:20 20mTalk | Towards user-friendliness in proof assistants: automated strategies algebraic effects and handlers HATRA April Gonçalves Metastate AG Pre-print | ||
11:40 20mTalk | Towards making formal methods normal: meeting developers where they are HATRA Alastair Reid Arm Ltd, Luke Church University of Cambridge, Shaked Flur Google Research, Sarah de Haas Google Research, Maritza Johnson Google Research, Ben Laurie Google Research Link to publication | ||
12:20 - 13:00 | |||
12:20 40mSocial Event | Meet The Speakers Meet The Speakers (MTS) | ||
13:00 - 13:40 | |||
13:00 40mTalk | Inside Every Calculus Is A Little Algebra Waiting To Get Out REBASE Erik Meijer Facebook | ||
13:00 - 14:20 | |||
13:00 20mTalk | The Usability of Ownership HATRA Will Crichton Stanford University Link to publication | ||
13:20 20mTalk | RustViz: Interactively Visualizing Ownership and Borrowing HATRA Gongming (Gabriel) Luo University of Michigan, Vishnu Reddy University of Michigan, Marcelo Almeida University of Michigan, Yingying Zhu University of Michigan, Ke Du University of Michigan, Cyrus Omar University of Michigan Link to publication Pre-print | ||
13:40 20mTalk | Guiding user annotations for units-of-measure verification HATRA Dominic Orchard University of Kent, UK, Mistral Contrastin Facebook London, Matthew Danish University of Cambridge, UK, Andrew Rice University of Cambridge, UK Link to publication | ||
14:20 - 15:00 | |||
14:20 40mSocial Event | Meet The Speakers Meet The Speakers (MTS) | ||
15:00 - 15:40 | |||
15:00 40mTalk | Speculation in Smart ContractsAMA REBASE Maurice Herlihy Brown University | ||
15:00 - 16:20 | |||
15:00 20mTalk | Programming languages shouldn't and needn't be Turing complete HATRA Pre-print | ||
15:20 20mTalk | User-Centered Programming Language Design: A Course-Based Case Study HATRA Michael Coblenz University of Maryland at College Park, Ariel Davis Carnegie Mellon University, Megan Hofmann Carnegie Mellon University, Vivian Huang Carnegie Mellon University, Siyue Jin Carnegie Mellon University, Max Krieger , Kyle Liang Carnegie Mellon University, Brian Wei Carnegie Mellon University, Mengchen Sam Yong Carnegie Mellon University, Jonathan Aldrich Carnegie Mellon University Link to publication | ||
15:40 20mMeeting | Day 1 Discussion HATRA | ||
16:20 - 17:00 | |||
16:20 40mSocial Event | Meet The Speakers Meet The Speakers (MTS) | ||
17:00 - 17:40 | |||
17:00 40mTalk | Tales from the Frontlines: Startup War StoriesAMA REBASE Cliff Click Self | ||
17:00 - 18:20 | |||
17:00 20mResearch paper | Abstract Neural Networks SAS Pre-print Media Attached | ||
17:20 20mTalk | Amalgamating Different JIT Compilations in a Meta-tracing JIT Compiler Framework DLS Link to publication DOI Pre-print Media Attached | ||
17:40 20mResearch paper | Probabilistic Lipschitz Analysis of Neural NetworksArtifact SAS Ravi Mangal Georgia Institute of Technology, Kartik Sarangmath Georgia Institute of Technology, Aditya Nori , Alessandro Orso Georgia Tech Pre-print Media Attached | ||
18:00 20mTalk | Pricing Python Parallelism: A Dynamic Language Cost Model for Heterogeneous Platforms DLS Dejice Jacob University of Glasgow, UK, Phil Trinder University of Glasgow, Jeremy Singer Glasgow University Link to publication DOI Pre-print Media Attached | ||
17:40 - 18:20 | |||
17:40 40mSocial Event | CARES Session CARES | ||
18:20 - 19:00 | |||
18:20 40mSocial Event | Meet The Speakers Meet The Speakers (MTS) | ||
19:00 - 19:40 | |||
19:00 40mTalk | Miniaturize All States! REBASE Mathieu Boespflug Tweag I/O | ||
19:00 - 20:00 | |||
19:00 40mTalk | Cost Analysis of Smart Contracts via Parametric Resource AnalysisInvited Talk SAS Media Attached File Attached | ||
19:40 20mResearch paper | A Library Modeling Language for the Static Analysis of C ProgramsArtifact SAS Media Attached File Attached | ||
19:40 - 20:20 | |||
19:40 40mSocial Event | CARES Session CARES | ||
20:20 - 21:00 | |||
20:20 40mOther | Awards Session Awards | ||
21:00 - 22:20 | |||
21:00 80mKeynote | Models and Programs: Better Togethersupported by Futurewei Keynotes Sriram Rajamani Microsoft Research Link to publication | ||
22:20 - 23:00 | |||
22:20 40mSocial Event | Meet The Speakers Meet The Speakers (MTS) | ||
23:00 - 00:20 | W-3OOPSLA at SPLASH-I Chair(s): Alex Potanin Victoria University of Wellington, Yuting Wang Shanghai Jiao Tong University | ||
23:00 20mTalk | Build Scripts with Perfect Dependencies OOPSLA Link to publication DOI Media Attached | ||
23:20 20mTalk | Random Testing for C and C++ Compilers with YARPGen OOPSLA Vsevolod Livinskii University of Utah, Dmitry Babokin Intel Corporation, John Regehr University of Utah Link to publication DOI Media Attached | ||
23:40 20mTalk | Dynamic Dispatch of Context-Sensitive Optimizations OOPSLA Gabriel Poesia Stanford University, Fernando Magno Quintão Pereira Federal University of Minas Gerais Link to publication DOI Pre-print Media Attached | ||
00:00 20mTalk | Automated Policy Synthesis for System Call Sandboxing OOPSLA Shankara Pailoor University of Texas at Austin, Xinyu Wang University of Michigan, Hovav Shacham University of Texas at Austin, Işıl Dillig University of Texas at Austin Link to publication DOI Media Attached | ||
23:00 - 00:20 | 2DLS / SAS at SPLASH-III Chair(s): Matthew Flatt University of Utah, USA, Mihaela Sighireanu LSV, ENS Paris-Saclay | ||
23:00 40mTalk | Static Resource Analysis at ScaleInvited Talk SAS File Attached | ||
23:40 40mKeynote | Croquet: A Unique Collaboration Architecture (Keynote)Keynote DLS Vanessa Freudenberg Croquet Corp Media Attached | ||
Thu 19 NovDisplayed time zone: Central Time (US & Canada) change
Thu 19 Nov
Displayed time zone: Central Time (US & Canada) change
00:20 - 01:00 | |||
00:20 40mSocial Event | Meet The Speakers Meet The Speakers (MTS) | ||
01:00 - 01:40 | |||
01:00 40mTalk | Towards the tower of Babel: a Polyglot Language VM in Java REBASE Christian Humer Oracle Labs | ||
02:20 - 03:00 | |||
02:20 40mSocial Event | Meet The Speakers Meet The Speakers (MTS) | ||
03:00 - 03:40 | |||
03:00 40mTalk | Speculation in Smart ContractsAMA REBASE Maurice Herlihy Brown University | ||
03:00 - 04:20 | |||
03:00 20mPaper | Program Slicing with Exception Handling TAPAS | ||
03:20 20mPaper | MetaCG: Annotated call-graphs to facilitate whole-program analysis TAPAS Jan-Patrick Lehr Scientific Computing, TU Darmstadt, Alexander Hück Institute for Scientific Computing, TU Darmstadt, Yannic Fischler TU Darmstadt, Christian Bischof Scientific Computing, TU Darmstadt | ||
03:40 20mPaper | Data Dependence for Object-Oriented Programs TAPAS | ||
04:00 20mPaper | Type checking beyond type checkers, via Slice & Run TAPAS Pre-print | ||
04:20 - 05:00 | |||
04:20 40mSocial Event | Meet The Speakers Meet The Speakers (MTS) | ||
05:00 - 05:40 | |||
05:00 40mTalk | Tales from the Frontlines: Startup War StoriesAMA REBASE Cliff Click Self | ||
05:00 - 06:20 | |||
05:00 20mResearch paper | Abstract Neural Networks SAS Pre-print Media Attached | ||
05:20 20mTalk | Amalgamating Different JIT Compilations in a Meta-tracing JIT Compiler Framework DLS Link to publication DOI Pre-print Media Attached | ||
05:40 20mResearch paper | Probabilistic Lipschitz Analysis of Neural NetworksArtifact SAS Ravi Mangal Georgia Institute of Technology, Kartik Sarangmath Georgia Institute of Technology, Aditya Nori , Alessandro Orso Georgia Tech Pre-print Media Attached | ||
06:00 20mTalk | Pricing Python Parallelism: A Dynamic Language Cost Model for Heterogeneous Platforms DLS Dejice Jacob University of Glasgow, UK, Phil Trinder University of Glasgow, Jeremy Singer Glasgow University Link to publication DOI Pre-print Media Attached | ||
05:00 - 07:00 | |||
05:00 60mKeynote | Toward More Scalable Symbolic Execution via Code Chopping TAPAS Cristian Cadar Imperial College London, UK Media Attached | ||
06:00 60mKeynote | Enterprise-scale static analysis: A Pinpoint experience TAPAS Charles Zhang The Hong Kong University of Science and Technology Media Attached | ||
06:20 - 07:00 | |||
06:20 40mSocial Event | Meet The Speakers Meet The Speakers (MTS) | ||
07:00 - 08:20 | |||
07:00 80mKeynote | Why Digital Agriculture is Fertile Ground for Software Systems Researchsupported by IBM Research Keynotes Vikram S. Adve University of Illinois at Urbana-Champaign Link to publication | ||
08:20 - 09:00 | |||
08:20 40mSocial Event | Meet The Speakers Meet The Speakers (MTS) | ||
09:00 - 09:40 | |||
09:00 40mTalk | Relational Reasoning in Object-based Programs REBASE Anindya Banerjee National Science Foundation | ||
09:00 - 10:00 | |||
09:00 40mTalk | Polynomial Invariants for Affine ProgramsInvited Talk SAS File Attached | ||
09:40 20mResearch paper | Termination of Polynomial Loops SAS Florian Frohn Max Planck Institute for Informatics, Marcel Hark RWTH Aachen University, Germany, Jürgen Giesl RWTH Aachen University Pre-print Media Attached File Attached | ||
09:00 - 10:20 | |||
09:00 20mShort-paper | API Analytics for Curating Static Analysis Rules TAPAS | ||
09:20 20mPaper | Online Verification of Commutativity TAPAS Aditi Kabra Carnegie Mellon University, Dietrich Geisler Cornell University, Adrian Sampson Cornell University Pre-print | ||
09:40 20mShort-paper | Towards Checkpoint Placement for Dynamic Memory Allocation in Intermittent Computing TAPAS Nicholas Shoemaker , Ruzica Piskac Yale University, USA, Mark Santolucito Barnard College, Columbia University, USA | ||
10:20 - 11:00 | |||
10:20 40mSocial Event | Meet The Speakers Meet The Speakers (MTS) | ||
11:00 - 12:20 | R-3OOPSLA at SPLASH-I +12h Chair(s): Michael Coblenz University of Maryland at College Park, Marieke Huisman University of Twente | ||
11:00 20mTalk | Compiling Symbolic Execution with Staging and Algebraic Effects OOPSLA Guannan Wei Purdue University, Oliver Bračevac Purdue University, Shangyin Tan Purdue University, Tiark Rompf Purdue University Link to publication DOI Pre-print Media Attached | ||
11:20 20mTalk | Projection-Based Runtime Assertions for Testing and Debugging Quantum Programs OOPSLA Gushu Li University of California at Santa Barbara, Li Zhou Max Planck Institute for Security and Privacy, Nengkun Yu University of Technology Sydney, Yufei Ding University of California at Santa Barbara, Mingsheng Ying University of Technology Sydney / Institute of Software at Chinese Academy of Sciences / Tsinghua University, Yuan Xie University of California at Santa Barbara Link to publication DOI Pre-print Media Attached | ||
11:40 20mTalk | Satune: Synthesizing Efficient SAT Encoders OOPSLA Hamed Gorjiara University of California at Irvine, Guoqing Harry Xu University of California at Los Angeles, Brian Demsky University of California at Irvine Link to publication DOI Media Attached | ||
12:00 20mTalk | The Anchor Verifier for Blocking and Non-blocking Concurrent Software OOPSLA Link to publication DOI Media Attached | ||
11:00 - 11:40 | |||
11:00 40mTalk | Intermittent Computer Systems on Earth and in Space REBASE Brandon Lucia Carnegie Mellon University | ||
11:00 - 12:20 | 7SAS / DLS at SPLASH-III +12h Chair(s): Tim Felgentreff Oracle Labs, Potsdam, Kedar Namjoshi Nokia Bell Labs | ||
11:00 20mResearch paper | Interprocedural Shape Analysis Using Separation Logic-based Transformer Summaries SAS Hugo Illous CEA & INRIA / ENS Paris, Matthieu Lemerre CEA LIST, France, Xavier Rival INRIA/CNRS/ENS Paris File Attached | ||
11:20 20mTalk | DelayRepay: Delayed Execution for Kernel Fusion in Python DLS John Magnus Morton University of Edinburgh, Kuba Kaszyk University of Edinburgh, Lu Li Linköping University, Jiawen Sun University of Edinburgh, Christophe Dubach McGill University, Michel Steuwer The University of Edinburgh, Murray Cole University of Edinburgh, UK, Michael F. P. O'Boyle University of Edinburgh Link to publication DOI Pre-print Media Attached | ||
11:40 20mResearch paper | Stratified Guarded First-order Transition Systems SAS Christian Müller Technische Universität München, Saarland University, Helmut Seidl Technische Universität München File Attached | ||
12:00 20mTalk | Sampling Optimized Code for Type Feedback DLS Olivier Flückiger Northeastern University, Andreas Wälchli University of Bern, Sebastián Krynski Czech Technical University, National University of Quilmes, Jan Vitek Northeastern University / Czech Technical University Link to publication DOI Pre-print Media Attached | ||
11:00 - 12:20 | |||
11:00 80mPoster | Student Research Competition Student Research Competition | ||
11:00 - 12:20 | |||
11:00 60mKeynote | Moving Fast with High Reliability using Pluggable Types TAPAS Manu Sridharan University of California at Riverside Media Attached | ||
12:00 20mOther | Closing TAPAS | ||
12:20 - 13:00 | |||
12:20 40mSocial Event | Meet The Speakers Meet The Speakers (MTS) | ||
13:00 - 14:20 | R-4OOPSLA at SPLASH-I +12h Chair(s): Robert Rand University of Chicago, Rohan Padhye Carnegie Mellon University | ||
13:00 20mTalk | Assertion-Based Optimization of Quantum Programs OOPSLA Link to publication DOI Media Attached | ||
13:20 20mTalk | Dataflow-Based Pruning for Speeding up Superoptimization OOPSLA Manasij Mukherjee University of Utah, Pranav Kant University of Utah, Zhengyang Liu University of Utah, John Regehr University of Utah Link to publication DOI Media Attached | ||
13:40 20mTalk | Enabling Accuracy-Aware Quantum Compilers using Symbolic Resource Estimation OOPSLA Link to publication DOI Media Attached | ||
14:00 20mTalk | Eliminating Abstraction Overhead of Java Stream Pipelines using Ahead-of-Time Program Optimization OOPSLA Link to publication DOI Pre-print Media Attached | ||
13:00 - 13:40 | |||
13:00 40mTalk | JAX: accelerated machine learning research via composable function transformations in Python REBASE Matthew J. Johnson Google Brain | ||
13:00 - 14:20 | 8SAS / DLS at SPLASH-III +12h Chair(s): Tim Felgentreff Oracle Labs, Potsdam, Samir Genaim Universidad Complutense de Madrid | ||
13:00 20mResearch paper | Formal framework for reasoning about the precision of dynamic analysis SAS Mila Dalla Preda University of Verona, Italy, Roberto Giacobazzi University of Verona and IMDEA Software Institute, Niccolò Marastoni University of Verona File Attached | ||
13:20 20mResearch paper | Farkas-Based Tree Interpolation SAS Sepideh Asadi PhD Student, Martin Blicha , Antti Hyvärinen , Grigory Fedyukovich Florida State University, Natasha Sharygina USI Lugano, Switzerland Pre-print | ||
13:40 40mTalk | Framework-Aware Debugging with Stack Tailoring DLS Matteo Marra Vrije Universiteit Brussel, Guillermo Polito Univ. Lille, CNRS, Centrale Lille, Inria, UMR 9189 - CRIStAL - Centre de Recherche en Informatique Signal et Automatique de Lille, Elisa Gonzalez Boix Vrije Universiteit Brussel, Belgium Link to publication DOI Pre-print Media Attached | ||
13:00 - 14:20 | |||
13:00 20mTalk | Model-Driven Synthesis for Programming Tutors HATRA Link to publication | ||
13:20 20mTalk | Towards Solver-Aided Creativity HATRA Chris Martens North Carolina State University Pre-print | ||
13:40 20mTalk | Opportunities and Challenges for Circuit Board Level Hardware Description Languages HATRA Link to publication Pre-print | ||
14:00 20mTalk | Hazel Tutor: Guiding Novices Through Type-Driven Development Strategies HATRA Pre-print | ||
14:20 - 15:00 | |||
14:20 40mSocial Event | Meet The Speakers Meet The Speakers (MTS) | ||
15:00 - 15:40 | |||
15:00 40mTalk | On the Future of Flight Software REBASE Kristin Yvonne Rozier Iowa State University | ||
15:00 - 16:20 | |||
15:00 20mResearch paper | Counterexample- and Simulation-Guided Floating-Point Loop Invariant SynthesisArtifact SAS Anastasia Isychev Technical University of Munich, Eva Darulova MPI-SWS, Helmut Seidl Technische Universität München Pre-print Media Attached | ||
15:40 20mResearch paper | Predicate Abstraction and CEGAR for nuHFL(Z) Validity Checking SAS Naoki Iwayama University of Tokyo, Japan, Naoki Kobayashi University of Tokyo, Japan, Ryota Suzuki , Takeshi Tsukada Chiba University, Japan File Attached | ||
15:00 - 16:20 | Research Agenda PlanningHATRA at SPLASH-VI Chair(s): Michael Coblenz University of Maryland at College Park | ||
15:00 80mMeeting | Research Agenda Planning HATRA | ||
16:20 - 17:00 | |||
16:20 40mSocial Event | Meet The Speakers Meet The Speakers (MTS) | ||
17:00 - 18:20 | |||
17:00 20mTalk | Adding Interactive Visual Syntax to Textual Code OOPSLA Leif Andersen Northeastern University, Michael Ballantyne Northeastern University, Matthias Felleisen Northeastern University Link to publication DOI Media Attached | ||
17:20 20mTalk | Deductive Optimization of Relational Data Storage OOPSLA Jack Feser Massachusetts Institute of Technology, Sam Madden Massachusetts Institute of Technology, Nan Tang QCRI HBKU, Armando Solar-Lezama Massachusetts Institute of Technology Link to publication DOI Media Attached | ||
17:40 20mTalk | Inter-theory Dependency Analysis for SMT String Solvers OOPSLA Minh-Thai Trinh Advanced Digital Sciences Center, Duc-Hiep Chu National University of Singapore, Joxan Jaffar National University of Singapore Link to publication DOI Media Attached | ||
18:00 20mTalk | Macros for Domain-Specific Languages OOPSLA Michael Ballantyne Northeastern University, Alexis King Northwestern University, Matthias Felleisen Northeastern University Link to publication DOI Media Attached | ||
17:00 - 17:40 | |||
17:00 40mTalk | Enterprise-scale static analysis: A Pinpoint experience REBASE Charles Zhang The Hong Kong University of Science and Technology | ||
17:00 - 18:20 | |||
17:00 40mTalk | Static analysis for privacy-preserving artificial intelligenceInvited Talk SAS | ||
18:20 - 19:00 | |||
18:20 40mSocial Event | Meet The Speakers Meet The Speakers (MTS) | ||
19:00 - 20:20 | |||
19:00 80mKeynote | Why Digital Agriculture is Fertile Ground for Software Systems Researchsupported by IBM Research Keynotes Vikram S. Adve University of Illinois at Urbana-Champaign Link to publication | ||
20:20 - 21:00 | |||
20:20 40mSocial Event | Meet The Speakers Meet The Speakers (MTS) | ||
21:00 - 21:40 | |||
21:00 40mTalk | Relational Reasoning in Object-based Programs REBASE Anindya Banerjee National Science Foundation | ||
21:00 - 22:00 | |||
21:00 40mTalk | Polynomial Invariants for Affine ProgramsInvited Talk SAS File Attached | ||
21:40 20mResearch paper | Termination of Polynomial Loops SAS Florian Frohn Max Planck Institute for Informatics, Marcel Hark RWTH Aachen University, Germany, Jürgen Giesl RWTH Aachen University Pre-print Media Attached File Attached | ||
22:20 - 23:00 | |||
22:20 40mSocial Event | Meet The Speakers Meet The Speakers (MTS) | ||
23:00 - 00:20 | |||
23:00 20mTalk | Compiling Symbolic Execution with Staging and Algebraic Effects OOPSLA Guannan Wei Purdue University, Oliver Bračevac Purdue University, Shangyin Tan Purdue University, Tiark Rompf Purdue University Link to publication DOI Pre-print Media Attached | ||
23:20 20mTalk | Projection-Based Runtime Assertions for Testing and Debugging Quantum Programs OOPSLA Gushu Li University of California at Santa Barbara, Li Zhou Max Planck Institute for Security and Privacy, Nengkun Yu University of Technology Sydney, Yufei Ding University of California at Santa Barbara, Mingsheng Ying University of Technology Sydney / Institute of Software at Chinese Academy of Sciences / Tsinghua University, Yuan Xie University of California at Santa Barbara Link to publication DOI Pre-print Media Attached | ||
23:40 20mTalk | Satune: Synthesizing Efficient SAT Encoders OOPSLA Hamed Gorjiara University of California at Irvine, Guoqing Harry Xu University of California at Los Angeles, Brian Demsky University of California at Irvine Link to publication DOI Media Attached | ||
00:00 20mTalk | The Anchor Verifier for Blocking and Non-blocking Concurrent Software OOPSLA Link to publication DOI Media Attached | ||
23:00 - 00:20 | |||
23:00 20mResearch paper | Interprocedural Shape Analysis Using Separation Logic-based Transformer Summaries SAS Hugo Illous CEA & INRIA / ENS Paris, Matthieu Lemerre CEA LIST, France, Xavier Rival INRIA/CNRS/ENS Paris File Attached | ||
23:20 20mTalk | DelayRepay: Delayed Execution for Kernel Fusion in Python DLS John Magnus Morton University of Edinburgh, Kuba Kaszyk University of Edinburgh, Lu Li Linköping University, Jiawen Sun University of Edinburgh, Christophe Dubach McGill University, Michel Steuwer The University of Edinburgh, Murray Cole University of Edinburgh, UK, Michael F. P. O'Boyle University of Edinburgh Link to publication DOI Pre-print Media Attached | ||
23:40 20mResearch paper | Stratified Guarded First-order Transition Systems SAS Christian Müller Technische Universität München, Saarland University, Helmut Seidl Technische Universität München File Attached | ||
00:00 20mTalk | Sampling Optimized Code for Type Feedback DLS Olivier Flückiger Northeastern University, Andreas Wälchli University of Bern, Sebastián Krynski Czech Technical University, National University of Quilmes, Jan Vitek Northeastern University / Czech Technical University Link to publication DOI Pre-print Media Attached | ||
Fri 20 NovDisplayed time zone: Central Time (US & Canada) change
Fri 20 Nov
Displayed time zone: Central Time (US & Canada) change
00:20 - 01:00 | |||
00:20 40mSocial Event | Meet The Speakers Meet The Speakers (MTS) | ||
01:00 - 02:20 | R-4OOPSLA at SPLASH-I Chair(s): Sylvain Boulmé Grenoble Alps University / CNRS / Grenoble INP / VERIMAG, Gushu Li University of California at Santa Barbara | ||
01:00 20mTalk | Assertion-Based Optimization of Quantum Programs OOPSLA Link to publication DOI Media Attached | ||
01:20 20mTalk | Dataflow-Based Pruning for Speeding up Superoptimization OOPSLA Manasij Mukherjee University of Utah, Pranav Kant University of Utah, Zhengyang Liu University of Utah, John Regehr University of Utah Link to publication DOI Media Attached | ||
01:40 20mTalk | Enabling Accuracy-Aware Quantum Compilers using Symbolic Resource Estimation OOPSLA Link to publication DOI Media Attached | ||
02:00 20mTalk | Eliminating Abstraction Overhead of Java Stream Pipelines using Ahead-of-Time Program Optimization OOPSLA Link to publication DOI Pre-print Media Attached | ||
01:00 - 02:20 | |||
01:00 20mResearch paper | Formal framework for reasoning about the precision of dynamic analysis SAS Mila Dalla Preda University of Verona, Italy, Roberto Giacobazzi University of Verona and IMDEA Software Institute, Niccolò Marastoni University of Verona File Attached | ||
01:20 20mResearch paper | Farkas-Based Tree Interpolation SAS Sepideh Asadi PhD Student, Martin Blicha , Antti Hyvärinen , Grigory Fedyukovich Florida State University, Natasha Sharygina USI Lugano, Switzerland Pre-print | ||
01:40 40mTalk | Framework-Aware Debugging with Stack Tailoring DLS Matteo Marra Vrije Universiteit Brussel, Guillermo Polito Univ. Lille, CNRS, Centrale Lille, Inria, UMR 9189 - CRIStAL - Centre de Recherche en Informatique Signal et Automatique de Lille, Elisa Gonzalez Boix Vrije Universiteit Brussel, Belgium Link to publication DOI Pre-print Media Attached | ||
02:20 - 03:00 | |||
02:20 40mSocial Event | Meet The Speakers Meet The Speakers (MTS) | ||
03:00 - 03:40 | |||
03:00 40mTalk | Technology Today: A Paucity of Integrity and ImaginationAMA REBASE Media Attached | ||
03:00 - 04:20 | |||
03:00 20mResearch paper | Counterexample- and Simulation-Guided Floating-Point Loop Invariant SynthesisArtifact SAS Anastasia Isychev Technical University of Munich, Eva Darulova MPI-SWS, Helmut Seidl Technische Universität München Pre-print Media Attached | ||
03:40 20mResearch paper | Predicate Abstraction and CEGAR for nuHFL(Z) Validity Checking SAS Naoki Iwayama University of Tokyo, Japan, Naoki Kobayashi University of Tokyo, Japan, Ryota Suzuki , Takeshi Tsukada Chiba University, Japan File Attached | ||
04:20 - 05:00 | |||
04:20 40mSocial Event | Meet The Speakers Meet The Speakers (MTS) | ||
05:00 - 05:40 | |||
05:00 40mTalk | Enterprise-scale static analysis: A Pinpoint experience REBASE Charles Zhang The Hong Kong University of Science and Technology | ||
05:00 - 06:20 | |||
05:00 40mTalk | Static analysis for privacy-preserving artificial intelligenceInvited Talk SAS | ||
06:20 - 07:00 | |||
06:20 40mSocial Event | Meet The Speakers Meet The Speakers (MTS) | ||
07:00 - 08:20 | F-1AOOPSLA at SPLASH-I +12h Chair(s): Diomidis Spinellis Athens University of Economics and Business, John Wickerson Imperial College London | ||
07:00 20mTalk | DiffStream: Differential Output Testing for Stream Processing Programs OOPSLA Konstantinos Kallas University of Pennsylvania, Filip Niksic Google, Caleb Stanford University of Pennsylvania, Rajeev Alur University of Pennsylvania Link to publication DOI Media Attached | ||
07:20 20mTalk | Pomsets with Preconditions: A Simple Model of Relaxed Memory OOPSLA Link to publication DOI Pre-print Media Attached | ||
07:40 20mTalk | StreamQL: A Query Language for Processing Streaming Time Series OOPSLA Link to publication DOI Media Attached | ||
08:00 20mTalk | Foundations of Empirical Memory Consistency Testing OOPSLA Jake Kirkham Princeton University, Tyler Sorensen University of California at Santa Cruz, Esin Tureci Princeton University, Margaret Martonosi Princeton University Link to publication DOI Media Attached | ||
07:00 - 07:40 | |||
07:00 40mTalk | PL and HCI: Better TogetherAMA REBASE Elena Glassman Harvard University | ||
07:00 - 08:20 | F-1BOOPSLA at SPLASH-III +12h Chair(s): Sophia Drossopoulou Imperial College London, Aviral Goel Northeastern University | ||
07:00 20mTalk | Incremental Predicate Analysis for Regression Verification OOPSLA Link to publication DOI Media Attached | ||
07:20 20mTalk | Learning Graph-Based Heuristics for Pointer Analysis without Handcrafting Application-Specific Features OOPSLA Link to publication DOI Media Attached | ||
07:40 20mTalk | TacTok: Semantics-Aware Proof Synthesis OOPSLA Emily First University of Massachusetts at Amherst, Yuriy Brun University of Massachusetts Amherst, Arjun Guha University of Massachusetts at Amherst Link to publication DOI Pre-print Media Attached | ||
08:00 20mTalk | Guiding Dynamic Programing via Structural Probability for Accelerating Programming by Example OOPSLA Ruyi Ji Peking University, Yican Sun Peking University, Yingfei Xiong Peking University, Zhenjiang Hu Peking University Link to publication DOI Media Attached | ||
07:00 - 08:20 | Slot 1Doctoral Symposium at SPLASH-VI Chair(s): Philipp Dominik Schubert Heinz Nixdorf Institut, Paderborn University | ||
07:00 10mDay opening | Introduction and Welcome from the Organizerssupported by Facebook Doctoral Symposium C: Philipp Dominik Schubert Heinz Nixdorf Institut, Paderborn University, C: Yvonne Coady University of Victoria, C: Chengsong Tan King's College London, C: Nafise Eskandani TU Darmstadt, C: Matthias Hauswirth Università della Svizzera italiana | ||
07:10 35mDoctoral symposium paper | Improving User Experience of Static Analysis Tools [ECOOP DS]supported by Facebook Doctoral Symposium | ||
07:45 35mDoctoral symposium paper | A Property-Based Testing Framework for Machine Learning Programs [ECOOP DS]supported by Facebook Doctoral Symposium Arnab Sharma University of Paderborn | ||
08:20 - 09:00 | |||
08:20 40mSocial Event | Meet The Speakers Meet The Speakers (MTS) | ||
09:00 - 10:20 | F-2AOOPSLA at SPLASH-I +12h Chair(s): Aviral Goel Northeastern University, Reuben Rowe University College London | ||
09:00 20mTalk | A Sparse Iteration Space Transformation Framework for Sparse Tensor Algebra OOPSLA Ryan Senanayake Reservoir Labs, Changwan Hong Massachusetts Institute of Technology, Ziheng Wang Massachusetts Institute of Technology, Amalee Wilson Stanford University, Stephen Chou Massachusetts Institute of Technology, Shoaib Kamil Adobe Research, Saman Amarasinghe Massachusetts Institute of Technology, Fredrik Kjolstad Stanford University Link to publication DOI Pre-print Media Attached File Attached | ||
09:20 20mTalk | Resolution as Intersection Subtyping via Modus Ponens OOPSLA Koar Marntirosian KU Leuven, Tom Schrijvers KU Leuven, Bruno C. d. S. Oliveira University of Hong Kong, Georgios Karachalias Tweag Link to publication DOI Media Attached | ||
09:40 20mTalk | Guided Linking: Dynamic Linking without the Costs OOPSLA Sean Bartell University of Illinois at Urbana-Champaign, Will Dietz University of Illinois at Urbana-Champaign, Vikram S. Adve University of Illinois at Urbana-Champaign Link to publication DOI Media Attached | ||
10:00 20mTalk | Towards a Unified Proof Framework for Automated Fixpoint Reasoning using Matching Logic OOPSLA Xiaohong Chen University of Illinois at Urbana-Champaign, Minh-Thai Trinh Advanced Digital Sciences Center, Nishant Rodrigues University of Illinois at Urbana-Champaign, Lucas Peña University of Illinois at Urbana-Champaign, Grigore Roşu University of Illinois at Urbana-Champaign Link to publication DOI Media Attached | ||
09:00 - 09:40 | |||
09:00 40mTalk | Performance Really MattersAMA REBASE Emery D. Berger University of Massachusetts at Amherst | ||
09:00 - 10:20 | Welcome and KeynoteSPLASH-E at SPLASH-IV Chair(s): Elisa Baniassad University of British Columbia, Charlie Curtsinger Grinnell College Keynote Conversation on Diversity, Equity and Inclusion in CS Education with Dr. Nicki Washington | ||
09:00 10mDay opening | Welcome SPLASH-E | ||
09:10 70mKeynote | SPLASH-E Keynote SPLASH-E Nicki Washington Duke University | ||
09:00 - 10:20 | Slot 2Doctoral Symposium at SPLASH-VI Chair(s): Matthias Hauswirth Università della Svizzera italiana | ||
09:00 35mDoctoral symposium paper | Gradual Value-Dependent Information Flow Control [SPLASH DS]supported by Facebook Doctoral Symposium Link to publication DOI | ||
09:40 35mDoctoral symposium paper | Machine Learning to Ease Understanding of Data Driven Compiler Optimizations [SPLASH DS]supported by Facebook Doctoral Symposium Raphael Mosaner Johannes Kepler University Linz Link to publication DOI | ||
10:20 - 11:00 | |||
10:20 40mSocial Event | Meet The Speakers Meet The Speakers (MTS) | ||
11:00 - 11:40 | |||
11:00 40mTalk | Co-Design for High-Performance Computing Software Systems REBASE Min Si Argonne National Laboratory | ||
11:00 - 12:20 | |||
11:00 30mTalk | The PL-Detective Revisited SPLASH-E Christoph Reichenbach Lund University Link to publication DOI Media Attached | ||
11:30 20mTalk | CSS Instruction Enhanced by Objective Typography SPLASH-E Karl Stolley Illinois Institute of Technology Link to publication | ||
11:50 30mTalk | Nudging Student Learning Strategies Using Formative Feedback in Automatically Graded Assessments SPLASH-E Lucas Zamprogno University of British Columbia, Reid Holmes University of British Columbia, Elisa Baniassad University of British Columbia Link to publication | ||
11:00 - 12:20 | |||
11:00 35mDoctoral symposium paper | Model-Driven Development of Mobile Applications [ECOOP DS]supported by Facebook Doctoral Symposium | ||
11:40 30mTalk | Thesis design and engineering tradeoffs [Invited Talk]supported by Facebook Doctoral Symposium Doug Lea State University of New York (SUNY) Oswego | ||
12:00 - 13:20 | |||
12:00 10mTalk | Welcome to PLATEAU! PLATEAU C: Joshua Sunshine Carnegie Mellon University, C: Elena Glassman Harvard University, C: Sarah E. Chasins University of California, Berkeley | ||
12:10 30mTalk | Static Analysis for Safer Notebook Interactions PLATEAU | ||
12:40 20mTalk | Lightening the Cognitive Load of Shell Programming PLATEAU | ||
13:00 20mTalk | The IoT Codex: A Book of Paper Engineering Techniques for Authoring and Composing Embedded Computing Applications PLATEAU | ||
12:20 - 13:00 | |||
12:20 40mSocial Event | Meet The Speakers Meet The Speakers (MTS) | ||
13:00 - 13:40 | |||
13:00 40mTalk | Variant analysisAMA REBASE | ||
13:00 - 14:20 | Panel: Engineering for Chaos -- Lessons Learned from COVID-19SPLASH-E at SPLASH-IV Chair(s): Steven D. Fraser Panelists:
| ||
13:00 80mLive Q&A | Panel Discussion SPLASH-E | ||
13:00 - 14:20 | |||
13:00 50mTalk | Self-Marketing as a Researcher [Invited Talk]supported by Facebook Doctoral Symposium Ben Hermann Technical University Dortmund Media Attached File Attached | ||
13:30 - 14:40 | |||
13:30 30mTalk | The Essence of Program Semantics Visualizers: A Three-Axis Model PLATEAU Josh Pollock MIT CSAIL, Grace Oh , Eunice Jun , Philip Guo University of California San Diego, Zachary Tatlock University of Washington, Seattle | ||
14:00 20mTalk | Documentation Generation as Information Visualization PLATEAU Will Crichton Stanford University | ||
14:20 20mTalk | How to make program understanding tools more programmer-friendly? PLATEAU | ||
14:20 - 15:00 | |||
14:20 40mSocial Event | Meet The Speakers Meet The Speakers (MTS) | ||
15:00 - 16:20 | F-5AOOPSLA at SPLASH-I +12h Chair(s): Jonathan Aldrich Carnegie Mellon University, David Grove IBM Research | ||
15:00 20mTalk | Effects as Capabilities: Effect Handlers and Lightweight Effect Polymorphism OOPSLA Jonathan Immanuel Brachthäuser EPFL, Philipp Schuster University of Tübingen, Klaus Ostermann University of Tübingen Link to publication DOI Pre-print Media Attached | ||
15:20 20mTalk | Fast Linear Programming through Transprecision Computing on Small and Sparse Data OOPSLA Tobias Grosser University of Edinburgh, Theodoros Theodoridis ETH Zurich, Maximilian Falkenstein ETH Zurich, Arjun Pitchanathan IIIT Hyderabad, Michael Kruse Argonne National Laboratory, Manuel Rigger ETH Zurich, Zhendong Su ETH Zurich, Torsten Hoefler ETH Zurich Link to publication DOI Media Attached | ||
15:00 - 15:40 | |||
15:00 40mTalk | The impact of differentiable programming: how ∂P is enabling new science in JuliaAMA REBASE Matt Bauman Julia Computing | ||
15:00 - 16:20 | F-5BOOPSLA at SPLASH-III +12h Chair(s): Aviral Goel Northeastern University, Mohsen Lesani University of California at Riverside, USA | ||
15:00 20mTalk | Programming at the Edge of Synchrony OOPSLA Cezara Drăgoi Inria / ENS / CNRS / PSL University / Informal Systems, Josef Widder Informal Systems, Damien Zufferey MPI-SWS Link to publication DOI | ||
15:20 20mTalk | Rethinking Safe Consistency in Distributed Object-Oriented Programming OOPSLA Mirko Köhler TU Darmstadt, Nafise Eskandani TU Darmstadt, Pascal Weisenburger TU Darmstadt, Alessandro Margara Politecnico di Milano, Guido Salvaneschi University of St. Gallen Link to publication DOI Media Attached | ||
15:40 20mTalk | Testing Consensus Implementations using Communication Closure OOPSLA Cezara Drăgoi Inria / ENS / CNRS / PSL University / Informal Systems, Constantin Enea University of Paris / IRIF / CNRS, Burcu Kulahcioglu Ozkan MPI-SWS, Rupak Majumdar MPI-SWS, Filip Niksic Google Link to publication DOI Media Attached | ||
15:00 - 16:20 | |||
15:00 10mTalk | Direct Manipulation for Computational Making SPLASH-E | ||
15:10 10mTalk | How student avatars can contribute to a more social environment in online courses SPLASH-E Felix Grund University of British Columbia | ||
15:20 10mTalk | Bridging the Gap Between Programming Language Theory and Mathematics Education in Computer Science SPLASH-E Peter-Michael Osera Grinnell College | ||
15:30 10mTalk | Infrastructor: Flexible, No-Infrastructure Tools for Scaling CS SPLASH-E Dan Barowy Williams College | ||
15:40 10mTalk | Group Harmony Visualisation At Scale SPLASH-E Elisa Baniassad University of British Columbia, Alice Campbell The University of British Columbia, Braxton Hall | ||
15:50 30mLive Q&A | Open Discussion with the SPLASH-E Community SPLASH-E | ||
15:00 - 16:20 | |||
15:00 60mTalk | Metamorphic Testing of Android Graphics Drivers [Invited Talk]supported by Facebook Doctoral Symposium Alastair F. Donaldson Imperial College London | ||
16:00 15mOther | Round up by the academic panelsupported by Facebook Doctoral Symposium | ||
16:15 5mDay closing | Closingsupported by Facebook Doctoral Symposium C: Nafise Eskandani TU Darmstadt, C: Yvonne Coady University of Victoria, C: Philipp Dominik Schubert Heinz Nixdorf Institut, Paderborn University, C: Chengsong Tan King's College London, C: Matthias Hauswirth Università della Svizzera italiana | ||
16:20 - 17:00 | |||
16:20 40mSocial Event | Meet The Speakers Meet The Speakers (MTS) | ||
17:00 - 18:20 | |||
17:00 80mKeynote | Towards Building Ethically-Sound Data-Driven Software Keynotes Brittany Johnson George Mason University Link to publication | ||
18:20 - 19:00 | |||
18:20 40mDay closing | Closing Session Closing | ||
19:00 - 20:20 | F-1AOOPSLA at SPLASH-I Chair(s): Tongping Liu University of Massachusetts at Amherst, Azalea Raad Imperial College London | ||
19:00 20mTalk | DiffStream: Differential Output Testing for Stream Processing Programs OOPSLA Konstantinos Kallas University of Pennsylvania, Filip Niksic Google, Caleb Stanford University of Pennsylvania, Rajeev Alur University of Pennsylvania Link to publication DOI Media Attached | ||
19:20 20mTalk | Pomsets with Preconditions: A Simple Model of Relaxed Memory OOPSLA Link to publication DOI Pre-print Media Attached | ||
19:40 20mTalk | StreamQL: A Query Language for Processing Streaming Time Series OOPSLA Link to publication DOI Media Attached | ||
20:00 20mTalk | Foundations of Empirical Memory Consistency Testing OOPSLA Jake Kirkham Princeton University, Tyler Sorensen University of California at Santa Cruz, Esin Tureci Princeton University, Margaret Martonosi Princeton University Link to publication DOI Media Attached | ||
19:00 - 19:40 | |||
19:00 40mTalk | PL and HCI: Better TogetherAMA REBASE Elena Glassman Harvard University | ||
19:00 - 20:20 | F-1BOOPSLA at SPLASH-III Chair(s): Steve Blackburn Australian National University, Alex Potanin Victoria University of Wellington | ||
19:00 20mTalk | Incremental Predicate Analysis for Regression Verification OOPSLA Link to publication DOI Media Attached | ||
19:20 20mTalk | Learning Graph-Based Heuristics for Pointer Analysis without Handcrafting Application-Specific Features OOPSLA Link to publication DOI Media Attached | ||
19:40 20mTalk | TacTok: Semantics-Aware Proof Synthesis OOPSLA Emily First University of Massachusetts at Amherst, Yuriy Brun University of Massachusetts Amherst, Arjun Guha University of Massachusetts at Amherst Link to publication DOI Pre-print Media Attached | ||
20:00 20mTalk | Guiding Dynamic Programing via Structural Probability for Accelerating Programming by Example OOPSLA Ruyi Ji Peking University, Yican Sun Peking University, Yingfei Xiong Peking University, Zhenjiang Hu Peking University Link to publication DOI Media Attached | ||
20:20 - 21:00 | |||
20:20 40mSocial Event | Meet The Speakers Meet The Speakers (MTS) | ||
21:00 - 22:20 | F-2AOOPSLA at SPLASH-I Chair(s): Pranav Kant University of Utah, Atsushi Igarashi Kyoto University, Japan | ||
21:00 20mTalk | A Sparse Iteration Space Transformation Framework for Sparse Tensor Algebra OOPSLA Ryan Senanayake Reservoir Labs, Changwan Hong Massachusetts Institute of Technology, Ziheng Wang Massachusetts Institute of Technology, Amalee Wilson Stanford University, Stephen Chou Massachusetts Institute of Technology, Shoaib Kamil Adobe Research, Saman Amarasinghe Massachusetts Institute of Technology, Fredrik Kjolstad Stanford University Link to publication DOI Pre-print Media Attached File Attached | ||
21:20 20mTalk | Resolution as Intersection Subtyping via Modus Ponens OOPSLA Koar Marntirosian KU Leuven, Tom Schrijvers KU Leuven, Bruno C. d. S. Oliveira University of Hong Kong, Georgios Karachalias Tweag Link to publication DOI Media Attached | ||
21:40 20mTalk | Guided Linking: Dynamic Linking without the Costs OOPSLA Sean Bartell University of Illinois at Urbana-Champaign, Will Dietz University of Illinois at Urbana-Champaign, Vikram S. Adve University of Illinois at Urbana-Champaign Link to publication DOI Media Attached | ||
22:00 20mTalk | Towards a Unified Proof Framework for Automated Fixpoint Reasoning using Matching Logic OOPSLA Xiaohong Chen University of Illinois at Urbana-Champaign, Minh-Thai Trinh Advanced Digital Sciences Center, Nishant Rodrigues University of Illinois at Urbana-Champaign, Lucas Peña University of Illinois at Urbana-Champaign, Grigore Roşu University of Illinois at Urbana-Champaign Link to publication DOI Media Attached | ||
21:00 - 21:40 | |||
21:00 40mTalk | Performance Really MattersAMA REBASE Emery D. Berger University of Massachusetts at Amherst | ||
22:20 - 23:00 | |||
22:20 40mSocial Event | Meet The Speakers Meet The Speakers (MTS) | ||
23:00 - 23:40 | |||
23:00 40mTalk | Co-Design for High-Performance Computing Software Systems REBASE Min Si Argonne National Laboratory | ||
Sat 21 NovDisplayed time zone: Central Time (US & Canada) change
Sat 21 Nov
Displayed time zone: Central Time (US & Canada) change
00:20 - 01:00 | |||
00:20 40mSocial Event | Meet The Speakers Meet The Speakers (MTS) | ||
01:00 - 01:40 | |||
01:00 40mTalk | Variant analysisAMA REBASE | ||
02:20 - 03:00 | |||
02:20 40mSocial Event | Meet The Speakers Meet The Speakers (MTS) | ||
03:00 - 04:20 | |||
03:00 20mTalk | Effects as Capabilities: Effect Handlers and Lightweight Effect Polymorphism OOPSLA Jonathan Immanuel Brachthäuser EPFL, Philipp Schuster University of Tübingen, Klaus Ostermann University of Tübingen Link to publication DOI Pre-print Media Attached | ||
03:20 20mTalk | Fast Linear Programming through Transprecision Computing on Small and Sparse Data OOPSLA Tobias Grosser University of Edinburgh, Theodoros Theodoridis ETH Zurich, Maximilian Falkenstein ETH Zurich, Arjun Pitchanathan IIIT Hyderabad, Michael Kruse Argonne National Laboratory, Manuel Rigger ETH Zurich, Zhendong Su ETH Zurich, Torsten Hoefler ETH Zurich Link to publication DOI Media Attached | ||
03:00 - 04:20 | F-5BOOPSLA at SPLASH-III Chair(s): Sophia Drossopoulou Imperial College London, Julien Lange Royal Holloway University of London | ||
03:00 20mTalk | Programming at the Edge of Synchrony OOPSLA Cezara Drăgoi Inria / ENS / CNRS / PSL University / Informal Systems, Josef Widder Informal Systems, Damien Zufferey MPI-SWS Link to publication DOI | ||
03:20 20mTalk | Rethinking Safe Consistency in Distributed Object-Oriented Programming OOPSLA Mirko Köhler TU Darmstadt, Nafise Eskandani TU Darmstadt, Pascal Weisenburger TU Darmstadt, Alessandro Margara Politecnico di Milano, Guido Salvaneschi University of St. Gallen Link to publication DOI Media Attached | ||
03:40 20mTalk | Testing Consensus Implementations using Communication Closure OOPSLA Cezara Drăgoi Inria / ENS / CNRS / PSL University / Informal Systems, Constantin Enea University of Paris / IRIF / CNRS, Burcu Kulahcioglu Ozkan MPI-SWS, Rupak Majumdar MPI-SWS, Filip Niksic Google Link to publication DOI Media Attached | ||
04:20 - 05:00 | |||
04:20 40mSocial Event | Meet The Speakers Meet The Speakers (MTS) | ||
05:00 - 06:20 | |||
05:00 80mKeynote | Towards Building Ethically-Sound Data-Driven Software Keynotes Brittany Johnson George Mason University Link to publication | ||
06:20 - 07:00 | |||
06:20 40mDay closing | Closing Session Closing | ||