SPLASH 2019 (series) /
SPLASH 2019 Program
Filter 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
Conference DaySun 20 OctDisplayed time zone: Beirut change
Conference Day
Sun 20 OctDisplayed time zone: Beirut change
09:00 - 10:30 | |||
09:00 30mFull-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 30mFull-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 30mShort-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 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 MarrUniversity 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 ScholliersUniversiteit 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 HomerVictoria University of Wellington, Timothy JonesMontoux, James NobleVictoria University of Wellington Pre-print Media Attached | ||
11:30 30mTalk | 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 30mTalk | Optimizing and Evaluating Transient Gradual TypingResearch Paper DLS Michael M. VitousekIndiana University, Jeremy G. SiekIndiana University, USA, Avik ChaudhuriFacebook, 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 MarrUniversity 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ü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 30mTalk | 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 | |||
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éraGoogle, Aarhus, Eliot MirandaCadence Design Systems, Elisa Gonzalez BoixVrije Universiteit Brussel, Belgium | ||
16:30 30mTalk | 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 30mTalk | 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 | ||
Conference DayMon 21 OctDisplayed time zone: Beirut change
Conference Day
Mon 21 OctDisplayed 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 RossbergDfinity 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 RaychevDeepCode AG | ||
09:45 45mTalk | Renaissance: Benchmarking Suite for Parallel Applications on the JVM NJR Lubomír BulejCharles University | ||
09:00 - 10:30 | |||
09:00 55mIndustry talk | Remote Sensing and Data Dilemmas STOKED William ParkinsonUrthecast | ||
10:00 15mExperience report | Machine Learning with Remote Sensing Data STOKED Ben SmithGraduate 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 PerezNIA / NASA Formal Methods | ||
09:00 - 10:30 | |||
09:00 90mTalk | Software Language Engineering -- 42 Frequently Asked Questions SLE Ralf LaemmelFacebook 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 Yanguniversity of chicago | ||
11:45 40mTalk | 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 | |||
11:00 30mTalk | Foreign language interfaces by code migration GPCE Shigeru ChibaGraduate 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-hassyMcMaster University, Wolfram KahlMcMaster University, Jacques CaretteMcMaster 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 AndrzejakHeidelberg University, Kevin Kiefer, Diego CostaHeidelberg University, Oliver WenzHeidelberg University | ||
11:00 - 12:30 | |||
11:00 30mTalk | 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 30mTalk | 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 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 MeziniTechnische Universität Darmstadt | ||
11:45 45mTalk | Deep Structural Learning of Code NJR Uri AlonTechnion | ||
11:00 - 12:30 | |||
11:00 50mIndustry talk | Immersive Urban Planning: CityEngine and ArcGIS Urban (Esri, R&D Center Zurich) STOKED Michael Van Den BerghEsri, R&D Center Zurich | ||
12:00 15mExperience report | Storming Charrettes! Urban Planning Using Touch Surface Technology STOKED Matthew PlaudisGraduate 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 BergmannBudapest University of Technology and Economics / MTA-BME Lendület Research Group on Cyber-Physical Systems, Hungary, Sebastian ErdwegJGU Mainz Pre-print | ||
12:00 30mTalk | Incremental Datalog Prototype in Soufflé IC David ZhaoThe University of Sydney, Pavle SuboticAmazon, Bernhard ScholzUniversity of Sydney, Australia | ||
11:00 - 12:30 | |||
11:00 30mTalk | Concurrency Control of JavaScript with Arrows REBLS Tian ZhaoUniversity of Wisconsin-Milwaukee, Adam BergerUniversity of Wisconsin -- Milwaukee, Yonglun LiUniversity 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 WeidmannPaderborn University, Anthony AnjorinPaderborn University, Erhan LeblebiciTechnische Universität Darmstadt, Andy SchürrTechnische Universität Darmstadt | ||
12:30 - 14:00 | |||
14:00 - 15:30 | |||
14:00 40mTalk | Practical Second Futamura Projection Doctoral Symposium Florian LatifiJohannes 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á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 30mTalk | A Stage-Polymorphic IR for Compiling MATLAB-Style Dynamic Tensor Expressions GPCE | ||
14:30 30mTalk | Reflection in Attribute Grammars GPCE Lucas KramerUniversity of Minnesota, Ted KaminskiUniversity of Minnesota, Eric Van WykUniversity of Minnesota, USA DOI Pre-print | ||
15:00 20mTalk | Polymorphic Extractors for Semantic and Portable Pattern Matching (Short Paper) GPCE Amir ShaikhhaUniversity 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 AbeChiba Institute of Technology, Japan | ||
15:00 30mTalk | 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 - 15:30 | |||
14:00 30mTalk | Understanding the Gaps in Static Program Analysis NJR Jens DietrichVictoria University of Wellington | ||
14:30 30mTalk | 50K-C: A Dataset of Compilable, and Compiled, Java Projects NJR Rohan AcharUC Irvine | ||
15:00 30mTalk | 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 30mOther | Climate Action? STOKED | ||
14:30 30mExperience report | Data Provenance and the STAC specification STOKED Jonathan HealyGraduate 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 KonatDelft University of Technology, Roelof SolDelft University of Technology, Sebastian ErdwegJGU Mainz, Eelco VisserDelft University of Technology Pre-print File Attached | ||
14:30 30mTalk | 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 30mTalk | 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 30mTalk | 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 30mTalk | Event-Based Parsing REBLS Vadim ZaytsevRaincode Labs, Belgium | ||
15:00 30mTalk | 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 | |||
14:00 30mTalk | 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 20mTalk | A Vision of Miking: Interactive Programmatic Modeling, Sound Language Composition, and Self-Learning CompilationNEW IDEA SLE David BromanKTH Royal Institute of Technology | ||
14:50 20mTalk | Shadow Models [Tool Demo] -- Incremental Transformations for MPSDEMO SLE Markus Völteritemis/independent, Klaus Birkenitemis AG, Sascha Lissonitemis AG, Alexander Rimeritemis 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 SoethoutING 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 AumayrJohannes 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 SulzmannKarlsruhe University of Applied Sciences, Germany, Kai StadtmüllerKarlsruhe University of Applied Sciences | ||
16:30 30mTalk | Towards Efficient, Multi-Language Dynamic Taint Analysis MPLR Jacob KreindlJohannes Kepler University Linz, Daniele BonettaOracle Labs, Hanspeter MössenböckJKU Linz, Austria | ||
17:00 30mTalk | 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 - 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 HoskingAustralian National University / Data61 | ||
17:00 30mTalk | 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 50mIndustry talk | Immersive Visual Analytics for Large Industrial Data STOKED Li JiLlamaZOO | ||
17:00 15mExperience report | Challenges and Considerations in 3D Interactive Interfaces STOKED Karina RigbyGreg 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 PereraThe Alan Turing Institute Pre-print | ||
16:00 - 17:30 | |||
16:00 30mTalk | Multiple Lexicalisation - A Java Based Study SLE Elizabeth ScottRoyal Holloway University of London, Adrian JohnstoneRoyal Holloway, University of London | ||
16:30 20mTalk | 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 30mTalk | Default disambiguation for online parsers SLE DOI Pre-print | ||
17:30 - 18:00 | |||
17:20 40mAwards | SLE MIP Awards 2018 and 2019 SLE | ||
Conference DayTue 22 OctDisplayed time zone: Beirut change
Conference Day
Tue 22 OctDisplayed 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 TrattKing's College London | ||
10:00 30mFull-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 | |||
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 TrattKing'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 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 15mTalk | 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 - 10:30 | |||
09:00 15mTalk | Welcome and Introduction AGERE | ||
09:15 75mTalk | Pony: Semantics and Type System Co-DesignKeynote AGERE Sophia DrossopoulouImperial College London | ||
09:00 - 10:30 | |||
09:00 15mDay opening | Introduction PLMW Karim AliUniversity of Alberta, Jonathan BellGeorge Mason University, Marianna RapoportUniversity of Waterloo | ||
09:15 30mSocial Event | Icebreaker and Networking Activity PLMW Marianna RapoportUniversity of Waterloo, Jonathan BellGeorge Mason University, Karim AliUniversity of Alberta | ||
09:45 45mTalk | Why do a PhD? PLMW Yannis SmaragdakisUniversity 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 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 30mFull-paper | Efficient Fail-Fast Dynamic Subtype Checking VMIL Pre-print | ||
12:00 15mTalk | 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 15mTalk | 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 30mTalk | 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 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 ChibaGraduate 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 | ||
11:30 30mTalk | 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 30mTalk | 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 - 12:30 | |||
11:00 30mTalk | Mech - A Programming Language for Data Driven, Reactive Systems LIVE Corey MontellaLehigh University | ||
11:30 30mTalk | 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 OhkawaTokai Univ., Kenji HisazumiKyushu University, Akira FukudaKyushu University | ||
12:00 30mTalk | 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 - 12:30 | |||
11:00 30mTalk | Modal Assertions for Actor Correctness AGERE Colin GordonDrexel University DOI Pre-print | ||
11:30 30mTalk | 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 30mTalk | 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 - 12:30 | |||
11:00 45mTalk | What is PL Research? PLMW Eelco VisserDelft University of Technology Media Attached File Attached | ||
11:45 45mOther | Panel: Jobs After the PhD PLMW Dan BarowyWilliams College, Ciera JaspanGoogle, Alessandra GorlaIMDEA Software Institute, Kenny FonerGalois | ||
11:00 - 12:30 | |||
11:00 30mTalk | 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 30mTalk | 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 30mTalk | 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 | ||
12:30 - 14:00 | |||
14:00 - 15:30 | |||
14:00 60mTalk | Keynote 2: Who is afraid of the Turnstile?Keynote VMIL Andreas RossbergDfinity Stiftung | ||
15:00 30mFull-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 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 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 30mTalk | 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 - 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 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 - 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 TadaYokohama National University, Yuka AkinobuJapan Women’s University, Makoto SakaneJapan Women’s University, Kimio KuramitsuJapan Women’s University Media Attached | ||
15:00 30mTalk | Histogram: You have to know the past to understand the present LIVE Tomas PetricekUniversity of Kent | ||
14:00 - 15:30 | |||
14:00 30mTalk | Krestianstvo Luminary: Decentralized Virtual Time for Croquet architecture AGERE Nikolai SuslovFund for Supporting Development of RT Media Attached | ||
14:30 30mTalk | 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 30mTalk | 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 | |||
14:00 45mTalk | Finding Mentors and Building Networks PLMW Alessandra GorlaIMDEA Software Institute File Attached | ||
14:45 45mTalk | How to Apply to Grad School? PLMW Ciera JaspanGoogle File Attached | ||
14:00 - 15:30 | |||
14:00 45mTalk | How To Write Papers So People Can Read Them PLMW Derek DreyerMPI-SWS Media Attached File Attached | ||
14:45 45mTalk | Unaccustomed As I Am to Public Speaking PLMW John HughesChalmers 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 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 30mTalk | 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 | ||
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 Dimitri RacordonUniversity of Geneva, Centre Universitaire d'Informatique, Geneva, Switzerland, Didier BuchsUniversity of Geneva, Centre Universitaire d'Informatique, Geneva, Switzerland | ||
16:00 - 17:30 | |||
16:00 60mTalk | The Act of Computer Programming LIVE James NobleVictoria 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 FonerGalois Link to publication Media Attached | ||
16:45 45mOther | 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 | |||
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 | ||
Conference DayWed 23 OctDisplayed time zone: Beirut change
Conference Day
Wed 23 OctDisplayed 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 20mDay opening | Welcome, Introduction Rebase Yannis SmaragdakisUniversity of Athens, Shan Shan HuangRelational.ai, Michael CarbinMassachusetts 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 HughesChalmers 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 ZhangPurdue University, Wei YouPurdue University, Guanhong TaoPurdue University, Guannan WeiPurdue University, Yonghwi KwonUniversity of Virginia, Xiangyu ZhangPurdue 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 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 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 PanchekhaUniversity of Utah, Michael D. ErnstUniversity of Washington, USA, Zachary TatlockUniversity of Washington, Seattle, Shoaib KamilAdobe DOI | ||
11:45 22mTalk | 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 22mTalk | 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 - 12:30 | |||
11:00 45mTalk | Improving Engineering Productivity at Scale Rebase Ciera JaspanGoogle | ||
11:45 45mTalk | Challenges in Large-Scale Application Development Rebase Adam WelcUber Technologies | ||
11:00 - 12:30 | |||
11:00 30mTalk | Deployable Probabilistic Programming Onward! Papers David TolpinPUB+ | ||
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 GarianoVictoria University of Wellington, James NobleVictoria University of Wellington, Marco ServettoVictoria 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. 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 22mTalk | 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 22mTalk | 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 22mTalk | 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 - 15:30 | |||
14:00 22mTalk | 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 22mTalk | 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 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 BiswasIRIF, University Paris Diderot & CNRS, Constantin EneaIRIF, University Paris Diderot & CNRS DOI | ||
14:00 - 15:30 | |||
14:00 45mTalk | Quantum Programming Rebase Jens PalsbergUniversity of California, Los Angeles | ||
14:45 45mTalk | Augmenting Raw Materials with Sensing and Computation Rebase Phillip Stanley-MarbellUniversity of Cambridge | ||
14:00 - 15:30 | |||
14:00 30mTalk | 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 30mTalk | Active Learning for Software Engineering Onward! Papers Jose CambroneroMIT, Thurston HY DangMIT, Nikos VasilakisMIT CSAIL, USA, Jiasi ShenMassachusetts Institute of Technology, Jerry WuMIT, Martin C. RinardMIT | ||
15:30 - 16:00 | |||
16:00 - 17:30 | |||
16:00 22mTalk | 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 22mTalk | A Formalization of Java’s Concurrent Access Modes OOPSLA John BenderUniversity of California, Los Angeles, Jens PalsbergUniversity 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 SiraichiUFMG, Vinícius Fernandes dos SantosUFMG, Caroline CollangeINRIA, Fernando Magno Quintão PereiraUFMG 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 SurbatovichCarnegie Mellon University, Limin JiaCarnegie Mellon University, Brandon LuciaCarnegie Mellon University DOI | ||
17:07 22mTalk | 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 - 17:30 | |||
16:00 45mTalk | Machine Learning for Program Analysis Rebase Miltiadis AllamanisMicrosoft Research, Cambridge | ||
16:45 45mTalk | An Open Source Hardware-Software Blueprint for Flexible Deep Learning Specialization Rebase Thierry MoreauUniversity of Washington | ||
16:00 - 17:30 | |||
16:00 45mTalk | 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 45mTalk | 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 | |||
19:30 3hDinner | Dinner Catering | ||
Conference DayThu 24 OctDisplayed time zone: Beirut change
Conference Day
Thu 24 OctDisplayed 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 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öbergYale University, Yuyang SangYale University, Shu-chun WengYale University, Zhong ShaoYale University DOI Pre-print | ||
11:22 22mTalk | Weakening WebAssembly OOPSLA Conrad WattUniversity of Cambridge, Andreas RossbergDfinity Stiftung, Jean Pichon-PharabodUniversity of Cambridge DOI | ||
11:45 22mTalk | 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 22mTalk | 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 | |||
11:00 22mTalk | 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 22mTalk | DProf: Distributed Profiler with Strong Guarantees OOPSLA DOI | ||
11:45 22mTalk | 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 22mTalk | 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 45mTalk | Growing thousandfold over a half-century: Form and forces of Unix architectural evolution Rebase Diomidis SpinellisAthens University of Economics and Business DOI | ||
11:45 45mTalk | Growing Databases to Exabyte Scale Rebase David F. BaconGoogle | ||
11:00 - 12:30 | |||
11:00 30mTalk | 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 30mTalk | GoTcha: An Interactive Debugger for GoT-Based Distributed Systems Onward! Papers Pre-print | ||
12:00 30mTalk | Storage Combinators Onward! Papers Marcel WeiherHasso-Plattner-Institut (HPI), Germany, Robert HirschfeldHasso-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. 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 22mTalk | 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 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 LuanFacebook, Inc., Di YangUniversity of California, Irvine, Celeste BarnabyFacebook, Inc., Koushik SenUniversity of California, Berkeley, Satish ChandraFacebook DOI | ||
14:00 - 15:30 | |||
14:00 22mTalk | 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 22mTalk | 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 22mTalk | 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 22mTalk | 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 | |||
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 MillerCarnegie Mellon University | ||
14:00 - 15:30 | |||
14:00 30mTalk | Seq: A High-Performance Language for Bioinformatics OOPSLA DOI | ||
14:30 30mTalk | 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 30mTalk | 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 | |||
14:00 30mTalk | Property Conveyances as a Programming Language Onward! Papers Shrutarshi BasuCornell University, Nate FosterCornell University, James GrimmelmannCornell University Pre-print | ||
14:30 30mTalk | The Adverse Effects of Code Duplication in Machine Learning Models of Code Onward! Papers Miltiadis AllamanisMicrosoft Research, Cambridge DOI Pre-print | ||
15:30 - 16:00 | |||
16:00 - 17:30 | |||
16:00 22mTalk | Ryū Revisited: Printf Floating Point Conversion OOPSLA Ulf AdamsGoogle Link to publication DOI | ||
16:22 22mTalk | 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 22mTalk | 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 22mTalk | 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 - 17:30 | |||
16:00 22mTalk | Mergeable Replicated Data Types OOPSLA Gowtham KakiPurdue University, Swarn PriyaPurdue University, KC SivaramakrishnanIIT Madras, Suresh JagannathanPurdue University Link to publication DOI | ||
16:22 22mTalk | 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 22mTalk | System FR: Formalized Foundations for the Stainless Verifier OOPSLA DOI | ||
17:07 22mTalk | Complete Monitors for Gradual Types OOPSLA Ben GreenmanPLT @ Northeastern University, Matthias FelleisenPLT @ Northeastern University, Christos DimoulasPLT @ Northwestern University DOI | ||
16:00 - 17:30 | |||
16:00 45mTalk | Climate Change and Software 2.0 Rebase Alan EdelmanMIT | ||
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 StavrouliaCyprus University of Technology, Andreas LanitisCyprus University of Technology | ||
16:15 15mTalk | Linear capabilities for CHERI SRC | ||
16:30 15mTalk | 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 15mTalk | Incremental Scannerless Generalized LR Parsing SRC Maarten P. SijmDelft University of Technology | ||
17:00 15mTalk | Debugging Support for Multi-paradigm Concurrent Programs SRC Dominik AumayrJohannes Kepler University Linz, Austria | ||
17:15 15mTalk | Practical Second Futamura Projection SRC Florian LatifiJohannes Kepler University Linz DOI Pre-print | ||
16:00 - 17:30 | |||
16:00 45mTalk | 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 | ||
Conference DayFri 25 OctDisplayed time zone: Beirut change
Conference Day
Fri 25 OctDisplayed 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 | |||
11:00 22mTalk | Efficient Lock-Free Durable Sets OOPSLA Yoav ZurielTechnion - Israel, Michal FriedmanTechnion - Israel, Gali SheffiTechnion - Israel, Nachshon CohenAmazon, Erez PetrankTechnion - Israel DOI | ||
11:22 22mTalk | Weak Persistency Semantics from the Ground Up: Formalising the Persistency Semantics of ARMv8 and Transactional Models OOPSLA Azalea RaadMPI-SWS, Germany, John WickersonImperial College London, Viktor VafeiadisMPI-SWS, Germany DOI | ||
11:45 22mTalk | Verifying Safety and Accuracy of Approximate Parallel Programs via Canonical Sequentialization OOPSLA Vimuth FernandoUniversity of Illinois at Urbana-Champaign, Keyur JoshiUniversity of Illinois at Urbana-Champaign, Sasa MisailovicUniversity of Illinois at Urbana-Champaign DOI | ||
12:07 22mTalk | Dependence-Aware, Unbounded Sound Predictive Race Detection OOPSLA Kaan GençOhio State University, Jake RoemerOhio State University, Yufan XuOhio State University, Michael D. BondOhio State University DOI Pre-print | ||
11:00 - 12:30 | |||
11:00 10mDay opening | Welcome SPLASH-E Elisa BaniassadUniversity 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 CurtsingerGrinnell College | ||
12:15 15mShort-paper | Microsoft MakeCode: Embedded Programming for Education, in Blocks and TypeScript SPLASH-E Thomas BallMicrosoft Research, Abhijith ChatraMicrosoft, Peli de HalleuxMicrosoft Research, Steve HodgesMicrosoft, Michal MoskalMicrosoft Research, Jacqueline RussellMicrosoft | ||
11:00 - 12:30 | Repair & TransformationOOPSLA at Templars Chair(s): Bor-Yuh Evan ChangUniversity of Colorado Boulder | Amazon | ||
11:00 22mTalk | Detecting Nondeterministic Payment Bugs in Ethereum Smart Contracts OOPSLA Shuai WangHong Kong University of Science and Technology, Chengyu ZhangEast China Normal University, Zhendong SuETH Zurich DOI | ||
11:22 22mTalk | Automatic Repair of Regular Expressions OOPSLA Rong PanUniversity of Texas at Austin, Qinheping HuUniversity of Wisconsin, Madison, Gaowei XuUniversity of Wisconsin Madison, Loris D'AntoniUniversity of Wisconsin Madison DOI Pre-print | ||
11:45 22mTalk | Getafix: Learning to Fix Bugs Automatically OOPSLA Johannes BaderFacebook, Andrew ScottFacebook, Michael PradelUniversity of Stuttgart, Satish ChandraFacebook DOI Pre-print | ||
12:07 22mTalk | IntelliMerge: A Refactoring-Aware Software Merging Technique OOPSLA Bo ShenPeking University, Wei ZhangPeking University, Haiyan ZhaoPeking University, Guangtai LiangHuawei Technologies Co. Ltd, Zhi JinPeking University, Qianxiang WangHuawei 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 MarianoUniversity of Maryland, College Park, Josh ReeseUniversity of Maryland, College Park, Siyuan XuPurdue University, ThanhVu NguyenUniversity of Nebraska, Lincoln, Xiaokang QiuPurdue University, Jeffrey S. FosterTufts University, Armando Solar-LezamaMassachusetts Institute of Technology DOI | ||
14:45 22mTalk | AutoPandas: Neural-Backed Generators for Program Synthesis OOPSLA Rohan BavishiUC Berkeley, Caroline LemieuxUniversity of California, Berkeley, Roy FoxUC Berkeley, Koushik SenUniversity of California, Berkeley, Ion StoicaUC Berkeley DOI | ||
15:07 22mTalk | On the Fly Synthesis of Edit Suggestions OOPSLA Anders MiltnerPrinceton University, Sumit GulwaniMicrosoft, Vu LeMicrosoft, Alan LeungMicrosoft, Arjun RadhakrishnaMicrosoft, Gustavo SoaresMicrosoft, Ashish TiwariMicrosoft, Abhishek UdupaMicrosoft DOI Pre-print Media Attached | ||
14:00 - 15:30 | |||
14:00 22mTalk | Design, Implementation, and Application of GPU-Based Java Bytecode Interpreters OOPSLA Ahmet CelikThe University of Texas at Austin, Pengyu NieThe University of Texas at Austin, Chris RossbachThe University of Texas at Austin and VMware Research Group, Milos GligoricThe University of Texas at Austin DOI | ||
14:22 22mTalk | Initialize Once, Start Fast: Application Initialization at Build Time OOPSLA Christian WimmerOracle Labs, Codrut StancuOracle Labs, Peter HoferOracle Labs, Vojin JovanovicOracle Labs, Paul WögererOracle Labs, Peter B. KesslerOracle Labs, Oleg PlissOracle Labs, Thomas WuerthingerOracle 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 FeldmanCornell University, Yiting WangCornell University, William E. ByrdUniversity of Alabama at Birmingham, USA, François GuimbretièreCornell University, Erik AndersenCornell University | ||
14:30 30mFull-paper | Evaluating ProDirect Manipulation in Hour of Code SPLASH-E Quan DoWilliams College, Kiersten CampbellWilliams College, Emmie HineWilliams College, Dzung PhamWilliams College, Alex TaylorWilliams College, Iris HowleyWilliams College, Dan BarowyWilliams College | ||
15:00 15mShort-paper | Experiences in Bridging from Functional to Object-Oriented Programming SPLASH-E Igor Moreno SantosUniversità della Svizzera italiana, Matthias HauswirthUniversità della Svizzera italiana, Nate NystromUniversità della Svizzera italiana | ||
15:15 15mShort-paper | ChocoPy: A Programming Language for Compilers Courses SPLASH-E Rohan PadhyeUniversity of California, Berkeley, Koushik SenUniversity of California, Berkeley, Paul N. HilfingerUniversity of California, Berkeley Pre-print | ||
14:00 - 15:30 | |||
14:00 22mTalk | Value-Centric Dynamic Partial Order Reduction OOPSLA Krishnendu ChatterjeeIST Austria, Andreas PavlogiannisEPFL, Viktor TomanIST 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 AbdullaUppsala University, Sweden, Mohamed Faouzi AtigUppsala University, Sweden, Bengt JonssonUppsala University, Sweden, Magnus LångUppsala University, Sweden, Tuan Phong NgoUppsala University, Sweden, Konstantinos (Kostis) SagonasUppsala University, Sweden DOI Pre-print | ||
14:45 22mTalk | TLA+ Model Checking Made Symbolic OOPSLA Igor KonnovInria Nancy - Grand Est, France, Jure KukovecTU Wien, Austria, Thanh-Hai TranTU Wien, Austria DOI | ||
15:07 22mTalk | Effective Lock Handling in Stateless Model Checking OOPSLA Michalis KokologiannakisMPI-SWS, Germany, Azalea RaadMPI-SWS, Germany, Viktor VafeiadisMPI-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 PollockUniversity of Washington, Jared RoeschUniversity of Washington, USA, Doug WoosUniversity of Washington, Zachary TatlockUniversity of Washington, Seattle | ||
16:30 30mFull-paper | Lambdulus: Teaching Lambda Calculus Practically SPLASH-E Jan SliackyFaculty of Information Technology, Czech Technical University in Prague, Petr MajCzech Technical University | ||
17:00 30mTalk | Panel & Group Discussion SPLASH-E Elisa BaniassadUniversity of British Columbia | ||