SPLASH 2019 (series) /
SPLASH 2019 Program
Conference Dates
Conference Dates are in time zone (GMT+03:00) Beirut, and may differ from the viewed time zone.
Rooms
Tracks
Badges
Your Program
Sun 20 Oct Times are displayed in time zone: Beirut change
Sun 20 Oct
Times are displayed in time zone: Beirut change
| 09:00 - 09:30 Full-paper | Ambiguous, Informal, and Unsound: Metaprogramming for Naturalness META Toni MattisHasso Plattner Institute, University of Potsdam, Patrick ReinHasso Plattner Institute, Germany, Robert HirschfeldHasso-Plattner-Institut (HPI), Germany | ||
| 09:30 - 10:00 Full-paper | From Definitional Interpreter To Symbolic Executor META Adrian Mensing, Hendrik van AntwerpenTU Delft, Eelco VisserDelft University of Technology, Casper Bach PoulsenDelft University of Technology Link to publication Pre-print | ||
| 10:00 - 10:30 Short-paper | Mμl: The Power of Dynamic Multi-Methods META Isaac Oscar GarianoVictoria University of Wellington, Marco ServettoVictoria University Wellington, New Zealand File Attached | ||
09:00 - 10:30: Introduction and keynoteDSM at Room 1B Chair(s): Matti RossiAalto University School of Business, Jonathan SprinkleUniversity of Arizona, Juha-Pekka TolvanenMetaCase, Jeff GrayUniversity of Alabama | |||
| 09:00 - 09:30 Talk | Introduction DSM | ||
| 09:30 - 10:30 Industry talk | A mosaic of models as the driver for Domain-Specific Modeling in the Robotics Industry - Keynote by Anastasia Mavrommati, MathWorks DSM | ||
| 09:15 - 09:30 Day opening | Welcome DLS Stefan MarrUniversity of Kent | ||
| 09:30 - 10:30 Talk | Untangling the web: Memory management in Chrome’s web platform implementationKeynote DLS Media Attached | ||
| 10:30 - 11:00 Coffee break | Break Catering | ||
11:00 - 12:30: Concurrency and Data Structures META at Room 1A Chair(s): Christophe ScholliersUniversiteit Gent, Belgium | |||
| 11:00 - 12:00 Talk | Meta-programming in Data Science META | ||
| 12:00 - 12:30 Full-paper | Squirrel: An Extensible Distributed Key-Value Store META | ||
| 11:00 - 11:20 Talk | Methodology to develop Domain Specific Modeling Languages DSM | ||
| 11:20 - 11:40 Talk | A Constraint Modeling Framework for Domain-Specific Languages DSM | ||
| 11:40 - 12:00 Talk | A Meta-Metamodel for Dynamic Constraint Feedback in Modeling Languages DSM | ||
| 12:00 - 12:20 Talk | ModelFlow: Towards Reactive Model Management Workflows DSM | ||
11:00 - 12:30: Types and ToolsDLS at Room 2A Chair(s): Nick Papoulias Université Grenoble Alpes, France | |||
| 11:00 - 11:30 Talk | First-class Dynamic TypesResearch Paper DLS Michael HomerVictoria University of Wellington, Timothy JonesMontoux, James NobleVictoria University of Wellington Pre-print Media Attached | ||
| 11:30 - 12:00 Talk | Language-independent Development Environment Support For Dynamic RuntimesExperience Paper DLS Daniel StolpeHasso-Plattner-Institut, Tim FelgentreffOracle Labs, Potsdam, Christian HumerOracle Labs, Switzerland, Fabio NiephausHasso Plattner Institute, University of Potsdam, Robert HirschfeldHasso-Plattner-Institut (HPI), Germany Pre-print Media Attached | ||
| 12:00 - 12:30 Talk | Optimizing and Evaluating Transient Gradual TypingResearch Paper DLS Michael M. VitousekIndiana University, Jeremy G. SiekIndiana University, USA, Avik ChaudhuriFacebook, USA Media Attached | ||
| 14:00 - 15:00 Talk | Metaprogramming, Metaobject Protocols, Gradual Type Checks: Optimizing the "Unoptimizable" Using Old Ideas META Stefan MarrUniversity of Kent Media Attached | ||
| 15:00 - 15:30 Full-paper | FlashFreeze: Low-Overhead JavaScript Instrumentation for Function Serialization META | ||
14:00 - 15:30: Experience reports and demoDSM at Room 1B Chair(s): Matti RossiAalto University School of Business | |||
| 14:00 - 14:20 Talk | Mind the Gap: Lessons Learned from Translating Grammars between MontiCore and Xtext DSM | ||
| 14:20 - 14:40 Talk | Experience Report on the Development of a Specialized Multi-Views Multi-Stakeholders Model-based Engineering Framework DSM | ||
| 14:40 - 15:00 Demonstration | Mutation Testing for DSLs: Tool Demo DSM | ||
| 15:00 - 15:30 Meeting | Group work topic selection DSM | ||
| 14:00 - 14:30 Talk | Reflections on the Compatibility, Performance, and Scalability of Parallel PythonExperience Paper DLS | ||
| 14:30 - 15:00 Talk | R Melts Brains -- An IR for First-Class Environments and Lazy Effectful ArgumentsResearch Paper DLS Olivier FlückigerNortheastern University, Guido ChariCzech Technical University, Jan JečmenCzech Technical University, Ming-Ho YeeNortheastern University, Jakob HainNortheastern University, Jan VitekNortheastern University Link to publication DOI Pre-print Media Attached | ||
| 15:00 - 15:30 Talk | Python Programmers have GPUs too: Automatic Python Loop Parallelization with Staged Dependence AnalysisResearch Paper DLS Dejice JacobUniversity of Glasgow, Phil TrinderUniversity of Glasgow, Jeremy SingerUniversity of Glasgow Link to publication DOI Authorizer link | ||
| 15:30 - 16:00 Coffee break | Break Catering | ||
| 16:00 - 17:00 Meeting | Group work DSM | ||
| 17:00 - 17:30 Talk | Group work reporting DSM | ||
| 16:00 - 16:30 Talk | Lazy Pointer Update for Low Heap Compaction Pause TimesResearch Paper DLS Clément BéraGoogle, Aarhus, Eliot MirandaCadence Design Systems, Elisa Gonzalez BoixVrije Universiteit Brussel, Belgium | ||
| 16:30 - 17:00 Talk | Sindarin: a Versatile Scripting API for the Pharo DebuggerResearch Paper DLS Thomas DupriezUniversité Lille, CNRS, Centrale Lille, Inria, UMR 9189 - CRIStAL, Guillermo PolitoUniv. Lille, CNRS, Centrale Lille, Inria, UMR 9189 - CRIStAL - Centre de Recherche en Informatique Signal et Automatique de Lille, Steven Costiou INRIA Lille, Vincent AranegaUniversité Lille, CNRS, Centrale Lille, Inria, UMR 9189 - CRIStAL, Stéphane Ducasse INRIA Lille Media Attached | ||
| 17:00 - 17:30 Talk | Standard Object Out: Streaming Objects with Polymorphic Write StreamsExperience Paper DLS Marcel WeiherHasso-Plattner-Institut (HPI), Germany, Robert HirschfeldHasso-Plattner-Institut (HPI), Germany Pre-print Media Attached | ||
Mon 21 Oct Times are displayed in time zone: Beirut change
Mon 21 Oct
Times are displayed in time zone: Beirut change
| 09:00 - 09:10 Day opening | Welcome Doctoral Symposium | ||
| 09:10 - 09:30 Talk | Lightning Talks Doctoral Symposium | ||
| 09:30 - 10:30 Talk | Keynote: Bridging the Gap (or Falling into It) Doctoral Symposium Andreas RossbergDfinity Stiftung | ||
| 09:00 - 10:30 Talk | Adversarial Compilation MPLR | ||
| 09:00 - 09:45 Talk | Beyond Neural Networks for Programming: How to Learn from Programs NJR Veselin RaychevDeepCode AG | ||
| 09:45 - 10:30 Talk | Renaissance: Benchmarking Suite for Parallel Applications on the JVM NJR Lubomír BulejCharles University | ||
| 09:00 - 09:55 Industry talk | Remote Sensing and Data Dilemmas STOKED William ParkinsonUrthecast | ||
| 10:00 - 10:15 Experience report | Machine Learning with Remote Sensing Data STOKED Ben SmithGraduate Student intern at Urthecast | ||
| 10:20 - 10:30 Other | Brainstorming and Next Steps! STOKED | ||
| 09:00 - 10:30 Talk | Differential dataflow: a model and implementationKeynote IC | ||
| 09:00 - 09:10 Day opening | Opening REBLS | ||
| 09:10 - 10:30 Talk | Streams, Reactivity and FRP: where we are, where to go REBLS Ivan PerezNIA / NASA Formal Methods | ||
| 09:00 - 10:30 Talk | Software Language Engineering -- 42 Frequently Asked Questions SLE Ralf LaemmelFacebook London | ||
| 10:30 - 11:00 Coffee break | Break Catering | ||
| 11:00 - 11:40 Talk | Improving Performance and Quality of Database-Backed Software Doctoral Symposium Junwen Yanguniversity of chicago | ||
| 11:45 - 12:25 Talk | Performance, Portability, and Productivity for Data-Parallel Applications on Multi- and Many-Core Architectures Doctoral Symposium Ari RaschUniversity of Münster | ||
11:00 - 12:30: Language extensionGPCE at Ground floor conference room Chair(s): Adam WelcUber Technologies | |||
| 11:00 - 11:30 Talk | Foreign language interfaces by code migration GPCE Shigeru ChibaGraduate School of Information Science and Technology, The University of Tokyo | ||
| 11:30 - 11:50 Talk | A Language Feature to Unbundle Data at Will (Short Paper) GPCE Musa Al-hassyMcMaster University, Wolfram KahlMcMaster University, Jacques CaretteMcMaster University | ||
| 11:50 - 12:10 Talk | Parallel Nondeterministic Programming as a Language Extension to C (Short Paper) GPCE DOI Pre-print | ||
| 12:10 - 12:30 Talk | Agile Construction of Data Science DSLs (Tool Demo) GPCE Artur AndrzejakHeidelberg University, Kevin Kiefer, Diego CostaHeidelberg University, Oliver WenzHeidelberg University | ||
| 11:00 - 11:30 Talk | Supporting On-Stack Replacement in Unstructured Languages by Loop Reconstruction and Extraction MPLR Raphael MosanerJohannes Kepler University Linz, David LeopoldsederJohannes Kepler University Linz, Manuel RiggerETH Zurich, Roland SchatzJohannes Kepler University Linz, Hanspeter MössenböckJKU Linz, Austria Pre-print | ||
| 11:30 - 12:00 Talk | GraalSqueak: Toward a Smalltalk-based Tooling Platform for Polyglot Programming MPLR Fabio NiephausHasso Plattner Institute, University of Potsdam, Tim FelgentreffOracle Labs, Potsdam, Robert HirschfeldHasso-Plattner-Institut (HPI), Germany DOI Pre-print | ||
| 12:00 - 12:30 Talk | WARDuino: A Dynamic WebAssembly Virtual Machine for Programming Microcontrollers MPLR DOI Authorizer link Pre-print | ||
| 11:00 - 11:45 Talk | From analysing programs to testing program analyses: How research relies on and enriches SE knowledge NJR Mira MeziniTechnische Universität Darmstadt | ||
| 11:45 - 12:30 Talk | Deep Structural Learning of Code NJR Uri AlonTechnion | ||
| 11:00 - 11:50 Industry talk | Immersive Urban Planning: CityEngine and ArcGIS Urban (Esri, R&D Center Zurich) STOKED Michael Van Den BerghEsri, R&D Center Zurich | ||
| 12:00 - 12:15 Experience report | Storming Charrettes! Urban Planning Using Touch Surface Technology STOKED Matthew PlaudisGraduate Student intern at Esri, Canada | ||
| 12:20 - 12:30 Other | Brainstorming and Next Steps! STOKED | ||
| 11:00 - 11:30 Talk | Generating Incremental Type Services IC | ||
| 11:30 - 12:00 Talk | Incrementalizing inter-procedural program analyses with recursive aggregation in Datalog IC Tamás Szabóitemis / JGU Mainz, Gábor BergmannBudapest University of Technology and Economics / MTA-BME Lendület Research Group on Cyber-Physical Systems, Hungary, Sebastian ErdwegJGU Mainz Pre-print | ||
| 12:00 - 12:30 Talk | Incremental Datalog Prototype in Soufflé IC David ZhaoThe University of Sydney, Pavle SuboticAmazon, Bernhard ScholzUniversity of Sydney, Australia | ||
11:00 - 12:30: Language design and implementationREBLS at Room 3B Chair(s): Tetsuo KaminaOita University | |||
| 11:00 - 11:30 Talk | Concurrency Control of JavaScript with Arrows REBLS Tian ZhaoUniversity of Wisconsin-Milwaukee, Adam BergerUniversity of Wisconsin -- Milwaukee, Yonglun LiUniversity of Wisconsin -- Milwaukee | ||
| 11:30 - 12:00 Talk | Towards a Statically Scheduled Parallel Execution of an FRP Language for Embedded Systems REBLS DOI | ||
| 12:00 - 12:30 Talk | Turning Unobservable into Unreachable: Dynamic Reactive Programming without Leaks REBLS File Attached | ||
11:00 - 12:30: Session 2: GrammarsSLE at Templars Chair(s): Elizabeth ScottRoyal Holloway University of London | |||
| 11:00 - 11:30 Talk | A Feature-Based Classification of Triple Graph Grammar Variants SLE | ||
| 11:30 - 12:00 Talk | Spectrum-Based Fault Localization for Context-Free Grammars SLE | ||
| 12:00 - 12:30 Talk | Consistency Management via a Combination of Triple Graph Grammars and Linear Programming SLE Nils WeidmannPaderborn University, Anthony AnjorinPaderborn University, Erhan LeblebiciTechnische Universität Darmstadt, Andy SchürrTechnische Universität Darmstadt | ||
| 14:00 - 14:40 Talk | Practical Second Futamura Projection Doctoral Symposium Florian LatifiJohannes Kepler University Linz DOI Pre-print | ||
| 14:45 - 15:25 Talk | Retaining Semantic Information in the Static Analysis of Real-World Software Doctoral Symposium Gábor HorváthEötvös Loránd University DOI Pre-print | ||
14:00 - 15:30: MetaGPCE at Ground floor conference room Chair(s): Shigeru ChibaGraduate School of Information Science and Technology, The University of Tokyo | |||
| 14:00 - 14:30 Talk | A Stage-Polymorphic IR for Compiling MATLAB-Style Dynamic Tensor Expressions GPCE | ||
| 14:30 - 15:00 Talk | Reflection in Attribute Grammars GPCE Lucas KramerUniversity of Minnesota, Ted KaminskiUniversity of Minnesota, Eric Van WykUniversity of Minnesota, USA DOI Pre-print | ||
| 15:00 - 15:20 Talk | Polymorphic Extractors for Semantic and Portable Pattern Matching (Short Paper) GPCE Amir ShaikhhaUniversity of Oxford | ||
| 14:00 - 14:30 Talk | Dynamic One-To-One Mapping of Ownership Records for STM using Versioned Weak References MPLR | ||
| 14:30 - 15:00 Talk | A Type System for Data Independence of Loop Iterations in a Directive-Based PGAS Language MPLR Tatsuya AbeChiba Institute of Technology, Japan | ||
| 15:00 - 15:30 Talk | Hosting OpenMP Programs on Java Virtual Machines MPLR Swapnil Laxman GaikwadThe University of Manchester, Andrew NisbetThe University of Manchester, Mikel LujánUniversity of Manchester | ||
| 14:00 - 14:30 Talk | Understanding the Gaps in Static Program Analysis NJR Jens DietrichVictoria University of Wellington | ||
| 14:30 - 15:00 Talk | 50K-C: A Dataset of Compilable, and Compiled, Java Projects NJR Rohan AcharUC Irvine | ||
| 15:00 - 15:30 Talk | NJR: Executable, Scriptable, and Searchable Java Programs NJR Jens PalsbergUniversity of California, Los Angeles | ||
14:00 - 15:30: Platforms, Plumbing and System InfrastructureSTOKED at Room 2B Chair(s): Celina BergUBC, Computer Science | |||
| 14:00 - 14:30 Other | Climate Action? STOKED | ||
| 14:30 - 15:00 Experience report | Data Provenance and the STAC specification STOKED Jonathan HealyGraduate Student intern with the Earth Data Store | ||
| 15:00 - 15:30 Other | Brainstorming and Next Steps! STOKED | ||
| 14:00 - 14:30 Talk | Precise, Efficient, and Expressive Incremental Build Scripts with PIE IC Gabriël KonatDelft University of Technology, Roelof SolDelft University of Technology, Sebastian ErdwegJGU Mainz, Eelco VisserDelft University of Technology Pre-print File Attached | ||
| 14:30 - 15:00 Talk | From Whole Program Compilation to Incremental Compilation: A Critical Case IC Jeff SmitsDelft University of Technology, Gabriël KonatDelft University of Technology, Eelco VisserDelft University of Technology Pre-print | ||
| 15:00 - 15:30 Talk | An Incremental Locking Scheme for Transactional Editing IC Nils KurowskyFernuni Hagen | ||
14:00 - 15:30: Domain specific applicationsREBLS at Room 3B Chair(s): Hidehiko MasuharaTokyo Institute of Technology | |||
| 14:00 - 14:30 Talk | GRASS: Generic Reactive Application-Specific Scheduling REBLS Marcel BlöcherTU Darmstadt, Matthias EichholzTU Darmstadt, Pascal WeisenburgerTechnische Universität Darmstadt, Patrick EugsterUniversita della Svizzera Italiana, Switzerland, Mira MeziniTechnische Universität Darmstadt, Guido SalvaneschiTechnische Universität Darmstadt | ||
| 14:30 - 15:00 Talk | Event-Based Parsing REBLS Vadim ZaytsevRaincode Labs, Belgium | ||
| 15:00 - 15:30 Talk | Multitier Reactive Programming in High Performance Computing REBLS Daniel SokolowskiTechnische Universität Darmstadt, Philipp MartensTechnische Universität Darmstadt, Guido SalvaneschiTechnische Universität Darmstadt File Attached | ||
14:00 - 15:30: Session 3: LanguagesSLE at Templars Chair(s): Casper Bach PoulsenDelft University of Technology | |||
| 14:00 - 14:30 Talk | Operationalizing the Integration of User Interaction Specifications in the Synthesis of Modeling Editors SLE Vasco SousaUniversité de Montréal, Eugene SyrianiUniversité de Montréal, Khady FallUniversité de Montréal | ||
| 14:30 - 14:50 Talk | A Vision of Miking: Interactive Programmatic Modeling, Sound Language Composition, and Self-Learning CompilationNEW IDEA SLE David BromanKTH Royal Institute of Technology | ||
| 14:50 - 15:10 Talk | Shadow Models [Tool Demo] -- Incremental Transformations for MPSDEMO SLE Markus Völteritemis/independent, Klaus Birkenitemis AG, Sascha Lissonitemis AG, Alexander Rimeritemis AG | ||
| 15:10 - 15:30 Talk | The Lands Platform: Lan.guages and D.omain S.yntax, Tool DemoDEMO SLE Nick Papoulias Université Grenoble Alpes, France | ||
| 15:30 - 16:00 Coffee break | Break Catering | ||
| 16:00 - 16:40 Talk | Exploiting Models for Scalable and High Throughput Distributed Software Doctoral Symposium Tim SoethoutING Bank and Centrum Wiskunde & Informatica (CWI), The Netherlands DOI Pre-print File Attached | ||
| 16:45 - 17:25 Talk | Debugging Support for Multi-paradigm Concurrent Programs Doctoral Symposium Dominik AumayrJohannes Kepler University Linz, Austria Link to publication DOI | ||
| 16:00 - 16:30 Talk | Predicting All Data Race Pairs for a Specific Schedule MPLR Martin SulzmannKarlsruhe University of Applied Sciences, Germany, Kai StadtmüllerKarlsruhe University of Applied Sciences | ||
| 16:30 - 17:00 Talk | Towards Efficient, Multi-Language Dynamic Taint Analysis MPLR Jacob KreindlJohannes Kepler University Linz, Daniele BonettaOracle Labs, Hanspeter MössenböckJKU Linz, Austria | ||
| 17:00 - 17:30 Talk | Detection of Suspicious Time Windows in Memory Monitoring MPLR Markus WeningerChristian Doppler Lab. MEVSS, Johannes Kepler University Linz, Elias GanderChristian Doppler Lab. MEVSS, Johannes Kepler University Linz, Hanspeter MössenböckJKU Linz, Austria | ||
| 16:00 - 16:30 Talk | NAB: Automated Large-scale Multi-language Dynamic Program Analysis in Public Code Repositories NJR Andrea RosàUniversity of Lugano, Switzerland | ||
| 16:30 - 17:00 Talk | Corpus Distillation Techniques for Effective Fuzzing: A Comprehensive Evaluation NJR Tony HoskingAustralian National University / Data61 | ||
| 17:00 - 17:30 Talk | MadMax and Friends: Program Analysis for Smart Contracts NJR Neville GrechUniversity of Athens | ||
16:00 - 17:30: Getting Real with Augmented and Virtual Realities!STOKED at Room 2B Chair(s): Derek JacobyQVirt Labs | |||
| 16:00 - 16:50 Industry talk | Immersive Visual Analytics for Large Industrial Data STOKED Li JiLlamaZOO | ||
| 17:00 - 17:15 Experience report | Challenges and Considerations in 3D Interactive Interfaces STOKED Karina RigbyGreg Marshall Design | ||
| 17:20 - 17:30 Other | Brainstorming for the New Frontier: Next Steps! STOKED | ||
| 16:00 - 16:30 Talk | Toward Lazy Evaluation in a Graph Database IC | ||
| 16:30 - 17:00 Talk | The meaning of a program change is a change to the program’s meaning IC Roly PereraThe Alan Turing Institute Pre-print | ||
16:00 - 17:30: Session 4: ParsingSLE at Templars Chair(s): Adrian JohnstoneRoyal Holloway, University of London | |||
| 16:00 - 16:30 Talk | Multiple Lexicalisation - A Java Based Study SLE Elizabeth ScottRoyal Holloway University of London, Adrian JohnstoneRoyal Holloway, University of London | ||
| 16:30 - 16:50 Talk | Breaking Parsers: Mutation-based Generation of Programs with Guaranteed Syntax ErrorsNEW IDEABest Paper SLE Moeketsi RaselimoStellenbosch University, Jan TaljaardStellenbosch University, Bernd FischerStellenbosch University | ||
| 16:50 - 17:20 Talk | Default disambiguation for online parsers SLE DOI Pre-print | ||
| 17:20 - 18:00 Awards | SLE MIP Awards 2018 and 2019 SLE | ||
Tue 22 Oct Times are displayed in time zone: Beirut change
Tue 22 Oct
Times are displayed in time zone: Beirut change
| 09:00 - 10:00 Talk | Keynote 1: How did we get here and where can we go next? (Joint with MPLR, in Room 1)Keynote VMIL Laurence TrattKing's College London | ||
| 10:00 - 10:30 Full-paper | Scalable Comparison of JavaScript V8 Bytecode Traces (Room 1 -- Joint with MPLR) VMIL Javier Cabrera ArteagaKTH Royal Institute of Technology, Martin MonperrusKTH Royal Institute of Technology, Benoit BaudryKTH Royal Institute of Technology, Sweden Pre-print | ||
09:00 - 10:30: GPCE KeynoteGPCE at Ground floor conference room Chair(s): Christoph ReichenbachLund University | |||
| 09:00 - 10:30 Talk | Let it Flow: Dataflow abstractions for interactive distributed applications GPCE | ||
| 09:00 - 10:30 Talk | How did we get here and where can we go next? MPLR Laurence TrattKing's College London | ||
| 09:00 - 10:00 Talk | Dark: a holistic programming language LIVE | ||
| 10:00 - 10:30 Talk | Steady Typing LIVE | ||
| 09:00 - 09:25 Talk | “It Looks Like You’re Writing a Parallel Loop” - A Machine Learning Based Parallelization Assistant AI-SEPS Aleksandr MaramzinUniversity of Edinburgh, Christos VasiladiotisUniversity of Edinburgh, Roberto Castañeda LozanoUniversity of Edinburgh, Murray ColeUniversity of Edinburgh, Björn FrankeUniversity of Edinburgh, UK DOI | ||
| 09:25 - 09:40 Talk | Automatic Identification of Standard Template Algorithms in Raw Loops AI-SEPS Yannic FischlerTU Darmstadt, Jan-Patrick LehrGraduate School of Computational Engineering, TU Darmstadt, Christian BischofScientific Computing, TU Darmstadt, Matthäus Magnus KiehnTU Darmstadt DOI | ||
| 09:00 - 09:15 Talk | Welcome and Introduction AGERE | ||
| 09:15 - 10:30 Talk | Pony: Semantics and Type System Co-DesignKeynote AGERE Sophia DrossopoulouImperial College London | ||
| 09:00 - 09:15 Day opening | Introduction PLMW Karim AliUniversity of Alberta, Jonathan BellGeorge Mason University, Marianna RapoportUniversity of Waterloo | ||
| 09:15 - 09:45 Social Event | Icebreaker and Networking Activity PLMW Marianna RapoportUniversity of Waterloo, Jonathan BellGeorge Mason University, Karim AliUniversity of Alberta | ||
| 09:45 - 10:30 Talk | Why do a PhD? PLMW Yannis SmaragdakisUniversity of Athens Media Attached File Attached | ||
| 11:00 - 11:30 Full-paper | Which of my Transient Type Checks are not (Almost) Free? VMIL Isaac Oscar GarianoVictoria University of Wellington, Richard RobertsVictoria University of Wellington, Stefan MarrUniversity of Kent, Michael HomerVictoria University of Wellington, James NobleVictoria University of Wellington | ||
| 11:30 - 12:00 Full-paper | Efficient Fail-Fast Dynamic Subtype Checking VMIL Pre-print | ||
| 12:00 - 12:15 Talk | Towards Gradual Checking of Reference Capabilities VMIL Kiko Fernandez-ReyesUppsala University, Isaac Oscar GarianoVictoria University of Wellington, James NobleVictoria University of Wellington, Tobias WrigstadUppsala University Pre-print | ||
| 12:15 - 12:30 Talk | Formal Verification of JIT by Symbolic Execution VMIL Boris ShingarovLabWare | ||
11:00 - 12:30: Domain-specific languages and modelingGPCE at Ground floor conference room Chair(s): Ulrik Pagh SchultzUniversity of Southern Denmark | |||
| 11:00 - 11:30 Talk | Automated Metamodel Augmentation for Seamless Model Evolution Tracking and Planning GPCE Michael NiekeTU Braunschweig, Germany, Adrian HoffTU Braunschweig, Christoph SeidlTechnische Universität Braunschweig | ||
| 11:30 - 12:00 Talk | Floorplan: Spatial Layout in Memory Management SystemsDistinguished Paper Award GPCE DOI Pre-print | ||
| 12:00 - 12:20 Talk | Compiler Generation for Performance-Oriented Embedded DSLs (Short Paper) GPCE | ||
11:00 - 12:30: Compilation and code manipulationMPLR at Room 1 Chair(s): Shigeru ChibaGraduate School of Information Science and Technology, The University of Tokyo | |||
| 11:00 - 11:30 Talk | Static TypeScript: An Implementation of a Static Compiler for the TypeScript Language MPLR | ||
| 11:30 - 12:00 Talk | PorcE: A Deparallelizing Compiler MPLR Arthur Michener PetersThe University of Texas at Austin, Texas, USA, John A. ThywissenThe University of Texas at Austin, Chris RossbachThe University of Texas at Austin and VMware Research Group | ||
| 12:00 - 12:30 Talk | An Analysis of Call-site Patching Without Strong Hardware Support for Self-Modifying-Code MPLR Tim HartleyThe University of Manchester, Foivos S. ZakkakUniversity of Manchester, UK, Christos KotselidisUniversity of Manchester, UK, Mikel LujánUniversity of Manchester Link to publication DOI Authorizer link | ||
| 11:00 - 11:30 Talk | Mech - A Programming Language for Data Driven, Reactive Systems LIVE Corey MontellaLehigh University | ||
| 11:30 - 12:00 Talk | Context-Oriented Live Programming Environments with Mixed Reality System for IoT Education LIVE Ikuta TanigawaKyushu University, Harumi WatanabeTokai University, Nobuhiro OheTokai Univ., Mikiko SatoTokai University, Nobuhiko OguraTokyo City University, Takeshi Ohkawa Tokai Univ., Kenji HisazumiKyushu University, Akira FukudaKyushu University | ||
| 12:00 - 12:30 Talk | An Exploratory Literature Study on Live-Tooling in the Game Industry LIVE Tom BeckmannHasso Plattner Institute, Christian FlachHasso Plattner Institute, University of Potsdam, Germany, Eva KrebsHasso Plattner Institute, Stefan RamsonHasso Plattner Institute, Germany, Patrick ReinHasso Plattner Institute, Germany, Robert HirschfeldHasso-Plattner-Institut (HPI), Germany | ||
| 11:00 - 11:30 Talk | Modal Assertions for Actor Correctness AGERE Colin GordonDrexel University DOI Pre-print | ||
| 11:30 - 12:00 Talk | Static Local Coordination Avoidance for Distributed Objects AGERE Tim SoethoutING Bank and Centrum Wiskunde & Informatica (CWI), The Netherlands, Tijs van der StormCWI & University of Groningen, Netherlands, Jurgen VinjuCWI, Netherlands DOI Pre-print Media Attached | ||
| 12:00 - 12:30 Talk | Locations and Session Types in a Language with Higher-Order Reflection AGERE Michael TranDepartment of Computer Science, Aalborg University, Denmark, Alexander Rønning BendixenDepartment of Computer Science, Aalborg University, Denmark, Bjarke Bredow BojesenDepartment of Computer Science, Aalborg University, Denmark, Hans HüttelDepartment of Computer Science, Aalborg University, Stian Lasse LybechDepartment of Computer Science, Aalborg University, Denmark | ||
| 11:00 - 11:45 Talk | What is PL Research? PLMW Eelco VisserDelft University of Technology Media Attached File Attached | ||
| 11:45 - 12:30 Other | Panel: Jobs After the PhD PLMW Dan BarowyWilliams College, Ciera JaspanGoogle, Alessandra GorlaIMDEA Software Institute, Kenny FonerGalois | ||
| 11:00 - 11:30 Talk | Domain-specific model differencing in visual concrete syntaxBest Paper SLE Manouchehr ZadahmadUniversité de Montréal, Eugene SyrianiUniversité de Montréal, Omar AlamTrent University, Esther GuerraUniversidad Autonoma de Madrid, Juan de LaraUniversidad Autonoma de Madrid | ||
| 11:30 - 12:00 Talk | Detecting and Exploring Side Effects when Repairing Model Inconsistencies SLE Djamel Eddine KhelladiCNRS, IRISA, Roland KretschmerJOHANNES KEPLER UNIVERSITY LINZ, Alexander EgyedJOHANNES KEPLER UNIVERSITY LINZ | ||
| 12:00 - 12:30 Talk | Higher-Level Mission Specification for Multiple Robots SLE Sergio GarciaChalmers | University of Gothenburg, Patrizio PelliccioneChalmers | University of Gothenburg, Claudio MenghiUniversity of Luxembourg, Luxembourg, Thorsten BergerChalmers | University of Gothenburg, Tomas BuresCharles University | ||
| 14:00 - 15:00 Talk | Keynote 2: Who is afraid of the Turnstile?Keynote VMIL Andreas RossbergDfinity Stiftung | ||
| 15:00 - 15:30 Full-paper | Designing a Low-Level Virtual Machine for Implementing Real-Time Managed Languages VMIL Javad Ebrahimian AmiriAustralian National University / Data61, Steve BlackburnAustralian National University , Tony HoskingAustralian National University / Data61, Michael NorrishData61 at CSIRO, Australia / Australian National University, Australia DOI Pre-print | ||
14:00 - 15:30: Product linesGPCE at Ground floor conference room Chair(s): Guido SalvaneschiTechnische Universität Darmstadt | |||
| 14:00 - 14:30 Talk | Lifted Static Analysis using a Binary Decision Diagram Abstract Domain GPCE | ||
| 14:30 - 15:00 Talk | Harmonized Temporal Feature Modeling to Uniformly Perform, Track, Analyze and Replay Software Product Line Evolution GPCE Daniel HinterreiterJohannes Kepler University Linz, Michael NiekeTU Braunschweig, Germany, Lukas Linsbauer, Christoph SeidlTechnische Universität Braunschweig, Herbert PrähoferJohannes Kepler University Linz, Paul GrünbacherJohannes Kepler University Linz, Austria | ||
| 15:00 - 15:30 Talk | Supporting Feature Model Evolution by Suggesting Constraints from Code-Level Dependency Analyses GPCE Kevin FeichtingerJohannes Kepler University Linz, Daniel HinterreiterJohannes Kepler University Linz, Lukas Linsbauer, Herbert PrähoferJohannes Kepler University Linz, Paul GrünbacherJohannes Kepler University Linz, Austria | ||
| 14:00 - 14:30 Talk | Performance of an OO Compute Kernel on the JVM -- Revisiting Java as a Language for Scientific Computing Applications MPLR | ||
| 14:30 - 15:00 Talk | Asynchronous Snapshots of Actor Systems for Latency-Sensitive Applications MPLR Dominik AumayrJohannes Kepler University Linz, Austria, Stefan MarrUniversity of Kent, Elisa Gonzalez BoixVrije Universiteit Brussel, Belgium, Hanspeter MössenböckJKU Linz, Austria DOI Pre-print | ||
| 14:00 - 14:30 Talk | Userland: creating an integrated dataflow environment for end-users LIVE | ||
| 14:30 - 15:00 Talk | Puppy: An Educational Simplification of Python with a Live Playground LIVE Taku TadaYokohama National University, Yuka AkinobuJapan Women’s University, Makoto SakaneJapan Women’s University, Kimio KuramitsuJapan Women’s University Media Attached | ||
| 15:00 - 15:30 Talk | Histogram: You have to know the past to understand the present LIVE Tomas PetricekUniversity of Kent | ||
| 14:00 - 14:30 Talk | Krestianstvo Luminary: Decentralized Virtual Time for Croquet architecture AGERE Nikolai SuslovFund for Supporting Development of RT Media Attached | ||
| 14:30 - 15:00 Talk | Actor-based Incremental Tree Data Processing for Large-scale Machine Learning Applications AGERE Kouhei SakuraiGraduate School of Natural Science & Technology, Kanazawa University, Taiki ShimizuGraduate School of Natural Science & Technology, Kanazawa University | ||
| 15:00 - 15:30 Talk | Run, Actor, Run - Towards Cross-Actor Language Benchmarking AGERE Sebastian BlessingImperial College London, Kiko Fernandez-ReyesUppsala University, Albert Mingkun Yang, Sophia DrossopoulouImperial College London, Tobias WrigstadUppsala University | ||
14:00 - 15:30: Practical Bits (Undergrads)PLMW at Room 3B Chair(s): Jonathan BellGeorge Mason University | |||
| 14:00 - 14:45 Talk | Finding Mentors and Building Networks PLMW Alessandra GorlaIMDEA Software Institute File Attached | ||
| 14:45 - 15:30 Talk | How to Apply to Grad School? PLMW Ciera JaspanGoogle File Attached | ||
14:00 - 15:30: Practical Bits (Grads)PLMW at Room 4 Chair(s): Marianna RapoportUniversity of Waterloo | |||
| 14:00 - 14:45 Talk | How To Write Papers So People Can Read Them PLMW Derek DreyerMPI-SWS Media Attached File Attached | ||
| 14:45 - 15:30 Talk | Unaccustomed As I Am to Public Speaking PLMW John HughesChalmers University of Technology, Sweden Media Attached File Attached | ||
14:00 - 15:30: Session 7: DSLs and CompositionSLE at Templars Chair(s): Eugene SyrianiUniversité de Montréal | |||
| 14:00 - 14:30 Talk | Efficient Late Binding of Dynamic Function Compositions SLE | ||
| 14:30 - 15:00 Talk | Empirical Study on the Usage of Graph Query Languages in Open Source Java Projects SLE Philipp SeiferUniversity of Koblenz-Landau, Germany, Johannes HärtelUniversity of Koblenz-Landau, Germany, Martin LeinbergerUniversity of Koblenz-Landau, Germany, Ralf LaemmelFacebook London, Steffen StaabUniversity of Koblenz-Landau and University of Southampton, Germany | ||
| 15:00 - 15:30 Talk | From DSL specification to interactive computer programming environment SLE Pierre JeanjeanInria, Univ Rennes, CNRS, IRISA, Benoit CombemaleUniversity of Toulouse, Olivier BaraisUniv. Rennes, Inria, CNRS, IRISA | ||
| 16:00 - 16:30 Full-paper | Towards seamless interfacing between dynamic languages and native code VMIL | ||
| 16:30 - 17:00 Full-paper | Memory efficient CRDTs in dynamic environments VMIL | ||
| 17:00 - 17:30 Full-paper | Implementing a Language with Explicit Assignment Semantics VMIL Dimitri RacordonUniversity of Geneva, Centre Universitaire d'Informatique, Geneva, Switzerland, Didier BuchsUniversity of Geneva, Centre Universitaire d'Informatique, Geneva, Switzerland | ||
| 16:00 - 17:00 Talk | The Act of Computer Programming LIVE James NobleVictoria University of Wellington | ||
| 16:00 - 16:45 Talk | How Can I Academia When My Brain Can't Even? Mental Health in Grad School and Beyond PLMW Kenny FonerGalois Link to publication Media Attached | ||
| 16:45 - 17:30 Other | Panel: Current PhD Students and Postdocs PLMW Leonidas LampropoulosUniversity of Pennsylvania, University of Maryland, Ifaz KabirUniversity of Alberta, Canada, Azalea RaadMPI-SWS, Germany, Emma ToschUniversity of Massachusetts Amherst | ||
16:00 - 17:30: Sessions 8: Types, ACID and GovernanceSLE at Templars Chair(s): Vadim ZaytsevRaincode Labs, Belgium | |||
| 16:00 - 16:20 Talk | Analysis and Modeling of the Governance in General Programming LanguagesNEW IDEA SLE | ||
| 16:20 - 16:50 Talk | Developing a Monadic Type Checker for an Object-Oriented Language (Experience Report) SLE DOI Pre-print | ||
| 16:50 - 17:10 Talk | Vision Paper: Generating Incremental Type ServicesNEW IDEA SLE | ||
| 17:10 - 17:40 Talk | Transactional Editing: Giving ACID to Programmers SLE | ||
| 19:00 - 22:00 Dinner | Dinner (registration add-on) SLE | ||
Wed 23 Oct Times are displayed in time zone: Beirut change
Wed 23 Oct
Times are displayed in time zone: Beirut change
09:00 - 10:30: Rebase Keynote (Might)Rebase / Keynotes at Olympia Chair(s): Shan Shan HuangRelational.ai, Michael CarbinMassachusetts Institute of Technology, Yannis SmaragdakisUniversity of Athens | |||
| 09:00 - 09:20 Day opening | Welcome, Introduction Rebase Yannis SmaragdakisUniversity of Athens, Shan Shan HuangRelational.ai, Michael CarbinMassachusetts Institute of Technology | ||
| 09:20 - 10:30 Talk | The Algorithm for Precision Medicine Keynotes | ||
11:00 - 12:30: Abstract InterpretationOOPSLA at Attica Chair(s): John HughesChalmers University of Technology, Sweden | |||
| 11:00 - 11:22 Talk | BDA: Practical Dependence Analysis for Binary Executables by Unbiased Whole-Program Path Sampling and Per-Path Abstract Interpretation OOPSLA Zhuo ZhangPurdue University, Wei YouPurdue University, Guanhong TaoPurdue University, Guannan WeiPurdue University, Yonghwi KwonUniversity of Virginia, Xiangyu ZhangPurdue University DOI Pre-print | ||
| 11:22 - 11:45 Talk | Staged Abstract Interpreters: Fast and Modular Whole-Program Analysis via Meta-programming OOPSLA DOI | ||
| 11:45 - 12:07 Talk | Static Analysis with Demand-Driven Value Refinement OOPSLA Benno SteinUniversity of Colorado Boulder, Benjamin Barslev NielsenAarhus University, Bor-Yuh Evan ChangUniversity of Colorado Boulder | Amazon, Anders MøllerAarhus University DOI Pre-print | ||
| 12:07 - 12:30 Talk | Sound and Reusable Components for Abstract Interpretation OOPSLA DOI | ||
| 11:00 - 11:22 Research paper | Modular Verification of Heap Reachability Properties in Separation Logic OOPSLA Link to publication DOI Pre-print File Attached | ||
| 11:22 - 11:45 Talk | Modular Verification of Web Page Layout OOPSLA Pavel PanchekhaUniversity of Utah, Michael D. ErnstUniversity of Washington, USA, Zachary TatlockUniversity of Washington, Seattle, Shoaib KamilAdobe DOI | ||
| 11:45 - 12:07 Talk | Modular Verification for Almost-Sure Termination of Probabilistic Programs OOPSLA Mingzhang HuangShanghai Jiao Tong University, Hongfei FuShanghai Jiao Tong University, Krishnendu ChatterjeeIST Austria, Amir Kafshdar GoharshadyIST Austria DOI | ||
| 12:07 - 12:30 Talk | Leveraging Rust Types for Modular Specification and Verification OOPSLA Vytautas AstrauskasETH Zurich, Switzerland, Peter MüllerETH Zurich, Federico PoliETH Zurich, Switzerland, Alexander J. SummersETH Zurich DOI Pre-print | ||
| 11:00 - 11:45 Talk | Improving Engineering Productivity at Scale Rebase Ciera JaspanGoogle | ||
| 11:45 - 12:30 Talk | Challenges in Large-Scale Application Development Rebase Adam WelcUber Technologies | ||
11:00 - 12:30: Onward! Papers 1Onward! Papers at Templars Chair(s): Wolfgang De MeuterVrije Universiteit Brussel | |||
| 11:00 - 11:30 Talk | Deployable Probabilistic Programming Onward! Papers David TolpinPUB+ | ||
| 11:30 - 12:00 Talk | An Approach for Persistent Time-Varying Values Onward! Papers | ||
| 12:00 - 12:30 Talk | CallƐ: An Effect System for Method Calls Onward! Papers Isaac Oscar GarianoVictoria University of Wellington, James NobleVictoria University of Wellington, Marco ServettoVictoria University Wellington, New Zealand | ||
14:00 - 15:30: Machine LearningOOPSLA at Attica Chair(s): Elisa Gonzalez BoixVrije Universiteit Brussel, Belgium | |||
| 14:00 - 14:22 Talk | Duet: An Expressive Higher-Order Language and Linear Type System for Statically Enforcing Differential Privacy OOPSLA Joseph P. NearUniversity of Vermont, David DaraisUniversity of Vermont, Chike AbuahUniversity of Vermont, Tim StevensUniversity of Vermont, Pranav GaddamaduguUniversity of California, Berkeley, Lun WangUniversity of California, Berkeley, Neel SomaniUniversity of California, Berkeley, Mu ZhangUniversity of Utah, Nikhil SharmaUniversity of California, Berkeley, Alex ShanUniversity of California, Berkeley, Dawn SongUniversity of California, Berkeley DOI | ||
| 14:22 - 14:45 Talk | Improving Bug Detection via Context-Based Code Representation Learning and Attention-Based Neural Networks OOPSLA Yi LiNew Jersey Institute of Technology, USA, Shaohua WangNew Jersey Institute of Technology, USA, Tien N. NguyenUniversity of Texas at Dallas, Son NguyenThe University of Texas at Dallas DOI | ||
| 14:45 - 15:07 Talk | Probabilistic Verification of Fairness Properties via Concentration OOPSLA Osbert BastaniUniversity of Pennsylvania, Xin ZhangMassachusetts Institute of Technology, Armando Solar-LezamaMassachusetts Institute of Technology DOI | ||
| 15:07 - 15:30 Talk | Generating Precise Error Specifications for C: A Zero Shot Learning Approach OOPSLA Baijun WuUniversity of Louisiana at Lafayette, John Peter CamporaUniversity of Louisiana at Lafayette, He YiUniversity of Louisiana at Lafayette, Alexander SchlechtUniversity of Louisiana at Lafayette, Sheng ChenUniversity of Louisiana at Lafayette DOI | ||
| 14:00 - 14:22 Talk | Reflection-Aware Static Regression Test Selection OOPSLA August ShiUniversity of Illinois at Urbana-Champaign, Milica Hadzi-TanovicTechnische Universitat Munchen, Lingming ZhangThe University of Texas at Dallas, Darko MarinovUniversity of Illinois at Urbana-Champaign, Owolabi LegunsenUniversity of Illinois at Urbana-Champaign DOI | ||
| 14:22 - 14:45 Talk | Trace Aware Random Testing for Distributed Systems OOPSLA Burcu Kulahcioglu OzkanMax Planck Institute for Software Systems (MPI-SWS), Rupak MajumdarMax Planck Institute for Software Systems (MPI-SWS), Simin OraeeMax Planck Institute for Software Systems (MPI-SWS) DOI | ||
| 14:45 - 15:07 Talk | Automatic and Scalable Detection of Logical Errors in Functional Programming Assignments OOPSLA DOI | ||
| 15:07 - 15:30 Talk | On the Complexity of Checking Transactional Consistency OOPSLA Ranadeep BiswasIRIF, University Paris Diderot & CNRS, Constantin EneaIRIF, University Paris Diderot & CNRS DOI | ||
| 14:00 - 14:45 Talk | Quantum Programming Rebase Jens PalsbergUniversity of California, Los Angeles | ||
| 14:45 - 15:30 Talk | Augmenting Raw Materials with Sensing and Computation Rebase Phillip Stanley-MarbellUniversity of Cambridge | ||
14:00 - 15:30: Onward! Papers 2Onward! Papers at Templars Chair(s): Hidehiko MasuharaTokyo Institute of Technology | |||
| 14:00 - 14:30 Talk | AlleAlle: Bounded Relational Model Finding with Unbounded Data Onward! Papers Jouke StoelCWI, Tijs van der StormCWI & University of Groningen, Netherlands, Jurgen VinjuCWI, Netherlands Link to publication DOI Pre-print | ||
| 14:30 - 15:00 Talk | Active Learning for Software Engineering Onward! Papers Jose CambroneroMIT, Thurston HY DangMIT, Nikos VasilakisMIT CSAIL, USA, Jiasi ShenMassachusetts Institute of Technology, Jerry WuMIT, Martin RinardMIT | ||
| 16:00 - 16:22 Talk | Formal Foundations of Serverless Computing OOPSLA Abhinav JangdaUniversity of Massachusetts Amherst, Donald PinckneyUniversity of Massachusetts Amherst, Yuriy BrunUniversity of Massachusetts Amherst, Arjun GuhaUniversity of Massachusetts, Amherst Link to publication DOI Pre-print | ||
| 16:22 - 16:45 Talk | A Formalization of Java’s Concurrent Access Modes OOPSLA John BenderUniversity of California, Los Angeles, Jens PalsbergUniversity of California, Los Angeles DOI | ||
| 16:45 - 17:07 Talk | A Path to DOT: Formalizing Fully Path-Dependent Types OOPSLA DOI Pre-print Media Attached | ||
| 17:07 - 17:30 Talk | Qubit Allocation as a Combination of Subgraph Isomorphism and Token Swapping OOPSLA Marcos Yukio SiraichiUFMG, Vinícius Fernandes dos SantosUFMG, Caroline CollangeINRIA, Fernando Magno Quintão PereiraUFMG DOI Pre-print | ||
| 16:00 - 16:22 Talk | Precision-Preserving Yet Fast Object-Sensitive Pointer Analysis with Partial Context Sensitivity OOPSLA DOI | ||
| 16:22 - 16:45 Talk | Precise Reasoning with Structured Time, Structured Heaps, and Collective Operations OOPSLA DOI | ||
| 16:45 - 17:07 Talk | I/O Dependent Idempotence Bugs in Intermittent Systems OOPSLA Milijana SurbatovichCarnegie Mellon University, Limin JiaCarnegie Mellon University, Brandon LuciaCarnegie Mellon University DOI | ||
| 17:07 - 17:30 Talk | PlanAlyzer: Assessing Threats to the Validity of Online Experiments OOPSLA Emma ToschUniversity of Massachusetts Amherst, Eytan BakshyFacebook, Inc., Emery D. BergerUniversity of Massachusetts Amherst, David JensenUniversity of Massachusetts Amherst, Eliot MossUniversity of Massachusetts Amherst DOI | ||
| 16:00 - 16:45 Talk | Machine Learning for Program Analysis Rebase Miltiadis AllamanisMicrosoft Research, Cambridge | ||
| 16:45 - 17:30 Talk | An Open Source Hardware-Software Blueprint for Flexible Deep Learning Specialization Rebase Thierry MoreauUniversity of Washington | ||
| 16:00 - 16:45 Talk | Local-first software: You own your data, in spite of the cloud Onward! Essays Martin KleppmannUniversity of Cambridge, Adam WigginsInk & Switch, Peter van HardenbergInk & Switch, Mark McGranaghanInk & Switch | ||
| 16:45 - 17:30 Talk | Next-Paradigm Programming Languages: What Will They Look Like and What Changes Will They Bring? Onward! Essays Yannis SmaragdakisUniversity of Athens | ||
17:30 - 18:30: Awards / SIGPLAN Town Hall MeetingOOPSLA at Olympia Chair(s): Eelco VisserDelft University of Technology, Jens PalsbergUniversity of California, Los Angeles | |||
| 19:30 - 22:30 Dinner | Dinner Catering | ||
Thu 24 Oct Times are displayed in time zone: Beirut change
Thu 24 Oct
Times are displayed in time zone: Beirut change
09:30 - 10:30: Sack keynoteKeynotes at Olympia Chair(s): Tomas PetricekUniversity of Kent, Hidehiko MasuharaTokyo Institute of Technology | |||
| 09:30 - 10:30 Talk | The Software Arts Keynotes | ||
| 11:00 - 11:22 Talk | DeepSEA: A Language for Certified System Software OOPSLA Vilhelm SjöbergYale University, Yuyang SangYale University, Shu-chun WengYale University, Zhong ShaoYale University DOI Pre-print | ||
| 11:22 - 11:45 Talk | Weakening WebAssembly OOPSLA Conrad WattUniversity of Cambridge, Andreas RossbergDfinity Stiftung, Jean Pichon-PharabodUniversity of Cambridge DOI | ||
| 11:45 - 12:07 Talk | Safer Smart Contract Programming with Scilla OOPSLA Ilya SergeyYale-NUS College and National University of Singapore, Vaivaswatha NagarajZilliqa Research, Jacob JohannsenZilliqa Research, Amrit KumarZilliqa Research, Anton TrunovZilliqa Research, Ken ChanZilliqa Research DOI Pre-print File Attached | ||
| 12:07 - 12:30 Talk | Scala Implicits Are Everywhere: A Large-Scale Study of the Use of Scala Implicits in the Wild OOPSLA Filip KřikavaCzech Technical University, Heather MillerCarnegie Mellon University, Jan VitekNortheastern University DOI Pre-print | ||
11:00 - 12:30: Distributed SystemsOOPSLA at Olympia Chair(s): Arjun GuhaUniversity of Massachusetts, Amherst | |||
| 11:00 - 11:22 Talk | Asphalion: Trustworthy Shielding against Byzantine Faults OOPSLA Ivana VukoticSnT, University of Luxembourg, Vincent RahliUniversity of Birmingham, Paulo Esteves-VeríssimoSnT, University of Luxembourg DOI | ||
| 11:22 - 11:45 Talk | DProf: Distributed Profiler with Strong Guarantees OOPSLA DOI | ||
| 11:45 - 12:07 Talk | A Fault-Tolerant Programming Model for Distributed Interactive Applications OOPSLA Ragnar MogkTechnische Universität Darmstadt, Joscha DrechslerTechnische Universität Darmstadt, Guido SalvaneschiTechnische Universität Darmstadt, Mira MeziniTechnische Universität Darmstadt DOI | ||
| 12:07 - 12:30 Talk | Language-Integrated Privacy-Aware Distributed Queries OOPSLA Guido SalvaneschiTechnische Universität Darmstadt, Mirko KöhlerTechnische Universität Darmstadt, Daniel SokolowskiTechnische Universität Darmstadt, Philipp HallerKTH Royal Institute of Technology, Sebastian ErdwegJGU Mainz, Mira MeziniTechnische Universität Darmstadt DOI | ||
11:00 - 12:30: Systems at ScaleRebase at Panorama Chair(s): Sasa MisailovicUniversity of Illinois at Urbana-Champaign | |||
| 11:00 - 11:45 Talk | Growing thousandfold over a half-century: Form and forces of Unix architectural evolution Rebase Diomidis SpinellisAthens University of Economics and Business DOI | ||
| 11:45 - 12:30 Talk | Growing Databases to Exabyte Scale Rebase David F. BaconGoogle | ||
11:00 - 12:30: Onward! Papers 3Onward! Papers at Templars Chair(s): Tobias WrigstadUppsala University | |||
| 11:00 - 11:30 Talk | Declarative Assembly of Web Applications from Predefined Concepts Onward! Papers Santiago Perez De RossoMIT CSAIL, Daniel JacksonMIT, Maryam ArchieMIT, Czarina LaoMIT, Barry A. McNamara IIIMIT Link to publication Pre-print Media Attached | ||
| 11:30 - 12:00 Talk | GoTcha: An Interactive Debugger for GoT-Based Distributed Systems Onward! Papers Pre-print | ||
| 12:00 - 12:30 Talk | Storage Combinators Onward! Papers Marcel WeiherHasso-Plattner-Institut (HPI), Germany, Robert HirschfeldHasso-Plattner-Institut (HPI), Germany Link to publication DOI Pre-print | ||
| 14:00 - 14:22 Talk | On the Impact of Programming Languages on Code QualityTOPLAS OOPSLA Emery D. BergerUniversity of Massachusetts Amherst, Celeste HollenbeckNortheastern University, Petr MajCzech Technical University, Olga VitekNortheastern University, Jan VitekNortheastern University Link to publication DOI Pre-print | ||
| 14:22 - 14:45 Talk | Casting about in the Dark: An Empirical Study of Cast Operations in Java Programs OOPSLA Luis MastrangeloUniversità della Svizzera italiana, Matthias HauswirthUniversità della Svizzera italiana, Nate NystromUniversità della Svizzera italiana DOI | ||
| 14:45 - 15:07 Talk | On the Design, Implementation, and Use of Laziness in R OOPSLA DOI Pre-print | ||
| 15:07 - 15:30 Talk | Aroma: Code Recommendation via Structural Code Search OOPSLA Sifei LuanFacebook, Inc., Di YangUniversity of California, Irvine, Celeste BarnabyFacebook, Inc., Koushik SenUniversity of California, Berkeley, Satish ChandraFacebook DOI | ||
14:00 - 15:30: Specification and CertificationOOPSLA at Olympia Chair(s): Colin GordonDrexel University | |||
| 14:00 - 14:22 Talk | Relational Verification using Reinforcement Learning OOPSLA Jia ChenUniversity of Texas at Austin, Jiayi WeiUniversity of Texas at Austin, Yu FengUniversity of California, Santa Barbara, Osbert BastaniUniversity of Pennsylvania, Isil DilligUniversity of Texas Austin DOI | ||
| 14:22 - 14:45 Talk | Specification and Inference of Trace Refinement Relations OOPSLA Timos AntonopoulosYale University, Eric KoskinenStevens Institute of Technology, Ton Chanh LeStevens Institute of Technology DOI | ||
| 14:45 - 15:07 Talk | Specifying Concurrent Programs in Separation Logic: Morphisms and Simulations OOPSLA Aleksandar NanevskiIMDEA Software Institute, Anindya BanerjeeIMDEA Software Institute, Germán Andrés DelbiancoIRIF - Université de Paris, Ignacio FábregasIMDEA Software Institute Link to publication DOI | ||
| 15:07 - 15:30 Talk | Certifying Graph-Manipulating C Programs via Localizations within Data Structures OOPSLA Shengyi WangNational University of Singapore, Qinxiang CaoShanghai Jiao Tong University, Anshuman MohanNational University of Singapore, Aquinas HoborNational University of Singapore DOI Pre-print | ||
14:00 - 15:30: New Trends in Software DevelopmentRebase at Panorama Chair(s): Neville GrechUniversity of Athens | |||
| 14:00 - 14:45 Talk | The Dawn of the Cloud Computer Rebase | ||
| 14:45 - 15:30 Talk | 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 MillerCarnegie Mellon University | ||
| 14:00 - 14:30 Talk | Seq: A High-Performance Language for Bioinformatics OOPSLA DOI | ||
| 14:30 - 15:00 Talk | Generating a Fluent API with Syntax Checking from an LR Grammar OOPSLA Tetsuro YamazakiGraduate School of Information Science and Technology, The University of Tokyo, Tomoki NakamaruGraduate School of Information Science and Technology, The University of Tokyo, Kazuhiro IchikawaGraduate School of Information Science and Technology, The University of Tokyo, Shigeru ChibaGraduate School of Information Science and Technology, The University of Tokyo DOI | ||
| 15:00 - 15:30 Talk | Derivative Grammars: A Symbolic Approach to Parsing with Derivatives OOPSLA Ian HenriksenThe University of Texas at Austin, Gianfranco BilardiUniversity of Padova, Italy, Keshav PingaliThe University of Texas at Austin DOI | ||
14:00 - 15:30: Onward! Papers 4Onward! Papers at Templars Chair(s): Hidehiko MasuharaTokyo Institute of Technology | |||
| 14:00 - 14:30 Talk | Property Conveyances as a Programming Language Onward! Papers Shrutarshi BasuCornell University, Nate FosterCornell University, James GrimmelmannCornell University Pre-print | ||
| 14:30 - 15:00 Talk | The Adverse Effects of Code Duplication in Machine Learning Models of Code Onward! Papers Miltiadis AllamanisMicrosoft Research, Cambridge DOI Pre-print | ||
| 16:00 - 16:22 Talk | Ryū Revisited: Printf Floating Point Conversion OOPSLA Ulf AdamsGoogle Link to publication DOI | ||
| 16:22 - 16:45 Talk | Optimization of Swift Protocols OOPSLA Raj BarikUber Technologies Inc., Manu SridharanUniversity of California Riverside, Murali Krishna RamanathanUber Technologies Inc., Milind ChabbiUber Technologies Inc. DOI | ||
| 16:45 - 17:07 Talk | ApproxHPVM: A Portable Compiler IR for Accuracy-Aware Optimizations OOPSLA Hashim SharifUniversity of Illinois at Urbana-Champaign, Prakalp SrivastavaUniversity of Illinois at Urbana-Champaign, Muhammad HuzaifaUniversity of Illinois at Urbana-Champaign, Maria KotsifakouUniversity of Illinois at Urbana-Champaign, Keyur JoshiUniversity of Illinois at Urbana-Champaign, Yasmin SaritaCornell University, Nathan ZhaoUniversity of Illinois at Urbana-Champaign, Vikram S. AdveUniversity of Illinois at Urbana-Champaign, Sasa MisailovicUniversity of Illinois at Urbana-Champaign, Sarita AdveUniversity of Illinois at Urbana-Champaign DOI | ||
| 17:07 - 17:30 Talk | IVT: An Efficient Method for Sharing Subtype Polymorphic Objects OOPSLA Yu-Ping WangTsinghua University, China, Xu-Qiang HuTsinghua Univeraity, China, Zi-Xin ZouTsinghua Univeraity, China, Wende TanTsinghua University, China, Gang TanThe Pennsylvania State University, University Park, USA DOI | ||
| 16:00 - 16:22 Talk | Mergeable Replicated Data Types OOPSLA Gowtham KakiPurdue University, Swarn PriyaPurdue University, KC SivaramakrishnanIIT Madras, Suresh JagannathanPurdue University Link to publication DOI | ||
| 16:22 - 16:45 Talk | Refinement Kinds: Type-Safe Programming with Practical Type-Level Computation OOPSLA Luís CairesUniversidade Nova de Lisboa and NOVA LINCS, Bernardo ToninhoUniversidade Nova de Lisboa and NOVA LINCS DOI | ||
| 16:45 - 17:07 Talk | System FR: Formalized Foundations for the Stainless Verifier OOPSLA DOI | ||
| 17:07 - 17:30 Talk | Complete Monitors for Gradual Types OOPSLA Ben GreenmanPLT @ Northeastern University, Matthias FelleisenPLT @ Northeastern University, Christos DimoulasPLT @ Northwestern University DOI | ||
16:00 - 17:30: KeynoteRebase at Panorama Chair(s): Michael CarbinMassachusetts Institute of Technology | |||
| 16:00 - 16:45 Talk | Climate Change and Software 2.0 Rebase Alan EdelmanMIT | ||
| 16:45 - 17:30 Talk | Unreasonable Effectiveness of Multiple Dispatch Rebase | ||
| 16:00 - 16:15 Talk | Designing immersive virtual training environments for experiential learning SRC Kalliopi Evangelia StavrouliaCyprus University of Technology, Andreas LanitisCyprus University of Technology | ||
| 16:15 - 16:30 Talk | Linear capabilities for CHERI SRC | ||
| 16:30 - 16:45 Talk | Gradual Program Analysis SRC Samuel EstepLiberty University, Jenna WiseCarnegie Mellon University, Jonathan AldrichCarnegie Mellon University, Éric TanterUniversity of Chile & Inria Paris, Johannes BaderFacebook | ||
| 16:45 - 17:00 Talk | Incremental Scannerless Generalized LR Parsing SRC Maarten P. SijmDelft University of Technology | ||
| 17:00 - 17:15 Talk | Debugging Support for Multi-paradigm Concurrent Programs SRC Dominik AumayrJohannes Kepler University Linz, Austria | ||
| 17:15 - 17:30 Talk | Practical Second Futamura Projection SRC Florian LatifiJohannes Kepler University Linz DOI Pre-print | ||
| 16:00 - 16:45 Talk | Learning to Listen for Design Onward! Essays Elisa BaniassadUniversity of British Columbia, Ivan BeschastnikhComputer Science, University of British Columbia, Reid HolmesUniversity of British Columbia, Gregor KiczalesUniversity of British Columbia, Meghan AllenUniversity of British Columbia | ||
| 17:30 - 17:32 Poster | Etherolic: A Concolic Execution System for Security Analysis of Smart Contracts Posters Mohammadreza AshouriUniversity of Potsdam, Germany | ||
| 17:32 - 17:35 Poster | Language-Parametric Semantic Editor Services based on Declarative Type System Specifications Posters Daniel A. A. PelsmaekerDelft University of Technology, Netherlands, Hendrik van AntwerpenTU Delft, Eelco VisserDelft University of Technology | ||
| 17:35 - 17:38 Poster | NAB: Automated Large-scale Multi-language Dynamic Program Analysis in Public Code Repositories Posters Alex VillazónUniversidad Privada Boliviana, Bolivia, Haiyang SunUniversità della Svizzera italiana, Andrea RosàUniversity of Lugano, Switzerland, Eduardo RosalesUniversity of Lugano, Switzerland, Daniele BonettaOracle Labs, Isabella DefilippisUniversidad Privada Boliviana (UPB), Sergio OportoUniversidad Privada Boliviana (UPB), Walter BinderUniversity of Lugano, Switzerland | ||
| 17:38 - 17:40 Poster | A Symmetry-Based $N$-Body Solver Compiler Posters Shigeyuki SatoThe University of Tokyo | ||
| 17:40 - 17:43 Poster | Renaissance: A Modern Benchmark Suite for Parallel Applications on the JVM Posters Aleksandar ProkopecOracle Labs, Andrea RosàUniversity of Lugano, Switzerland, David LeopoldsederJohannes Kepler University Linz, Gilles DuboscqOracle Labs, Petr TumaCharles University, Martin StudenerJKU Linz, Austria, Lubomír BulejCharles University, Yudi ZhengOracle Labs, Alex VillazónUniversidad Privada Boliviana, Bolivia, Doug SimonOracle Labs, Thomas WuerthingerOracle Labs, Walter BinderUniversity of Lugano, Switzerland | ||
| 17:43 - 17:46 Poster | MetaDL : Declarative Program Analysis for the Masses Posters | ||
| 17:46 - 17:49 Poster | Obsidian: Typestate and Assets for Safer Smart Contracts Posters Michael CoblenzCarnegie Mellon University, Jonathan AldrichCarnegie Mellon University, Joshua SunshineCarnegie Mellon University, Brad A. MyersCarnegie Mellon University | ||
| 17:49 - 17:51 Poster | Component-Based Computation-Energy Modeling for Embedded Systems Posters Adam SeewaldUniversity of Southern Denmark, Ulrik Pagh SchultzUniversity of Southern Denmark, Julius RoedeUniversity of Amsterdam, Benjamin RouxelUniversity of Amsterdam, Clemens GrelckUniversity of Amsterdam | ||
| 17:51 - 17:54 Poster | Distributed Object-oriented Programming with Multiple Consistency Levels in ConSysT Posters Nafise EskandaniTechnische Universität Darmstadt, Mirko KöhlerTechnische Universität Darmstadt, Guido SalvaneschiTechnische Universität Darmstadt | ||
| 17:54 - 17:57 Poster | Comparison Between Object-Sensitivity and Call-Site-Sensitivity in Generalized k-Limited Context Abstraction Posters Minseok JeonKorea University, South Korea, Sehun JeongKorea University, South Korea, Hakjoo OhKorea University | ||
| 17:57 - 18:00 Poster | Automatically Fixing Memory-Leaks Posters Seongjoon HongKorea University, Junhee LeeKorea University, South Korea, Jeongsoo LeeKorea University, Hakjoo OhKorea University | ||
| 18:00 - 18:02 Poster | Precise Safety Verification of Smart Contracts Posters | ||
| 18:02 - 18:05 Poster | Towards a WebAssembly Standalone Runtime on GraalVM Posters Salim S. SalimUniversity of Manchester, Andrew NisbetThe University of Manchester, Mikel LujánUniversity of Manchester | ||
| 18:05 - 18:08 Poster | Performance, Portability, and Productivity for Data-Parallel Applications on Multi- and Many-Core Architectures Posters | ||
| 18:08 - 18:10 Poster | Squirrel: An Extensible Distributed KV Store Posters Link to publication | ||
| 18:10 - 18:13 Poster | Memory efficient CRDTs in dynamic environments Posters Link to publication | ||
| 18:13 - 18:16 Poster | Context-Oriented Live Programming Environments with Mixed Reality System for IoT Education Posters Ikuta TanigawaKyusyu University, Harumi WatanabeTokai University, Nobuhiro OheTokai Univ., Mikiko SatoTokai University, Nobuhiko OguraTokyo City University, Takeshi Ohkawa Tokai Univ., Kenji HisazumiKyushu University, Akira FukudaKyushu University Link to publication | ||
| 18:16 - 18:19 Poster | Generating a Fluent API with Syntax Checking from an LR Grammar Posters Tetsuro YamazakiGraduate School of Information Science and Technology, The University of Tokyo, Tomoki NakamaruGraduate School of Information Science and Technology, The University of Tokyo, Shigeru ChibaGraduate School of Information Science and Technology, The University of Tokyo, Kazuhiro IchikawaGraduate School of Information Science and Technology, The University of Tokyo Link to publication | ||
| 18:19 - 18:21 Poster | Multitier Reactive Programming in High Performance Computing Posters Daniel SokolowskiTechnische Universität Darmstadt, Philipp MartensTechnische Universität Darmstadt, Guido SalvaneschiTechnische Universität Darmstadt Link to publication | ||
| 18:21 - 18:24 Poster | Certifying Graph-Manipulating C Programs via Localizations within Data Structures Posters Shengyi WangNational University of Singapore, Qinxiang CaoShanghai Jiao Tong University, Anshuman MohanNational University of Singapore, Aquinas HoborNational University of Singapore Link to publication DOI | ||
| 18:24 - 18:27 Poster | Aroma: Code Recommendation via Structural Code Search Posters Sifei LuanFacebook, Inc., Di YangUniversity of California, Irvine, Celeste BarnabyFacebook, Inc., Koushik SenUniversity of California, Berkeley, Satish ChandraFacebook Link to publication | ||
| 18:27 - 18:30 Poster | System FR: Formalized Foundations for the Stainless Verifier Posters Link to publication | ||
| 18:30 - 18:32 Poster< | |||