SPLASH 2021 (series) /
SPLASH 2021 Program
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Sun 17 OctDisplayed time zone: Central Time (US & Canada) change
Sun 17 Oct
Displayed time zone: Central Time (US & Canada) change
07:40 - 09:00 | |||
07:40 15mTalk | A Concurrency Model for JavaScript with Cooperative CancellationVirtual SLE | ||
07:55 15mTalk | There Is More Than One Way to Zen Your PythonVirtual SLE | ||
08:10 15mTalk | Getting Grammars into Shape for Block-based EditorsVirtual SLE Mauricio Verano Merino Eindhoven University of Technology, Tom Beckmann Hasso Plattner Institute, Tijs van der Storm CWI; University of Groningen, Robert Hirschfeld Hasso Plattner Institute (HPI), University of Potsdam, Germany, Jurgen Vinju CWI; Eindhoven University of Technology Pre-print | ||
08:25 15mTalk | Extracting The Power of Dependent TypesVirtual GPCE | ||
08:40 20mLive Q&A | Discussion, Questions, Answers GPCE | ||
09:00 - 10:20 | |||
09:00 15mTalk | Accelerating Program Analyses in Datalog by Merging Library FactsVirtual SAS Yifan Chen Peking University, Chenyang Yang , Xin Zhang Peking University, Yingfei Xiong Peking University, Hao Tang Peking University, Xiaoyin Wang University of Texas at San Antonio, Lu Zhang Peking University | ||
09:15 15mTalk | Exploiting Verified Neural Networks via Floating Point Numerical ErrorVirtual SAS Pre-print | ||
09:30 15mTalk | Verifying Low-dimensional Input Neural Networks via Input QuantizationVirtual SAS Kai Jia Massachusetts Institute of Technology, Martin C. Rinard Massachusetts Institute of Technology Pre-print | ||
09:45 15mTalk | A Multi-Language Static Analysis of Python Programs with Native C ExtensionsVirtual SAS Raphaël Monat Sorbonne Université — LIP6, Abdelraouf Ouadjaout Sorbonne Université, Antoine Miné Sorbonne Université Pre-print Media Attached | ||
10:00 20mLive Q&A | Session 1A Discussion, Questions and Answers Virtual SAS | ||
09:00 - 10:20 | |||
09:00 20mDay opening | SLE/GPCE Joint WelcomeVirtual GPCE Coen De Roover Vrije Universiteit Brussel, Emma Söderberg Lund University, Dimitris Kolovos University of York | ||
09:20 30mKeynote | SLE Keynote - Integrating Usability into Programming Language DesignIn-PersonKeynote SLE Jonathan Aldrich Carnegie Mellon University | ||
09:50 15mTalk | Monilogging for Executable Domain-Specific LanguagesVirtual SLE Dorian Leroy University of Rennes 1, Inria, France, Benoît Lelandais CEA/DAM/DIF, France, Marie-Pierre Oudot CEA/DAM/DIF, France, Benoit Combemale University of Rennes; Inria; IRISA Pre-print | ||
10:05 8mTalk | Vision: The Next 700 Language WorkbenchesVirtual SLE Mikhail Barash University of Bergen | ||
10:13 7mLive Q&A | Discussion, Questions, Answers GPCE | ||
09:00 - 10:20 | |||
09:00 60mKeynote | Solidifying and Advancing the Software FoundationsVirtual APLAS Keynote Talks Zhendong Su ETH Zurich | ||
09:00 - 10:20 | |||
09:40 20mFull-paper | Safer Exceptions for Scala Scala Martin Odersky EPFL, Aleksander Boruch-Gruszecki EPFL, Jonathan Immanuel Brachthäuser EPFL, Edward Lee University of Waterloo, Ondřej Lhoták University of Waterloo DOI | ||
10:00 20mFull-paper | Pathless Scala: A Calculus for the Rest of Scala Scala Guillaume Martres EPFL DOI Pre-print File Attached | ||
09:00 - 10:20 | |||
09:00 10mDay opening | Opening AGERE Elias Castegren Uppsala University, Sweden, Simon Fowler University of Glasgow, Joeri De Koster Vrije Universiteit Brussel, Belgium | ||
09:10 60mKeynote | Actors! And now? An Implementer's Perspective on High-level Concurrency Models, Debugging Tools, and the Future of Automatic Bug Mitigation AGERE Stefan Marr University of Kent Pre-print Media Attached | ||
09:00 - 10:20 | BCNC Session 1BCNC at Zurich G Chair(s): Ahmed ElBatanony Innopolis University, Giancarlo Succi Innopolis University | ||
09:00 20mTalk | Volatility Metric to Detect Anomalies in Source Code Repositories BCNC Yegor Bugayenko Huawei DOI | ||
09:20 20mTalk | Rapid Prototyping of Chatbots for Data Exploration BCNC Giuseppe Desolda University of Bari, Rosa Lanzilotti University of Bari, Maristella Matera Politecnico di Milano, Emanuele Pucci Awhy DOI Media Attached | ||
09:40 20mTalk | Combining Object-Oriented Paradigm and Controlled Natural Language for Requirements Specification BCNC Yegor Bugayenko Huawei DOI | ||
10:20 - 10:50 | |||
10:20 30mSocial Event | PLTea PLTea | ||
10:50 - 12:10 | Analysis / Synthesis APLAS Research Papers at Zurich D +8h Chair(s): Jiasi Shen Massachusetts Institute of Technology | ||
10:50 15mTalk | Scalable and Modular Robustness Analysis of Deep Neural NetworksVirtual APLAS Research Papers Yuyi Zhong School of Computing, National University of Singapore, Quang-Trung Ta National University of Singapore, Tianzuo Luo School of Computing, National University of Singapore, Fanlong ZHANG School of Computer, Guangdong University of Technology, Siau-Cheng Khoo National University of Singapore | ||
11:05 15mTalk | Server-Side Computation of Package Dependencies in Package-Management SystemsVirtual APLAS Research Papers | ||
11:20 10mTalk | PyCT: A Python Concolic TesterVirtual APLAS Research Papers Wei-Lun Tsai Academia Sinica, Wei-Cheng Wu University of Southern California, USA, Di-De Yen Academia Sinica, Fang Yu National Chengchi University, Yu-Fang Chen Academia Sinica, Taiwan | ||
11:30 10mTalk | Program Synthesis for Musicians: A Usability Testbed for Temporal Logic SpecificationsVirtual APLAS Research Papers Wonhyuk Choi Columbia University, Michel Vazirani Columbia University, Mark Santolucito Barnard College, Columbia University, USA | ||
11:40 10mTalk | Function Pointer Eliminator for C ProgramsVirtual APLAS Research Papers Daisuke Kimura Toho University , Mahmudul Faisal Al Ameen University of Tokyo, Makoto Tatsuta National Institute of Informatics, Koji Nakazawa Nagoya University | ||
11:50 20mLive Q&A | Q&A and discussionVirtual APLAS Research Papers | ||
10:50 - 12:10 | |||
10:50 20mFull-paper | Implementing Path-Dependent GADT Reasoning for Scala 3 Scala Yichen Xu Beijing University of Posts and Telecommunications, Aleksander Boruch-Gruszecki EPFL, Lionel Parreaux Hong Kong University of Science and Technology DOI | ||
11:10 20mFull-paper | Safe Object Initialization, Abstractly Scala Fengyun Liu Oracle Labs, Ondřej Lhoták University of Waterloo, Enze Xing University of Waterloo, Cao Nguyên Pham University of Waterloo DOI | ||
10:50 - 12:10 | |||
10:50 25mFull-paper | Session Types in Elixir AGERE DOI File Attached | ||
11:15 25mTalk | Towards Practical Protocol Verification via Minimal Orchestration in ACP AGERE File Attached | ||
10:50 - 12:10 | BCNC Session 2BCNC at Zurich G Chair(s): Ahmed ElBatanony Innopolis University, Giancarlo Succi Innopolis University | ||
10:50 20mFull-paper | The Pareto Distribution of Software Features and No-Code BCNC Link to publication DOI | ||
11:10 20mTalk | Is Neural Machine Translation Approach Accurate Enough for Coding Assistance? BCNC Yuka Akinobu Japan Women's University, Momoka Obara Japan Women's University, Teruno Kajiura Japan Women's University, Shiho Takano Japan Women's University, Miyu Tamura Japan Women's University, Mayu Tomioka Japan Women's University, Kimio Kuramitsu Japan Women's University DOI | ||
11:30 20mFull-paper | Towards the No-Code Era: A Vision and Plan for the Future of Software Development BCNC Link to publication DOI | ||
13:50 - 15:10 | |||
13:50 15mTalk | Static Analysis of Endian Portability by Abstract InterpretationVirtual SAS David Delmas Airbus & Sorbonne Université, Abdelraouf Ouadjaout Sorbonne Université, Antoine Miné Sorbonne Université | ||
14:05 15mTalk | Verified Functional Programming of an Abstract InterpreterVirtual SAS | ||
14:30 15mTalk | Data Abstraction: A General Framework to Handle Program Verification of Data StructuresVirtual SAS | ||
14:45 25mLive Q&A | Session 3A Discussion, Questions and AnswersVirtual SAS | ||
13:50 - 15:10 | |||
13:50 15mTalk | A Variational Database Management SystemVirtual GPCE Parisa Ataei Oregon State University, Fariba Khan Oregon State University, Eric Walkingshaw Unaffiliated | ||
14:05 15mTalk | The Life Cycle of Features in Highly-Configurable Software Systems Evolving in Space and TimeVirtual GPCE Gabriela Karoline Michelon Johannes Kepler University Linz, Wesley Assunção Pontifical Catholic University of Rio de Janeiro (PUC-Rio), David Obermann Johannes Kepler University Linz, Lukas Linsbauer TU Braunschweig, Paul Grünbacher Johannes Kepler University Linz, Austria, Alexander Egyed Johannes Kepler University Linz | ||
14:20 15mTalk | Towards Supporting SPL Engineering in Low-Code Platforms using a DSL ApproachVirtual GPCE Alexandre Bragança Institute of Engineering of Porto – Polytechnic of Porto (ISEP/IPP), Isabel Azevedo Games, Interaction and Learning Technologies (GILT) - Institute of Engineering of Porto – Polytechnic of Porto (ISEP/IPP), Nuno Bettencourt Interdisciplinary Studies Research Center (ISRC) – Institute of Engineering of Porto – Polytechnic of Porto (ISEP/IPP), Carlos Morais NumbersBelieve, Diogo Teixeira NumbersBelieve, David Caetano NumbersBelieve | ||
14:35 15mTalk | On-Stack Replacement for Program Generators and Source-to-Source CompilersVirtual GPCE | ||
14:50 20mLive Q&A | Discussion, Questions, Answers GPCE | ||
13:50 - 15:10 | Compilation / TransformationAPLAS Research Papers at Zurich D +8h Chair(s): Sam Lindley The University of Edinburgh, UK | ||
13:50 15mTalk | A Dictionary-Passing Translation of Featherweight GoVirtual APLAS Research Papers Martin Sulzmann Karlsruhe University of Applied Sciences, Germany, Stefan Wehr Offenburg University of Applied Sciences | ||
14:05 15mTalk | A compilation method for dynamic typing in MLVirtual APLAS Research Papers | ||
14:20 15mTalk | Fully Abstract and Robust Compilation and How to Reconcile the Two, AbstractlyVirtual APLAS Research Papers Carmine Abate Max Planck Institute for Security and Privacy, Bochum, Germany, Matteo Busi Università di Pisa - Dipartimento di Informatica, Stelios Tsampas FAU Erlangen-Nuremberg, INF 8 | ||
14:35 15mTalk | Hybrid quantum-classical circuit simplification with the ZX-calculusVirtual APLAS Research Papers Agustín Borgna Université de Lorraine, CNRS, Inria, LORIA F 54000 Nancy, France and Université Paris-Saclay, CNRS, Laboratoire Méthodes Formelles, 91405, Orsay, France, Simon Perdrix Université de Lorraine, CNRS, Inria, LORIA F 54000 Nancy, France, Benoit Valiron LRI, CentraleSupelec, Univ. Paris Saclay | ||
14:50 20mLive Q&A | Q&A and discussionVirtual APLAS Research Papers | ||
13:50 - 15:10 | |||
13:50 25mFull-paper | Contract-Based Return-Value Commutativity: Safely Exploiting Contract-Based Commutativity for Faster Serializable Transactions AGERE Tim Soethout ING Bank; CWI, Tijs van der Storm CWI; University of Groningen, Jurgen Vinju CWI; Eindhoven University of Technology DOI Pre-print File Attached | ||
14:15 25mTalk | A model of actors and grey failures AGERE Laura Bocchi University of Kent, Julien Lange Royal Holloway University of London, Simon Thompson IOHK, University of Kent, and ELTE, A. Laura Voinea University of Kent, UK | ||
14:40 25mFull-paper | What’s the Problem? Interrogating Actors to Identify the Root Cause of Concurrency Bugs AGERE Carmen Torres Lopez Vrije Universiteit Brussel, Louise Van Verre Vrije Universiteit Brussel, Elisa Gonzalez Boix Vrije Universiteit Brussel DOI Pre-print File Attached | ||
15:05 5mDay closing | Closing AGERE Elias Castegren Uppsala University, Sweden, Simon Fowler University of Glasgow, Joeri De Koster Vrije Universiteit Brussel, Belgium | ||
15:10 - 15:40 | |||
15:10 30mSocial Event | PLTea PLTea | ||
15:40 - 17:00 | |||
15:40 80mKeynote | Oracle Parfait: The Flavour of Real-World Vulnerability Detection and Intelligent ConfigurationInvited TalkVirtual SAS Cristina Cifuentes Oracle Labs | ||
15:40 - 17:00 | |||
15:40 15mTalk | A Concurrency Model for JavaScript with Cooperative CancellationVirtual SLE | ||
15:55 15mTalk | There Is More Than One Way to Zen Your PythonVirtual SLE | ||
16:10 15mTalk | Getting Grammars into Shape for Block-based EditorsVirtual SLE Mauricio Verano Merino Eindhoven University of Technology, Tom Beckmann Hasso Plattner Institute, Tijs van der Storm CWI; University of Groningen, Robert Hirschfeld Hasso Plattner Institute (HPI), University of Potsdam, Germany, Jurgen Vinju CWI; Eindhoven University of Technology Pre-print | ||
16:25 15mTalk | Extracting The Power of Dependent TypesVirtual GPCE | ||
16:40 20mLive Q&A | Discussion, Questions, Answers GPCE | ||
17:00 - 18:20 | |||
17:00 15mTalk | Accelerating Program Analyses in Datalog by Merging Library FactsVirtual SAS Yifan Chen Peking University, Chenyang Yang , Xin Zhang Peking University, Yingfei Xiong Peking University, Hao Tang Peking University, Xiaoyin Wang University of Texas at San Antonio, Lu Zhang Peking University | ||
17:15 15mTalk | Exploiting Verified Neural Networks via Floating Point Numerical ErrorVirtual SAS Pre-print | ||
17:30 15mTalk | Verifying Low-dimensional Input Neural Networks via Input QuantizationVirtual SAS Kai Jia Massachusetts Institute of Technology, Martin C. Rinard Massachusetts Institute of Technology Pre-print | ||
17:45 15mTalk | A Multi-Language Static Analysis of Python Programs with Native C ExtensionsVirtual SAS Raphaël Monat Sorbonne Université — LIP6, Abdelraouf Ouadjaout Sorbonne Université, Antoine Miné Sorbonne Université Pre-print Media Attached | ||
18:00 20mLive Q&A | Session 1A Discussion, Questions and Answers Virtual SAS | ||
17:00 - 18:20 | |||
17:00 20mDay opening | SLE/GPCE Joint WelcomeVirtual GPCE Coen De Roover Vrije Universiteit Brussel, Emma Söderberg Lund University, Dimitris Kolovos University of York | ||
17:20 30mKeynote | SLE Keynote - Integrating Usability into Programming Language DesignIn-PersonKeynote SLE Jonathan Aldrich Carnegie Mellon University | ||
17:50 15mTalk | Monilogging for Executable Domain-Specific LanguagesVirtual SLE Dorian Leroy University of Rennes 1, Inria, France, Benoît Lelandais CEA/DAM/DIF, France, Marie-Pierre Oudot CEA/DAM/DIF, France, Benoit Combemale University of Rennes; Inria; IRISA Pre-print | ||
18:05 8mTalk | Vision: The Next 700 Language WorkbenchesVirtual SLE Mikhail Barash University of Bergen | ||
18:13 7mLive Q&A | Discussion, Questions, Answers GPCE | ||
17:00 - 18:20 | |||
17:00 60mKeynote | Solidifying and Advancing the Software FoundationsVirtual APLAS Keynote Talks Zhendong Su ETH Zurich | ||
18:50 - 20:10 | |||
18:50 15mTalk | Scalable and Modular Robustness Analysis of Deep Neural NetworksVirtual APLAS Research Papers Yuyi Zhong School of Computing, National University of Singapore, Quang-Trung Ta National University of Singapore, Tianzuo Luo School of Computing, National University of Singapore, Fanlong ZHANG School of Computer, Guangdong University of Technology, Siau-Cheng Khoo National University of Singapore | ||
19:05 15mTalk | Server-Side Computation of Package Dependencies in Package-Management SystemsVirtual APLAS Research Papers | ||
19:20 10mTalk | PyCT: A Python Concolic TesterVirtual APLAS Research Papers Wei-Lun Tsai Academia Sinica, Wei-Cheng Wu University of Southern California, USA, Di-De Yen Academia Sinica, Fang Yu National Chengchi University, Yu-Fang Chen Academia Sinica, Taiwan | ||
19:30 10mTalk | Program Synthesis for Musicians: A Usability Testbed for Temporal Logic SpecificationsVirtual APLAS Research Papers Wonhyuk Choi Columbia University, Michel Vazirani Columbia University, Mark Santolucito Barnard College, Columbia University, USA | ||
19:40 10mTalk | Function Pointer Eliminator for C ProgramsVirtual APLAS Research Papers Daisuke Kimura Toho University , Mahmudul Faisal Al Ameen University of Tokyo, Makoto Tatsuta National Institute of Informatics, Koji Nakazawa Nagoya University | ||
19:50 20mLive Q&A | Q&A and discussionVirtual APLAS Research Papers | ||
20:10 - 20:40 | |||
20:10 30mSocial Event | PLTea PLTea | ||
21:50 - 23:10 | |||
21:50 15mTalk | Static Analysis of Endian Portability by Abstract InterpretationVirtual SAS David Delmas Airbus & Sorbonne Université, Abdelraouf Ouadjaout Sorbonne Université, Antoine Miné Sorbonne Université | ||
22:05 15mTalk | Verified Functional Programming of an Abstract InterpreterVirtual SAS | ||
22:30 15mTalk | Data Abstraction: A General Framework to Handle Program Verification of Data StructuresVirtual SAS | ||
22:45 25mLive Q&A | Session 3A Discussion, Questions and AnswersVirtual SAS | ||
21:50 - 23:10 | |||
21:50 15mTalk | A Variational Database Management SystemVirtual GPCE Parisa Ataei Oregon State University, Fariba Khan Oregon State University, Eric Walkingshaw Unaffiliated | ||
22:05 15mTalk | The Life Cycle of Features in Highly-Configurable Software Systems Evolving in Space and TimeVirtual GPCE Gabriela Karoline Michelon Johannes Kepler University Linz, Wesley Assunção Pontifical Catholic University of Rio de Janeiro (PUC-Rio), David Obermann Johannes Kepler University Linz, Lukas Linsbauer TU Braunschweig, Paul Grünbacher Johannes Kepler University Linz, Austria, Alexander Egyed Johannes Kepler University Linz | ||
22:20 15mTalk | Towards Supporting SPL Engineering in Low-Code Platforms using a DSL ApproachVirtual GPCE Alexandre Bragança Institute of Engineering of Porto – Polytechnic of Porto (ISEP/IPP), Isabel Azevedo Games, Interaction and Learning Technologies (GILT) - Institute of Engineering of Porto – Polytechnic of Porto (ISEP/IPP), Nuno Bettencourt Interdisciplinary Studies Research Center (ISRC) – Institute of Engineering of Porto – Polytechnic of Porto (ISEP/IPP), Carlos Morais NumbersBelieve, Diogo Teixeira NumbersBelieve, David Caetano NumbersBelieve | ||
22:35 15mTalk | On-Stack Replacement for Program Generators and Source-to-Source CompilersVirtual GPCE | ||
22:50 20mLive Q&A | Discussion, Questions, Answers GPCE | ||
21:50 - 23:10 | Compilation / Transformation (mirror)APLAS Research Papers at Zurich D Chair(s): Xin Zhang Peking University | ||
21:50 15mTalk | A Dictionary-Passing Translation of Featherweight GoVirtual APLAS Research Papers Martin Sulzmann Karlsruhe University of Applied Sciences, Germany, Stefan Wehr Offenburg University of Applied Sciences | ||
22:05 15mTalk | A compilation method for dynamic typing in MLVirtual APLAS Research Papers | ||
22:20 15mTalk | Fully Abstract and Robust Compilation and How to Reconcile the Two, AbstractlyVirtual APLAS Research Papers Carmine Abate Max Planck Institute for Security and Privacy, Bochum, Germany, Matteo Busi Università di Pisa - Dipartimento di Informatica, Stelios Tsampas FAU Erlangen-Nuremberg, INF 8 | ||
22:35 15mTalk | Hybrid quantum-classical circuit simplification with the ZX-calculusVirtual APLAS Research Papers Agustín Borgna Université de Lorraine, CNRS, Inria, LORIA F 54000 Nancy, France and Université Paris-Saclay, CNRS, Laboratoire Méthodes Formelles, 91405, Orsay, France, Simon Perdrix Université de Lorraine, CNRS, Inria, LORIA F 54000 Nancy, France, Benoit Valiron LRI, CentraleSupelec, Univ. Paris Saclay | ||
22:50 20mLive Q&A | Q&A and discussionVirtual APLAS Research Papers | ||
Mon 18 OctDisplayed time zone: Central Time (US & Canada) change
Mon 18 Oct
Displayed time zone: Central Time (US & Canada) change
07:40 - 09:00 | |||
07:40 15mTalk | Automated Verification of the Parallel Bellman--Ford AlgorithmVirtual SAS Mohsen Safari University of Twente, The Netherlands, Wytse Oortwijn ETH Zurich, Switzerland, Marieke Huisman University of Twente | ||
07:55 15mTalk | Backward Symbolic Execution with Loop FoldingVirtual SAS | ||
08:10 15mTalk | Improving Thread-Modular Abstract InterpretationVirtual SAS Michael Schwarz Technische Universität München, Simmo Saan University of Tartu, Estonia, Helmut Seidl Technische Universität München, Kalmer Apinis University of Tartu, Estonia, Julian Erhard , Vesal Vojdani University of Tartu Pre-print Media Attached | ||
08:25 15mTalk | Symbolic Automatic Relations and Their Applications to SMT and CHC SolvingVirtual SAS Takumi Shimoda The University of Tokyo, Naoki Kobayashi University of Tokyo, Japan, Ken Sakayori The University of Tokyo, Ryosuke Sato University of Tokyo, Japan | ||
08:40 20mLive Q&A | Session 4B Discussion, Questions and Answers SAS | ||
07:40 - 09:00 | |||
07:40 15mTalk | Leveraging Relational Concept Analysis for Automated Feature Location in Software Product LinesVirtual GPCE Nicolas Hlad LIRMM, CNRS, Bérénice Lemoine LIRMM, CNRS, Marianne Huchard LIRMM, Abdelhak Seriai LIRMM, CNRS and University of Montpellier | ||
07:55 15mTalk | FIDDLR: Streamlining Reuse with Concern-Specific Modelling LanguagesVirtual SLE Maximilian Schiedermeier McGill University, Jörg Kienzle McGill University, Canada, Bettina Kemme McGill University, Canada | ||
08:10 15mTalk | Lifted Termination Analysis by Abstract Interpretation and its ApplicationsVirtual GPCE Aleksandar S. Dimovski Mother Teresa University, Skopje | ||
08:25 15mTalk | Delta-based Verification of Software Product FamiliesVirtual GPCE Marco Scaletta Technische Universität Darmstadt, Reiner Hähnle Technical University of Darmstadt, Dominic Steinhöfel CISPA Helmholtz Center for Information Security, Richard Bubel Technische Universität Darmstadt | ||
08:40 20mLive Q&A | Discussion, Questions and Answers SLE | ||
09:00 - 10:20 | Invited talk 2APLAS Keynote Talks at Zurich D +8h Chair(s): Atsushi Igarashi Kyoto University, Japan | ||
09:00 60mKeynote | A Separation Logic for Probabilistic IndependenceVirtual APLAS Keynote Talks Justin Hsu University of Wisconsin-Madison, USA | ||
09:00 - 10:20 | LanguagesCONFLANG at Zurich E Chair(s): Nicolas Jeannerod Tweag I/O, Mark Santolucito Barnard College, Columbia University, USA | ||
09:00 5mTalk | A Language for Configuring Security Policies CONFLANG Gilad Bracha NOT_PROVIDED Media Attached | ||
09:05 5mTalk | Provenance of Configuration Programming Language muPuppet CONFLANG Weili Fu University of Freiburg, Germany, Paul Anderson University of Edinburgh, James Cheney University of Edinburgh; Alan Turing Institute Media Attached | ||
09:10 5mTalk | The Pitfalls of Ansible’s Variable and Template Expression Semantics CONFLANG Media Attached | ||
09:15 5mTalk | Typing in Nickel and elsewhere CONFLANG Yann Hamdaoui Tweag Media Attached | ||
09:20 60mLive Q&A | Languages: Q&A and discussion CONFLANG | ||
09:00 - 10:20 | |||
09:00 20mTalk | Introduction DSM Jeff Gray University of Alabama, Matti Rossi Aalto University School of Business, Jonathan Sprinkle University of Arizona, Juha-Pekka Tolvanen MetaCase | ||
09:20 20mTalk | MOLEGA: Modeling Language for Educational Card Games DSM DOI | ||
09:40 20mTalk | PrintTalk: A Constraint-Based Imperative DSL for 3D Printing DSM Jef Jacobs Vrije Universiteit Brussel, Jens Nicolay Vrije Universiteit Brussel, Christophe De Troyer Vrije Universiteit Brussel, Wolfgang De Meuter Vrije Universiteit Brussel DOI | ||
10:00 20mTalk | Industrial Experiences with the Evolution of a DSL DSM Mathijs Schuts Philips; Radboud University Nijmegen, Marco Alonso Philips, Jozef Hooman TNO; Radboud University Nijmegen DOI | ||
09:00 - 10:20 | |||
09:00 10mDay opening | Welcome to REBLS REBLS Louis Mandel IBM Research | ||
09:10 60mKeynote | Specification and End-to-End Proof of a Reactive Language and Its Compiler (Invited Talk)Keynote REBLS Timothy Bourke INRIA DOI | ||
10:20 - 10:50 | AMA SessionAsk Me Anything (AMA) at Zurich C Chair(s): Talia Ringer University of Illinois at Urbana-Champaign | ||
10:20 30mLive Q&A | Invited SpeakerAMAVirtual Ask Me Anything (AMA) Heidy Khlaaf University College London | ||
10:50 - 12:10 | |||
10:50 15mTalk | Compositional Verification of Smart Contracts Through Communication AbstractionVirtual SAS Scott Wesley University of Waterloo, Canada, Maria Christakis MPI-SWS, Arie Gurfinkel University of Waterloo, Jorge A. Navas SRI International, Richard Trefler University of Waterloo, Canada, Valentin Wüstholz ConsenSys Pre-print | ||
11:05 15mTalk | Selectively-Amortized Resource BoundingVirtual SAS Tianhan Lu University of Colorado Boulder, Bor-Yuh Evan Chang University of Colorado Boulder & Amazon, Ashutosh Trivedi Pre-print | ||
11:20 15mTalk | Thread-modular Analysis of Release-Acquire ConcurrencyVirtual SAS | ||
11:35 35mLive Q&A | Session 2B Discussion, Questions and Answers SAS | ||
10:50 - 12:10 | SLE/GPCE Session 6SLE / GPCE at Zurich C +8h Chair(s): Vadim Zaytsev University of Twente, Netherlands | ||
10:50 15mTalk | Fast Incremental PEG ParsingVirtual SLE | ||
11:05 15mTalk | Faster Reachability Analysis for LR(1) ParsersVirtual SLE | ||
11:20 15mTalk | Automatic Grammar RepairVirtual SLE Moeketsi Raselimo Stellenbosch University, South Africa, Bernd Fischer Stellenbosch University, South Africa | ||
11:35 8mTalk | Vision: Bias in Systematic Grammar-Based Test Suite Construction AlgorithmsVirtual SLE Christoff Rossouw Stellenbosch University, South Africa, Bernd Fischer Stellenbosch University, South Africa | ||
11:43 8mTalk | Compiling pattern matching to in-place modificationsVirtual GPCE | ||
11:51 19mLive Q&A | Discussion, Questions and Answers SLE | ||
10:50 - 12:10 | |||
10:50 15mTalk | A Typed Programmatic Interface to Contracts on the BlockchainVirtual APLAS Research Papers | ||
11:05 15mTalk | Adaptable Traces for Program ExplanationsVirtual APLAS Research Papers Divya Bajaj Oregon State University, Martin Erwig Oregon State University, Danila Fedorin Oregon State University, Kai Gay Oregon State University | ||
11:20 15mTalk | Latent Effects for Reusable Language ComponentsVirtual APLAS Research Papers Birthe van den Berg KU Leuven, Casper Bach Delft University of Technology, Tom Schrijvers KU Leuven, Nicolas Wu Imperial College London, UK | ||
11:35 15mTalk | The Choice Construct in the Soufflé LanguageVirtual APLAS Research Papers Xiaowen Hu The University of Sydney, Joshua Karp The University of Sydney, David Zhao The University of Sydney, Abdul Zreika The University of Sydney, Xi Wu The University of Sydney, Bernhard Scholz University of Sydney | ||
11:50 20mLive Q&A | Q&A and discussionVirtual APLAS Research Papers | ||
10:50 - 12:10 | Configuration managementCONFLANG at Zurich E Chair(s): Jürgen Cito TU Wien and Facebook, Marcel van Lohuizen CUE | ||
10:50 5mTalk | Analyzing Infrastructure as Code to Prevent Intra-update Sniping Vulnerabilities CONFLANG Julien Lepiller Yale University Media Attached | ||
10:55 5mTalk | Continuous Configuration Testing CONFLANG Tianyin Xu University of Illinois at Urbana-Champaign Media Attached | ||
11:00 5mTalk | Intra-update Sniping Vulnerabilities in Smart Contracts CONFLANG Mark Santolucito Barnard College, Columbia University, USA, Shmuel Berman Columbia University, Brennen Yu Columbia University, USA, Stella Lessler Media Attached | ||
11:05 5mTalk | Local Expectation Testing for Terraform CONFLANG | ||
11:10 5mTalk | Scuemata: A Framework for Evolvable, Composable Data Schema CONFLANG Sam Boyer Grafana Labs Media Attached | ||
11:15 55mLive Q&A | Configuration management: Q&A and discussion CONFLANG | ||
10:50 - 12:10 | Verification and validation, ToolingDSM at Zurich F Chair(s): Matti Rossi Aalto University School of Business Verification and validation with DSM, Tool development, Workshop summary and discussion | ||
10:50 20mTalk | Co-designing DSL Quality Assurance Measures for and with Non-programming Experts DSM Holger Borum IT University of Copenhagen, Christoph Seidl IT University of Copenhagen, Peter Sestoft IT University of Copenhagen DOI | ||
11:10 20mTalk | Integration of Modeling and Verification for System Model Based on KARMA Language DSM Jie Ding Beijing Institute of Technology, Michel Reniers Eindhoven University of Technology, Jinzhi Lu EPFL, Guoxin Wang Beijing Institute of Technology, Lei Feng KTH, Dimitris Kiritsis EPFL DOI | ||
11:30 20mTalk | Differential-FORMULA: Towards a Semantic Backplane for Incremental Modeling DSM Qishen Zhang Vanderbilt University, Daniel Balasubramanian Vanderbilt University, Tamas Kecskes Vanderbilt University, Janos Sztipanovits Vanderbilt University DOI | ||
11:50 20mOther | Discussion and summary DSM Jonathan Sprinkle University of Arizona, Matti Rossi Aalto University School of Business, Jeff Gray University of Alabama, Juha-Pekka Tolvanen MetaCase | ||
10:50 - 12:10 | |||
10:50 25mTalk | Dyninka: A FaaS Framework for Distributed Dataflow Applications REBLS Patrik Fortier University of Lyon; INSA Lyon; Inria; CITI, Frédéric Le Mouël University of Lyon; INSA Lyon; Inria; CITI, Julien Ponge Red Hat DOI | ||
11:15 25mTalk | Poker: Visual Instrumentation of Reactive Programs with Programmable Probes REBLS Cloé Descheemaeker Vrije Universiteit Brussel, Sam Van den Vonder Vrije Universiteit Brussel, Thierry Renaux Vrije Universiteit Brussel, Wolfgang De Meuter Vrije Universiteit Brussel DOI Pre-print | ||
11:40 25mTalk | ShapeRank: Rank Polymorphism meets Reactive Streams REBLS Gilad Bracha NOT_PROVIDED | ||
13:20 - 13:50 | |||
13:20 30mSocial Event | PLTea PLTea | ||
13:50 - 15:10 | |||
13:50 80mKeynote | Interactive Code AnalysisInvited TalkVirtual SAS | ||
13:50 - 15:10 | Verification / TheoryAPLAS Research Papers at Zurich D +8h Chair(s): Xiaokang Qiu Purdue University, USA | ||
13:50 15mTalk | Preprocessing of Alternating Automata for Language Emptiness TestingVirtual APLAS Research Papers Pavol Vargovčík Brno University of Technology, Czech Republic, Lukáš Holík Brno University of Technology | ||
14:05 15mTalk | Proving LTL Properties of Bitvector Programs and Decompiled BinariesVirtual APLAS Research Papers Cyrus Liu Stevens Institute of Technology, Chengbin Pang Stevens Institute of Technology, Daniel Dietsch University of Freiburg, Eric Koskinen Stevens Institute of Technology, Ton Chanh Le Stevens Institute of Technology, Georgios Portokalidis Stevens Institute of Technology, Jun Xu Stevens Institute of Technology | ||
14:20 15mTalk | Solving Not-Substring with Flat AbstractionVirtual APLAS Research Papers Parosh Aziz Abdulla Uppsala University, Sweden, Mohamed Faouzi Atig Uppsala University, Sweden, Yu-Fang Chen Academia Sinica, Taiwan, Bui Phi Diep Uppsala University, Sweden, Lukáš Holík Brno University of Technology, Denghang Hu State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Wei-Lun Tsai Academia Sinica, Zhilin Wu State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Di-De Yen Academia Sinica | ||
14:35 15mTalk | Termination Analysis for the $\pi$-Calculus by Reduction to Sequential Program TerminationVirtual APLAS Research Papers Tsubasa Shoshi The University of Tokyo, Takuma Ishikawa The University of Tokyo, Naoki Kobayashi University of Tokyo, Japan, Ken Sakayori The University of Tokyo, Ryosuke Sato University of Tokyo, Japan, Takeshi Tsukada Chiba University, Japan | ||
14:50 20mLive Q&A | Q&A and discussionVirtual APLAS Research Papers | ||
13:50 - 15:10 | |||
13:50 5mExperience report | Case Study: Building and testing programming assignments with Nix CONFLANG Martin Schwaighofer JKU Linz, Austria Media Attached | ||
13:55 5mTalk | Large-Scale Engineering of Configuration with Unification CONFLANG Media Attached | ||
14:00 5mTalk | Six Ways Configuration Systems Fail CONFLANG Daniel Spoonhower Lightstep Media Attached | ||
14:05 65mLive Q&A | Experience report: Q&A and discussion CONFLANG | ||
13:50 - 15:10 | |||
13:50 25mTalk | Trampoline Variables: A General Method for State Accumulation in Reactive Programming REBLS Bjarno Oeyen Vrije Universiteit Brussel, Sam Van den Vonder Vrije Universiteit Brussel, Wolfgang De Meuter Vrije Universiteit Brussel DOI Pre-print | ||
14:15 25mTalk | Symmetric Distributed Applications REBLS Francisco Sant'Anna Rio de Janeiro State University, Rodrigo Santos Microsoft, Noemi Rodriguez PUC-Rio DOI | ||
14:40 25mTalk | Analysing the Performance and Costs of Reactive Programming Libraries in Java REBLS Julien Ponge Red Hat, Arthur Navarro Red Hat, Clément Escoffier Red Hat, Frédéric Le Mouël University of Lyon; INSA Lyon; Inria; CITI DOI | ||
15:10 - 15:40 | |||
15:10 30mSocial Event | PLTea PLTea | ||
15:40 - 17:00 | |||
15:40 15mTalk | Automated Verification of the Parallel Bellman--Ford AlgorithmVirtual SAS Mohsen Safari University of Twente, The Netherlands, Wytse Oortwijn ETH Zurich, Switzerland, Marieke Huisman University of Twente | ||
15:55 15mTalk | Backward Symbolic Execution with Loop FoldingVirtual SAS | ||
16:10 15mTalk | Improving Thread-Modular Abstract InterpretationVirtual SAS Michael Schwarz Technische Universität München, Simmo Saan University of Tartu, Estonia, Helmut Seidl Technische Universität München, Kalmer Apinis University of Tartu, Estonia, Julian Erhard , Vesal Vojdani University of Tartu Pre-print Media Attached | ||
16:25 15mTalk | Symbolic Automatic Relations and Their Applications to SMT and CHC SolvingVirtual SAS Takumi Shimoda The University of Tokyo, Naoki Kobayashi University of Tokyo, Japan, Ken Sakayori The University of Tokyo, Ryosuke Sato University of Tokyo, Japan | ||
16:40 20mLive Q&A | Session 4B Discussion, Questions and Answers SAS | ||
15:40 - 17:00 | |||
15:40 15mTalk | Leveraging Relational Concept Analysis for Automated Feature Location in Software Product LinesVirtual GPCE Nicolas Hlad LIRMM, CNRS, Bérénice Lemoine LIRMM, CNRS, Marianne Huchard LIRMM, Abdelhak Seriai LIRMM, CNRS and University of Montpellier | ||
15:55 15mTalk | FIDDLR: Streamlining Reuse with Concern-Specific Modelling LanguagesVirtual SLE Maximilian Schiedermeier McGill University, Jörg Kienzle McGill University, Canada, Bettina Kemme McGill University, Canada | ||
16:10 15mTalk | Lifted Termination Analysis by Abstract Interpretation and its ApplicationsVirtual GPCE Aleksandar S. Dimovski Mother Teresa University, Skopje | ||
16:25 15mTalk | Delta-based Verification of Software Product FamiliesVirtual GPCE Marco Scaletta Technische Universität Darmstadt, Reiner Hähnle Technical University of Darmstadt, Dominic Steinhöfel CISPA Helmholtz Center for Information Security, Richard Bubel Technische Universität Darmstadt | ||
16:40 20mLive Q&A | Discussion, Questions and Answers SLE | ||
15:40 - 17:00 | |||
15:40 80mLive Q&A | Structured discussion: future of configuration languages CONFLANG | ||
17:00 - 18:20 | |||
17:00 60mKeynote | A Separation Logic for Probabilistic IndependenceVirtual APLAS Keynote Talks Justin Hsu University of Wisconsin-Madison, USA | ||
18:20 - 18:50 | |||
18:50 - 20:10 | |||
18:50 15mTalk | Compositional Verification of Smart Contracts Through Communication AbstractionVirtual SAS Scott Wesley University of Waterloo, Canada, Maria Christakis MPI-SWS, Arie Gurfinkel University of Waterloo, Jorge A. Navas SRI International, Richard Trefler University of Waterloo, Canada, Valentin Wüstholz ConsenSys Pre-print | ||
19:05 15mTalk | Selectively-Amortized Resource BoundingVirtual SAS Tianhan Lu University of Colorado Boulder, Bor-Yuh Evan Chang University of Colorado Boulder & Amazon, Ashutosh Trivedi Pre-print | ||
19:20 15mTalk | Thread-modular Analysis of Release-Acquire ConcurrencyVirtual SAS | ||
19:35 35mLive Q&A | Session 2B Discussion, Questions and Answers SAS | ||
18:50 - 20:10 | SLE/GPCE Session 6GPCE / SLE at Zurich C Chair(s): Ran Wei Dalian University of Technology, Paddy Krishnan Oracle Labs, Australia | ||
18:50 15mTalk | Fast Incremental PEG ParsingVirtual SLE | ||
19:05 15mTalk | Faster Reachability Analysis for LR(1) ParsersVirtual SLE | ||
19:20 15mTalk | Automatic Grammar RepairVirtual SLE Moeketsi Raselimo Stellenbosch University, South Africa, Bernd Fischer Stellenbosch University, South Africa | ||
19:35 8mTalk | Vision: Bias in Systematic Grammar-Based Test Suite Construction AlgorithmsVirtual SLE Christoff Rossouw Stellenbosch University, South Africa, Bernd Fischer Stellenbosch University, South Africa | ||
19:43 8mTalk | Compiling pattern matching to in-place modificationsVirtual GPCE | ||
19:51 19mLive Q&A | Discussion, Questions and Answers SLE | ||
18:50 - 20:10 | Language Design (mirror)APLAS Research Papers at Zurich D Chair(s): Andreea Costea School of Computing, National University Of Singapore | ||
18:50 15mTalk | A Typed Programmatic Interface to Contracts on the BlockchainVirtual APLAS Research Papers | ||
19:05 15mTalk | Adaptable Traces for Program ExplanationsVirtual APLAS Research Papers Divya Bajaj Oregon State University, Martin Erwig Oregon State University, Danila Fedorin Oregon State University, Kai Gay Oregon State University | ||
19:20 15mTalk | Latent Effects for Reusable Language ComponentsVirtual APLAS Research Papers Birthe van den Berg KU Leuven, Casper Bach Delft University of Technology, Tom Schrijvers KU Leuven, Nicolas Wu Imperial College London, UK | ||
19:35 15mTalk | The Choice Construct in the Soufflé LanguageVirtual APLAS Research Papers Xiaowen Hu The University of Sydney, Joshua Karp The University of Sydney, David Zhao The University of Sydney, Abdul Zreika The University of Sydney, Xi Wu The University of Sydney, Bernhard Scholz University of Sydney | ||
19:50 20mLive Q&A | Q&A and discussionVirtual APLAS Research Papers | ||
20:10 - 20:40 | |||
20:10 30mSocial Event | PLTea PLTea | ||
21:50 - 23:10 | |||
21:50 15mTalk | A DSL for Explanatory Decision MakingVirtual GPCE | ||
22:05 15mTalk | SEALS: A framework for building Self-Adaptive Virtual MachinesVirtual SLE Gwendal Jouneaux University of Rennes; Inria; IRISA, Olivier Barais University of Rennes; Inria; IRISA, Benoit Combemale University of Rennes; Inria; IRISA, Gunter Mussbacher McGill University | ||
22:20 15mTalk | Understanding and Improving Model-Driven IoT Systems Through Accompanying Digital TwinsVirtual GPCE Jörg Christian Kirchhof RWTH Aachen University, Lukas Malcher RWTH Aachen University, Bernhard Rumpe RWTH Aachen | ||
22:35 15mTalk | Artifact and Reference Models for Generative AI Frameworks and Build SystemsVirtual GPCE Abdallah Atouani RWTH Aachen University, Jörg Christian Kirchhof RWTH Aachen University, Evgeny Kusmenko RWTH Aachen University, Bernhard Rumpe RWTH Aachen | ||
22:50 20mLive Q&A | Discussion, Questions and Answers SLE | ||
21:50 - 23:10 | |||
21:50 15mTalk | Preprocessing of Alternating Automata for Language Emptiness TestingVirtual APLAS Research Papers Pavol Vargovčík Brno University of Technology, Czech Republic, Lukáš Holík Brno University of Technology | ||
22:05 15mTalk | Proving LTL Properties of Bitvector Programs and Decompiled BinariesVirtual APLAS Research Papers Cyrus Liu Stevens Institute of Technology, Chengbin Pang Stevens Institute of Technology, Daniel Dietsch University of Freiburg, Eric Koskinen Stevens Institute of Technology, Ton Chanh Le Stevens Institute of Technology, Georgios Portokalidis Stevens Institute of Technology, Jun Xu Stevens Institute of Technology | ||
22:20 15mTalk | Solving Not-Substring with Flat AbstractionVirtual APLAS Research Papers Parosh Aziz Abdulla Uppsala University, Sweden, Mohamed Faouzi Atig Uppsala University, Sweden, Yu-Fang Chen Academia Sinica, Taiwan, Bui Phi Diep Uppsala University, Sweden, Lukáš Holík Brno University of Technology, Denghang Hu State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Wei-Lun Tsai Academia Sinica, Zhilin Wu State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Di-De Yen Academia Sinica | ||
22:35 15mTalk | Termination Analysis for the $\pi$-Calculus by Reduction to Sequential Program TerminationVirtual APLAS Research Papers Tsubasa Shoshi The University of Tokyo, Takuma Ishikawa The University of Tokyo, Naoki Kobayashi University of Tokyo, Japan, Ken Sakayori The University of Tokyo, Ryosuke Sato University of Tokyo, Japan, Takeshi Tsukada Chiba University, Japan | ||
22:50 20mLive Q&A | Q&A and discussionVirtual APLAS Research Papers | ||
Tue 19 OctDisplayed time zone: Central Time (US & Canada) change
Tue 19 Oct
Displayed time zone: Central Time (US & Canada) change
07:30 - 09:00 | |||
07:30 90mTalk | Hedy: Creating a gradual programming languageVirtual REBASE | ||
07:40 - 09:00 | |||
07:40 10mDay opening | Chair's Welcome and Most Notable Paper AwardVirtual DLS | ||
07:50 25mPaper | Union and Intersection Contracts Are Hard, ActuallyResearch PaperVirtual DLS DOI | ||
08:15 25mPaper | Runtime and Compiler Support for HAMTsResearch PaperVirtual DLS DOI | ||
07:40 - 09:00 | |||
07:40 15mTalk | Fast and Efficient Bit-Level Precision TuningVirtual SAS Assalé Adjé Université de Perpignan Via Domitia, Dorra Ben Khalifa Université de Perpignan Via Domitia, Matthieu Martel Université de Perpignan Via Domitia | ||
07:55 15mTalk | Reduced Products of Abstract Domains for Fairness Certification of Neural NetworksVirtual SAS | ||
08:10 15mTalk | Static analysis of ReLU neural networks with tropical polyhedraVirtual SAS Eric Goubault Ecole Polytechnique, Sebastien Palumby Ecole Polytechnique, Sylvie Putot École Polytechnique, Louis Rustenholz École Polytechnique, Sriram Sankaranarayanan University of Colorado, Boulder | ||
08:25 15mTalk | Toward Neural-Network-Guided Program Synthesis and VerificationVirtual SAS Naoki Kobayashi University of Tokyo, Japan, Taro Sekiyama National Institute of Informatics, Issei Sato The University of Tokyo, Hiroshi Unno University of Tsukuba | ||
08:40 20mLive Q&A | Session 4C Discussion, Questions and AnswersVirtual SAS | ||
09:00 - 10:20 | |||
09:00 60mTalk | Navigating your thesis and job search: sustainability and standing out [Invited Talk] Doctoral Symposium Jonathan Aldrich Carnegie Mellon University | ||
10:00 20mPoster | Elevator Talks Doctoral Symposium | ||
09:00 - 10:30 | |||
09:00 90mTalk | The F# view on the Static / Dynamic divideVirtual REBASE | ||
09:00 - 10:20 | |||
09:00 20mTalk | How to Navigate SPLASH PLMW Elisa Baniassad University of British Columbia | ||
09:20 30mOther | A Tour through the Program PLMW | ||
09:50 30mOther | Mentoring Sessions PLMW | ||
09:00 - 10:20 | |||
09:00 60mKeynote | Software as Computational MediaKeynote LIVE Clemens Nylandsted Klokmose Aarhus University | ||
10:00 20mTalk | Joker: A Unified Interaction Model For Web Customization LIVE Kapaya Katongo Massachusetts Institute of Technology (MIT), Geoffrey Litt MIT, Kathryn Jin , Daniel Jackson MIT | ||
09:00 - 10:20 | |||
09:00 60mKeynote | Reflections on a decade of MoarVM, a runtime for the Raku programming languageKeynote VMIL | ||
10:00 20mTalk | Lightweight IOT abstractions for Embedded WebAssemblyWIP Paper VMIL Tom Lauwaerts Universiteit Gent, Belgium, Robbert Gurdeep Singh Universiteit Gent, Belgium, Christophe Scholliers Universiteit Gent, Belgium Media Attached File Attached | ||
10:20 - 10:50 | |||
10:20 30mLive Q&A | Invited SpeakerAMAVirtual Ask Me Anything (AMA) Leslie Lamport Microsoft Research | ||
10:50 - 12:10 | |||
10:55 35mDoctoral symposium paper | Run-Time Data Analysis in Dynamic RuntimesVirtual Doctoral Symposium Lukas Makor JKU Linz Pre-print | ||
11:30 35mDoctoral symposium paper | Run-time Data Analysis to Drive Compiler OptimizationsVirtual Doctoral Symposium Sebastian Kloibhofer JKU Linz Pre-print | ||
10:50 - 12:20 | |||
10:50 90mTalk | A Retrospective on the Design of the Swift Programming LanguageVirtual REBASE | ||
10:50 - 12:10 | |||
10:50 80mPanel | PL/SE Career Panel PLMW Joe Gibbs Politz University of California at San Diego, Brittany Nkounkou University of Connecticut, Youyou Cong Tokyo Institute of Technology, Caroline Lemieux Microsoft Research, Andrew Craik Oracle Labs, Marek Prochazka European Space Agency | ||
10:50 - 12:10 | |||
10:50 80mTalk | Pointer Analysis of Bytecode Programs for Effective Formal Verification of Smart ContractsInvited TalkVirtual SAS Mooly Sagiv Tel Aviv University | ||
10:50 - 12:10 | |||
10:50 15mTalk | Human Aspects of SASyLF, an Educational Proof Assistant for Type Theory HATRA Jonathan Aldrich Carnegie Mellon University Pre-print | ||
11:05 15mTalk | An Empirical Study of Protocols in Smart Contracts HATRA Timothy Mou Swarthmore College, Michael Coblenz University of Maryland at College Park, Jonathan Aldrich Carnegie Mellon University Link to publication | ||
11:20 15mTalk | Position Paper: Goals of the Luau Type System HATRA Link to publication | ||
11:35 15mTalk | User-driven design and evaluation of Liquid Types in Java HATRA Catarina Gamboa LASIGE, Faculdade de Ciências da Universidade de Lisboa, Paulo Canelas LASIGE, Faculdade de Ciências da Universidade de Lisboa, Christopher Steven Timperley Carnegie Mellon University, Alcides Fonseca LASIGE, Faculdade de Ciências da Universidade de Lisboa Pre-print | ||
11:50 20mMeeting | Paper discussion, session 1 HATRA | ||
10:50 - 12:10 | |||
10:50 20mTalk | Instadeq: A Live Programming Environment for End User Data Analysis and Visualization LIVE Mariano Guerra Instadeq | ||
11:10 20mTalk | Modifiable Software Systems: Smalltalk and HyperCard LIVE Josh Justice Big Nerd Ranch | ||
11:30 20mTalk | Peer-to-peer Syncing and Live Editing of Shared Virtual 3D Spaces: Challenges and Opportunities LIVE | ||
11:50 20mTalk | Enhancing Liveness with Exemplars in the Newspeak IDE LIVE Gilad Bracha F5 Networks | ||
10:50 - 12:10 | |||
10:50 30mTalk | A Small Scheme VM, Compiler and REPL in 4KResearch Paper VMIL DOI | ||
11:20 30mTalk | Lightweight On-Stack Replacement in Languages with Unstructured LoopsResearch Paper VMIL | ||
11:50 20mTalk | WOOD: Extending a WebAssembly VM with Out-of-Place Debugging for IoT applicationsWIP Paper VMIL Carlos Rojas Castillo Vrije Universiteit Brussel, Matteo Marra Vrije Universiteit Brussel, Jim Bauwens Vrije Universiteit Brussel, Elisa Gonzalez Boix Vrije Universiteit Brussel Pre-print | ||
13:20 - 13:50 | |||
13:20 30mSocial Event | PLTea PLTea | ||
13:50 - 15:10 | |||
13:55 35mDoctoral symposium paper | Towards Deep Learning SpecificationVirtual Doctoral Symposium Shibbir Ahmed Iowa State University Pre-print | ||
14:30 35mDoctoral symposium paper | Avoiding Monomorphization Bottlenecks with Phase-based SplittingVirtual Doctoral Symposium Sophie Kaleba University of Kent Pre-print | ||
13:50 - 15:20 | |||
13:50 90mTalk | A Brief History of the API, RevisitedVirtual REBASE | ||
13:50 - 15:10 | |||
13:50 25mTalk | Analyzing Permission Transfer Channels for Dynamically Typed LanguagesResearch PaperVirtual DLS Théo Rogliano Inria; University of Lille; CNRS; Centrale Lille; CRIStAL, Guillermo Polito CNRS; CRIStAL; University of Lille; Centrale Lille; Inria, Luc Fabresse IMT Lille Douai; Institut Mines-Télécom; University of Lille; Centre for Digital Systems, Stéphane Ducasse Inria; University of Lille; CNRS; Centrale Lille; CRIStAL DOI | ||
14:15 25mPaper | On Design and Use of First-Class Environments in RResearch PaperVirtual DLS | ||
14:40 25mPaper | CompGen: Generation of Fast JIT Compilers in a Multi-language VMResearch PaperVirtual DLS Florian Latifi JKU Linz, David Leopoldseder Oracle Labs, Christian Wimmer Oracle Labs, Hanspeter Mössenböck JKU Linz DOI | ||
13:50 - 15:10 | |||
13:50 15mTalk | Automatic Synthesis of Data-Flow AnalyzersVirtual SAS | ||
14:05 15mTalk | Disjunctive Interval AnalysisVirtual SAS Graeme Gange , Jorge A. Navas SRI International, Peter Schachte , Harald Sondergaard , Peter J. Stuckey Monash University | ||
14:20 15mTalk | Hash Consed Points-To SetsVirtual SAS Mohamad Barbar University of Technology Sydney; CSIRO’s Data61, Yulei Sui University of New South Wales, Sydney | ||
14:35 15mTalk | Selective Context-Sensitivity for k-CFA with CFL-ReachabilityVirtual SAS | ||
14:50 20mLive Q&A | Session 3C Discussion, Questions and Answers SAS | ||
13:50 - 15:10 | |||
13:50 15mTalk | Toward a Theory of Programming Language and Reasoning Assistant Design: Minimizing Cognitive Load HATRA Michael Coblenz University of Maryland at College Park Link to publication | ||
14:05 15mTalk | Towards an Incremental Dataset of Proofs HATRA Hanneli Tavante McGill University Pre-print | ||
14:20 15mTalk | Toward Hole-Driven Development with Liquid Haskell HATRA Patrick Redmond University of California at Santa Cruz, Gan Shen University of California, Santa Cruz, USA, Lindsey Kuper University of California at Santa Cruz Link to publication | ||
14:35 15mTalk | Toward SMT-Based Refinement Types in Agda HATRA Gan Shen University of California, Santa Cruz, USA, Lindsey Kuper University of California at Santa Cruz Link to publication | ||
14:50 20mTalk | Paper discussion, session 2 HATRA | ||
13:50 - 15:10 | |||
13:50 20mTalk | Supporting Network Editing and Experimentation for Novice Deep Learning Programmers LIVE Chunqi Zhao , Tsukasa Fukusato The University of Tokyo, Jun Kato National Institute of Advanced Industrial Science and Technology (AIST), Takeo Igarashi The University of Tokyo | ||
14:10 20mTalk | TypeCell: A New Live Programming Environment for the Web LIVE | ||
14:30 20mTalk | Restructuring Structure Editing LIVE | ||
14:50 20mTalk | Inkbase: Programmable Ink LIVE | ||
13:50 - 15:10 | |||
13:50 60mKeynote | Cross-Domain Compilation: Exploiting Synergies Across the CS CommunityKeynote VMIL Tobias Grosser University of Edinburgh | ||
14:50 20mTalk | YJIT: A Basic Block Versioning JIT Compiler for CRubyWIP Paper VMIL Maxime Chevalier-Boisvert Shopify, Noah Gibbs Shopify, Jean Boussier Shopify, Si Xing "Alan" Wu Shopify, Aaron Patterson Shopify, Kevin Newton Shopify, John Hawthorn GitHub | ||
15:10 - 15:40 | |||
15:10 30mSocial Event | PLTea PLTea | ||
15:40 - 17:00 | |||
15:40 35mDoctoral symposium paper | Test Overfitting: Challenges, Approaches and MeasurementsVirtual Doctoral Symposium Amirfarhad Nilizadeh University of Central Florida | ||
15:40 - 17:10 | |||
15:40 90mTalk | Fragmentation of Machine ArchitectureVirtual REBASE | ||
15:40 - 17:00 | |||
15:40 10mDay opening | Chair's Welcome and Most Notable Paper AwardVirtual DLS | ||
15:50 25mPaper | Union and Intersection Contracts Are Hard, ActuallyResearch PaperVirtual DLS DOI | ||
16:15 25mPaper | Runtime and Compiler Support for HAMTsResearch PaperVirtual DLS DOI | ||
15:40 - 17:00 | |||
15:40 15mTalk | Fast and Efficient Bit-Level Precision TuningVirtual SAS Assalé Adjé Université de Perpignan Via Domitia, Dorra Ben Khalifa Université de Perpignan Via Domitia, Matthieu Martel Université de Perpignan Via Domitia | ||
15:55 15mTalk | Reduced Products of Abstract Domains for Fairness Certification of Neural NetworksVirtual SAS | ||
16:10 15mTalk | Static analysis of ReLU neural networks with tropical polyhedraVirtual SAS Eric Goubault Ecole Polytechnique, Sebastien Palumby Ecole Polytechnique, Sylvie Putot École Polytechnique, Louis Rustenholz École Polytechnique, Sriram Sankaranarayanan University of Colorado, Boulder | ||
16:25 15mTalk | Toward Neural-Network-Guided Program Synthesis and VerificationVirtual SAS Naoki Kobayashi University of Tokyo, Japan, Taro Sekiyama National Institute of Informatics, Issei Sato The University of Tokyo, Hiroshi Unno University of Tsukuba | ||
16:40 20mLive Q&A | Session 4C Discussion, Questions and AnswersVirtual SAS | ||
15:40 - 17:00 | Novel Interfaces and DiscussionHATRA at Zurich E Chair(s): Jonathan Aldrich Carnegie Mellon University First, authors will present two papers, and we will have 10 minutes to discuss them. Then, we will use the remaining 40 minutes for group discussion of promising research directions. | ||
15:40 15mTalk | Typed Image-based Programming with Structure Editing HATRA Link to publication | ||
15:55 15mTalk | A New Medium for Communicating Research on Programming Languages HATRA Will Crichton Stanford University Pre-print | ||
16:10 10mTalk | Paper discussion, session 3 HATRA | ||
16:20 40mMeeting | General discussion HATRA | ||
15:40 - 17:00 | Session 4VMIL at Zurich G Chair(s): Gregor Richards University of Waterloo, Manuel Rigger ETH Zurich | ||
15:40 60mKeynote | GraalVM Native Image: Large-scale static analysis for JavaKeynote VMIL Christian Wimmer Oracle Labs | ||
16:40 10mTalk | Closing VMIL | ||
17:00 - 18:20 | |||
17:00 20mTalk | How to Navigate SPLASH PLMW Elisa Baniassad University of British Columbia | ||
17:20 30mOther | A Tour through the Program PLMW | ||
17:50 30mOther | Mentoring Sessions PLMW | ||
18:20 - 18:50 | |||
18:20 30mTalk | Invited SpeakerAMAVirtual Ask Me Anything (AMA) | ||
18:50 - 20:10 | |||
18:50 80mPanel | PL/SE Career Panel PLMW Joe Gibbs Politz University of California at San Diego, Brittany Nkounkou University of Connecticut, Youyou Cong Tokyo Institute of Technology, Caroline Lemieux Microsoft Research, Andrew Craik Oracle Labs, Marek Prochazka European Space Agency | ||
20:10 - 20:40 | |||
20:10 30mSocial Event | PLTea PLTea | ||
21:50 - 23:10 | |||
21:50 25mTalk | Analyzing Permission Transfer Channels for Dynamically Typed LanguagesResearch PaperVirtual DLS Théo Rogliano Inria; University of Lille; CNRS; Centrale Lille; CRIStAL, Guillermo Polito CNRS; CRIStAL; University of Lille; Centrale Lille; Inria, Luc Fabresse IMT Lille Douai; Institut Mines-Télécom; University of Lille; Centre for Digital Systems, Stéphane Ducasse Inria; University of Lille; CNRS; Centrale Lille; CRIStAL DOI | ||
22:15 25mPaper | On Design and Use of First-Class Environments in RResearch PaperVirtual DLS | ||
22:40 25mPaper | CompGen: Generation of Fast JIT Compilers in a Multi-language VMResearch PaperVirtual DLS Florian Latifi JKU Linz, David Leopoldseder Oracle Labs, Christian Wimmer Oracle Labs, Hanspeter Mössenböck JKU Linz DOI | ||
21:50 - 23:10 | |||
21:50 15mTalk | Automatic Synthesis of Data-Flow AnalyzersVirtual SAS | ||
22:05 15mTalk | Disjunctive Interval AnalysisVirtual SAS Graeme Gange , Jorge A. Navas SRI International, Peter Schachte , Harald Sondergaard , Peter J. Stuckey Monash University | ||
22:20 15mTalk | Hash Consed Points-To SetsVirtual SAS Mohamad Barbar University of Technology Sydney; CSIRO’s Data61, Yulei Sui University of New South Wales, Sydney | ||
22:35 15mTalk | Selective Context-Sensitivity for k-CFA with CFL-ReachabilityVirtual SAS | ||
22:50 20mLive Q&A | Session 3C Discussion, Questions and Answers SAS | ||
Wed 20 OctDisplayed time zone: Central Time (US & Canada) change
Wed 20 Oct
Displayed time zone: Central Time (US & Canada) change
07:40 - 09:00 | |||
07:40 15mTalk | Making Pointer Analysis More Precise by Unleashing the Power of Selective Context SensitivityVirtual OOPSLA Tian Tan Nanjing University, Yue Li Nanjing University, Xiaoxing Ma Nanjing University, Chang Xu Nanjing University, Yannis Smaragdakis University of Athens DOI | ||
07:55 15mTalk | Compacting Points-To Sets through Object ClusteringVirtual OOPSLA Mohamad Barbar University of Technology Sydney; CSIRO’s Data61, Yulei Sui University of New South Wales, Sydney DOI | ||
08:10 15mTalk | Program Analysis via Efficient Symbolic AbstractionVirtual OOPSLA Peisen Yao Hong Kong University of Science and Technology; Ant Group, Qingkai Shi Ant Group, Heqing Huang Hong Kong University of Science and Technology, Charles Zhang Hong Kong University of Science and Technology DOI | ||
08:25 15mTalk | JavaDL: Automatically Incrementalizing Java Bug Pattern DetectionVirtual OOPSLA Alexandru Dura Lund University, Christoph Reichenbach Lund University, Emma Söderberg Lund University DOI | ||
08:40 20mLive Q&A | Discussion, Questions and Answers OOPSLA | ||
07:40 - 09:00 | |||
07:40 15mTalk | The Semantics of Shared Memory in Intel CPU/FPGA SystemsVirtual OOPSLA Dan Iorga Imperial College London, Alastair F. Donaldson Imperial College London, Tyler Sorensen University of California at Santa Cruz, John Wickerson Imperial College London DOI | ||
07:55 15mTalk | SecRSL: Security Separation Logic for C11 Release-Acquire ConcurrencyVirtual OOPSLA DOI | ||
08:10 15mTalk | The Reads-From Equivalence for the TSO and PSO Memory ModelsVirtual OOPSLA Truc Lam Bui Comenius University Bratislava, Krishnendu Chatterjee IST Austria, Tushar Gautam IIT Bombay, Andreas Pavlogiannis Aarhus University, Viktor Toman IST Austria DOI | ||
08:25 15mTalk | Making Weak Memory Models Fair OOPSLA Ori Lahav Tel Aviv University, Egor Namakonov St. Petersburg University; JetBrains Research, Jonas Oberhauser Huawei, Anton Podkopaev HSE University; JetBrains Research, Viktor Vafeiadis MPI-SWS DOI | ||
08:40 20mLive Q&A | Discussion, Questions and Answers OOPSLA | ||
09:00 - 09:01 | |||
09:00 1mDay opening | SPLASH Conference at Chicago Starts NowIn-Person Opening | ||
09:00 - 09:20 | |||
09:00 20mDay opening | Opening SessionIn-Person Opening Hridesh Rajan Iowa State University | ||
09:20 - 10:20 | |||
09:20 60mKeynote | Exascale and then what?: HPC and AI for Scientific DiscoveryKeynote Keynotes | ||
10:20 - 10:50 | |||
10:20 30mLive Q&A | Invited SpeakerAMAIn-Person Ask Me Anything (AMA) Robert Rand University of Chicago | ||
10:20 - 10:50 | |||
10:20 30mPoster | SkyQuery: An Aerial Drone Video Sensing PlatformVirtualOnward! Papers Posters Favyen Bastani Massachusetts Institute of Technology, Songtao He Massachusetts Institute of Technology, Ziwen Jiang Massachusetts Institute of Technology, Osbert Bastani University of Pennsylvania, Sam Madden Massachusetts Institute of Technology | ||
10:20 30mPoster | Dala: A Simple Capability-Based Dynamic Language Design For Data Race-FreedomVirtualOnward! Papers Posters Kiko Fernandez-Reyes Uppsala University, Isaac Oscar Gariano Victoria University of Wellington, James Noble Victoria University of Wellington, Erin Greenwood-Thessman Victoria University of Wellington, Michael Homer Victoria University of Wellington, Tobias Wrigstad Uppsala University, Sweden | ||
10:20 30mPoster | Much ADO about Failures: A Fault-Aware Model for Compositional Verification of Strongly Consistent Distributed SystemsVirtualOOPSLA Posters Wolf Honore Yale University, Jieung Kim Yale University, Ji-Yong Shin Northeastern University, Zhong Shao Yale University | ||
10:20 30mPoster | The Semantics of Shared Memory in Intel CPU/FPGA SystemsVirtualOOPSLA Posters Dan Iorga Imperial College London, Alastair F. Donaldson Imperial College London, Tyler Sorensen University of California at Santa Cruz, John Wickerson Imperial College London | ||
10:20 30mPoster | Reachability Types: Tracking Aliasing and Separation in Higher-Order Functional ProgramsIn-Person and VirtualOOPSLA Posters Yuyan Bao University of Waterloo, Guannan Wei Purdue University, Oliver Bračevac Purdue University, Yuxuan Jiang Purdue University, Qiyang He Purdue University, Tiark Rompf Purdue University | ||
10:20 30mPoster | Towards Self-Adaptable LanguagesVirtualOnward! Papers Posters Gwendal Jouneaux University of Rennes; Inria; IRISA, Olivier Barais University of Rennes; Inria; IRISA, Benoit Combemale University of Rennes; Inria; IRISA, Gunter Mussbacher McGill University | ||
10:50 - 12:10 | Onward! Paper Session 1Onward! Papers at Zurich C +8h Chair(s): Wolfgang De Meuter Vrije Universiteit Brussel | ||
10:50 15mDay opening | Onward! WelcomeVirtual Onward! Papers | ||
11:05 15mTalk | Natural Language-Guided ProgrammingVirtual Onward! Papers Geert Heyman Nokia Bell Labs, Belgium, Rafael Huysegems Nokia Bell Labs, Belgium, Pascal Justen Nokia Bell Labs, Tom Van Cutsem Nokia Bell Labs DOI | ||
11:20 15mTalk | Towards Self-Adaptable LanguagesVirtual Onward! Papers Gwendal Jouneaux University of Rennes; Inria; IRISA, Olivier Barais University of Rennes; Inria; IRISA, Benoit Combemale University of Rennes; Inria; IRISA, Gunter Mussbacher McGill University DOI | ||
11:35 15mTalk | Programming with Neural Surrogates of ProgramsIn-Person Onward! Papers Alex Renda Massachusetts Institute of Technology, Yi Ding Massachusetts Institute of Technology, Michael Carbin Massachusetts Institute of Technology DOI | ||
11:50 20mLive Q&A | Discussion, Questions and Answers Onward! Papers | ||
10:50 - 12:10 | |||
10:50 15mTalk | Compiling with Continuations, CorrectlyVirtual OOPSLA DOI | ||
11:05 15mTalk | Synbit: Synthesizing Bidirectional Programs using Unidirectional SketchesVirtual OOPSLA Masaomi Yamaguchi Tohoku University, Kazutaka Matsuda Tohoku University, Cristina David University of Bristol, Meng Wang University of Bristol DOI | ||
11:20 15mTalk | Reachability Types: Tracking Aliasing and Separation in Higher-Order Functional ProgramsVirtual OOPSLA Yuyan Bao University of Waterloo, Guannan Wei Purdue University, Oliver Bračevac Purdue University, Yuxuan Jiang Purdue University, Qiyang He Purdue University, Tiark Rompf Purdue University DOI | ||
11:35 15mTalk | Efficient Compilation of Algebraic Effect HandlersVirtual OOPSLA Georgios Karachalias Tweag, Filip Koprivec University of Ljubljana; Institute of Mathematics, Matija Pretnar University of Ljubljana; Institute of Mathematics, Tom Schrijvers KU Leuven DOI | ||
11:50 20mLive Q&A | Discussion, Questions and Answers OOPSLA | ||
10:50 - 12:10 | |||
10:50 10mTalk | Chairs' Welcome SPLASH-E | ||
11:00 15mTalk | Teaching DevOps: A Tale of Two Universities SPLASH-E Richard Hobeck TU Berlin, Ingo Weber TU Berlin, Len Bass Carnegie Mellon University, Hasan Yasar Carnegie Mellon University DOI | ||
11:15 15mTalk | Ruggedizing CS1 Robotics: Tools and Approaches for Online Teaching SPLASH-E Boyd Anderson National University of Singapore, Martin Henz National University of Singapore, Hao-Wei Tee National University of Singapore DOI | ||
11:30 15mTalk | “You Have Said Too Much”: Java-Like Verbosity Anti-patterns in Python Codebases SPLASH-E DOI | ||
11:45 20mTalk | Reframing the Liskov Substitution Principle through the Lens of Testing SPLASH-E DOI | ||
10:50 - 12:10 | |||
10:50 80mTalk | CARES SessionVirtual CARES | ||
10:50 - 12:10 | OOPSLA 2020 Papers 1SIGPLAN Papers at Zurich G Chair(s): John Renner University of California at San Diego, USA | ||
10:50 15mTalk | Can Advanced Type Systems Be Usable? An Empirical Study of Ownership, Assets, and Typestate in Obsidian SIGPLAN Papers 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 | ||
11:05 15mTalk | Designing Types for R, Empirically SIGPLAN Papers Alexi Turcotte Northeastern University, Aviral Goel Northeastern University, Filip Křikava Czech Technical University, Jan Vitek Northeastern University; Czech Technical University | ||
11:20 15mTalk | Deductive Optimization of Relational Data Storage SIGPLAN Papers Jack Feser Massachusetts Institute of Technology, Sam Madden Massachusetts Institute of Technology, Nan Tang QCRI HBKU, Armando Solar-Lezama Massachusetts Institute of Technology | ||
11:35 15mTalk | Digging for Fold: Synthesis-Aided API Discovery for Haskell SIGPLAN Papers Michael B. James University of California at San Diego, Zheng Guo University of California, San Diego, Ziteng Wang University of California at San Diego, Shivani Doshi University of California at San Diego, Hila Peleg Technion, Ranjit Jhala University of California at San Diego, Nadia Polikarpova University of California at San Diego | ||
11:50 20mLive Q&A | Discussion, Questions and Answers SIGPLAN Papers | ||
12:10 - 13:50 | Session 1Faculty Mentorship Roundtable at Zurich B Chair(s): Danny Dig University of Colorado Boulder, USA | ||
12:10 1h40mMeeting | Faculty Mentoring RoundtableIn-Person Faculty Mentorship Roundtable | ||
13:20 - 13:50 | |||
13:20 30mSocial Event | PLTea PLTea | ||
13:50 - 15:10 | Onward! Paper Session 2Onward! Papers at Zurich C +8h Chair(s): Christophe Scholliers Universiteit Gent, Belgium | ||
13:50 15mTalk | Kotlin Coroutines: Design and ImplementationVirtual Onward! Papers Roman Elizarov JetBrains, Mikhail Belyaev JetBrains Research; St. Petersburg Polytechnic University, Marat Akhin JetBrains Research; St. Petersburg Polytechnic University, Ilmir Usmanov JetBrains DOI | ||
14:05 15mTalk | Dala: A Simple Capability-Based Dynamic Language Design for Data Race-FreedomVirtual Onward! Papers Kiko Fernandez-Reyes Uppsala University, Isaac Oscar Gariano Victoria University of Wellington, James Noble Victoria University of Wellington, Erin Greenwood-Thessman Victoria University of Wellington, Michael Homer Victoria University of Wellington, Tobias Wrigstad Uppsala University, Sweden DOI | ||
14:20 15mTalk | Motivating Complexity Understanding by Profiling Energy UsageVirtual Onward! Papers Joshua B. Gross California State University at Monterey Bay, Daniel Jacoby California State University at Monterey Bay, Kevin Coogan Hampton University, Aaron Helman California State University at Monterey Bay DOI | ||
14:35 15mTalk | SkyQuery: An Aerial Drone Video Sensing PlatformVirtual Onward! Papers Favyen Bastani Massachusetts Institute of Technology, Songtao He Massachusetts Institute of Technology, Ziwen Jiang Massachusetts Institute of Technology, Osbert Bastani University of Pennsylvania, Sam Madden Massachusetts Institute of Technology DOI | ||
14:50 20mLive Q&A | Discussion, Questions and Answers Onward! Papers | ||
13:50 - 15:10 | |||
13:50 15mTalk | Translating C to Safer RustVirtual OOPSLA Mehmet Emre University of California at Santa Barbara, Ryan Schroeder University of California at Santa Barbara, Kyle Dewey California State University at Northridge, Ben Hardekopf University of California at Santa Barbara DOI | ||
14:05 15mTalk | Modular Specification and Verification of Closures in RustVirtual OOPSLA Fabian Wolff , Aurel Bílý ETH Zurich, Christoph Matheja ETH Zurich, Peter Müller ETH Zurich, Alexander J. Summers University of British Columbia DOI | ||
14:20 15mTalk | Safer at Any Speed: Automatic Context-Aware Safety Enhancement for RustVirtual OOPSLA Natalie Popescu Princeton University, Ziyang Xu Princeton University, Sotiris Apostolakis Google, David I. August Princeton University, Amit Levy Princeton University DOI | ||
14:35 35mLive Q&A | Discussion, Questions and Answers OOPSLA | ||
13:50 - 15:10 | |||
13:50 20mTalk | PaCon: A Symbolic Analysis Approach for Tactic-Oriented Clustering of Programming Submissions SPLASH-E Yingjie Fu Peking University, Jonathan Osei-Owusu University of Illinois at Urbana-Champaign, Angello Astorga University of Illinois at Urbana-Champaign, Zirui Neil Zhao University of Illinois at Urbana-Champaign, Wei Zhang Peking University, Tao Xie Peking University DOI | ||
14:10 20mTalk | Shrinking JavaScript for CS1 SPLASH-E Boyd Anderson National University of Singapore, Martin Henz National University of Singapore, Kok-Lim Low National University of Singapore, Daryl Tan National University of Singapore DOI | ||
14:30 20mTalk | A Stepper for a Functional JavaScript Sublanguage SPLASH-E Martin Henz National University of Singapore, Thomas Tan National University of Singapore, Zachary Chua National University of Singapore, Peter Jung National University of Singapore, Yee-Jian Tan National University of Singapore, Xinyi Zhang National University of Singapore, Jingjing Zhao National University of Singapore DOI | ||
14:50 15mTalk | Course Experience Report: Full-Class Compiler Collaboration SPLASH-E Joe Gibbs Politz University of California at San Diego, Yousef Alhessi University of California at San Diego DOI | ||
13:50 - 15:10 | |||
13:50 80mPanel | Current Student Panel PLMW Darshana Balakrishnan University at Buffalo, Daniel A. A. Pelsmaeker Delft University of Technology, Netherlands, Ifaz Kabir University of Alberta, Ellen Arteca Northeastern University | ||
13:50 - 15:10 | OOPSLA and Onward! 2020 Papers 2SIGPLAN Papers at Zurich G Chair(s): Michael Coblenz University of Maryland at College Park | ||
13:50 15mTalk | Programming and Reasoning with Partial Observability SIGPLAN Papers Eric Atkinson Massachusetts Institute of Technology, Michael Carbin Massachusetts Institute of Technology | ||
14:05 15mTalk | Pomsets with Preconditions: A Simple Model of Relaxed Memory SIGPLAN Papers | ||
14:20 15mTalk | Koord: a language for programming and verifying distributed robotics applications SIGPLAN Papers Ritwika Ghosh University of Illinois at Urbana-Champaign, Chiao Hsieh University of Illinois at Urbana-Champaign, Sasa Misailovic University of Illinois at Urbana-Champaign, Sayan Mitra University of Illinois at Urbana-Champaign | ||
14:35 15mPaper | Demystifying Dependence SIGPLAN Papers Link to publication Pre-print | ||
14:50 20mLive Q&A | Discussion, Questions and Answers SIGPLAN Papers | ||
15:10 - 15:40 | |||
15:10 30mSocial Event | PLTea PLTea | ||
15:40 - 17:00 | |||
15:40 15mTalk | Making Pointer Analysis More Precise by Unleashing the Power of Selective Context SensitivityVirtual OOPSLA Tian Tan Nanjing University, Yue Li Nanjing University, Xiaoxing Ma Nanjing University, Chang Xu Nanjing University, Yannis Smaragdakis University of Athens DOI | ||
15:55 15mTalk | Compacting Points-To Sets through Object ClusteringVirtual OOPSLA Mohamad Barbar University of Technology Sydney; CSIRO’s Data61, Yulei Sui University of New South Wales, Sydney DOI | ||
16:10 15mTalk | Program Analysis via Efficient Symbolic AbstractionVirtual OOPSLA Peisen Yao Hong Kong University of Science and Technology; Ant Group, Qingkai Shi Ant Group, Heqing Huang Hong Kong University of Science and Technology, Charles Zhang Hong Kong University of Science and Technology DOI | ||
16:25 15mTalk | JavaDL: Automatically Incrementalizing Java Bug Pattern DetectionVirtual OOPSLA Alexandru Dura Lund University, Christoph Reichenbach Lund University, Emma Söderberg Lund University DOI | ||
16:40 20mLive Q&A | Discussion, Questions and Answers OOPSLA | ||
15:40 - 17:00 | |||
15:40 15mTalk | The Semantics of Shared Memory in Intel CPU/FPGA SystemsVirtual OOPSLA Dan Iorga Imperial College London, Alastair F. Donaldson Imperial College London, Tyler Sorensen University of California at Santa Cruz, John Wickerson Imperial College London DOI | ||
15:55 15mTalk | SecRSL: Security Separation Logic for C11 Release-Acquire ConcurrencyVirtual OOPSLA DOI | ||
16:10 15mTalk | The Reads-From Equivalence for the TSO and PSO Memory ModelsVirtual OOPSLA Truc Lam Bui Comenius University Bratislava, Krishnendu Chatterjee IST Austria, Tushar Gautam IIT Bombay, Andreas Pavlogiannis Aarhus University, Viktor Toman IST Austria DOI | ||
16:25 15mTalk | Making Weak Memory Models Fair OOPSLA Ori Lahav Tel Aviv University, Egor Namakonov St. Petersburg University; JetBrains Research, Jonas Oberhauser Huawei, Anton Podkopaev HSE University; JetBrains Research, Viktor Vafeiadis MPI-SWS DOI | ||
16:40 20mLive Q&A | Discussion, Questions and Answers OOPSLA | ||
15:40 - 17:00 | |||
15:40 20mTalk | The Common Coder’s Scratch Programming Idioms and Their Impact on Project Remixing SPLASH-E Xingyu Long Virginia Tech, Peeratham Techapalokul Virginia Tech; Rajamangala University of Technology Lanna, Eli Tilevich Virginia Tech DOI | ||
16:00 15mTalk | Machine Learning Pedagogy to Support the Research Community SPLASH-E Kevin Dick Carleton University, Daniel G. Kyrollos Carleton University, James R. Green Carleton University DOI | ||
16:15 15mTalk | The Efficacy of Online Office Hours: An Experience Report SPLASH-E Braxton Hall University of British Columbia, Noa Heyl University of British Columbia, Elisa Baniassad University of British Columbia, Meghan Allen University of British Columbia, Reid Holmes University of British Columbia DOI | ||
16:30 15mTalk | Teachable Moments in Functional Audio Processing SPLASH-E Martin Henz National University of Singapore, Shang-Hui Koh National University of Singapore, Samyukta Sounderraman National University of Singapore DOI | ||
15:40 - 17:00 | |||
15:40 60mOther | Mentoring Sessions PLMW | ||
16:40 20mTalk | Closing Remarks PLMW | ||
15:40 - 17:00 | OOPSLA 2020 Papers 3SIGPLAN Papers at Zurich G Chair(s): Anders Miltner The University of Texas at Austin, Texas, USA | ||
15:40 15mTalk | DynamiTe: Dynamic Termination and Non-termination Proofs SIGPLAN Papers 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 George Mason University | ||
15:55 15mTalk | TacTok: Semantics-Aware Proof Synthesis SIGPLAN Papers Emily First University of Massachusetts at Amherst, Yuriy Brun University of Massachusetts Amherst, Arjun Guha Northeastern University Link to publication DOI Pre-print | ||
16:10 15mTalk | Towards A Unified Proof Framework for Automated Fixpoint Reasoning Using Matching Logic SIGPLAN Papers 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 | ||
16:25 15mTalk | Verifying and Improving Halide’s Term Rewriting System with Program Synthesis SIGPLAN Papers Julie L. Newcomb University of Washington, Andrew Adams Adobe, Steven Johnson Google, Rastislav Bodík University of Washington, Shoaib Kamil Adobe Research | ||
16:40 20mLive Q&A | Discussion, Questions and Answers SIGPLAN Papers | ||
17:00 - 19:00 | |||
17:00 2hPoster | Programming and Execution Models for Parallel Bounded Exhaustive TestingOOPSLAIn-Person Posters Nader Al Awar University of Texas at Austin, Kush Jain University of Texas at Austin, Chris Rossbach University of Texas at Austin; Katana Graph, Milos Gligoric University of Texas at Austin | ||
17:00 2hPoster | Motivating Complexity Understanding By Profiling Energy UsageOnward! PapersDemoIn-Person Posters Joshua B. Gross California State University at Monterey Bay, Kevin Coogan Hampton University, Daniel Jacoby California State University at Monterey Bay, Aaron Helman California State University at Monterey Bay | ||
17:00 2hPoster | Verifying Concurrent Multicopy Search StructuresOOPSLAIn-Person Posters Nisarg Patel New York University, Siddharth Krishna Microsoft Research, Dennis Shasha New York University, Thomas Wies New York University | ||
17:00 2hPoster | Copy-and-Patch CompilationOOPSLAIn-Person Posters | ||
17:00 2hPoster | Compilation of Sparse Array Programming ModelsIn-Person and VirtualOOPSLA Posters Rawn Henry Massachusetts Institute of Technology, Olivia Hsu Stanford University, Rohan Yadav Stanford University, Stephen Chou Massachusetts Institute of Technology, Kunle Olukotun Stanford University, Saman Amarasinghe Massachusetts Institute of Technology, Fredrik Kjolstad Stanford University | ||
17:00 2hPoster | Rewrite Rule Inference Using Equality SaturationOOPSLAIn-Person Posters Chandrakana Nandi Certora, inc., Max Willsey University of Washington, Amy Zhu University of Washington, Yisu Remy Wang University of Washington, Brett Saiki University of Washington, Adam Anderson University of Washington, Adriana Schulz University of Washington, Dan Grossman University of Washington, Zachary Tatlock University of Washington | ||
17:00 2hPoster | Static Detection of Silent Misconfigurations with Deep Interaction AnalysisOOPSLAIn-Person Posters | ||
17:00 2hPoster | Statically Bounded-Memory Delayed Sampling for Probabilistic StreamsIn-Person and VirtualOOPSLA Posters Eric Atkinson Massachusetts Institute of Technology, Guillaume Baudart IBM Research, USA, Louis Mandel IBM Research, Charles Yuan Massachusetts Institute of Technology, Michael Carbin Massachusetts Institute of Technology | ||
17:00 2hPoster | Programming with Neural Surrogates of ProgramsOnward! PapersIn-Person Posters Alex Renda , Yi Ding Massachusetts Institute of Technology, Michael Carbin Massachusetts Institute of Technology | ||
17:00 2hPoster | Reachability Types: Tracking Aliasing and Separation in Higher-Order Functional ProgramsIn-Person and VirtualOOPSLA Posters Yuyan Bao University of Waterloo, Guannan Wei Purdue University, Oliver Bračevac Purdue University, Yuxuan Jiang Purdue University, Qiyang He Purdue University, Tiark Rompf Purdue University | ||
17:00 - 18:50 | |||
17:00 1h50mOther | ReceptionIn-Person Opening | ||
17:00 - 17:20 | |||
17:00 20mDay opening | Opening SessionIn-Person Opening Hridesh Rajan Iowa State University | ||
17:20 - 18:20 | |||
17:20 60mKeynote | Exascale and then what?: HPC and AI for Scientific DiscoveryKeynote Keynotes | ||
18:20 - 18:50 | AMA SessionAsk Me Anything (AMA) at Zurich C Chair(s): Manu Sridharan University of California at Riverside | ||
18:20 30mLive Q&A | Invited SpeakerAMAVirtual Ask Me Anything (AMA) Martin Abadi Google | ||
18:20 - 18:50 | |||
18:20 30mPoster | SkyQuery: An Aerial Drone Video Sensing PlatformVirtualOnward! Papers Posters Favyen Bastani Massachusetts Institute of Technology, Songtao He Massachusetts Institute of Technology, Ziwen Jiang Massachusetts Institute of Technology, Osbert Bastani University of Pennsylvania, Sam Madden Massachusetts Institute of Technology | ||
18:20 30mPoster | The Semantics of Shared Memory in Intel CPU/FPGA SystemsVirtualOOPSLA Posters Dan Iorga Imperial College London, Alastair F. Donaldson Imperial College London, Tyler Sorensen University of California at Santa Cruz, John Wickerson Imperial College London | ||
18:20 30mPoster | Dala: A Simple Capability-Based Dynamic Language Design For Data Race-FreedomVirtualOnward! Papers Posters Kiko Fernandez-Reyes Uppsala University, Isaac Oscar Gariano Victoria University of Wellington, James Noble Victoria University of Wellington, Erin Greenwood-Thessman Victoria University of Wellington, Michael Homer Victoria University of Wellington, Tobias Wrigstad Uppsala University, Sweden | ||
18:20 30mPoster | Reachability Types: Tracking Aliasing and Separation in Higher-Order Functional ProgramsIn-Person and VirtualOOPSLA Posters Yuyan Bao University of Waterloo, Guannan Wei Purdue University, Oliver Bračevac Purdue University, Yuxuan Jiang Purdue University, Qiyang He Purdue University, Tiark Rompf Purdue University | ||
18:20 30mPoster | Much ADO about Failures: A Fault-Aware Model for Compositional Verification of Strongly Consistent Distributed SystemsVirtualOOPSLA Posters Wolf Honore Yale University, Jieung Kim Yale University, Ji-Yong Shin Northeastern University, Zhong Shao Yale University | ||
18:20 30mPoster | Towards Self-Adaptable LanguagesVirtualOnward! Papers Posters Gwendal Jouneaux University of Rennes; Inria; IRISA, Olivier Barais University of Rennes; Inria; IRISA, Benoit Combemale University of Rennes; Inria; IRISA, Gunter Mussbacher McGill University | ||
18:50 - 20:10 | |||
18:50 15mDay opening | Onward! WelcomeVirtual Onward! Papers | ||
19:05 15mTalk | Natural Language-Guided ProgrammingVirtual Onward! Papers Geert Heyman Nokia Bell Labs, Belgium, Rafael Huysegems Nokia Bell Labs, Belgium, Pascal Justen Nokia Bell Labs, Tom Van Cutsem Nokia Bell Labs DOI | ||
19:20 15mTalk | Towards Self-Adaptable LanguagesVirtual Onward! Papers Gwendal Jouneaux University of Rennes; Inria; IRISA, Olivier Barais University of Rennes; Inria; IRISA, Benoit Combemale University of Rennes; Inria; IRISA, Gunter Mussbacher McGill University DOI | ||
19:35 15mTalk | Programming with Neural Surrogates of ProgramsIn-Person Onward! Papers Alex Renda Massachusetts Institute of Technology, Yi Ding Massachusetts Institute of Technology, Michael Carbin Massachusetts Institute of Technology DOI | ||
19:50 20mLive Q&A | Discussion, Questions and Answers Onward! Papers | ||
18:50 - 20:10 | |||
18:50 80mTalk | CARES SessionVirtual CARES | ||
20:10 - 20:40 | |||
20:10 30mSocial Event | PLTea PLTea | ||
21:50 - 23:10 | Onward! Paper Session 2Onward! Papers at Zurich C Chair(s): Hidehiko Masuhara Tokyo Institute of Technology | ||
21:50 15mTalk | Kotlin Coroutines: Design and ImplementationVirtual Onward! Papers Roman Elizarov JetBrains, Mikhail Belyaev JetBrains Research; St. Petersburg Polytechnic University, Marat Akhin JetBrains Research; St. Petersburg Polytechnic University, Ilmir Usmanov JetBrains DOI | ||
22:05 15mTalk | Dala: A Simple Capability-Based Dynamic Language Design for Data Race-FreedomVirtual Onward! Papers Kiko Fernandez-Reyes Uppsala University, Isaac Oscar Gariano Victoria University of Wellington, James Noble Victoria University of Wellington, Erin Greenwood-Thessman Victoria University of Wellington, Michael Homer Victoria University of Wellington, Tobias Wrigstad Uppsala University, Sweden DOI | ||
22:20 15mTalk | Motivating Complexity Understanding by Profiling Energy UsageVirtual Onward! Papers Joshua B. Gross California State University at Monterey Bay, Daniel Jacoby California State University at Monterey Bay, Kevin Coogan Hampton University, Aaron Helman California State University at Monterey Bay DOI | ||
22:35 15mTalk | SkyQuery: An Aerial Drone Video Sensing PlatformVirtual Onward! Papers Favyen Bastani Massachusetts Institute of Technology, Songtao He Massachusetts Institute of Technology, Ziwen Jiang Massachusetts Institute of Technology, Osbert Bastani University of Pennsylvania, Sam Madden Massachusetts Institute of Technology DOI | ||
22:50 20mLive Q&A | Discussion, Questions and Answers Onward! Papers | ||
21:50 - 23:10 | |||
21:50 15mTalk | Translating C to Safer RustVirtual OOPSLA Mehmet Emre University of California at Santa Barbara, Ryan Schroeder University of California at Santa Barbara, Kyle Dewey California State University at Northridge, Ben Hardekopf University of California at Santa Barbara DOI | ||
22:05 15mTalk | Modular Specification and Verification of Closures in RustVirtual OOPSLA Fabian Wolff , Aurel Bílý ETH Zurich, Christoph Matheja ETH Zurich, Peter Müller ETH Zurich, Alexander J. Summers University of British Columbia DOI | ||
22:20 15mTalk | Safer at Any Speed: Automatic Context-Aware Safety Enhancement for RustVirtual OOPSLA Natalie Popescu Princeton University, Ziyang Xu Princeton University, Sotiris Apostolakis Google, David I. August Princeton University, Amit Levy Princeton University DOI | ||
22:35 35mLive Q&A | Discussion, Questions and Answers OOPSLA | ||
21:50 - 23:10 | |||
21:50 80mPanel | Current Student Panel PLMW Darshana Balakrishnan University at Buffalo, Daniel A. A. Pelsmaeker Delft University of Technology, Netherlands, Ifaz Kabir University of Alberta, Ellen Arteca Northeastern University | ||
Thu 21 OctDisplayed time zone: Central Time (US & Canada) change
Thu 21 Oct
Displayed time zone: Central Time (US & Canada) change
07:40 - 09:00 | Essays Session 1Onward! Essays at Zurich C Chair(s): Jeremy Gibbons Department of Computer Science, University of Oxford | ||
07:40 40mTalk | Programming as Architecture, Design, and Urban PlanningVirtual Onward! Essays Tomas Petricek University of Kent DOI | ||
08:20 40mTalk | Angelic and Demonic Visitation: School MemoriesVirtual Onward! Essays Leila Salem University of Toronto DOI | ||
07:40 - 09:00 | |||
07:40 15mTalk | Well-Typed Programs Can Go Wrong: A Study of Typing-Related Bugs in JVM CompilersVirtual OOPSLA Stefanos Chaliasos Athens University of Economics and Business, Thodoris Sotiropoulos Athens University of Economics and Business, Georgios-Petros Drosos Athens University of Economics and Business, Charalambos Ioannis Mitropoulos Technical University of Crete, Dimitris Mitropoulos University of Athens, Diomidis Spinellis Athens University of Economics and Business; Delft University of Technology DOI | ||
07:55 15mTalk | How Statically-Typed Functional Programmers Write CodeVirtual OOPSLA Justin Lubin University of California at Berkeley, Sarah E. Chasins University of California at Berkeley DOI | ||
08:10 15mTalk | What We Eval in the Shadows: A Large-Scale Study of Eval in R ProgramsVirtual OOPSLA Aviral Goel Northeastern University, Pierre Donat-Bouillud Czech Technical University, Filip Křikava Czech Technical University, Christoph Kirsch University of Salzburg; Czech Technical University, Jan Vitek Northeastern University; Czech Technical University DOI | ||
08:25 35mLive Q&A | Discussion, Questions and Answers OOPSLA | ||
09:20 - 10:20 | |||
09:20 60mTalk | Integrated Scientific Modeling and Lab AutomationKeynote Keynotes | ||
10:20 - 10:50 | |||
10:20 30mSocial Event | PLTea PLTea | ||
10:20 - 10:50 | |||
10:20 30mPoster | Coarsening Optimization for Differentiable ProgrammingVirtualOOPSLA Posters Xipeng Shen North Carolina State University; Facebook, Guoqiang Zhang North Carolina State University; Facebook, Irene Dea Facebook, Samantha Andow Facebook, Emilio Arroyo-Fang Facebook, Neal Gafter Facebook, Johann George Facebook, Melissa Grueter Facebook, Erik Meijer Facebook, Olin Shivers Northeastern University, USA, Steffi Stumpos Facebook, Alanna Tempest Facebook, Christy Warden Facebook, Shannon Yang Facebook | ||
10:20 30mPoster | Statically Bounded-Memory Delayed Sampling for Probabilistic StreamsIn-Person and VirtualOOPSLA Posters Eric Atkinson Massachusetts Institute of Technology, Guillaume Baudart IBM Research, USA, Louis Mandel IBM Research, Charles Yuan Massachusetts Institute of Technology, Michael Carbin Massachusetts Institute of Technology | ||
10:20 30mPoster | Compilation of Sparse Array Programming ModelsIn-Person and VirtualOOPSLA Posters Rawn Henry Massachusetts Institute of Technology, Olivia Hsu Stanford University, Rohan Yadav Stanford University, Stephen Chou Massachusetts Institute of Technology, Kunle Olukotun Stanford University, Saman Amarasinghe Massachusetts Institute of Technology, Fredrik Kjolstad Stanford University | ||
10:20 30mPoster | Study of the Subtyping Machine of Nominal Subtyping with VarianceVirtualDemoOOPSLA Posters Ori Roth Technion | ||
10:50 - 12:10 | |||
10:50 15mTalk | Gradually Structured DataVirtual OOPSLA Stefan Malewski University of Chile, Michael Greenberg Stevens Institute of Technology, Éric Tanter University of Chile DOI Pre-print | ||
11:05 15mTalk | Solver-Based Gradual Type MigrationVirtual OOPSLA Luna Phipps-Costin University of Massachusetts at Amherst, Carolyn Jane Anderson Wellesley College, Michael Greenberg Stevens Institute of Technology, Arjun Guha Northeastern University DOI Pre-print | ||
11:20 15mTalk | SimTyper: Sound Type Inference for Ruby using Type Equality PredictionVirtual OOPSLA Milod Kazerounian University of Maryland at College Park, Jeffrey S. Foster Tufts University, Bonan Min Raytheon BBN Technologies DOI | ||
11:35 15mTalk | Promises Are Made to Be Broken: Migrating R to Strict SemanticsIn-Person OOPSLA Aviral Goel Northeastern University, Jan Ječmen Czech Technical University, Sebastián Krynski Czech Technical University, Olivier Flückiger Northeastern University, Jan Vitek Northeastern University; Czech Technical University DOI | ||
11:50 20mLive Q&A | Discussion, Questions and Answers OOPSLA | ||
10:50 - 12:10 | Future of ConferencesSIGPLAN Business at Zurich C +8h Chair(s): Eelco Visser Delft University of Technology | ||
10:50 80mPanel | Future of ConferencesVirtualIn-Person SIGPLAN Business Stephen Kell King's College London, Jonathan Aldrich Carnegie Mellon University, Shriram Krishnamurthi Brown University, United States, David Grove IBM Research, Gorel Hedin Lund University, Amal Ahmed Northeastern University, USA, Manu Sridharan University of California at Riverside, Yannis Smaragdakis University of Athens, Eelco Visser Delft University of Technology, Sophia Drossopoulou Facebook and Imperial College London, Tony Hosking Australian National University, Alex Potanin Victoria University of Wellington | ||
10:50 - 12:10 | |||
10:50 15mTalk | Dynaplex: Analyzing Program Complexity using Dynamically Inferred Recurrence RelationsVirtual OOPSLA Didier Ishimwe University of Nebraska-Lincoln, KimHao Nguyen University of Nebraska-Lincoln, ThanhVu Nguyen George Mason University DOI | ||
11:05 15mTalk | Static Detection of Silent Misconfigurations with Deep Interaction AnalysisIn-Person OOPSLA Jialu Zhang Yale University, Ruzica Piskac Yale University, Ennan Zhai Alibaba Group, Tianyin Xu University of Illinois at Urbana-Champaign DOI | ||
11:20 15mTalk | Data-Driven Abductive Inference of Library SpecificationsIn-Person OOPSLA Zhe Zhou Purdue University, Robert Dickerson Purdue University, Benjamin Delaware Purdue University, Suresh Jagannathan Purdue University DOI | ||
11:35 15mTalk | Synthesizing Contracts Correct Modulo a Test GeneratorIn-Person OOPSLA Angello Astorga University of Illinois at Urbana-Champaign, Shambwaditya Saha Tufts University, Ahmad Dinkins University of Illinois at Urbana-Champaign, Felicia Wang University of Illinois at Urbana-Champaign, P. Madhusudan University of Illinois at Urbana-Champaign, Tao Xie Peking University DOI | ||
11:50 20mLive Q&A | Discussion, Questions and Answers OOPSLA | ||
10:50 - 12:10 | ICFP 2020 PapersSIGPLAN Papers at Zurich E Chair(s): Stefan K. Muller Illinois Institute of Technology | ||
10:50 15mTalk | A General Approach to Define Binders using Matching Logic SIGPLAN Papers Xiaohong Chen University of Illinois at Urbana-Champaign, Grigore Roşu University of Illinois at Urbana-Champaign DOI | ||
11:05 15mTalk | Denotational Recurrence Extraction for Amortized Analysis SIGPLAN Papers Joseph W. Cutler University of Pennsylvania, Daniel R. Licata Wesleyan University, Norman Danner Wesleyan University DOI | ||
11:20 15mTalk | Program Sketching with Live Bidirectional Evaluation SIGPLAN Papers Justin Lubin University of California at Berkeley, Nick Collins University of Chicago, Cyrus Omar University of Michigan, Ravi Chugh University of Chicago DOI | ||
11:35 15mTalk | Liquid Information Flow Control SIGPLAN Papers Nadia Polikarpova University of California at San Diego, Jean Yang Carnegie Mellon University, Deian Stefan University of California at San Diego, USA, Shachar Itzhaky Technion, Armando Solar-Lezama Massachusetts Institute of Technology, Travis Hance Carnegie Mellon University DOI | ||
11:50 20mLive Q&A | Discussion, Questions and Answers SIGPLAN Papers | ||
10:50 - 12:10 | |||
10:50 15mTalk | Armada: Low-Effort Verification of High-Performance Concurrent Programs SIGPLAN Papers Jacob R. Lorch Microsoft Research, n.n., Yixuan Chen Yale University, USA, Manos Kapritsos University of Michigan, USA, Bryan Parno Carnegie Mellon University, USA, Shaz Qadeer Novi, USA, Upamanyu Sharma University of Michigan, USA, James R. Wilcox University of Washington, Xueyuan Zhao Carnegie Mellon University, USA DOI | ||
11:05 15mTalk | Decidable Verification under a Causally Consistent Shared Memory SIGPLAN Papers | ||
11:20 15mTalk | Efficient Handling of String-Number Conversion SIGPLAN Papers Parosh Aziz Abdulla Uppsala University, Sweden, Mohamed Faouzi Atig Uppsala University, Sweden, Yu-Fang Chen Academia Sinica, Taiwan, Bui Phi Diep Uppsala University, Sweden, Julian Dolby IBM Research, USA, Petr Janků Brno University of Technology, Czechia, Hsin-Hung Lin Academia Sinica, Taiwan, Lukáš Holík Brno University of Technology, Wei-Cheng Wu University of Southern California, USA | ||
11:35 15mTalk | Verifying Concurrent Search Structure Templates SIGPLAN Papers Siddharth Krishna Microsoft Research, Nisarg Patel New York University, Dennis Shasha New York University, Thomas Wies New York University | ||
11:50 20mLive Q&A | Discussion, Questions and Answers SIGPLAN Papers | ||
10:50 - 12:10 | PLDI 2021, PLDI 2020, and OOPSLA 2020 Papers 1SIGPLAN Papers at Zurich G Chair(s): James Koppel Massachusetts Institute of Technology, USA | ||
10:50 15mTalk | Example-Guided Synthesis of Relational Queries SIGPLAN Papers Aalok Thakkar University of Pennsylvania, Aaditya Naik University of Pennsylvania, Nathaniel Sands University of Southern California, Mukund Raghothaman University of Southern California, Mayur Naik University of Pennsylvania, Rajeev Alur University of Pennsylvania | ||
11:05 15mTalk | Web Question Answering with Neurosymbolic Program Synthesis SIGPLAN Papers Jocelyn (Qiaochu) Chen University of Texas at Austin, USA, Aaron Lamoreaux University of Texas at Austin, Xinyu Wang University of Michigan, Greg Durrett University of Texas at Austin, USA, Osbert Bastani University of Pennsylvania, Işıl Dillig University of Texas at Austin | ||
11:20 15mTalk | Reactive Probabilistic Programming SIGPLAN Papers Guillaume Baudart IBM Research, USA, Louis Mandel IBM Research, Eric Atkinson Massachusetts Institute of Technology, Benjamin Sherman Massachusetts Institute of Technology, USA, Marc Pouzet École normale supérieure, Michael Carbin Massachusetts Institute of Technology DOI Pre-print | ||
11:35 15mTalk | A Sparse Iteration Space Transformation Framework for Sparse Tensor Algebra SIGPLAN Papers 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 | ||
11:50 20mLive Q&A | Discussion, Questions and Answers SIGPLAN Papers | ||
12:10 - 13:50 | Session 2Faculty Mentorship Roundtable at Zurich B Chair(s): Danny Dig University of Colorado Boulder, USA | ||
12:10 1h40mMeeting | Faculty Mentoring RoundtableIn-Person Faculty Mentorship Roundtable | ||
13:50 - 15:10 | |||
13:50 15mTalk | Generalizable Synthesis through UnificationVirtual OOPSLA Ruyi Ji Peking University, Jingtao Xia Peking University, Yingfei Xiong Peking University, Zhenjiang Hu Peking University DOI | ||
14:05 15mTalk | Gauss: Program Synthesis by Reasoning over GraphsVirtual OOPSLA Rohan Bavishi University of California at Berkeley, Caroline Lemieux Microsoft Research, Koushik Sen University of California at Berkeley, Ion Stoica University of California at Berkeley DOI | ||
14:20 15mTalk | APIfix: Output-Oriented Program Synthesis for Combating Breaking Changes in LibrariesVirtual OOPSLA Xiang Gao National University of Singapore, Arjun Radhakrishna Microsoft, Gustavo Soares Microsoft, Ridwan Salihin Shariffdeen National University of Singapore, Sumit Gulwani Microsoft, Abhik Roychoudhury National University of Singapore DOI | ||
14:35 15mTalk | LooPy: Interactive Program Synthesis with Control StructuresVirtual OOPSLA Kasra Ferdowsi University of California at San Diego, Shraddha Barke University of California at San Diego, Hila Peleg Technion, Sorin Lerner University of California at San Diego, Nadia Polikarpova University of California at San Diego DOI | ||
14:50 20mLive Q&A | Discussion, Questions and Answers OOPSLA | ||
13:50 - 15:10 | |||
13:50 15mTalk | Coarsening Optimization for Differentiable ProgrammingVirtual OOPSLA Xipeng Shen North Carolina State University; Facebook, Guoqiang Zhang North Carolina State University; Facebook, Irene Dea Facebook, Samantha Andow Facebook, Emilio Arroyo-Fang Facebook, Neal Gafter Facebook, Johann George Facebook, Melissa Grueter Facebook, Erik Meijer Facebook, Olin Grigsby Shivers Facebook, Steffi Stumpos Facebook, Alanna Tempest Facebook, Christy Warden Facebook, Shannon Yang Facebook DOI | ||
14:05 15mTalk | Efficient Automatic Scheduling of Imaging and Vision Pipelines for the GPUVirtual OOPSLA Luke Anderson Massachusetts Institute of Technology, Andrew Adams Adobe, Karima Ma Massachusetts Institute of Technology, Tzu-Mao Li Massachusetts Institute of Technology; University of California at San Diego, Tian Jin Massachusetts Institute of Technology, Jonathan Ragan-Kelley Massachusetts Institute of Technology DOI | ||
14:20 15mTalk | Statically Bounded-Memory Delayed Sampling for Probabilistic StreamsIn-Person OOPSLA Eric Atkinson Massachusetts Institute of Technology, Guillaume Baudart IBM Research, USA, Louis Mandel IBM Research, Charles Yuan Massachusetts Institute of Technology, Michael Carbin Massachusetts Institute of Technology DOI | ||
14:35 15mTalk | Compilation of Sparse Array Programming ModelsIn-Person OOPSLA Rawn Henry Massachusetts Institute of Technology, Olivia Hsu Stanford University, Rohan Yadav Stanford University, Stephen Chou Massachusetts Institute of Technology, Kunle Olukotun Stanford University, Saman Amarasinghe Massachusetts Institute of Technology, Fredrik Kjolstad Stanford University DOI | ||
14:50 20mLive Q&A | Discussion, Questions and Answers OOPSLA | ||
13:50 - 15:10 | |||
13:50 15mTalk | Study of the Subtyping Machine of Nominal Subtyping with Variance OOPSLA Ori Roth Technion DOI Pre-print Media Attached | ||
14:05 15mTalk | Label Dependent Lambda Calculus and Gradual TypingVirtual OOPSLA Weili Fu University of Edinburgh, Fabian Krause University of Freiburg, Peter Thiemann University of Freiburg, Germany DOI | ||
14:20 15mTalk | Relational Nullable Types with Boolean UnificationVirtual OOPSLA DOI | ||
14:35 15mTalk | Type Stability in Julia: Avoiding Performance Pathologies in JIT CompilationIn-Person OOPSLA Artem Pelenitsyn Northeastern University, Julia Belyakova Northeastern University, Benjamin Chung Northeastern University, Ross Tate Cornell University, Jan Vitek Northeastern University; Czech Technical University DOI Pre-print Media Attached | ||
14:50 20mLive Q&A | Discussion, Questions and Answers OOPSLA | ||
13:50 - 15:10 | TalksStudent Research Competition at Zurich E Talks to be selected in the poster session on Wednesday. | ||
13:50 80mPoster | Towards Decidable and Expressive DOT Student Research Competition Sophia Roshal Cornell University; Carnegie Mellon University DOI | ||
13:51 79mPoster | Source Code Authorship Attribution using File Embeddings Student Research Competition Alina Bogdanova Innopolis University DOI | ||
13:52 78mPoster | Programming-by-Example by Programming-by-Example: Synthesis of Looping Programs Student Research Competition Shmuel Berman Columbia University DOI | ||
13:53 77mPoster | Edgeworth: Authoring Diagrammatic Math Problems using Program Mutation Student Research Competition Hwei-Shin Harriman Olin College of Engineering; Carnegie Mellon University DOI | ||
13:54 76mPoster | A Study of Call Graph Effectiveness for Framework-Based Web Applications Student Research Competition Madhurima Chakraborty University of California at Riverside DOI | ||
13:55 75mPoster | Run-Time Data Analysis to Drive Compiler Optimizations Student Research Competition Sebastian Kloibhofer JKU Linz DOI | ||
13:56 74mPoster | Run-Time Data Analysis in Dynamic Runtimes Student Research Competition Lukas Makor JKU Linz DOI | ||
13:50 - 15:10 | PLDI 2020 Papers 2SIGPLAN Papers at Zurich F Chair(s): Tyler Sorensen University of California at Santa Cruz | ||
13:50 15mTalk | Automated Derivation of Parametric Data Movement Lower Bounds for Affine Programs SIGPLAN Papers Auguste Olivry Inria, France, Julien Langou , Louis-Noël Pouchet Colorado State University, USA, Saday Sadayappan University of Utah, USA, Fabrice Rastello Inria, France | ||
14:05 15mTalk | Responsive Parallelism with Futures and State SIGPLAN Papers Stefan K. Muller Illinois Institute of Technology, Kyle Singer Washington University in St. Louis, USA, Noah Goldstein Washington University in St. Louis, USA, Umut A. Acar Carnegie Mellon University, Kunal Agrawal Washington University in St. Louis, USA, I-Ting Angelina Lee Washington University in St. Louis, USA | ||
14:20 15mTalk | The Essence of Bluespec: A Core Language for Rule-Based Hardware Design SIGPLAN Papers Thomas Bourgeat , Clément Pit-Claudel MIT CSAIL, Adam Chlipala Massachusetts Institute of Technology, Arvind Massachusetts Institute of Technology, USA | ||
14:35 15mPaper | Semantic Code Search via Equational Reasoning SIGPLAN Papers Varot Premtoon Massachusetts Institute of Technology, USA, James Koppel Massachusetts Institute of Technology, USA, Armando Solar-Lezama Massachusetts Institute of Technology Link to publication | ||
14:50 20mLive Q&A | Discussion, Questions and Answers SIGPLAN Papers | ||
13:50 - 15:10 | |||
13:50 15mTalk | Concurrent Deferred Reference Counting for Non-garbage-collected Languages SIGPLAN Papers Daniel Anderson Carnegie Mellon University, Guy E. Blelloch Carnegie Mellon University, USA, Yuanhao Wei Carnegie Mellon University, USA | ||
14:05 15mTalk | Snapshot-Free, Transparent, and Robust Memory Reclamation for Lock-Free Data Structures SIGPLAN Papers | ||
14:20 15mTalk | SyRust: Automatic Testing of Rust Libraries with Semantic-Aware Program Synthesis SIGPLAN Papers Yoshiki Takashima Carnegie Mellon University, Ruben Martins Carnegie Mellon University, Limin Jia Carnegie Mellon University, Corina S. Păsăreanu Carnegie Mellon University | ||
14:35 15mTalk | Vectorized Secure Evaluation of Decision Forests SIGPLAN Papers Raghav Malik Purdue University, Vidush Singhal Purdue University, Benjamin Gottfried Purdue University, Milind Kulkarni Purdue University | ||
14:50 20mLive Q&A | Discussion, Questions and Answers SIGPLAN Papers | ||
15:10 - 15:40 | |||
15:10 30mSocial Event | PLTea PLTea | ||
15:40 - 17:00 | |||
15:40 40mTalk | Programming as Architecture, Design, and Urban PlanningVirtual Onward! Essays Tomas Petricek University of Kent DOI | ||
16:20 40mTalk | Angelic and Demonic Visitation: School MemoriesVirtual Onward! Essays Leila Salem University of Toronto DOI | ||
15:40 - 17:00 | Corpus and User StudiesOOPSLA at Zurich D -8h Chair(s): Iulian Neamtiu New Jersey Institute of Technology | ||
15:40 15mTalk | Well-Typed Programs Can Go Wrong: A Study of Typing-Related Bugs in JVM CompilersVirtual OOPSLA Stefanos Chaliasos Athens University of Economics and Business, Thodoris Sotiropoulos Athens University of Economics and Business, Georgios-Petros Drosos Athens University of Economics and Business, Charalambos Ioannis Mitropoulos Technical University of Crete, Dimitris Mitropoulos University of Athens, Diomidis Spinellis Athens University of Economics and Business; Delft University of Technology DOI | ||
15:55 15mTalk | How Statically-Typed Functional Programmers Write CodeVirtual OOPSLA Justin Lubin University of California at Berkeley, Sarah E. Chasins University of California at Berkeley DOI | ||
16:10 15mTalk | What We Eval in the Shadows: A Large-Scale Study of Eval in R ProgramsVirtual OOPSLA Aviral Goel Northeastern University, Pierre Donat-Bouillud Czech Technical University, Filip Křikava Czech Technical University, Christoph Kirsch University of Salzburg; Czech Technical University, Jan Vitek Northeastern University; Czech Technical University DOI | ||
16:25 35mLive Q&A | Discussion, Questions and Answers OOPSLA | ||
15:40 - 17:00 | |||
15:40 15mTalk | An Order-Aware Dataflow Model for Parallel Unix Pipelines SIGPLAN Papers Shivam Handa Massachusetts Institute of Technology, Konstantinos Kallas University of Pennsylvania, Nikos Vasilakis Massachusetts Institute of Technology, Martin C. Rinard Massachusetts Institute of Technology DOI | ||
15:55 15mTalk | Compositional Optimizations for CertiCoq SIGPLAN Papers Zoe Paraskevopoulou Northeastern University, John M. Li Princeton University, Andrew W. Appel Princeton DOI | ||
16:10 15mTalk | Efficient Tree-Traversals: Reconciling Parallelism and Dense Data Representations SIGPLAN Papers Chaitanya S. Koparkar Indiana University, Mike Rainey Carnegie Mellon University, Michael Vollmer University of Kent, Milind Kulkarni Purdue University, Ryan R. Newton Facebook DOI | ||
16:25 15mTalk | Reasoning about the Garden of Forking Paths SIGPLAN Papers Yao Li University of Pennsylvania, Li-yao Xia University of Pennsylvania, Stephanie Weirich University of Pennsylvania DOI | ||
16:40 20mLive Q&A | Discussion, Questions and Answers SIGPLAN Papers | ||
15:40 - 17:00 | |||
15:40 15mTalk | A Study of the Learnability of Relational Properties: Model Counting Meets Machine Learning (MCML) SIGPLAN Papers Muhammad Usman University of Texas at Austin, USA, Wenxi Wang University of Texas at Austin, Marko Vasic University of Texas at Austin, USA, Kaiyuan Wang Google, Inc., Haris Vikalo University of Texas at Austin, USA, Sarfraz Khurshid University of Texas at Austin | ||
15:55 15mTalk | Data-Driven Inference of Representation Invariants SIGPLAN Papers Anders Miltner The University of Texas at Austin, Texas, USA, Saswat Padhi Amazon Web Services, USA, Todd Millstein University of California, Los Angeles, David Walker Princeton University, USA | ||
16:10 15mTalk | Reconciling Enumerative and Deductive Program Synthesis SIGPLAN Papers Kangjing Huang Purdue University, USA, Xiaokang Qiu Purdue University, USA, Peiyuan Shen Purdue University, USA, Yanjun Wang Purdue University, USA | ||
16:25 15mTalk | Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations SIGPLAN Papers Chandrakana Nandi Certora, inc., Max Willsey University of Washington, Adam Anderson University of Washington, James R. Wilcox University of Washington, Eva Darulova Uppsala University, Dan Grossman University of Washington, Zachary Tatlock University of Washington | ||
16:40 20mLive Q&A | Discussion, Questions and Answers SIGPLAN Papers | ||
15:40 - 17:00 | |||
15:40 15mTalk | Automatically Enforcing Fresh and Consistent Inputs in Intermittent Systems SIGPLAN Papers Milijana Surbatovich Carnegie Mellon University, Limin Jia Carnegie Mellon University, Brandon Lucia Carnegie Mellon University, USA | ||
15:55 15mTalk | IOOpt- Automatic Derivation of I/O complexity bounds for affine programs SIGPLAN Papers Auguste Olivry Inria, France, Guillaume Iooss Inria, Nicolas Tollenaere Inria, Atanas Rountev Ohio State University, Saday Sadayappan University of Utah, USA, Fabrice Rastello Inria, France | ||
16:10 15mTalk | Integration Verification Across Software and Hardware for a Simple Embedded System SIGPLAN Papers Andres Erbsen MIT, Samuel Gruetter Massachusetts Institute of Technology, Joonwon Choi Massachusetts Institute of Technology, USA, Clark Wood Massachusetts Institute of Technology, Adam Chlipala Massachusetts Institute of Technology | ||
16:25 15mTalk | Execution reconstruction: Harnessing failure reoccurrences for failure reproduction SIGPLAN Papers Gefei Zuo University of Michigan, Jiacheng Ma University of Michigan, Andrew Quinn University of Michigan, Pramod Bhatotia University of Edinburgh, Pedro Fonseca Purdue University, Baris Kasikci University of Michigan, USA | ||
16:40 20mLive Q&A | Discussion, Questions and Answers SIGPLAN Papers | ||
17:00 - 18:50 | |||
17:00 1h50mOther | ReceptionIn-Person Opening | ||
17:20 - 18:20 | |||
17:20 60mTalk | Integrated Scientific Modeling and Lab AutomationKeynote Keynotes | ||
18:20 - 18:50 | |||
18:20 30mPoster | Study of the Subtyping Machine of Nominal Subtyping with VarianceVirtualDemoOOPSLA Posters Ori Roth Technion | ||
18:20 30mPoster | Statically Bounded-Memory Delayed Sampling for Probabilistic StreamsIn-Person and VirtualOOPSLA Posters Eric Atkinson Massachusetts Institute of Technology, Guillaume Baudart IBM Research, USA, Louis Mandel IBM Research, Charles Yuan Massachusetts Institute of Technology, Michael Carbin Massachusetts Institute of Technology | ||
18:20 30mPoster | Compilation of Sparse Array Programming ModelsIn-Person and VirtualOOPSLA Posters Rawn Henry Massachusetts Institute of Technology, Olivia Hsu Stanford University, Rohan Yadav Stanford University, Stephen Chou Massachusetts Institute of Technology, Kunle Olukotun Stanford University, Saman Amarasinghe Massachusetts Institute of Technology, Fredrik Kjolstad Stanford University | ||
18:20 30mPoster | Coarsening Optimization for Differentiable ProgrammingVirtualOOPSLA Posters Xipeng Shen North Carolina State University; Facebook, Guoqiang Zhang North Carolina State University; Facebook, Irene Dea Facebook, Samantha Andow Facebook, Emilio Arroyo-Fang Facebook, Neal Gafter Facebook, Johann George Facebook, Melissa Grueter Facebook, Erik Meijer Facebook, Olin Shivers Northeastern University, USA, Steffi Stumpos Facebook, Alanna Tempest Facebook, Christy Warden Facebook, Shannon Yang Facebook | ||
18:50 - 20:10 | |||
18:50 15mTalk | Gradually Structured DataVirtual OOPSLA Stefan Malewski University of Chile, Michael Greenberg Stevens Institute of Technology, Éric Tanter University of Chile DOI Pre-print | ||
19:05 15mTalk | Solver-Based Gradual Type MigrationVirtual OOPSLA Luna Phipps-Costin University of Massachusetts at Amherst, Carolyn Jane Anderson Wellesley College, Michael Greenberg Stevens Institute of Technology, Arjun Guha Northeastern University DOI Pre-print | ||
19:20 15mTalk | SimTyper: Sound Type Inference for Ruby using Type Equality PredictionVirtual OOPSLA Milod Kazerounian University of Maryland at College Park, Jeffrey S. Foster Tufts University, Bonan Min Raytheon BBN Technologies DOI | ||
19:35 15mTalk | Promises Are Made to Be Broken: Migrating R to Strict SemanticsIn-Person OOPSLA Aviral Goel Northeastern University, Jan Ječmen Czech Technical University, Sebastián Krynski Czech Technical University, Olivier Flückiger Northeastern University, Jan Vitek Northeastern University; Czech Technical University DOI | ||
19:50 20mLive Q&A | Discussion, Questions and Answers OOPSLA | ||
18:50 - 20:10 | |||
18:50 80mPanel | Future of ConferencesVirtualIn-Person SIGPLAN Business Stephen Kell King's College London, Jonathan Aldrich Carnegie Mellon University, Shriram Krishnamurthi Brown University, United States, David Grove IBM Research, Gorel Hedin Lund University, Amal Ahmed Northeastern University, USA, Manu Sridharan University of California at Riverside, Yannis Smaragdakis University of Athens, Eelco Visser Delft University of Technology, Sophia Drossopoulou Facebook and Imperial College London, Tony Hosking Australian National University, Alex Potanin Victoria University of Wellington | ||
18:50 - 20:10 | |||
18:50 15mTalk | Dynaplex: Analyzing Program Complexity using Dynamically Inferred Recurrence RelationsVirtual OOPSLA Didier Ishimwe University of Nebraska-Lincoln, KimHao Nguyen University of Nebraska-Lincoln, ThanhVu Nguyen George Mason University DOI | ||
19:05 15mTalk | Static Detection of Silent Misconfigurations with Deep Interaction AnalysisIn-Person OOPSLA Jialu Zhang Yale University, Ruzica Piskac Yale University, Ennan Zhai Alibaba Group, Tianyin Xu University of Illinois at Urbana-Champaign DOI | ||
19:20 15mTalk | Data-Driven Abductive Inference of Library SpecificationsIn-Person OOPSLA Zhe Zhou Purdue University, Robert Dickerson Purdue University, Benjamin Delaware Purdue University, Suresh Jagannathan Purdue University DOI | ||
19:35 15mTalk | Synthesizing Contracts Correct Modulo a Test GeneratorIn-Person OOPSLA Angello Astorga University of Illinois at Urbana-Champaign, Shambwaditya Saha Tufts University, Ahmad Dinkins University of Illinois at Urbana-Champaign, Felicia Wang University of Illinois at Urbana-Champaign, P. Madhusudan University of Illinois at Urbana-Champaign, Tao Xie Peking University DOI | ||
19:50 20mLive Q&A | Discussion, Questions and Answers OOPSLA | ||
20:10 - 20:40 | |||
20:10 30mSocial Event | PLTea PLTea | ||
21:50 - 23:10 | |||
21:50 15mTalk | Generalizable Synthesis through UnificationVirtual OOPSLA Ruyi Ji Peking University, Jingtao Xia Peking University, Yingfei Xiong Peking University, Zhenjiang Hu Peking University DOI | ||
22:05 15mTalk | Gauss: Program Synthesis by Reasoning over GraphsVirtual OOPSLA Rohan Bavishi University of California at Berkeley, Caroline Lemieux Microsoft Research, Koushik Sen University of California at Berkeley, Ion Stoica University of California at Berkeley DOI | ||
22:20 15mTalk | APIfix: Output-Oriented Program Synthesis for Combating Breaking Changes in LibrariesVirtual OOPSLA Xiang Gao National University of Singapore, Arjun Radhakrishna Microsoft, Gustavo Soares Microsoft, Ridwan Salihin Shariffdeen National University of Singapore, Sumit Gulwani Microsoft, Abhik Roychoudhury National University of Singapore DOI | ||
22:35 15mTalk | LooPy: Interactive Program Synthesis with Control StructuresVirtual OOPSLA Kasra Ferdowsi University of California at San Diego, Shraddha Barke University of California at San Diego, Hila Peleg Technion, Sorin Lerner University of California at San Diego, Nadia Polikarpova University of California at San Diego DOI | ||
22:50 20mLive Q&A | Discussion, Questions and Answers OOPSLA | ||
21:50 - 23:10 | Implementation of special Paradigms - mirrorOOPSLA at Zurich C Chair(s): Steve Blackburn Australian National University | ||
21:50 15mTalk | Coarsening Optimization for Differentiable ProgrammingVirtual OOPSLA Xipeng Shen North Carolina State University; Facebook, Guoqiang Zhang North Carolina State University; Facebook, Irene Dea Facebook, Samantha Andow Facebook, Emilio Arroyo-Fang Facebook, Neal Gafter Facebook, Johann George Facebook, Melissa Grueter Facebook, Erik Meijer Facebook, Olin Grigsby Shivers Facebook, Steffi Stumpos Facebook, Alanna Tempest Facebook, Christy Warden Facebook, Shannon Yang Facebook DOI | ||
22:05 15mTalk | Efficient Automatic Scheduling of Imaging and Vision Pipelines for the GPUVirtual OOPSLA Luke Anderson Massachusetts Institute of Technology, Andrew Adams Adobe, Karima Ma Massachusetts Institute of Technology, Tzu-Mao Li Massachusetts Institute of Technology; University of California at San Diego, Tian Jin Massachusetts Institute of Technology, Jonathan Ragan-Kelley Massachusetts Institute of Technology DOI | ||
22:20 15mTalk | Statically Bounded-Memory Delayed Sampling for Probabilistic StreamsIn-Person OOPSLA Eric Atkinson Massachusetts Institute of Technology, Guillaume Baudart IBM Research, USA, Louis Mandel IBM Research, Charles Yuan Massachusetts Institute of Technology, Michael Carbin Massachusetts Institute of Technology DOI | ||
22:35 15mTalk | Compilation of Sparse Array Programming ModelsIn-Person OOPSLA Rawn Henry Massachusetts Institute of Technology, Olivia Hsu Stanford University, Rohan Yadav Stanford University, Stephen Chou Massachusetts Institute of Technology, Kunle Olukotun Stanford University, Saman Amarasinghe Massachusetts Institute of Technology, Fredrik Kjolstad Stanford University DOI | ||
22:50 20mLive Q&A | Discussion, Questions and Answers OOPSLA | ||
21:50 - 23:10 | |||
21:50 15mTalk | Study of the Subtyping Machine of Nominal Subtyping with Variance OOPSLA Ori Roth Technion DOI Pre-print Media Attached | ||
22:05 15mTalk | Label Dependent Lambda Calculus and Gradual TypingVirtual OOPSLA Weili Fu University of Edinburgh, Fabian Krause University of Freiburg, Peter Thiemann University of Freiburg, Germany DOI | ||
22:20 15mTalk | Relational Nullable Types with Boolean UnificationVirtual OOPSLA DOI | ||
22:35 15mTalk | Type Stability in Julia: Avoiding Performance Pathologies in JIT CompilationIn-Person OOPSLA Artem Pelenitsyn Northeastern University, Julia Belyakova Northeastern University, Benjamin Chung Northeastern University, Ross Tate Cornell University, Jan Vitek Northeastern University; Czech Technical University DOI Pre-print Media Attached | ||
22:50 20mLive Q&A | Discussion, Questions and Answers OOPSLA | ||
Fri 22 OctDisplayed time zone: Central Time (US & Canada) change
Fri 22 Oct
Displayed time zone: Central Time (US & Canada) change
09:00 - 09:05 | |||
09:00 5mOther | Introduction to SPLASH 2022 Opening Alex Potanin Victoria University of Wellington | ||
09:05 - 09:20 | AwardsAwards at Zurich D +8h Chair(s): Işıl Dillig University of Texas at Austin, Sophia Drossopoulou Facebook and Imperial College London | ||
09:05 15mAwards | SPLASH Awards Awards | ||
09:20 - 10:20 | Onward! Keynote TalkOnward! Papers at Zurich D +8h Chair(s): Wolfgang De Meuter Vrije Universiteit Brussel | ||
09:20 60mKeynote | Designing Safe Programmed Molecular SystemsVirtualKeynote Onward! Papers | ||
10:20 - 10:50 | |||
10:20 30mSocial Event | PLTea PLTea | ||
10:20 - 10:50 | |||
10:20 30mPoster | Formal Verification of High-Level SynthesisVirtualDemoOOPSLA Posters Yann Herklotz Imperial College London, James D. Pollard Imperial College London, Nadesh Ramanathan Imperial College London, John Wickerson Imperial College London | ||
10:20 30mPoster | Scalability and Precision by Combining Expressive Type Systems and Deductive VerificationVirtualDemoOOPSLA Posters Florian Lanzinger KIT, Alexander Weigl KIT, Mattias Ulbrich KIT, Werner Dietl University of Waterloo | ||
10:50 - 12:10 | |||
10:50 15mTalk | Copy-and-Patch Compilation: A Fast Compilation Algorithm for High-Level Languages and Bytecode OOPSLA DOI Pre-print | ||
11:05 15mTalk | VESPA: Static Profiling for Binary OptimizationVirtual OOPSLA Angelica Moreira Federal University of Minas Gerais, Guilherme Ottoni Facebook, Fernando Magno Quintão Pereira Federal University of Minas Gerais DOI | ||
11:20 15mTalk | A Derivative-Based Parser Generator for Visibly Pushdown GrammarsIn-Person OOPSLA Xiaodong Jia Pennsylvania State University, Ashish Kumar Pennsylvania State University, Gang (Gary) Tan Pennsylvania State University DOI | ||
11:35 35mLive Q&A | Discussion, Questions and Answers OOPSLA | ||
10:50 - 12:10 | |||
10:50 15mTalk | UDF to SQL Translation through Compositional Lazy Inductive SynthesisVirtual OOPSLA Guoqiang Zhang North Carolina State University; Facebook, Yuanchao Xu North Carolina State University, Xipeng Shen North Carolina State University; Facebook, Işıl Dillig University of Texas at Austin DOI | ||
11:05 15mTalk | LXM: Better Splittable Pseudorandom Number Generators (and Almost as Fast)Virtual OOPSLA DOI | ||
11:20 15mTalk | FPL: Fast Presburger Arithmetic through TransprecisionIn-Person OOPSLA Arjun Pitchanathan IIIT Hyderabad, Christian Ulmann ETH Zurich, Michel Weber ETH Zurich, Torsten Hoefler ETH Zurich, Tobias Grosser University of Edinburgh DOI | ||
11:35 15mTalk | Verifying Concurrent Multicopy Search StructuresIn-Person OOPSLA Nisarg Patel New York University, Siddharth Krishna Microsoft Research, Dennis Shasha New York University, Thomas Wies New York University DOI | ||
11:50 20mLive Q&A | Discussion, Questions and Answers OOPSLA | ||
10:50 - 12:10 | Synthesis of models, tools and programsOOPSLA at Zurich D +8h Chair(s): Jonathan Aldrich Carnegie Mellon University | ||
10:50 15mTalk | Rewrite Rule Inference Using Equality Saturation OOPSLA Chandrakana Nandi Certora, inc., Max Willsey University of Washington, Amy Zhu University of Washington, Yisu Remy Wang University of Washington, Brett Saiki University of Washington, Adam Anderson University of Washington, Adriana Schulz University of Washington, Dan Grossman University of Washington, Zachary Tatlock University of Washington DOI | ||
11:05 15mTalk | Semantic Programming by Example with Pre-trained ModelsVirtual OOPSLA DOI | ||
11:20 15mTalk | One Down, 699 to Go: or, Synthesising Compositional DesugaringsVirtual OOPSLA Sándor Bartha University of Edinburgh, James Cheney University of Edinburgh; Alan Turing Institute, Vaishak Belle University of Edinburgh; Alan Turing Institute DOI | ||
11:35 15mTalk | Multi-modal Program Inference: A Marriage of Pre-trained Language Models and Component-Based SynthesisIn-Person OOPSLA Kia Rahmani Purdue University, Mohammad Raza Microsoft, Sumit Gulwani Microsoft, Vu Le Microsoft, Daniel Morris Microsoft, Arjun Radhakrishna Microsoft, Gustavo Soares Microsoft, Ashish Tiwari Microsoft DOI Pre-print | ||
11:50 20mLive Q&A | Discussion, Questions and Answers OOPSLA | ||
10:50 - 12:10 | |||
10:50 15mTalk | DiffStream: Differential Output Testing for Stream Processing Programs SIGPLAN Papers Konstantinos Kallas University of Pennsylvania, Filip Niksic Google, Caleb Stanford University of Pennsylvania, Rajeev Alur University of Pennsylvania | ||
11:05 15mTalk | Guided Linking: Dynamic Linking Without the Costs SIGPLAN Papers 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, USA Link to publication DOI | ||
11:20 15mTalk | Regex Matching with Counting-Set Automata SIGPLAN Papers Lukáš Holík Brno University of Technology, Ondřej Lengál Brno University of Technology, Olli Saarikivi Microsoft, Lenka Turoňová Brno University of Technology, Margus Veanes Microsoft, Tomáš Vojnar Brno University of Technology | ||
11:35 15mTalk | Actor Concurrency Bugs: A Comprehensive Study on Symptoms, Root Causes, API Usages, and DifferencesIn-Person SIGPLAN Papers Mehdi Bagherzadeh Oakland University, Nicholas Fireman Oakland University, Anas Shawesh Oakland University, Raffi Khatchadourian CUNY Hunter College Link to publication DOI Pre-print Media Attached | ||
11:50 20mLive Q&A | Discussion, Questions and Answers SIGPLAN Papers | ||
10:50 - 12:10 | |||
10:50 15mTalk | Compiling Stan to Generative Probabilistic Languages and Extension to Deep Probabilistic Programming SIGPLAN Papers Guillaume Baudart IBM Research, USA, Javier Burroni , Martin Hirzel IBM Research, Louis Mandel IBM Research, Avraham Shinnar IBM Research | ||
11:05 15mTalk | On Probabilistic Termination of Functional Programs with Continuous Distributions SIGPLAN Papers | ||
11:20 15mTalk | SPPL: Probabilistic Programming with Fast Exact Symbolic Inference SIGPLAN Papers Feras Saad Massachusetts Institute of Technology, Martin C. Rinard Massachusetts Institute of Technology, Vikash K. Mansinghka MIT DOI | ||
11:35 15mTalk | Cyclic Program Synthesis SIGPLAN Papers Shachar Itzhaky Technion, Hila Peleg Technion, Nadia Polikarpova University of California at San Diego, Reuben N. S. Rowe University of Kent, Ilya Sergey National University of Singapore DOI | ||
11:50 20mLive Q&A | Discussion, Questions and Answers SIGPLAN Papers | ||
10:50 - 12:10 | PLDI 2020 Papers 4SIGPLAN Papers at Zurich G Chair(s): Muhammad Usman University of Texas at Austin, USA | ||
10:50 15mTalk | BlankIt Library Debloating: Getting What You Want Instead of Cutting What You Don’t SIGPLAN Papers Chris Porter Georgia Institute of Technology, USA, Girish Mururu Georgia Institute of Technology, Prithayan Barua Georgia Institute of Technology, USA, Santosh Pande Georgia Institute of Technology | ||
11:05 15mTalk | Crafty: Efficient, HTM-Compatible Persistent Transactions SIGPLAN Papers Kaan Genç Ohio State University, USA, Michael D. Bond Ohio State University, USA, Guoqing Harry Xu University of California at Los Angeles | ||
11:20 15mTalk | SCAF: A Speculation-Aware Collaborative Dependence Analysis Framework SIGPLAN Papers Sotiris Apostolakis Google, Ziyang Xu Princeton University, Zujun Tan Princeton University, USA, Greg Chan Princeton University, USA, Simone Campanoni Northwestern University, USA, David I. August Princeton University DOI Pre-print | ||
11:35 15mTalk | Towards a Verified Range Analysis for JavaScript JITs SIGPLAN Papers Fraser Brown Stanford University, USA, John Renner University of California at San Diego, USA, Andres Nötzli Stanford University, USA, Sorin Lerner University of California at San Diego, Hovav Shacham University of Texas at Austin, Deian Stefan University of California at San Diego, USA Link to publication DOI | ||
11:50 20mLive Q&A | Discussion, Questions and Answers SIGPLAN Papers | ||
13:50 - 15:10 | |||
13:50 15mTalk | MonkeyDB: Effectively Testing Correctness under Weak Isolation Levels OOPSLA Ranadeep Biswas Informal Systems, Diptanshu Kakwani Microsoft, India, Jyothi Vedurada IIT Hyderabad, Constantin Enea University of Paris / IRIF / CNRS, Akash Lal Microsoft Research DOI | ||
14:05 15mTalk | Formal Verification of High-Level SynthesisVirtual OOPSLA Yann Herklotz Imperial College London, James D. Pollard Imperial College London, Nadesh Ramanathan Imperial College London, John Wickerson Imperial College London DOI Pre-print File Attached | ||
14:20 15mTalk | Specifying and Testing GPU Workgroup Progress ModelsIn-Person OOPSLA Tyler Sorensen University of California at Santa Cruz, Lucas Fernan Salvador Princeton University, Harmit Raval Princeton University, Hugues Evrard Google, John Wickerson Imperial College London, Margaret Martonosi Princeton University, Alastair F. Donaldson Imperial College London DOI | ||
14:35 35mLive Q&A | Discussion, Questions and Answers OOPSLA | ||
13:50 - 15:10 | Essays Session 2Onward! Essays at Zurich C +8h Chair(s): Elisa Baniassad University of British Columbia | ||
13:50 40mTalk | Let a Thousand Flowers Bloom: On the Uses of Diversity in Software TestingVirtual Onward! Essays Alex Groce Northern Arizona University DOI | ||
14:30 40mTalk | The Kingdoms of Objects and ValuesVirtual Onward! Essays Friedrich Steimann Fernuniversität in Hagen DOI | ||
13:50 - 15:10 | Types & VerificationOOPSLA at Zurich D +8h Chair(s): Leonidas Lampropoulos University of Maryland, College Park | ||
13:50 15mTalk | Scalability and Precision by Combining Expressive Type Systems and Deductive VerificationVirtual OOPSLA Florian Lanzinger KIT, Alexander Weigl KIT, Mattias Ulbrich KIT, Werner Dietl University of Waterloo DOI | ||
14:05 15mTalk | A Type System for Extracting Functional Specifications from Memory-Safe Imperative ProgramsVirtual OOPSLA Paul He University of Pennsylvania, Edwin Westbrook Galois, Brent Carmer Galois, Chris Phifer Galois, Valentin Robert Galois, Karl Smeltzer Galois, Andrei Ştefănescu Galois, Aaron Tomb Galois, Adam Wick Galois, Matthew Yacavone Galois, Steve Zdancewic University of Pennsylvania DOI | ||
14:20 15mTalk | Transitioning from Structural to Nominal Code with Efficient Gradual TypingIn-Person OOPSLA DOI | ||
14:35 35mLive Q&A | Discussion, Questions and Answers OOPSLA | ||
13:50 - 15:10 | |||
13:50 15mTalk | Gradual Verification of Recursive Heap Data Structures SIGPLAN Papers Jenna DiVincenzo (Wise) Carnegie Mellon University, Johannes Bader Jane Street, Cameron Wong Jane Street, Jonathan Aldrich Carnegie Mellon University, Éric Tanter University of Chile, Joshua Sunshine Carnegie Mellon University | ||
14:05 15mTalk | Formulog: Datalog for SMT-based Static Analysis SIGPLAN Papers Aaron Bembenek Harvard University, Michael Greenberg Stevens Institute of Technology, Stephen Chong Harvard University | ||
14:20 15mTalk | Compiling Symbolic Execution with Staging and Algebraic Effects SIGPLAN Papers Guannan Wei Purdue University, Oliver Bračevac Purdue University, Shangyin Tan Purdue University, Tiark Rompf Purdue University | ||
14:35 15mTalk | Automated Policy Synthesis for System Call Sandboxing SIGPLAN Papers 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 DOI | ||
14:50 20mLive Q&A | Discussion, Questions and Answers SIGPLAN Papers | ||
13:50 - 15:10 | PLDI 2021 Papers 5SIGPLAN Papers at Zurich F Chair(s): Feras Saad Massachusetts Institute of Technology | ||
13:50 15mTalk | Repairing Serializability Bugs in Distributed Database Programs via Automated Schema Refactoring SIGPLAN Papers Kia Rahmani Purdue University, Kartik Nagar IIT Madras, Benjamin Delaware Purdue University, Suresh Jagannathan Purdue University | ||
14:05 15mTalk | Scooter & Sidecar: A domain-specific approach to writing secure migrations SIGPLAN Papers John Renner University of California at San Diego, USA, Alex Sanchez-Stern University of California at San Diego, Fraser Brown Stanford University, USA, Sorin Lerner University of California at San Diego, Deian Stefan University of California at San Diego, USA | ||
14:20 15mTalk | Symbolic Boolean Derivatives for Efficiently Solving Extended Regular Expression Constraints SIGPLAN Papers Caleb Stanford University of Pennsylvania, Margus Veanes Microsoft, Nikolaj Bjørner Microsoft Research | ||
14:35 15mTalk | Filling Typed Holes with Live GUIs SIGPLAN Papers Cyrus Omar University of Michigan, David Moon University of Michigan, Andrew Blinn University of Michigan, Ian Voysey Carnegie Mellon University, Nick Collins University of Chicago, Ravi Chugh University of Chicago | ||
14:50 20mLive Q&A | Discussion, Questions and Answers SIGPLAN Papers | ||
13:50 - 15:10 | |||
13:50 15mTalk | Untangling mechanized proofs SIGPLAN Papers Clément Pit-Claudel MIT CSAIL Link to publication | ||
14:20 15mTalk | Python 3 Types in the Wild: A Tale of Two Type Systems SIGPLAN Papers Ingkarat Rak-amnouykit Rensselaer Polytechnic Institute, Daniel McCrevan Rensselaer Polytechnic Institute, Ana Milanova Rensselaer Polytechnic Institute, Martin Hirzel IBM Research, Julian Dolby IBM Research, USA Link to publication Pre-print | ||
14:35 15mLive Q&A | Discussion, Questions and Answers SIGPLAN Papers | ||
15:10 - 15:40 | |||
15:10 30mSocial Event | PLTea PLTea | ||
15:10 - 17:00 | |||
15:10 1h50mDay closing | Ice Cream Social Closing Hridesh Rajan Iowa State University | ||
17:00 - 17:05 | |||
17:00 5mOther | Introduction to SPLASH 2022 Opening Alex Potanin Victoria University of Wellington | ||
17:05 - 17:20 | |||
17:05 15mAwards | SPLASH Awards Awards | ||
17:20 - 18:20 | Onward! Keynote TalkOnward! Papers at Zurich D Chair(s): Elisa Baniassad University of British Columbia | ||
17:20 60mKeynote | Designing Safe Programmed Molecular SystemsVirtualKeynote Onward! Papers | ||
18:20 - 18:50 | |||
18:20 30mPoster | Scalability and Precision by Combining Expressive Type Systems and Deductive VerificationVirtualDemoOOPSLA Posters Florian Lanzinger KIT, Alexander Weigl KIT, Mattias Ulbrich KIT, Werner Dietl University of Waterloo | ||
18:20 30mPoster | Formal Verification of High-Level SynthesisVirtualDemoOOPSLA Posters Yann Herklotz Imperial College London, James D. Pollard Imperial College London, Nadesh Ramanathan Imperial College London, John Wickerson Imperial College London | ||
18:50 - 20:10 | |||
18:50 15mTalk | Copy-and-Patch Compilation: A Fast Compilation Algorithm for High-Level Languages and Bytecode OOPSLA DOI Pre-print | ||
19:05 15mTalk | VESPA: Static Profiling for Binary OptimizationVirtual OOPSLA Angelica Moreira Federal University of Minas Gerais, Guilherme Ottoni Facebook, Fernando Magno Quintão Pereira Federal University of Minas Gerais DOI | ||
19:20 15mTalk | A Derivative-Based Parser Generator for Visibly Pushdown GrammarsIn-Person OOPSLA Xiaodong Jia Pennsylvania State University, Ashish Kumar Pennsylvania State University, Gang (Gary) Tan Pennsylvania State University DOI | ||
19:35 35mLive Q&A | Discussion, Questions and Answers OOPSLA | ||
18:50 - 20:10 | Synthesis of models, tools and programs -- mirrorOOPSLA at Zurich D Chair(s): Alex Potanin Victoria University of Wellington | ||
18:50 15mTalk | Rewrite Rule Inference Using Equality Saturation OOPSLA Chandrakana Nandi Certora, inc., Max Willsey University of Washington, Amy Zhu University of Washington, Yisu Remy Wang University of Washington, Brett Saiki University of Washington, Adam Anderson University of Washington, Adriana Schulz University of Washington, Dan Grossman University of Washington, Zachary Tatlock University of Washington DOI | ||
19:05 15mTalk | Semantic Programming by Example with Pre-trained ModelsVirtual OOPSLA DOI | ||
19:20 15mTalk | One Down, 699 to Go: or, Synthesising Compositional DesugaringsVirtual OOPSLA Sándor Bartha University of Edinburgh, James Cheney University of Edinburgh; Alan Turing Institute, Vaishak Belle University of Edinburgh; Alan Turing Institute DOI | ||
19:35 15mTalk | Multi-modal Program Inference: A Marriage of Pre-trained Language Models and Component-Based SynthesisIn-Person OOPSLA Kia Rahmani Purdue University, Mohammad Raza Microsoft, Sumit Gulwani Microsoft, Vu Le Microsoft, Daniel Morris Microsoft, Arjun Radhakrishna Microsoft, Gustavo Soares Microsoft, Ashish Tiwari Microsoft DOI Pre-print | ||
19:50 20mLive Q&A | Discussion, Questions and Answers OOPSLA | ||
20:10 - 20:40 | |||
20:10 30mSocial Event | PLTea PLTea | ||
21:50 - 23:10 | |||
21:50 15mTalk | MonkeyDB: Effectively Testing Correctness under Weak Isolation Levels OOPSLA Ranadeep Biswas Informal Systems, Diptanshu Kakwani Microsoft, India, Jyothi Vedurada IIT Hyderabad, Constantin Enea University of Paris / IRIF / CNRS, Akash Lal Microsoft Research DOI | ||
22:05 15mTalk | Formal Verification of High-Level SynthesisVirtual OOPSLA Yann Herklotz Imperial College London, James D. Pollard Imperial College London, Nadesh Ramanathan Imperial College London, John Wickerson Imperial College London DOI Pre-print File Attached | ||
22:20 15mTalk | Specifying and Testing GPU Workgroup Progress ModelsIn-Person OOPSLA Tyler Sorensen University of California at Santa Cruz, Lucas Fernan Salvador Princeton University, Harmit Raval Princeton University, Hugues Evrard Google, John Wickerson Imperial College London, Margaret Martonosi Princeton University, Alastair F. Donaldson Imperial College London DOI | ||
22:35 35mLive Q&A | Discussion, Questions and Answers OOPSLA | ||
21:50 - 23:10 | |||
21:50 40mTalk | Let a Thousand Flowers Bloom: On the Uses of Diversity in Software TestingVirtual Onward! Essays Alex Groce Northern Arizona University DOI | ||
22:30 40mTalk | The Kingdoms of Objects and ValuesVirtual Onward! Essays Friedrich Steimann Fernuniversität in Hagen DOI | ||
21:50 - 23:10 | |||
21:50 15mTalk | Scalability and Precision by Combining Expressive Type Systems and Deductive VerificationVirtual OOPSLA Florian Lanzinger KIT, Alexander Weigl KIT, Mattias Ulbrich KIT, Werner Dietl University of Waterloo DOI | ||
22:05 15mTalk | A Type System for Extracting Functional Specifications from Memory-Safe Imperative ProgramsVirtual OOPSLA Paul He University of Pennsylvania, Edwin Westbrook Galois, Brent Carmer Galois, Chris Phifer Galois, Valentin Robert Galois, Karl Smeltzer Galois, Andrei Ştefănescu Galois, Aaron Tomb Galois, Adam Wick Galois, Matthew Yacavone Galois, Steve Zdancewic University of Pennsylvania DOI | ||
22:20 15mTalk | Transitioning from Structural to Nominal Code with Efficient Gradual TypingIn-Person OOPSLA DOI | ||
22:35 35mLive Q&A | Discussion, Questions and Answers OOPSLA | ||