SPLASH 2019 (series) /
SPLASH 2019 Program
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Sun 20 OctDisplayed time zone: Beirut change
Sun 20 Oct
Displayed time zone: Beirut change
09:00 - 10:30 | |||
09:00 30mFull-paper | Ambiguous, Informal, and Unsound: Metaprogramming for Naturalness META Toni Mattis Hasso Plattner Institute, University of Potsdam, Patrick Rein Hasso Plattner Institute, Germany, Robert Hirschfeld Hasso-Plattner-Institut (HPI), Germany | ||
09:30 30mFull-paper | From Definitional Interpreter To Symbolic Executor META Adrian Mensing , Hendrik van Antwerpen TU Delft, Eelco Visser Delft University of Technology, Casper Bach Poulsen Delft University of Technology Link to publication Pre-print | ||
10:00 30mShort-paper | Mμl: The Power of Dynamic Multi-Methods META Isaac Oscar Gariano Victoria University of Wellington, Marco Servetto Victoria University Wellington, New Zealand File Attached | ||
09:00 - 10:30 | Introduction and keynoteDSM at Room 1B Chair(s): Jeff Gray University of Alabama, Matti Rossi Aalto University School of Business, Jonathan Sprinkle University of Arizona, Juha-Pekka Tolvanen MetaCase | ||
09:00 30mTalk | Introduction DSM | ||
09:30 60mIndustry talk | A mosaic of models as the driver for Domain-Specific Modeling in the Robotics Industry - Keynote by Anastasia Mavrommati, MathWorks DSM | ||
09:00 - 10:30 | |||
09:15 15mDay opening | Welcome DLS Stefan Marr University of Kent | ||
09:30 60mTalk | Untangling the web: Memory management in Chrome’s web platform implementationKeynote DLS Media Attached | ||
10:30 - 11:00 | |||
10:30 30mCoffee break | Break Catering | ||
11:00 - 12:30 | Concurrency and Data Structures META at Room 1A Chair(s): Christophe Scholliers Universiteit Gent, Belgium | ||
11:00 60mTalk | Meta-programming in Data Science META | ||
12:00 30mFull-paper | Squirrel: An Extensible Distributed Key-Value Store META | ||
11:00 - 12:30 | |||
11:00 20mTalk | Methodology to develop Domain Specific Modeling Languages DSM | ||
11:20 20mTalk | A Constraint Modeling Framework for Domain-Specific Languages DSM | ||
11:40 20mTalk | A Meta-Metamodel for Dynamic Constraint Feedback in Modeling Languages DSM | ||
12:00 20mTalk | ModelFlow: Towards Reactive Model Management Workflows DSM | ||
11:00 - 12:30 | |||
11:00 30mTalk | First-class Dynamic TypesResearch Paper DLS Michael Homer Victoria University of Wellington, Timothy Jones Montoux, James Noble Victoria University of Wellington Pre-print Media Attached | ||
11:30 30mTalk | Language-independent Development Environment Support For Dynamic RuntimesExperience Paper DLS Daniel Stolpe Hasso-Plattner-Institut, Tim Felgentreff Oracle Labs, Potsdam, Christian Humer Oracle Labs, Switzerland, Fabio Niephaus Hasso Plattner Institute, University of Potsdam, Robert Hirschfeld Hasso-Plattner-Institut (HPI), Germany Pre-print Media Attached | ||
12:00 30mTalk | Optimizing and Evaluating Transient Gradual TypingResearch Paper DLS Michael M. Vitousek Indiana University, Jeremy G. Siek Indiana University, USA, Avik Chaudhuri Facebook, USA Media Attached | ||
12:30 - 14:00 | |||
14:00 - 15:30 | |||
14:00 60mTalk | Metaprogramming, Metaobject Protocols, Gradual Type Checks: Optimizing the "Unoptimizable" Using Old Ideas META Stefan Marr University of Kent Media Attached | ||
15:00 30mFull-paper | FlashFreeze: Low-Overhead JavaScript Instrumentation for Function Serialization META | ||
14:00 - 15:30 | |||
14:00 20mTalk | Mind the Gap: Lessons Learned from Translating Grammars between MontiCore and Xtext DSM | ||
14:20 20mTalk | Experience Report on the Development of a Specialized Multi-Views Multi-Stakeholders Model-based Engineering Framework DSM | ||
14:40 20mDemonstration | Mutation Testing for DSLs: Tool Demo DSM | ||
15:00 30mMeeting | Group work topic selection DSM | ||
14:00 - 15:30 | |||
14:00 30mTalk | Reflections on the Compatibility, Performance, and Scalability of Parallel PythonExperience Paper DLS | ||
14:30 30mTalk | R Melts Brains -- An IR for First-Class Environments and Lazy Effectful ArgumentsResearch Paper DLS Olivier Flückiger Northeastern University, Guido Chari Czech Technical University, Jan Ječmen Czech Technical University, Ming-Ho Yee Northeastern University, Jakob Hain Northeastern University, Jan Vitek Northeastern University Link to publication DOI Pre-print Media Attached | ||
15:00 30mTalk | Python Programmers have GPUs too: Automatic Python Loop Parallelization with Staged Dependence AnalysisResearch Paper DLS Dejice Jacob University of Glasgow, Phil Trinder University of Glasgow, Jeremy Singer University of Glasgow Link to publication DOI Authorizer link | ||
15:30 - 16:00 | |||
15:30 30mCoffee break | Break Catering | ||
16:00 - 17:30 | |||
16:00 60mMeeting | Group work DSM | ||
17:00 30mTalk | Group work reporting DSM | ||
16:00 - 17:30 | |||
16:00 30mTalk | Lazy Pointer Update for Low Heap Compaction Pause TimesResearch Paper DLS Clément Béra Google, Aarhus, Eliot Miranda Cadence Design Systems, Elisa Gonzalez Boix Vrije Universiteit Brussel, Belgium | ||
16:30 30mTalk | Sindarin: a Versatile Scripting API for the Pharo DebuggerResearch Paper DLS Thomas Dupriez Université Lille, CNRS, Centrale Lille, Inria, UMR 9189 - CRIStAL, Guillermo Polito Univ. Lille, CNRS, Centrale Lille, Inria, UMR 9189 - CRIStAL - Centre de Recherche en Informatique Signal et Automatique de Lille, Steven Costiou INRIA Lille, Vincent Aranega Université Lille, CNRS, Centrale Lille, Inria, UMR 9189 - CRIStAL, Stéphane Ducasse INRIA Lille Media Attached | ||
17:00 30mTalk | Standard Object Out: Streaming Objects with Polymorphic Write StreamsExperience Paper DLS Marcel Weiher Hasso-Plattner-Institut (HPI), Germany, Robert Hirschfeld Hasso-Plattner-Institut (HPI), Germany Pre-print Media Attached | ||
Mon 21 OctDisplayed time zone: Beirut change
Mon 21 Oct
Displayed time zone: Beirut change
09:00 - 10:30 | |||
09:00 10mDay opening | Welcome Doctoral Symposium | ||
09:10 20mTalk | Lightning Talks Doctoral Symposium | ||
09:30 60mTalk | Keynote: Bridging the Gap (or Falling into It) Doctoral Symposium Andreas Rossberg Dfinity Stiftung | ||
09:00 - 10:30 | |||
09:00 90mTalk | Adversarial Compilation MPLR | ||
09:00 - 10:30 | |||
09:00 45mTalk | Beyond Neural Networks for Programming: How to Learn from Programs NJR Veselin Raychev DeepCode AG | ||
09:45 45mTalk | Renaissance: Benchmarking Suite for Parallel Applications on the JVM NJR Lubomír Bulej Charles University | ||
09:00 - 10:30 | |||
09:00 55mIndustry talk | Remote Sensing and Data Dilemmas STOKED William Parkinson Urthecast | ||
10:00 15mExperience report | Machine Learning with Remote Sensing Data STOKED Ben Smith Graduate Student intern at Urthecast | ||
10:20 10mOther | Brainstorming and Next Steps! STOKED | ||
09:00 - 10:30 | |||
09:00 90mTalk | Differential dataflow: a model and implementationKeynote IC | ||
09:00 - 10:30 | |||
09:00 10mDay opening | Opening REBLS | ||
09:10 80mTalk | Streams, Reactivity and FRP: where we are, where to go REBLS Ivan Perez NIA / NASA Formal Methods | ||
09:00 - 10:30 | |||
09:00 90mTalk | Software Language Engineering -- 42 Frequently Asked Questions SLE Ralf Laemmel Facebook London | ||
10:30 - 11:00 | |||
10:30 30mCoffee break | Break Catering | ||
11:00 - 12:30 | |||
11:00 40mTalk | Improving Performance and Quality of Database-Backed Software Doctoral Symposium Junwen Yang university of chicago | ||
11:45 40mTalk | Performance, Portability, and Productivity for Data-Parallel Applications on Multi- and Many-Core Architectures Doctoral Symposium Ari Rasch University of Münster | ||
11:00 - 12:30 | |||
11:00 30mTalk | Foreign language interfaces by code migration GPCE Shigeru Chiba Graduate School of Information Science and Technology, The University of Tokyo | ||
11:30 20mTalk | A Language Feature to Unbundle Data at Will (Short Paper) GPCE Musa Al-hassy McMaster University, Wolfram Kahl McMaster University, Jacques Carette McMaster University | ||
11:50 20mTalk | Parallel Nondeterministic Programming as a Language Extension to C (Short Paper) GPCE DOI Pre-print | ||
12:10 20mTalk | Agile Construction of Data Science DSLs (Tool Demo) GPCE Artur Andrzejak Heidelberg University, Kevin Kiefer , Diego Costa Heidelberg University, Oliver Wenz Heidelberg University | ||
11:00 - 12:30 | |||
11:00 30mTalk | Supporting On-Stack Replacement in Unstructured Languages by Loop Reconstruction and Extraction MPLR Raphael Mosaner Johannes Kepler University Linz, David Leopoldseder Johannes Kepler University Linz, Manuel Rigger ETH Zurich, Roland Schatz Johannes Kepler University Linz, Hanspeter Mössenböck JKU Linz, Austria Pre-print | ||
11:30 30mTalk | GraalSqueak: Toward a Smalltalk-based Tooling Platform for Polyglot Programming MPLR Fabio Niephaus Hasso Plattner Institute, University of Potsdam, Tim Felgentreff Oracle Labs, Potsdam, Robert Hirschfeld Hasso-Plattner-Institut (HPI), Germany DOI Pre-print | ||
12:00 30mTalk | WARDuino: A Dynamic WebAssembly Virtual Machine for Programming Microcontrollers MPLR DOI Authorizer link Pre-print | ||
11:00 - 12:30 | |||
11:00 45mTalk | From analysing programs to testing program analyses: How research relies on and enriches SE knowledge NJR Mira Mezini Technische Universität Darmstadt | ||
11:45 45mTalk | Deep Structural Learning of Code NJR Uri Alon Technion | ||
11:00 - 12:30 | |||
11:00 50mIndustry talk | Immersive Urban Planning: CityEngine and ArcGIS Urban (Esri, R&D Center Zurich) STOKED Michael Van Den Bergh Esri, R&D Center Zurich | ||
12:00 15mExperience report | Storming Charrettes! Urban Planning Using Touch Surface Technology STOKED Matthew Plaudis Graduate Student intern at Esri, Canada | ||
12:20 10mOther | Brainstorming and Next Steps! STOKED | ||
11:00 - 12:30 | |||
11:00 30mTalk | Generating Incremental Type Services IC | ||
11:30 30mTalk | Incrementalizing inter-procedural program analyses with recursive aggregation in Datalog IC Tamás Szabó itemis / JGU Mainz, Gábor Bergmann Budapest University of Technology and Economics / MTA-BME Lendület Research Group on Cyber-Physical Systems, Hungary, Sebastian Erdweg JGU Mainz Pre-print | ||
12:00 30mTalk | Incremental Datalog Prototype in Soufflé IC David Zhao The University of Sydney, Pavle Subotic Amazon, Bernhard Scholz University of Sydney, Australia | ||
11:00 - 12:30 | |||
11:00 30mTalk | Concurrency Control of JavaScript with Arrows REBLS Tian Zhao University of Wisconsin-Milwaukee, Adam Berger University of Wisconsin -- Milwaukee, Yonglun Li University of Wisconsin -- Milwaukee | ||
11:30 30mTalk | Towards a Statically Scheduled Parallel Execution of an FRP Language for Embedded Systems REBLS DOI | ||
12:00 30mTalk | Turning Unobservable into Unreachable: Dynamic Reactive Programming without Leaks REBLS File Attached | ||
11:00 - 12:30 | |||
11:00 30mTalk | A Feature-Based Classification of Triple Graph Grammar Variants SLE | ||
11:30 30mTalk | Spectrum-Based Fault Localization for Context-Free Grammars SLE | ||
12:00 30mTalk | Consistency Management via a Combination of Triple Graph Grammars and Linear Programming SLE Nils Weidmann Paderborn University, Anthony Anjorin Paderborn University, Erhan Leblebici Technische Universität Darmstadt, Andy Schürr Technische Universität Darmstadt | ||
12:30 - 14:00 | |||
14:00 - 15:30 | |||
14:00 40mTalk | Practical Second Futamura Projection Doctoral Symposium Florian Latifi Johannes Kepler University Linz DOI Pre-print | ||
14:45 40mTalk | Retaining Semantic Information in the Static Analysis of Real-World Software Doctoral Symposium Gábor Horváth Eötvös Loránd University DOI Pre-print | ||
14:00 - 15:30 | MetaGPCE at Ground floor conference room Chair(s): Shigeru Chiba Graduate School of Information Science and Technology, The University of Tokyo | ||
14:00 30mTalk | A Stage-Polymorphic IR for Compiling MATLAB-Style Dynamic Tensor Expressions GPCE | ||
14:30 30mTalk | Reflection in Attribute Grammars GPCE Lucas Kramer University of Minnesota, Ted Kaminski University of Minnesota, Eric Van Wyk University of Minnesota, USA DOI Pre-print | ||
15:00 20mTalk | Polymorphic Extractors for Semantic and Portable Pattern Matching (Short Paper) GPCE Amir Shaikhha University of Oxford | ||
14:00 - 15:30 | |||
14:00 30mTalk | Dynamic One-To-One Mapping of Ownership Records for STM using Versioned Weak References MPLR | ||
14:30 30mTalk | A Type System for Data Independence of Loop Iterations in a Directive-Based PGAS Language MPLR Tatsuya Abe Chiba Institute of Technology, Japan | ||
15:00 30mTalk | Hosting OpenMP Programs on Java Virtual Machines MPLR Swapnil Laxman Gaikwad The University of Manchester, Andrew Nisbet The University of Manchester, Mikel Luján University of Manchester | ||
14:00 - 15:30 | |||
14:00 30mTalk | Understanding the Gaps in Static Program Analysis NJR Jens Dietrich Victoria University of Wellington | ||
14:30 30mTalk | 50K-C: A Dataset of Compilable, and Compiled, Java Projects NJR Rohan Achar UC Irvine | ||
15:00 30mTalk | NJR: Executable, Scriptable, and Searchable Java Programs NJR Jens Palsberg University of California, Los Angeles | ||
14:00 - 15:30 | Platforms, Plumbing and System InfrastructureSTOKED at Room 2B Chair(s): Celina Berg UBC, Computer Science | ||
14:00 30mOther | Climate Action? STOKED | ||
14:30 30mExperience report | Data Provenance and the STAC specification STOKED Jonathan Healy Graduate Student intern with the Earth Data Store | ||
15:00 30mOther | Brainstorming and Next Steps! STOKED | ||
14:00 - 15:30 | |||
14:00 30mTalk | Precise, Efficient, and Expressive Incremental Build Scripts with PIE IC Gabriël Konat Delft University of Technology, Roelof Sol Delft University of Technology, Sebastian Erdweg JGU Mainz, Eelco Visser Delft University of Technology Pre-print File Attached | ||
14:30 30mTalk | From Whole Program Compilation to Incremental Compilation: A Critical Case IC Jeff Smits Delft University of Technology, Gabriël Konat Delft University of Technology, Eelco Visser Delft University of Technology Pre-print | ||
15:00 30mTalk | An Incremental Locking Scheme for Transactional Editing IC Nils Kurowsky Fernuni Hagen | ||
14:00 - 15:30 | Domain specific applicationsREBLS at Room 3B Chair(s): Hidehiko Masuhara Tokyo Institute of Technology | ||
14:00 30mTalk | GRASS: Generic Reactive Application-Specific Scheduling REBLS Marcel Blöcher TU Darmstadt, Matthias Eichholz TU Darmstadt, Pascal Weisenburger Technische Universität Darmstadt, Patrick Eugster Universita della Svizzera Italiana, Switzerland, Mira Mezini Technische Universität Darmstadt, Guido Salvaneschi Technische Universität Darmstadt | ||
14:30 30mTalk | Event-Based Parsing REBLS Vadim Zaytsev Raincode Labs, Belgium | ||
15:00 30mTalk | Multitier Reactive Programming in High Performance Computing REBLS Daniel Sokolowski Technische Universität Darmstadt, Philipp Martens Technische Universität Darmstadt, Guido Salvaneschi Technische Universität Darmstadt File Attached | ||
14:00 - 15:30 | |||
14:00 30mTalk | Operationalizing the Integration of User Interaction Specifications in the Synthesis of Modeling Editors SLE Vasco Sousa Université de Montréal, Eugene Syriani Université de Montréal, Khady Fall Université de Montréal | ||
14:30 20mTalk | A Vision of Miking: Interactive Programmatic Modeling, Sound Language Composition, and Self-Learning CompilationNEW IDEA SLE David Broman KTH Royal Institute of Technology | ||
14:50 20mTalk | Shadow Models [Tool Demo] -- Incremental Transformations for MPSDEMO SLE Markus Völter itemis/independent, Klaus Birken itemis AG, Sascha Lisson itemis AG, Alexander Rimer itemis AG | ||
15:10 20mTalk | The Lands Platform: Lan.guages and D.omain S.yntax, Tool DemoDEMO SLE Nick Papoulias Université Grenoble Alpes, France | ||
15:30 - 16:00 | |||
15:30 30mCoffee break | Break Catering | ||
16:00 - 17:30 | |||
16:00 40mTalk | Exploiting Models for Scalable and High Throughput Distributed Software Doctoral Symposium Tim Soethout ING Bank and Centrum Wiskunde & Informatica (CWI), The Netherlands DOI Pre-print File Attached | ||
16:45 40mTalk | Debugging Support for Multi-paradigm Concurrent Programs Doctoral Symposium Dominik Aumayr Johannes Kepler University Linz, Austria Link to publication DOI | ||
16:00 - 17:30 | |||
16:00 30mTalk | Predicting All Data Race Pairs for a Specific Schedule MPLR Martin Sulzmann Karlsruhe University of Applied Sciences, Germany, Kai Stadtmüller Karlsruhe University of Applied Sciences | ||
16:30 30mTalk | Towards Efficient, Multi-Language Dynamic Taint Analysis MPLR Jacob Kreindl Johannes Kepler University Linz, Daniele Bonetta Oracle Labs, Hanspeter Mössenböck JKU Linz, Austria | ||
17:00 30mTalk | Detection of Suspicious Time Windows in Memory Monitoring MPLR Markus Weninger Christian Doppler Lab. MEVSS, Johannes Kepler University Linz, Elias Gander Christian Doppler Lab. MEVSS, Johannes Kepler University Linz, Hanspeter Mössenböck JKU Linz, Austria | ||
16:00 - 17:30 | |||
16:00 30mTalk | NAB: Automated Large-scale Multi-language Dynamic Program Analysis in Public Code Repositories NJR Andrea Rosà University of Lugano, Switzerland | ||
16:30 30mTalk | Corpus Distillation Techniques for Effective Fuzzing: A Comprehensive Evaluation NJR Tony Hosking Australian National University / Data61 | ||
17:00 30mTalk | MadMax and Friends: Program Analysis for Smart Contracts NJR Neville Grech University of Athens | ||
16:00 - 17:30 | Getting Real with Augmented and Virtual Realities!STOKED at Room 2B Chair(s): Derek Jacoby QVirt Labs | ||
16:00 50mIndustry talk | Immersive Visual Analytics for Large Industrial Data STOKED Li Ji LlamaZOO | ||
17:00 15mExperience report | Challenges and Considerations in 3D Interactive Interfaces STOKED Karina Rigby Greg Marshall Design | ||
17:20 10mOther | Brainstorming for the New Frontier: Next Steps! STOKED | ||
16:00 - 17:30 | |||
16:00 30mTalk | Toward Lazy Evaluation in a Graph Database IC | ||
16:30 30mTalk | The meaning of a program change is a change to the program’s meaning IC Roly Perera The Alan Turing Institute Pre-print | ||
16:00 - 17:30 | |||
16:00 30mTalk | Multiple Lexicalisation - A Java Based Study SLE Elizabeth Scott Royal Holloway University of London, Adrian Johnstone Royal Holloway, University of London | ||
16:30 20mTalk | Breaking Parsers: Mutation-based Generation of Programs with Guaranteed Syntax ErrorsNEW IDEABest Paper SLE Moeketsi Raselimo Stellenbosch University, Jan Taljaard Stellenbosch University, Bernd Fischer Stellenbosch University | ||
16:50 30mTalk | Default disambiguation for online parsers SLE DOI Pre-print | ||
17:30 - 18:00 | |||
17:20 40mAwards | SLE MIP Awards 2018 and 2019 SLE | ||
Tue 22 OctDisplayed time zone: Beirut change
Tue 22 Oct
Displayed time zone: Beirut change
09:00 - 10:30 | |||
09:00 60mTalk | Keynote 1: How did we get here and where can we go next? (Joint with MPLR, in Room 1)Keynote VMIL Laurence Tratt King's College London | ||
10:00 30mFull-paper | Scalable Comparison of JavaScript V8 Bytecode Traces (Room 1 -- Joint with MPLR) VMIL Javier Cabrera Arteaga KTH Royal Institute of Technology, Martin Monperrus KTH Royal Institute of Technology, Benoit Baudry KTH Royal Institute of Technology, Sweden Pre-print | ||
09:00 - 10:30 | |||
09:00 90mTalk | Let it Flow: Dataflow abstractions for interactive distributed applications GPCE | ||
09:00 - 10:30 | |||
09:00 90mTalk | How did we get here and where can we go next? MPLR Laurence Tratt King's College London | ||
09:00 - 10:30 | |||
09:00 60mTalk | Dark: a holistic programming language LIVE | ||
10:00 30mTalk | Steady Typing LIVE | ||
09:00 - 10:30 | |||
09:00 25mTalk | “It Looks Like You’re Writing a Parallel Loop” - A Machine Learning Based Parallelization Assistant AI-SEPS Aleksandr Maramzin University of Edinburgh, Christos Vasiladiotis University of Edinburgh, Roberto Castañeda Lozano University of Edinburgh, Murray Cole University of Edinburgh, Björn Franke University of Edinburgh, UK DOI | ||
09:25 15mTalk | Automatic Identification of Standard Template Algorithms in Raw Loops AI-SEPS Yannic Fischler TU Darmstadt, Jan-Patrick Lehr Graduate School of Computational Engineering, TU Darmstadt, Christian Bischof Scientific Computing, TU Darmstadt, Matthäus Magnus Kiehn TU Darmstadt DOI | ||
09:00 - 10:30 | |||
09:00 15mTalk | Welcome and Introduction AGERE | ||
09:15 75mTalk | Pony: Semantics and Type System Co-DesignKeynote AGERE Sophia Drossopoulou Imperial College London | ||
09:00 - 10:30 | |||
09:00 15mDay opening | Introduction PLMW Karim Ali University of Alberta, Jonathan Bell George Mason University, Marianna Rapoport University of Waterloo | ||
09:15 30mSocial Event | Icebreaker and Networking Activity PLMW Marianna Rapoport University of Waterloo, Jonathan Bell George Mason University, Karim Ali University of Alberta | ||
09:45 45mTalk | Why do a PhD? PLMW Yannis Smaragdakis University of Athens Media Attached File Attached | ||
10:30 - 11:00 | |||
11:00 - 12:30 | |||
11:00 30mFull-paper | Which of my Transient Type Checks are not (Almost) Free? VMIL Isaac Oscar Gariano Victoria University of Wellington, Richard Roberts Victoria University of Wellington, Stefan Marr University of Kent, Michael Homer Victoria University of Wellington, James Noble Victoria University of Wellington | ||
11:30 30mFull-paper | Efficient Fail-Fast Dynamic Subtype Checking VMIL Pre-print | ||
12:00 15mTalk | Towards Gradual Checking of Reference Capabilities VMIL Kiko Fernandez-Reyes Uppsala University, Isaac Oscar Gariano Victoria University of Wellington, James Noble Victoria University of Wellington, Tobias Wrigstad Uppsala University Pre-print | ||
12:15 15mTalk | Formal Verification of JIT by Symbolic Execution VMIL Boris Shingarov LabWare | ||
11:00 - 12:30 | Domain-specific languages and modelingGPCE at Ground floor conference room Chair(s): Ulrik Pagh Schultz University of Southern Denmark | ||
11:00 30mTalk | Automated Metamodel Augmentation for Seamless Model Evolution Tracking and Planning GPCE Michael Nieke TU Braunschweig, Germany, Adrian Hoff TU Braunschweig, Christoph Seidl Technische Universität Braunschweig | ||
11:30 30mTalk | Floorplan: Spatial Layout in Memory Management SystemsDistinguished Paper Award GPCE DOI Pre-print | ||
12:00 20mTalk | Compiler Generation for Performance-Oriented Embedded DSLs (Short Paper) GPCE | ||
11:00 - 12:30 | Compilation and code manipulationMPLR at Room 1 Chair(s): Shigeru Chiba Graduate School of Information Science and Technology, The University of Tokyo | ||
11:00 30mTalk | Static TypeScript: An Implementation of a Static Compiler for the TypeScript Language MPLR Thomas Ball Microsoft Research, Peli de Halleux Microsoft Research, Michał Moskal Microsoft Research | ||
11:30 30mTalk | PorcE: A Deparallelizing Compiler MPLR Arthur Michener Peters The University of Texas at Austin, Texas, USA, John A. Thywissen The University of Texas at Austin, Chris Rossbach The University of Texas at Austin and VMware Research Group | ||
12:00 30mTalk | An Analysis of Call-site Patching Without Strong Hardware Support for Self-Modifying-Code MPLR Tim Hartley The University of Manchester, Foivos S. Zakkak University of Manchester, UK, Christos Kotselidis University of Manchester, UK, Mikel Luján University of Manchester Link to publication DOI Authorizer link | ||
11:00 - 12:30 | |||
11:00 30mTalk | Mech - A Programming Language for Data Driven, Reactive Systems LIVE Corey Montella Lehigh University | ||
11:30 30mTalk | Context-Oriented Live Programming Environments with Mixed Reality System for IoT Education LIVE Ikuta Tanigawa Kyushu University, Harumi Watanabe Tokai University, Nobuhiro Ohe Tokai Univ., Mikiko Sato Tokai University, Nobuhiko Ogura Tokyo City University, Takeshi Ohkawa Tokai Univ., Kenji Hisazumi Kyushu University, Akira Fukuda Kyushu University | ||
12:00 30mTalk | An Exploratory Literature Study on Live-Tooling in the Game Industry LIVE Tom Beckmann Hasso Plattner Institute, Christian Flach Hasso Plattner Institute, University of Potsdam, Germany, Eva Krebs Hasso Plattner Institute, Stefan Ramson Hasso Plattner Institute, Germany, Patrick Rein Hasso Plattner Institute, Germany, Robert Hirschfeld Hasso-Plattner-Institut (HPI), Germany | ||
11:00 - 12:30 | |||
11:00 30mTalk | Modal Assertions for Actor Correctness AGERE Colin Gordon Drexel University DOI Pre-print | ||
11:30 30mTalk | Static Local Coordination Avoidance for Distributed Objects AGERE Tim Soethout ING Bank and Centrum Wiskunde & Informatica (CWI), The Netherlands, Tijs van der Storm CWI & University of Groningen, Netherlands, Jurgen Vinju CWI, Netherlands DOI Pre-print Media Attached | ||
12:00 30mTalk | Locations and Session Types in a Language with Higher-Order Reflection AGERE Michael Tran Department of Computer Science, Aalborg University, Denmark, Alexander Rønning Bendixen Department of Computer Science, Aalborg University, Denmark, Bjarke Bredow Bojesen Department of Computer Science, Aalborg University, Denmark, Hans Hüttel Department of Computer Science, Aalborg University, Stian Lasse Lybech Department of Computer Science, Aalborg University, Denmark | ||
11:00 - 12:30 | |||
11:00 45mTalk | What is PL Research? PLMW Eelco Visser Delft University of Technology Media Attached File Attached | ||
11:45 45mOther | Panel: Jobs After the PhD PLMW Dan Barowy Williams College, Ciera Jaspan Google, Alessandra Gorla IMDEA Software Institute, Kenny Foner Galois | ||
11:00 - 12:30 | |||
11:00 30mTalk | Domain-specific model differencing in visual concrete syntaxBest Paper SLE Manouchehr Zadahmad Jafarlou Université de Montréal, Eugene Syriani Université de Montréal, Omar Alam Trent University, Esther Guerra Universidad Autonoma de Madrid, Juan de Lara Universidad Autonoma de Madrid | ||
11:30 30mTalk | Detecting and Exploring Side Effects when Repairing Model Inconsistencies SLE Djamel Eddine Khelladi CNRS, IRISA, Roland Kretschmer JOHANNES KEPLER UNIVERSITY LINZ, Alexander Egyed JOHANNES KEPLER UNIVERSITY LINZ | ||
12:00 30mTalk | Higher-Level Mission Specification for Multiple Robots SLE Sergio Garcia Chalmers | University of Gothenburg, Patrizio Pelliccione Chalmers | University of Gothenburg, Claudio Menghi University of Luxembourg, Luxembourg, Thorsten Berger Chalmers | University of Gothenburg, Tomas Bures Charles University | ||
12:30 - 14:00 | |||
14:00 - 15:30 | |||
14:00 60mTalk | Keynote 2: Who is afraid of the Turnstile?Keynote VMIL Andreas Rossberg Dfinity Stiftung | ||
15:00 30mFull-paper | Designing a Low-Level Virtual Machine for Implementing Real-Time Managed Languages VMIL Javad Ebrahimian Amiri Australian National University / Data61, Steve Blackburn Australian National University , Tony Hosking Australian National University / Data61, Michael Norrish Data61 at CSIRO, Australia / Australian National University, Australia DOI Pre-print | ||
14:00 - 15:30 | Product linesGPCE at Ground floor conference room Chair(s): Guido Salvaneschi Technische Universität Darmstadt | ||
14:00 30mTalk | Lifted Static Analysis using a Binary Decision Diagram Abstract Domain GPCE | ||
14:30 30mTalk | Harmonized Temporal Feature Modeling to Uniformly Perform, Track, Analyze and Replay Software Product Line Evolution GPCE Daniel Hinterreiter Johannes Kepler University Linz, Michael Nieke TU Braunschweig, Germany, Lukas Linsbauer , Christoph Seidl Technische Universität Braunschweig, Herbert Prähofer Johannes Kepler University Linz, Paul Grünbacher Johannes Kepler University Linz, Austria | ||
15:00 30mTalk | Supporting Feature Model Evolution by Suggesting Constraints from Code-Level Dependency Analyses GPCE Kevin Feichtinger Johannes Kepler University Linz, Daniel Hinterreiter Johannes Kepler University Linz, Lukas Linsbauer , Herbert Prähofer Johannes Kepler University Linz, Paul Grünbacher Johannes Kepler University Linz, Austria | ||
14:00 - 15:30 | |||
14:00 30mTalk | Performance of an OO Compute Kernel on the JVM -- Revisiting Java as a Language for Scientific Computing Applications MPLR | ||
14:30 30mTalk | Asynchronous Snapshots of Actor Systems for Latency-Sensitive Applications MPLR Dominik Aumayr Johannes Kepler University Linz, Austria, Stefan Marr University of Kent, Elisa Gonzalez Boix Vrije Universiteit Brussel, Belgium, Hanspeter Mössenböck JKU Linz, Austria DOI Pre-print | ||
14:00 - 15:30 | |||
14:00 30mTalk | Userland: creating an integrated dataflow environment for end-users LIVE | ||
14:30 30mTalk | Puppy: An Educational Simplification of Python with a Live Playground LIVE Taku Tada Yokohama National University, Yuka Akinobu Japan Women’s University, Makoto Sakane Japan Women’s University, Kimio Kuramitsu Japan Women’s University Media Attached | ||
15:00 30mTalk | Histogram: You have to know the past to understand the present LIVE Tomas Petricek University of Kent | ||
14:00 - 15:30 | |||
14:00 30mTalk | Krestianstvo Luminary: Decentralized Virtual Time for Croquet architecture AGERE Nikolai Suslov Fund for Supporting Development of RT Media Attached | ||
14:30 30mTalk | Actor-based Incremental Tree Data Processing for Large-scale Machine Learning Applications AGERE Kouhei Sakurai Graduate School of Natural Science & Technology, Kanazawa University, Taiki Shimizu Graduate School of Natural Science & Technology, Kanazawa University | ||
15:00 30mTalk | Run, Actor, Run - Towards Cross-Actor Language Benchmarking AGERE Sebastian Blessing Imperial College London, Kiko Fernandez-Reyes Uppsala University, Albert Mingkun Yang , Sophia Drossopoulou Imperial College London, Tobias Wrigstad Uppsala University | ||
14:00 - 15:30 | |||
14:00 45mTalk | Finding Mentors and Building Networks PLMW Alessandra Gorla IMDEA Software Institute File Attached | ||
14:45 45mTalk | How to Apply to Grad School? PLMW Ciera Jaspan Google File Attached | ||
14:00 - 15:30 | |||
14:00 45mTalk | How To Write Papers So People Can Read Them PLMW Derek Dreyer MPI-SWS Media Attached File Attached | ||
14:45 45mTalk | Unaccustomed As I Am to Public Speaking PLMW John Hughes Chalmers University of Technology, Sweden Media Attached File Attached | ||
14:00 - 15:30 | |||
14:00 30mTalk | Efficient Late Binding of Dynamic Function Compositions SLE | ||
14:30 30mTalk | Empirical Study on the Usage of Graph Query Languages in Open Source Java Projects SLE Philipp Seifer University of Koblenz-Landau, Germany, Johannes Härtel University of Koblenz-Landau, Germany, Martin Leinberger University of Koblenz-Landau, Germany, Ralf Laemmel Facebook London, Steffen Staab University of Koblenz-Landau and University of Southampton, Germany | ||
15:00 30mTalk | From DSL specification to interactive computer programming environment SLE Pierre Jeanjean Inria, Univ Rennes, CNRS, IRISA, Benoit Combemale University of Toulouse, Olivier Barais Univ. Rennes, Inria, CNRS, IRISA | ||
15:30 - 16:00 | |||
16:00 - 17:30 | |||
16:00 30mFull-paper | Towards seamless interfacing between dynamic languages and native code VMIL | ||
16:30 30mFull-paper | Memory efficient CRDTs in dynamic environments VMIL | ||
17:00 30mFull-paper | Implementing a Language with Explicit Assignment Semantics VMIL Dimi Racordon University of Geneva, Centre Universitaire d'Informatique, Geneva, Switzerland, Didier Buchs University of Geneva, Centre Universitaire d'Informatique, Geneva, Switzerland | ||
16:00 - 17:30 | |||
16:00 60mTalk | The Act of Computer Programming LIVE James Noble Victoria University of Wellington | ||
16:00 - 17:30 | |||
16:00 45mTalk | How Can I Academia When My Brain Can't Even? Mental Health in Grad School and Beyond PLMW Kenny Foner Galois Link to publication Media Attached | ||
16:45 45mOther | Panel: Current PhD Students and Postdocs PLMW Leonidas Lampropoulos University of Pennsylvania, University of Maryland, Ifaz Kabir University of Alberta, Canada, Azalea Raad MPI-SWS, Germany, Emma Tosch University of Massachusetts Amherst | ||
16:00 - 17:30 | Sessions 8: Types, ACID and GovernanceSLE at Templars Chair(s): Vadim Zaytsev Raincode Labs, Belgium | ||
16:00 20mTalk | Analysis and Modeling of the Governance in General Programming LanguagesNEW IDEA SLE | ||
16:20 30mTalk | Developing a Monadic Type Checker for an Object-Oriented Language (Experience Report) SLE DOI Pre-print | ||
16:50 20mTalk | Vision Paper: Generating Incremental Type ServicesNEW IDEA SLE | ||
17:10 30mTalk | Transactional Editing: Giving ACID to Programmers SLE | ||
19:00 - 22:00 | |||
19:00 3hDinner | Dinner (registration add-on) SLE | ||
Wed 23 OctDisplayed time zone: Beirut change
Wed 23 Oct
Displayed time zone: Beirut change
09:00 - 10:30 | Rebase Keynote (Might)Rebase / Keynotes at Olympia Chair(s): Michael Carbin Massachusetts Institute of Technology, Shan Shan Huang Relational.ai, Yannis Smaragdakis University of Athens | ||
09:00 20mDay opening | Welcome, Introduction Rebase Yannis Smaragdakis University of Athens, Shan Shan Huang Relational.ai, Michael Carbin Massachusetts Institute of Technology | ||
09:20 70mTalk | The Algorithm for Precision Medicine Keynotes | ||
10:30 - 11:00 | |||
11:00 - 12:30 | Abstract InterpretationOOPSLA at Attica Chair(s): John Hughes Chalmers University of Technology, Sweden | ||
11:00 22mTalk | BDA: Practical Dependence Analysis for Binary Executables by Unbiased Whole-Program Path Sampling and Per-Path Abstract Interpretation OOPSLA Zhuo Zhang Purdue University, Wei You Purdue University, Guanhong Tao Purdue University, Guannan Wei Purdue University, Yonghwi Kwon University of Virginia, Xiangyu Zhang Purdue University DOI Pre-print | ||
11:22 22mTalk | Staged Abstract Interpreters: Fast and Modular Whole-Program Analysis via Meta-programming OOPSLA DOI | ||
11:45 22mTalk | Static Analysis with Demand-Driven Value Refinement OOPSLA Benno Stein University of Colorado Boulder, Benjamin Barslev Nielsen Aarhus University, Bor-Yuh Evan Chang University of Colorado Boulder | Amazon, Anders Møller Aarhus University DOI Pre-print | ||
12:07 22mTalk | Sound and Reusable Components for Abstract Interpretation OOPSLA DOI | ||
11:00 - 12:30 | |||
11:00 22mResearch paper | Modular Verification of Heap Reachability Properties in Separation Logic OOPSLA Link to publication DOI Pre-print File Attached | ||
11:22 22mTalk | Modular Verification of Web Page Layout OOPSLA Pavel Panchekha University of Utah, Michael D. Ernst University of Washington, USA, Zachary Tatlock University of Washington, Seattle, Shoaib Kamil Adobe DOI | ||
11:45 22mTalk | Modular Verification for Almost-Sure Termination of Probabilistic Programs OOPSLA Mingzhang Huang Shanghai Jiao Tong University, Hongfei Fu Shanghai Jiao Tong University, Krishnendu Chatterjee IST Austria, Amir Kafshdar Goharshady IST Austria DOI | ||
12:07 22mTalk | Leveraging Rust Types for Modular Specification and Verification OOPSLA Vytautas Astrauskas ETH Zurich, Switzerland, Peter Müller ETH Zurich, Federico Poli ETH Zurich, Switzerland, Alexander J. Summers ETH Zurich DOI Pre-print | ||
11:00 - 12:30 | |||
11:00 45mTalk | Improving Engineering Productivity at Scale Rebase Ciera Jaspan Google | ||
11:45 45mTalk | Challenges in Large-Scale Application Development Rebase Adam Welc Uber Technologies | ||
11:00 - 12:30 | |||
11:00 30mTalk | Deployable Probabilistic Programming Onward! Papers David Tolpin PUB+ | ||
11:30 30mTalk | An Approach for Persistent Time-Varying Values Onward! Papers | ||
12:00 30mTalk | CallƐ: An Effect System for Method Calls Onward! Papers Isaac Oscar Gariano Victoria University of Wellington, James Noble Victoria University of Wellington, Marco Servetto Victoria University Wellington, New Zealand | ||
12:30 - 14:00 | |||
14:00 - 15:30 | |||
14:00 22mTalk | Duet: An Expressive Higher-Order Language and Linear Type System for Statically Enforcing Differential Privacy OOPSLA Joseph P. Near University of Vermont, David Darais University of Vermont, Chike Abuah University of Vermont, Tim Stevens University of Vermont, Pranav Gaddamadugu University of California, Berkeley, Lun Wang University of California, Berkeley, Neel Somani University of California, Berkeley, Mu Zhang University of Utah, Nikhil Sharma University of California, Berkeley, Alex Shan University of California, Berkeley, Dawn Song University of California, Berkeley DOI | ||
14:22 22mTalk | Improving Bug Detection via Context-Based Code Representation Learning and Attention-Based Neural Networks OOPSLA Yi Li New Jersey Institute of Technology, USA, Shaohua Wang New Jersey Institute of Technology, USA, Tien N. Nguyen University of Texas at Dallas, Son Nguyen The University of Texas at Dallas DOI | ||
14:45 22mTalk | Probabilistic Verification of Fairness Properties via Concentration OOPSLA Osbert Bastani University of Pennsylvania, Xin Zhang Massachusetts Institute of Technology, Armando Solar-Lezama Massachusetts Institute of Technology DOI | ||
15:07 22mTalk | Generating Precise Error Specifications for C: A Zero Shot Learning Approach OOPSLA Baijun Wu University of Louisiana at Lafayette, John Peter Campora University of Louisiana at Lafayette, He Yi University of Louisiana at Lafayette, Alexander Schlecht University of Louisiana at Lafayette, Sheng Chen University of Louisiana at Lafayette DOI | ||
14:00 - 15:30 | |||
14:00 22mTalk | Reflection-Aware Static Regression Test Selection OOPSLA August Shi University of Illinois at Urbana-Champaign, Milica Hadzi-Tanovic Technische Universitat Munchen, Lingming Zhang The University of Texas at Dallas, Darko Marinov University of Illinois at Urbana-Champaign, Owolabi Legunsen University of Illinois at Urbana-Champaign DOI | ||
14:22 22mTalk | Trace Aware Random Testing for Distributed Systems OOPSLA Burcu Kulahcioglu Ozkan Max Planck Institute for Software Systems (MPI-SWS), Rupak Majumdar Max Planck Institute for Software Systems (MPI-SWS), Simin Oraee Max Planck Institute for Software Systems (MPI-SWS) DOI | ||
14:45 22mTalk | Automatic and Scalable Detection of Logical Errors in Functional Programming Assignments OOPSLA DOI | ||
15:07 22mTalk | On the Complexity of Checking Transactional Consistency OOPSLA Ranadeep Biswas IRIF, University Paris Diderot & CNRS, Constantin Enea IRIF, University Paris Diderot & CNRS DOI | ||
14:00 - 15:30 | |||
14:00 45mTalk | Quantum Programming Rebase Jens Palsberg University of California, Los Angeles | ||
14:45 45mTalk | Augmenting Raw Materials with Sensing and Computation Rebase Phillip Stanley-Marbell University of Cambridge | ||
14:00 - 15:30 | Onward! Papers 2Onward! Papers at Templars Chair(s): Hidehiko Masuhara Tokyo Institute of Technology | ||
14:00 30mTalk | AlleAlle: Bounded Relational Model Finding with Unbounded Data Onward! Papers Jouke Stoel CWI, Tijs van der Storm CWI & University of Groningen, Netherlands, Jurgen Vinju CWI, Netherlands Link to publication DOI Pre-print | ||
14:30 30mTalk | Active Learning for Software Engineering Onward! Papers José Pablo Cambronero MIT, Thurston HY Dang MIT, Nikos Vasilakis MIT CSAIL, USA, Jiasi Shen Massachusetts Institute of Technology, Jerry Wu MIT, Martin C. Rinard MIT | ||
15:30 - 16:00 | |||
16:00 - 17:30 | |||
16:00 22mTalk | Formal Foundations of Serverless Computing OOPSLA Abhinav Jangda University of Massachusetts Amherst, Donald Pinckney University of Massachusetts Amherst, Yuriy Brun University of Massachusetts Amherst, Arjun Guha University of Massachusetts, Amherst Link to publication DOI Pre-print | ||
16:22 22mTalk | A Formalization of Java’s Concurrent Access Modes OOPSLA John Bender University of California, Los Angeles, Jens Palsberg University of California, Los Angeles DOI | ||
16:45 22mTalk | A Path to DOT: Formalizing Fully Path-Dependent Types OOPSLA DOI Pre-print Media Attached | ||
17:07 22mTalk | Qubit Allocation as a Combination of Subgraph Isomorphism and Token Swapping OOPSLA Marcos Yukio Siraichi UFMG, Vinícius Fernandes dos Santos UFMG, Caroline Collange INRIA, Fernando Magno Quintão Pereira UFMG DOI Pre-print | ||
16:00 - 17:30 | |||
16:00 22mTalk | Precision-Preserving Yet Fast Object-Sensitive Pointer Analysis with Partial Context Sensitivity OOPSLA DOI | ||
16:22 22mTalk | Precise Reasoning with Structured Time, Structured Heaps, and Collective Operations OOPSLA DOI | ||
16:45 22mTalk | I/O Dependent Idempotence Bugs in Intermittent Systems OOPSLA Milijana Surbatovich Carnegie Mellon University, Limin Jia Carnegie Mellon University, Brandon Lucia Carnegie Mellon University DOI | ||
17:07 22mTalk | PlanAlyzer: Assessing Threats to the Validity of Online Experiments OOPSLA Emma Tosch University of Massachusetts Amherst, Eytan Bakshy Facebook, Inc., Emery D. Berger University of Massachusetts Amherst, David Jensen University of Massachusetts Amherst, Eliot Moss University of Massachusetts Amherst DOI | ||
16:00 - 17:30 | |||
16:00 45mTalk | Machine Learning for Program Analysis Rebase Miltiadis Allamanis Microsoft Research, Cambridge | ||
16:45 45mTalk | An Open Source Hardware-Software Blueprint for Flexible Deep Learning Specialization Rebase Thierry Moreau University of Washington | ||
16:00 - 17:30 | |||
16:00 45mTalk | Local-first software: You own your data, in spite of the cloud Onward! Essays Martin Kleppmann University of Cambridge, Adam Wiggins Ink & Switch, Peter van Hardenberg Ink & Switch, Mark McGranaghan Ink & Switch | ||
16:45 45mTalk | Next-Paradigm Programming Languages: What Will They Look Like and What Changes Will They Bring? Onward! Essays Yannis Smaragdakis University of Athens | ||
17:30 - 18:30 | Awards / SIGPLAN Town Hall MeetingOOPSLA at Olympia Chair(s): Jens Palsberg University of California, Los Angeles, Eelco Visser Delft University of Technology | ||
19:30 - 22:30 | |||
19:30 3hDinner | Dinner Catering | ||
Thu 24 OctDisplayed time zone: Beirut change
Thu 24 Oct
Displayed time zone: Beirut change
09:30 - 10:30 | Sack keynoteKeynotes at Olympia Chair(s): Hidehiko Masuhara Tokyo Institute of Technology, Tomas Petricek University of Kent | ||
09:30 60mTalk | The Software Arts Keynotes | ||
10:30 - 11:00 | |||
11:00 - 12:30 | |||
11:00 22mTalk | DeepSEA: A Language for Certified System Software OOPSLA Vilhelm Sjöberg Yale University, Yuyang Sang Yale University, Shu-chun Weng Yale University, Zhong Shao Yale University DOI Pre-print | ||
11:22 22mTalk | Weakening WebAssembly OOPSLA Conrad Watt University of Cambridge, Andreas Rossberg Dfinity Stiftung, Jean Pichon-Pharabod University of Cambridge DOI | ||
11:45 22mTalk | Safer Smart Contract Programming with Scilla OOPSLA Ilya Sergey Yale-NUS College and National University of Singapore, Vaivaswatha Nagaraj Zilliqa Research, Jacob Johannsen Zilliqa Research, Amrit Kumar Zilliqa Research, Anton Trunov Zilliqa Research, Ken Chan Zilliqa Research DOI Pre-print File Attached | ||
12:07 22mTalk | Scala Implicits Are Everywhere: A Large-Scale Study of the Use of Scala Implicits in the Wild OOPSLA Filip Křikava Czech Technical University, Heather Miller Carnegie Mellon University, Jan Vitek Northeastern University DOI Pre-print | ||
11:00 - 12:30 | |||
11:00 22mTalk | Asphalion: Trustworthy Shielding against Byzantine Faults OOPSLA Ivana Vukotic SnT, University of Luxembourg, Vincent Rahli University of Birmingham, Paulo Esteves-Veríssimo SnT, University of Luxembourg DOI | ||
11:22 22mTalk | DProf: Distributed Profiler with Strong Guarantees OOPSLA DOI | ||
11:45 22mTalk | A Fault-Tolerant Programming Model for Distributed Interactive Applications OOPSLA Ragnar Mogk Technische Universität Darmstadt, Joscha Drechsler Technische Universität Darmstadt, Guido Salvaneschi Technische Universität Darmstadt, Mira Mezini Technische Universität Darmstadt DOI | ||
12:07 22mTalk | Language-Integrated Privacy-Aware Distributed Queries OOPSLA Guido Salvaneschi Technische Universität Darmstadt, Mirko Köhler Technische Universität Darmstadt, Daniel Sokolowski Technische Universität Darmstadt, Philipp Haller KTH Royal Institute of Technology, Sebastian Erdweg JGU Mainz, Mira Mezini Technische Universität Darmstadt DOI | ||
11:00 - 12:30 | Systems at ScaleRebase at Panorama Chair(s): Sasa Misailovic University of Illinois at Urbana-Champaign | ||
11:00 45mTalk | Growing thousandfold over a half-century: Form and forces of Unix architectural evolution Rebase Diomidis Spinellis Athens University of Economics and Business DOI | ||
11:45 45mTalk | Growing Databases to Exabyte Scale Rebase David F. Bacon Google | ||
11:00 - 12:30 | |||
11:00 30mTalk | Declarative Assembly of Web Applications from Predefined Concepts Onward! Papers Santiago Perez De Rosso MIT CSAIL, Daniel Jackson MIT, Maryam Archie MIT, Czarina Lao MIT, Barry A. McNamara III MIT Link to publication Pre-print Media Attached | ||
11:30 30mTalk | GoTcha: An Interactive Debugger for GoT-Based Distributed Systems Onward! Papers Pre-print | ||
12:00 30mTalk | Storage Combinators Onward! Papers Marcel Weiher Hasso-Plattner-Institut (HPI), Germany, Robert Hirschfeld Hasso-Plattner-Institut (HPI), Germany Link to publication DOI Pre-print | ||
12:30 - 14:00 | |||
14:00 - 15:30 | |||
14:00 22mTalk | On the Impact of Programming Languages on Code QualityTOPLAS OOPSLA Emery D. Berger University of Massachusetts Amherst, Celeste Hollenbeck Northeastern University, Petr Maj Czech Technical University, Olga Vitek Northeastern University, Jan Vitek Northeastern University Link to publication DOI Pre-print | ||
14:22 22mTalk | Casting about in the Dark: An Empirical Study of Cast Operations in Java Programs OOPSLA Luis Mastrangelo Università della Svizzera italiana, Matthias Hauswirth Università della Svizzera italiana, Nate Nystrom Università della Svizzera italiana DOI | ||
14:45 22mTalk | On the Design, Implementation, and Use of Laziness in R OOPSLA DOI Pre-print | ||
15:07 22mTalk | Aroma: Code Recommendation via Structural Code Search OOPSLA Sifei Luan Facebook, Inc., Di Yang University of California, Irvine, Celeste Barnaby Facebook, Inc., Koushik Sen University of California, Berkeley, Satish Chandra Facebook DOI | ||
14:00 - 15:30 | |||
14:00 22mTalk | Relational Verification using Reinforcement Learning OOPSLA Jia Chen University of Texas at Austin, Jiayi Wei University of Texas at Austin, Yu Feng University of California, Santa Barbara, Osbert Bastani University of Pennsylvania, Işıl Dillig University of Texas Austin DOI | ||
14:22 22mTalk | Specification and Inference of Trace Refinement Relations OOPSLA Timos Antonopoulos Yale University, Eric Koskinen Stevens Institute of Technology, Ton Chanh Le Stevens Institute of Technology DOI | ||
14:45 22mTalk | Specifying Concurrent Programs in Separation Logic: Morphisms and Simulations OOPSLA Aleksandar Nanevski IMDEA Software Institute, Anindya Banerjee IMDEA Software Institute, Germán Andrés Delbianco IRIF - Université de Paris, Ignacio Fábregas IMDEA Software Institute Link to publication DOI | ||
15:07 22mTalk | Certifying Graph-Manipulating C Programs via Localizations within Data Structures OOPSLA Shengyi Wang National University of Singapore, Qinxiang Cao Shanghai Jiao Tong University, Anshuman Mohan National University of Singapore, Aquinas Hobor National University of Singapore DOI Pre-print | ||
14:00 - 15:30 | |||
14:00 45mTalk | The Dawn of the Cloud Computer Rebase | ||
14:45 45mTalk | The Times They Are a-Changin’: A Data-Driven Portrait of New Trends in How We Build Software, Open Source, & What Even is "Entry-Level" Now Rebase Heather Miller Carnegie Mellon University | ||
14:00 - 15:30 | |||
14:00 30mTalk | Seq: A High-Performance Language for Bioinformatics OOPSLA Ariya Shajii MIT, Ibrahim Numanagić MIT, Riyadh Baghdadi MIT, Bonnie Berger MIT, Saman Amarasinghe MIT DOI | ||
14:30 30mTalk | Generating a Fluent API with Syntax Checking from an LR Grammar OOPSLA Tetsuro Yamazaki Graduate School of Information Science and Technology, The University of Tokyo, Tomoki Nakamaru Graduate School of Information Science and Technology, The University of Tokyo, Kazuhiro Ichikawa Graduate School of Information Science and Technology, The University of Tokyo, Shigeru Chiba Graduate School of Information Science and Technology, The University of Tokyo DOI | ||
15:00 30mTalk | Derivative Grammars: A Symbolic Approach to Parsing with Derivatives OOPSLA Ian Henriksen The University of Texas at Austin, Gianfranco Bilardi University of Padova, Italy, Keshav Pingali The University of Texas at Austin DOI | ||
14:00 - 15:30 | Onward! Papers 4Onward! Papers at Templars Chair(s): Hidehiko Masuhara Tokyo Institute of Technology | ||
14:00 30mTalk | Property Conveyances as a Programming Language Onward! Papers Shrutarshi Basu Cornell University, Nate Foster Cornell University, James Grimmelmann Cornell University Pre-print | ||
14:30 30mTalk | The Adverse Effects of Code Duplication in Machine Learning Models of Code Onward! Papers Miltiadis Allamanis Microsoft Research, Cambridge DOI Pre-print | ||
15:30 - 16:00 | |||
16:00 - 17:30 | |||
16:00 22mTalk | Ryū Revisited: Printf Floating Point Conversion OOPSLA Ulf Adams Google Link to publication DOI | ||
16:22 22mTalk | Optimization of Swift Protocols OOPSLA Raj Barik Uber Technologies Inc., Manu Sridharan University of California Riverside, Murali Krishna Ramanathan Uber Technologies Inc., Milind Chabbi Uber Technologies Inc. DOI | ||
16:45 22mTalk | ApproxHPVM: A Portable Compiler IR for Accuracy-Aware Optimizations OOPSLA Hashim Sharif University of Illinois at Urbana-Champaign, Prakalp Srivastava University of Illinois at Urbana-Champaign, Muhammad Huzaifa University of Illinois at Urbana-Champaign, Maria Kotsifakou University of Illinois at Urbana-Champaign, Keyur Joshi University of Illinois at Urbana-Champaign, Yasmin Sarita Cornell University, Nathan Zhao University of Illinois at Urbana-Champaign, Vikram S. Adve University of Illinois at Urbana-Champaign, Sasa Misailovic University of Illinois at Urbana-Champaign, Sarita Adve University of Illinois at Urbana-Champaign DOI | ||
17:07 22mTalk | IVT: An Efficient Method for Sharing Subtype Polymorphic Objects OOPSLA Yu-Ping Wang Tsinghua University, China, Xu-Qiang Hu Tsinghua Univeraity, China, Zi-Xin Zou Tsinghua Univeraity, China, Wende Tan Tsinghua University, China, Gang (Gary) Tan The Pennsylvania State University, University Park, USA DOI | ||
16:00 - 17:30 | |||
16:00 22mTalk | Mergeable Replicated Data Types OOPSLA Gowtham Kaki Purdue University, Swarn Priya Purdue University, KC Sivaramakrishnan IIT Madras, Suresh Jagannathan Purdue University Link to publication DOI | ||
16:22 22mTalk | Refinement Kinds: Type-Safe Programming with Practical Type-Level Computation OOPSLA Luís Caires Universidade Nova de Lisboa and NOVA LINCS, Bernardo Toninho Universidade Nova de Lisboa and NOVA LINCS DOI | ||
16:45 22mTalk | System FR: Formalized Foundations for the Stainless Verifier OOPSLA DOI | ||
17:07 22mTalk | Complete Monitors for Gradual Types OOPSLA Ben Greenman PLT @ Northeastern University, Matthias Felleisen PLT @ Northeastern University, Christos Dimoulas PLT @ Northwestern University DOI | ||
16:00 - 17:30 | |||
16:00 45mTalk | Climate Change and Software 2.0 Rebase Alan Edelman MIT | ||
16:45 45mTalk | Unreasonable Effectiveness of Multiple Dispatch Rebase | ||
16:00 - 17:30 | |||
16:00 15mTalk | Designing immersive virtual training environments for experiential learning SRC Kalliopi Evangelia Stavroulia Cyprus University of Technology, Andreas Lanitis Cyprus University of Technology | ||
16:15 15mTalk | Linear capabilities for CHERI SRC | ||
16:30 15mTalk | Gradual Program Analysis SRC Samuel Estep Liberty University, Jenna DiVincenzo (Wise) Carnegie Mellon University, Jonathan Aldrich Carnegie Mellon University, Éric Tanter University of Chile & Inria Paris, Johannes Bader Facebook | ||
16:45 15mTalk | Incremental Scannerless Generalized LR Parsing SRC Maarten P. Sijm Delft University of Technology | ||
17:00 15mTalk | Debugging Support for Multi-paradigm Concurrent Programs SRC Dominik Aumayr Johannes Kepler University Linz, Austria | ||
17:15 15mTalk | Practical Second Futamura Projection SRC Florian Latifi Johannes Kepler University Linz DOI Pre-print | ||
16:00 - 17:30 | |||
16:00 45mTalk | Learning to Listen for Design Onward! Essays Elisa Baniassad University of British Columbia, Ivan Beschastnikh Computer Science, University of British Columbia, Reid Holmes University of British Columbia, Gregor Kiczales University of British Columbia, Meghan Allen University of British Columbia | ||
Fri 25 OctDisplayed time zone: Beirut change
Fri 25 Oct
Displayed time zone: Beirut change
09:30 - 10:30 | |||
09:30 60mTalk | Programming Support for Evolving Database Applications Keynotes | ||
10:30 - 11:00 | |||
11:00 - 12:30 | Test GenerationOOPSLA at Attica Chair(s): Sasa Misailovic University of Illinois at Urbana-Champaign | ||
11:00 22mTalk | CLOTHO: Directed Test Generation for Weakly Consistent Database Systems OOPSLA Kia Rahmani Purdue University, Kartik Nagar Purdue University, Benjamin Delaware Purdue University, Suresh Jagannathan Purdue University DOI Pre-print | ||
11:22 22mTalk | Coverage Guided, Property Based Testing OOPSLA Leonidas Lampropoulos University of Pennsylvania, University of Maryland, Michael Hicks University of Maryland, Benjamin C. Pierce University of Pennsylvania DOI | ||
11:45 22mTalk | FuzzFactory: Domain-Specific Fuzzing with Waypoints OOPSLA Rohan Padhye University of California, Berkeley, Caroline Lemieux University of California, Berkeley, Koushik Sen University of California, Berkeley, Laurent Simon Samsung Research America, Hayawardh Vijayakumar Samsung Research America DOI Pre-print | ||
12:07 22mTalk | Compiler Fuzzing: How Much Does It Matter? OOPSLA Michaël Marcozzi Imperial College London, Qiyi Tang Imperial College London, Alastair F. Donaldson Imperial College London, Cristian Cadar Imperial College London Link to publication DOI Pre-print Media Attached File Attached | ||
11:00 - 12:30 | |||
11:00 22mTalk | Efficient Lock-Free Durable Sets OOPSLA Yoav Zuriel Technion - Israel, Michal Friedman Technion - Israel, Gali Sheffi Technion - Israel, Nachshon Cohen Amazon, Erez Petrank Technion - Israel DOI | ||
11:22 22mTalk | Weak Persistency Semantics from the Ground Up: Formalising the Persistency Semantics of ARMv8 and Transactional Models OOPSLA Azalea Raad MPI-SWS, Germany, John Wickerson Imperial College London, Viktor Vafeiadis MPI-SWS, Germany DOI | ||
11:45 22mTalk | Verifying Safety and Accuracy of Approximate Parallel Programs via Canonical Sequentialization OOPSLA Vimuth Fernando University of Illinois at Urbana-Champaign, Keyur Joshi University of Illinois at Urbana-Champaign, Sasa Misailovic University of Illinois at Urbana-Champaign DOI | ||
12:07 22mTalk | Dependence-Aware, Unbounded Sound Predictive Race Detection OOPSLA Kaan Genç Ohio State University, Jake Roemer Ohio State University, Yufan Xu Ohio State University, Michael D. Bond Ohio State University DOI Pre-print | ||
11:00 - 12:30 | |||
11:00 10mDay opening | Welcome SPLASH-E Elisa Baniassad University of British Columbia | ||
11:10 50mTalk | Scalability of Experiential Programming Courses SPLASH-E | ||
12:00 15mShort-paper | Parallelism in Practice: Experiences Teaching Concurrency and Parallelism in an Undergraduate OS Course SPLASH-E Charlie Curtsinger Grinnell College | ||
12:15 15mShort-paper | Microsoft MakeCode: Embedded Programming for Education, in Blocks and TypeScript SPLASH-E Thomas Ball Microsoft Research, Abhijith Chatra Microsoft, Peli de Halleux Microsoft Research, Steve Hodges Microsoft, Michał Moskal Microsoft Research, Jacqueline Russell Microsoft | ||
11:00 - 12:30 | Repair & TransformationOOPSLA at Templars Chair(s): Bor-Yuh Evan Chang University of Colorado Boulder | Amazon | ||
11:00 22mTalk | Detecting Nondeterministic Payment Bugs in Ethereum Smart Contracts OOPSLA Shuai Wang Hong Kong University of Science and Technology, Chengyu Zhang East China Normal University, Zhendong Su ETH Zurich DOI | ||
11:22 22mTalk | Automatic Repair of Regular Expressions OOPSLA Rong Pan University of Texas at Austin, Qinheping Hu University of Wisconsin, Madison, Gaowei Xu University of Wisconsin Madison, Loris D'Antoni University of Wisconsin Madison DOI Pre-print | ||
11:45 22mTalk | Getafix: Learning to Fix Bugs Automatically OOPSLA Johannes Bader Facebook, Andrew Scott Facebook, Michael Pradel University of Stuttgart, Satish Chandra Facebook DOI Pre-print | ||
12:07 22mTalk | IntelliMerge: A Refactoring-Aware Software Merging Technique OOPSLA Bo Shen Peking University, Wei Zhang Peking University, Haiyan Zhao Peking University, Guangtai Liang Huawei Technologies Co. Ltd, Zhi Jin Peking University, Qianxiang Wang Huawei Technologies Co. Ltd DOI | ||
12:30 - 14:00 | |||
14:00 - 15:30 | |||
14:00 22mTalk | AL: Autogenerating Supervised Learning Programs OOPSLA DOI | ||
14:22 22mTalk | Program Synthesis with Algebraic Library Specifications OOPSLA Benjamin Mariano University of Maryland, College Park, Josh Reese University of Maryland, College Park, Siyuan Xu Purdue University, ThanhVu Nguyen University of Nebraska, Lincoln, Xiaokang Qiu Purdue University, Jeffrey S. Foster Tufts University, Armando Solar-Lezama Massachusetts Institute of Technology DOI | ||
14:45 22mTalk | AutoPandas: Neural-Backed Generators for Program Synthesis OOPSLA Rohan Bavishi UC Berkeley, Caroline Lemieux University of California, Berkeley, Roy Fox UC Berkeley, Koushik Sen University of California, Berkeley, Ion Stoica UC Berkeley DOI | ||
15:07 22mTalk | On the Fly Synthesis of Edit Suggestions OOPSLA Anders Miltner Princeton University, Sumit Gulwani Microsoft, Vu Le Microsoft, Alan Leung Microsoft, Arjun Radhakrishna Microsoft, Gustavo Soares Microsoft, Ashish Tiwari Microsoft, Abhishek Udupa Microsoft DOI Pre-print Media Attached | ||
14:00 - 15:30 | |||
14:00 22mTalk | Design, Implementation, and Application of GPU-Based Java Bytecode Interpreters OOPSLA Ahmet Celik The University of Texas at Austin, Pengyu Nie The University of Texas at Austin, Chris Rossbach The University of Texas at Austin and VMware Research Group, Milos Gligoric The University of Texas at Austin DOI | ||
14:22 22mTalk | Initialize Once, Start Fast: Application Initialization at Build Time OOPSLA Christian Wimmer Oracle Labs, Codrut Stancu Oracle Labs, Peter Hofer Oracle Labs, Vojin Jovanovic Oracle Labs, Paul Wögerer Oracle Labs, Peter B. Kessler Oracle Labs, Oleg Pliss Oracle Labs, Thomas Wuerthinger Oracle Labs DOI Pre-print | ||
14:45 22mTalk | Reliable and Fast DWARF-Based Stack Unwinding OOPSLA Link to publication DOI File Attached | ||
15:07 22mTalk | PYE: A Framework for Precise-Yet-Efficient Just-In-Time Analyses for Java ProgramsTOPLAS OOPSLA | ||
14:00 - 15:30 | |||
14:00 30mFull-paper | Towards Answering "Am I On the Right Track?" Automatically Using Program Synthesis SPLASH-E Molly Q Feldman Cornell University, Yiting Wang Cornell University, William E. Byrd University of Alabama at Birmingham, USA, François Guimbretière Cornell University, Erik Andersen Cornell University | ||
14:30 30mFull-paper | Evaluating ProDirect Manipulation in Hour of Code SPLASH-E Quan Do Williams College, Kiersten Campbell Williams College, Emmie Hine Williams College, Dzung Pham Williams College, Alex Taylor Williams College, Iris Howley Williams College, Dan Barowy Williams College | ||
15:00 15mShort-paper | Experiences in Bridging from Functional to Object-Oriented Programming SPLASH-E Igor Moreno Santos Università della Svizzera italiana, Matthias Hauswirth Università della Svizzera italiana, Nate Nystrom Università della Svizzera italiana | ||
15:15 15mShort-paper | ChocoPy: A Programming Language for Compilers Courses SPLASH-E Rohan Padhye University of California, Berkeley, Koushik Sen University of California, Berkeley, Paul N. Hilfinger University of California, Berkeley Pre-print | ||
14:00 - 15:30 | |||
14:00 22mTalk | Value-Centric Dynamic Partial Order Reduction OOPSLA Krishnendu Chatterjee IST Austria, Andreas Pavlogiannis EPFL, Viktor Toman IST Austria (Institute of Science and Technology Austria) DOI | ||
14:22 22mTalk | Optimal Stateless Model Checking for Reads-From Equivalence under Sequential Consistency OOPSLA Parosh Aziz Abdulla Uppsala University, Sweden, Mohamed Faouzi Atig Uppsala University, Sweden, Bengt Jonsson Uppsala University, Sweden, Magnus Lång Uppsala University, Sweden, Tuan Phong Ngo Uppsala University, Sweden, Konstantinos (Kostis) Sagonas Uppsala University, Sweden DOI Pre-print | ||
14:45 22mTalk | TLA+ Model Checking Made Symbolic OOPSLA Igor Konnov Inria Nancy - Grand Est, France, Jure Kukovec TU Wien, Austria, Thanh-Hai Tran TU Wien, Austria DOI | ||
15:07 22mTalk | Effective Lock Handling in Stateless Model Checking OOPSLA Michalis Kokologiannakis MPI-SWS, Germany, Azalea Raad MPI-SWS, Germany, Viktor Vafeiadis MPI-SWS, Germany DOI | ||
15:30 - 16:00 | |||
16:00 - 17:30 | |||
16:00 90mTalk | A Graphical Language for Flexible Inference in Robotics and Vision Keynotes | ||
16:00 - 17:30 | |||
16:00 30mFull-paper | Theia: Automatically Generating Correct Program State Visualizations SPLASH-E Josh Pollock University of Washington, Jared Roesch University of Washington, USA, Doug Woos University of Washington, Zachary Tatlock University of Washington, Seattle | ||
16:30 30mFull-paper | Lambdulus: Teaching Lambda Calculus Practically SPLASH-E Jan Liam Verter Faculty of Information Technology, Czech Technical University in Prague, Petr Maj Czech Technical University | ||
17:00 30mTalk | Panel & Group Discussion SPLASH-E Elisa Baniassad University of British Columbia | ||