Program - SPLASH 2019

Time Zone

The program is currently displayed in (GMT+03:00) Beirut.

Use conference time zone: (GMT+03:00) BeirutSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

You're viewing the program in a time zone which is different from your device's time zone - change time zone

Sun 20 Oct
Times are displayed in time zone: Beirut change

	09:00 - 10:30: Model and TheoryMETA at Room 1A Chair(s): Guido ChariCzech Technical University

	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:00 - 10:30: KeynoteDLS at Room 2A Chair(s): Stefan MarrUniversity of Kent

	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 I: Michael LippautzGoogle Media Attached

	10:30 - 11:00: Coffee breakCatering at Break area

	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 Jan VitekNortheastern University, Aviral GoelNortheastern University
	12:00 - 12:30 Full-paper		Squirrel: An Extensible Distributed Key-Value Store META Kevin De Porre, Elisa Gonzalez BoixVrije Universiteit Brussel, Belgium

	11:00 - 12:30: Language engineeringDSM at Room 1B Chair(s): Juha-Pekka TolvanenMetaCase

	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

	12:30 - 14:00: LunchCatering at Restaurant

	14:00 - 15:30: ToolingMETA at Room 1A Chair(s): Christophe ScholliersUniversiteit Gent, Belgium

	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 Jonathan Van der Cruysse, Lode Hoste, Wolfgang Van RaemdonckNokia Bell Labs

	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 - 15:30: Optimizing ComputationsDLS at Room 2A Chair(s): Marc FeeleyUniversité de Montréal

	14:00 - 14:30 Talk		Reflections on the Compatibility, Performance, and Scalability of Parallel PythonExperience Paper DLS Remigius MeierETH Zurich, Switzerland, Thomas GrossETH Zurich, Switzerland
	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 breakCatering at Break area

	15:30 - 16:00 Coffee break		Break Catering

	16:00 - 17:30: ClosingMETA at Room 1A

	16:00 - 17:30: Group work and reportingDSM at Room 1B Chair(s): Jeff GrayUniversity of Alabama

	16:00 - 17:00 Meeting		Group work DSM
	17:00 - 17:30 Talk		Group work reporting DSM

	16:00 - 17:30: Beyond the LanguageDLS at Room 2A Chair(s): Stefan MarrUniversity of Kent

	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

	09:00 - 10:30: Session 1Doctoral Symposium at Abbey

	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: Keynote 1MPLR at Room 1

	09:00 - 10:30 Talk		Adversarial Compilation MPLR Olivier FlückigerNortheastern University, Jan VitekNortheastern University

	09:00 - 10:30: Session 1NJR at Room 2A

	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 - 10:30: Data Data Data!STOKED at Room 2B Chair(s): Yvonne CoadyUniversity of Victoria

	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: KeynoteIC at Room 3A Chair(s): Tamás Szabóitemis / JGU Mainz

	09:00 - 10:30 Talk		Differential dataflow: a model and implementationKeynote IC K: Frank McSherryMaterialize, Inc

	09:00 - 10:30: KeynoteREBLS at Room 3B

	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: Session 1: SLE WelcomeSLE at Templars Chair(s): Beatriz SanchezUniversity of York

	09:00 - 10:30 Talk		Software Language Engineering -- 42 Frequently Asked Questions SLE Ralf LämmelFacebook London

	10:30 - 11:00: Coffee breakCatering at Break area

	10:30 - 11:00 Coffee break		Break Catering

	11:00 - 12:30: Session 2Doctoral Symposium at Abbey

	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 Lucas KramerUniversity of Minnesota, Eric Van WykUniversity of Minnesota, USA 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 - 12:30: Virtual machinesMPLR at Room 1

	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 Robbert Gurdeep SinghUniversiteit Gent, Belgium, Christophe ScholliersUniversiteit Gent, Belgium DOI Authorizer link Pre-print

	11:00 - 12:30: Session 2NJR at Room 2A

	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 - 12:30: Demanding Interfaces!STOKED at Room 2B Chair(s): Yvonne CoadyUniversity of Victoria

	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 - 12:30: Incremental DatalogIC at Room 3A Chair(s): Neville GrechUniversity of Athens

	11:00 - 11:30 Talk		Generating Incremental Type Services IC André PacakJGU Mainz, Sebastian ErdwegJGU Mainz
	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 Yoshitaka SakuraiTokyo Institute of Technology, Takuo WatanabeTokyo Institute of Technology DOI
	12:00 - 12:30 Talk		Turning Unobservable into Unreachable: Dynamic Reactive Programming without Leaks REBLS David RichterTechnische Universität Darmstadt, Ragnar MogkTechnische Universität Darmstadt 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 Nils WeidmannPaderborn University, Patrick RobrechtIndependent, Robin OppermannIndependent
	11:30 - 12:00 Talk		Spectrum-Based Fault Localization for Context-Free Grammars SLE Moeketsi RaselimoStellenbosch University, Bernd FischerStellenbosch University
	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

	12:30 - 14:00: LunchCatering at Restaurant

	14:00 - 15:30: Session 3Doctoral Symposium at Abbey

	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 Alen StojanovETH Zurich, Tiark RompfPurdue University, Markus PüschelETH Zürich
	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 - 15:30: Concurrency and parallelismMPLR at Room 1

	14:00 - 14:30 Talk		Dynamic One-To-One Mapping of Ownership Records for STM using Versioned Weak References MPLR Martin BättigDepartment of Computer Science, ETH Zurich, Thomas GrossETH Zurich, Switzerland
	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 - 15:30: Session 3NJR at Room 2A

	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 - 15:30: Incremental IDE servicesIC at Room 3A Chair(s): Tamás Szabóitemis / JGU Mainz

	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 breakCatering at Break area

	15:30 - 16:00 Coffee break		Break Catering

	16:00 - 17:30: Session 4Doctoral Symposium at Abbey

	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 - 17:30: Program analysisMPLR at Room 1

	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 - 17:30: Session 4NJR at Room 2A

	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 - 17:30: Databases & SemanticsIC at Room 3A Chair(s): Markus Völteritemis/independent

	16:00 - 16:30 Talk		Toward Lazy Evaluation in a Graph Database IC Jeffrey EymerSUNY Binghamton, Philip DexterSUNY Binghamton, Yu David Liu
	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 Lukas DiekmannKing's College London, Laurence TrattKing's College London DOI Pre-print

	17:30 - 19:30: Poster #1Posters at Kallirhoe

	17:30 - 17:33 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:33 - 17:36 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:36 - 17:39 Poster		A Symmetry-Based $N$-Body Solver Compiler Posters Shigeyuki SatoThe University of Tokyo
	17:39 - 17:42 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:42 - 17:45 Poster		Toward a Benchmark Repository for Software Maintenance Tool Evaluations with Humans Posters Matúš SulírTechnical University of Košice Pre-print
	17:45 - 17:48 Poster		MetaDL : Declarative Program Analysis for the Masses Posters Alexandru DuraLund University, Hampus BalldinLund University
	17:48 - 17:52 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:52 - 17:55 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:55 - 17:58 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:58 - 18:01 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
	18:01 - 18:04 Poster		Automatically Fixing Memory-Leaks Posters Seongjoon HongKorea University, Junhee LeeKorea University, South Korea, Jeongsoo LeeKorea University, Hakjoo OhKorea University
	18:04 - 18:07 Poster		Precise Safety Verification of Smart Contracts Posters Sunbeom SoKorea University, Myungho LeeKorea University, Hakjoo OhKorea University
	18:07 - 18:11 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:11 - 18:14 Poster		Performance, Portability, and Productivity for Data-Parallel Applications on Multi- and Many-Core Architectures Posters Ari RaschUniversity of Münster, Richard SchulzeUniversity of Münster, Sergei Gorlatch
	18:14 - 18:17 Poster		Squirrel: An Extensible Distributed KV Store Posters Kevin De Porre, Elisa Gonzalez BoixVrije Universiteit Brussel, Belgium Link to publication
	18:17 - 18:20 Poster		Memory efficient CRDTs in dynamic environments Posters Jim BauwensVrije Universiteit Brussel, Elisa Gonzalez BoixVrije Universiteit Brussel, Belgium Link to publication
	18:20 - 18:23 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:23 - 18:26 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:26 - 18:30 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:30 - 18:33 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:33 - 18:36 Poster		Sound and Reusable Components for Abstract Interpretation Posters Sven KeidelJGU Mainz, Sebastian ErdwegJGU Mainz Link to publication
	18:36 - 18:39 Poster		Puppy: An Educational Simplification of Python with a Live Playground Posters Makoto SakaneJapan Women’s University, Yuka AkinobuJapan Women’s University, Taku TadaYokohama National University, Kimio KuramitsuJapan Women’s University
	18:39 - 18:42 Poster		Agile Construction of Data Science DSLs (Tool Demo) Posters Artur AndrzejakHeidelberg University, Kevin Kiefer, Diego CostaHeidelberg University, Oliver WenzHeidelberg University Link to publication
	18:42 - 18:45 Poster		A Fault-Tolerant Programming Model for Distributed Interactive Applications Posters Ragnar MogkTechnische Universität Darmstadt, Joscha DrechslerTechnische Universität Darmstadt, Guido SalvaneschiTechnische Universität Darmstadt, Mira MeziniTechnische Universität Darmstadt Link to publication
	18:45 - 18:48 Poster		WARDuino: A Dynamic WebAssembly Virtual Machine for Programming Microcontrollers Posters Robbert Gurdeep SinghUniversiteit Gent, Belgium, Christophe ScholliersUniversiteit Gent, Belgium Link to publication
	18:48 - 18:52 Poster		Automatic and Scalable Detection of Logical Errors in Functional Programming Assignments Posters Dowon SongKorea University, Myungho LeeKorea University, Hakjoo OhKorea University Link to publication
	18:52 - 18:55 Poster		IVT: An Efficient Method for Sharing Subtype Polymorphic Objects Posters Yu-Ping WangTsinghua University, China, Xu-Qiang HuTsinghua Univeraity, China, Zi-Xin ZouTsinghua Univeraity, China, Wende TanTsinghua University, China Link to publication
	18:55 - 18:58 Poster		Turning Unobservable into Unreachable: Dynamic Reactive Programming without Leaks Posters David RichterTechnische Universität Darmstadt, Ragnar MogkTechnische Universität Darmstadt Link to publication
	18:58 - 19:01 Poster		Language-Integrated Privacy-Aware Distributed Queries Posters 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 Link to publication
	19:01 - 19:04 Poster		Towards Efficient, Multi-Language Dynamic Taint Analysis Posters Jacob KreindlJohannes Kepler University Linz, Daniele BonettaOracle Labs, Hanspeter MössenböckJKU Linz, Austria Link to publication
	19:04 - 19:07 Poster		Supporting On-Stack Replacement in Unstructured Languages by Loop Reconstruction and Extraction Posters Raphael MosanerJohannes Kepler University Linz, David LeopoldsederJohannes Kepler University Linz, Manuel RiggerETH Zurich, Roland SchatzJohannes Kepler University Linz, Hanspeter MössenböckJKU Linz, Austria Link to publication
	19:07 - 19:11 Poster		Reflection in Attribute Grammars Posters Lucas KramerUniversity of Minnesota, Ted KaminskiUniversity of Minnesota, Eric Van WykUniversity of Minnesota, USA Link to publication
	19:11 - 19:14 Poster		An Empirical Study of Programming Language Effect on OSS Development Effort Posters Muna AltherwiSouthampton University
	19:14 - 19:17 Poster		Practical Second Futamura Projection Posters Florian LatifiJohannes Kepler University Linz
	19:17 - 19:20 Poster		Debugging Support for Multi-paradigm Concurrent Programs Posters Dominik AumayrJohannes Kepler University Linz, Austria
	19:20 - 19:23 Poster		Gradual Program Analysis Posters Samuel EstepLiberty University, Jenna WiseCarnegie Mellon University, Jonathan AldrichCarnegie Mellon University, Éric TanterUniversity of Chile & Inria Paris, Johannes BaderFacebook
	19:23 - 19:26 Poster		Incremental Scannerless Generalized LR Parsing Posters Maarten P. SijmDelft University of Technology
	19:26 - 19:30 Poster		Linear capabilities for CHERI Posters Aaron LippeveldtsVrije Universiteit Brussel, Dominique DevrieseVrije Universiteit Brussel

	17:30 - 18:00: SLE MIP Awards 2018 and 2019SLE at Templars

	17:20 - 18:00 Awards		SLE MIP Awards 2018 and 2019 SLE

Tue 22 Oct
Times are displayed in time zone: Beirut change

	09:00 - 10:30: Keynote & Session #1VMIL at Abbey

	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 K: Mira MeziniTechnische Universität Darmstadt

	09:00 - 10:30: Keynote 2MPLR at Room 1

	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:30: Opening keynoteLIVE at Room 2A

	09:00 - 10:00 Talk		Dark: a holistic programming language LIVE Paul Biggar
	10:00 - 10:30 Talk		Steady Typing LIVE Yair ChuchemLamdu, Eyal LotemLamdu

	09:00 - 10:30: PapersAI-SEPS at Room 2B Chair(s): Yukinori SatoToyohashi University of Technology

	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 - 10:30: KeynoteAGERE at Room 3A

	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 - 10:30: Why are we here?PLMW at Room 4 Chair(s): Jonathan BellGeorge Mason University

	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

	09:00 - 10:30: Session 5: GPCE WelcomeSLE at Templars

	10:30 - 11:00: Coffee breakCatering at Break area

	11:00 - 12:30: Session #2VMIL at Abbey Chair(s): Anthony CaninoSUNY Binghamton

	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 Rohan PadhyeUniversity of California, Berkeley, Koushik SenUniversity of California, Berkeley 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 Karl CronburgTufts University, Sam GuyerTufts University DOI Pre-print
	12:00 - 12:20 Talk		Compiler Generation for Performance-Oriented Embedded DSLs (Short Paper) GPCE Amir ShaikhhaUniversity of Oxford, Vojin JovanovicOracle Labs, Christoph E. KochEPFL

	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 Thomas BallMicrosoft Research, Peli de HalleuxMicrosoft Research, Michal MoskalMicrosoft Research
	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 - 12:30: Session 2LIVE at Room 2A

	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 - 12:30: Session 1AGERE at Room 3A

	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 - 12:30: What do we do with PL?PLMW at Room 4 Chair(s): Karim AliUniversity of Alberta

	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 - 12:30: Session 6: ModelingSLE at Templars

	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

	12:30 - 14:00: LunchCatering at Restaurant

	14:00 - 15:30: Keynote & Session #3VMIL at Abbey

	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 Aleksandar S. Dimovski
	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 - 15:30: ApplicationsMPLR at Room 1 Chair(s): Andrea RosàUniversity of Lugano, Switzerland

	14:00 - 14:30 Talk		Performance of an OO Compute Kernel on the JVM -- Revisiting Java as a Language for Scientific Computing Applications MPLR Malin KällénUppsala University, Tobias WrigstadUppsala University
	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 - 15:30: Session 3LIVE at Room 2A

	14:00 - 14:30 Talk		Userland: creating an integrated dataflow environment for end-users LIVE Hisham Muhammad
	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 - 15:30: Session 2AGERE at Room 3A

	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 Lars SchützeTechnische Universität Dresden, Jeronimo CastrillonTU Dresden, Germany
	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 LämmelFacebook 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

	15:30 - 16:00: Coffee breakCatering at Break area

	16:00 - 17:30: Session #4VMIL at Abbey Chair(s): Andrea RosàUniversity of Lugano, Switzerland

	16:00 - 16:30 Full-paper		Towards seamless interfacing between dynamic languages and native code VMIL Guillaume BertholonÉcole Normale Supérieure, Stephen KellUniversity of Kent
	16:30 - 17:00 Full-paper		Memory efficient CRDTs in dynamic environments VMIL Jim BauwensVrije Universiteit Brussel, Elisa Gonzalez BoixVrije Universiteit Brussel, Belgium
	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:30: Closing keynoteLIVE at Room 2A

	16:00 - 17:00 Talk		The Act of Computer Programming LIVE James NobleVictoria University of Wellington

	16:00 - 17:30: Discussion/PanelAGERE at Room 3A

	16:00 - 17:30: Being a PhD StudentPLMW at Room 4 Chair(s): Marianna RapoportUniversity of Waterloo

	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 Javier Luis Cánovas IzquierdoIN3 - UOC, Jordi CabotICREA - UOC
	16:20 - 16:50 Talk		Developing a Monadic Type Checker for an Object-Oriented Language (Experience Report) SLE Elias CastegrenKTH Royal Institute of Technology, Kiko Fernandez-ReyesUppsala University DOI Pre-print
	16:50 - 17:10 Talk		Vision Paper: Generating Incremental Type ServicesNEW IDEA SLE André PacakJGU Mainz, Sebastian ErdwegJGU Mainz
	17:10 - 17:40 Talk		Transactional Editing: Giving ACID to Programmers SLE Friedrich SteimannFernuni Hagen, Nils KurowskyFernuni Hagen

	19:00 - 22:00: DinnerSLE at Attica

	19:00 - 22:00 Dinner		Dinner (registration add-on) SLE

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 K: Matthew MightUniversity of Alabama at Birmingham \| Harvard Medical School

	10:30 - 11:00: Coffee breakCatering at Break area

	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 Guannan WeiPurdue University, Yuxuan ChenPurdue University, Tiark RompfPurdue University 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 Sven KeidelJGU Mainz, Sebastian ErdwegJGU Mainz DOI

	11:00 - 12:30: Modular VerificationOOPSLA at Olympia Chair(s): Friedrich SteimannFernuni Hagen

	11:00 - 11:22 Research paper		Modular Verification of Heap Reachability Properties in Separation Logic OOPSLA Arshavir Ter-GabrielyanETH Zurich, Alexander J. SummersETH Zurich, Peter MüllerETH Zurich 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 - 12:30: Programming at ScaleRebase at Panorama Chair(s): Shan Shan HuangRelational.ai

	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 Tetsuo KaminaOita University, Tomoyuki AotaniTokyo Institute of Technology
	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

	12:30 - 14:00: LunchCatering at Restaurant

	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 - 15:30: Testing OOPSLA at Olympia Chair(s): Stephen KellUniversity of Kent

	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 Dowon SongKorea University, Myungho LeeKorea University, Hakjoo OhKorea University 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 - 15:30: Emerging DomainsRebase at Panorama Chair(s): Aviral GoelNortheastern University

	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

	15:30 - 16:00: Coffee breakCatering at Break area

	16:00 - 17:30: FormalizationOOPSLA at Attica Chair(s): Eric KoskinenStevens Institute of Technology

	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 Marianna RapoportUniversity of Waterloo, Ondřej LhotákUniversity of Waterloo 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 - 17:30: Analysis OOPSLA at Olympia Chair(s): Jan VitekNortheastern University

	16:00 - 16:22 Talk		Precision-Preserving Yet Fast Object-Sensitive Pointer Analysis with Partial Context Sensitivity OOPSLA Jingbo LuUNSW Sydney, Jingling XueUNSW Sydney DOI
	16:22 - 16:45 Talk		Precise Reasoning with Structured Time, Structured Heaps, and Collective Operations OOPSLA Gregory EssertelPurdue University, Guannan WeiPurdue University, Tiark RompfPurdue University 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 - 17:30: Machine LearningRebase at Panorama

	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 - 17:30: Onward! Essays - Session 1Onward! Essays at Templars

	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

	18:00 - 19:30: Competition - Round 1SRC at Foyer

	18:00 - 18:11 Talk		Is Mutation Score a Fair Metric? SRC Beatriz SouzaFederal University of Campina Grande
	18:11 - 18:22 Talk		Designing immersive virtual training environments for experiential learning SRC Kalliopi Evangelia StavrouliaCyprus University of Technology, Andreas LanitisCyprus University of Technology
	18:22 - 18:33 Talk		Debugging Support for Multi-paradigm Concurrent Programs SRC Dominik AumayrJohannes Kepler University Linz, Austria
	18:33 - 18:45 Talk		Linear capabilities for CHERI SRC Aaron LippeveldtsVrije Universiteit Brussel, Dominique DevrieseVrije Universiteit Brussel
	18:45 - 18:56 Talk		An Empirical Study of Programming Language Effect on OSS Development Effort SRC Muna AltherwiSouthampton University
	18:56 - 19:07 Talk		Practical Second Futamura Projection SRC Florian LatifiJohannes Kepler University Linz DOI Pre-print
	19:07 - 19:18 Talk		Gradual Program Analysis SRC Samuel EstepLiberty University, Jenna WiseCarnegie Mellon University, Jonathan AldrichCarnegie Mellon University, Éric TanterUniversity of Chile & Inria Paris, Johannes BaderFacebook
	19:18 - 19:30 Talk		Incremental Scannerless Generalized LR Parsing SRC Maarten P. SijmDelft University of Technology

	19:30 - 22:30: BanquetCatering at Aegli Reception Area

	19:30 - 22:30 Dinner		Dinner Catering

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 K: Warren SackUniversity of California, Santa Cruz

	10:30 - 11:00: Coffee breakCatering at Break area

	11:00 - 12:30: Language DesignOOPSLA at Attica Chair(s): Tiark RompfPurdue University

	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 Zachary BenavidesUC Riverside, Keval VoraSimon Fraser University, Rajiv GuptaUC Riverside 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 Rohan AcharUC Irvine, Pritha DawnUC Irvine, Crista LopesUC Irvine 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

	12:30 - 14:00: LunchCatering at Restaurant

	14:00 - 15:30: Corpus StudiesOOPSLA at Attica Chair(s): Jonathan AldrichCarnegie Mellon University

	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 Aviral GoelNortheastern University, Jan VitekNortheastern University 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 Rodric Rabbah
	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 - 15:30: DSLs and Parsing OOPSLA at Room 1 Chair(s): Eric Van WykUniversity of Minnesota, USA

	14:00 - 14:30 Talk		Seq: A High-Performance Language for Bioinformatics OOPSLA Ariya ShajiiMIT, Ibrahim NumanagićMIT, Riyadh BaghdadiMIT, Bonnie BergerMIT, Saman AmarasingheMIT 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

	15:30 - 16:00: Coffee breakCatering at Break area

	16:00 - 17:30: OptimizationOOPSLA at Attica Chair(s): Tobias WrigstadUppsala University

	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 - 17:30: TypesOOPSLA at Olympia Chair(s): Éric TanterUniversity of Chile & Inria Paris

	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 Jad HamzaEPFL, Switzerland, Nicolas VoirolEPFL, Switzerland, Viktor KunčakEPFL, Switzerland 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 Jeff Bezanson, Stefan KarpinskiJulia Computing / NYU

	16:00 - 17:30: Competition - Round 2SRC at Room 1

	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 Aaron LippeveldtsVrije Universiteit Brussel, Dominique DevrieseVrije Universiteit Brussel
	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 - 17:30: Onward! Essays - Session 2Onward! Essays at Templars

	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 - 19:30: Poster #2Posters at Foyer

	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 Alexandru DuraLund University, Hampus BalldinLund University
	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 Sunbeom SoKorea University, Myungho LeeKorea University, Hakjoo OhKorea University
	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 Ari RaschUniversity of Münster, Richard SchulzeUniversity of Münster, Sergei Gorlatch
	18:08 - 18:10 Poster		Squirrel: An Extensible Distributed KV Store Posters Kevin De Porre, Elisa Gonzalez BoixVrije Universiteit Brussel, Belgium Link to publication
	18:10 - 18:13 Poster		Memory efficient CRDTs in dynamic environments Posters Jim BauwensVrije Universiteit Brussel, Elisa Gonzalez BoixVrije Universiteit Brussel, Belgium 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 Jad Hamza

SPLASH 2019 Program

Filter Program

Sun 20 Oct
Times are displayed in time zone: Beirut change

Mon 21 Oct
Times are displayed in time zone: Beirut change

Tue 22 Oct
Times are displayed in time zone: Beirut change

Wed 23 Oct
Times are displayed in time zone: Beirut change

Thu 24 Oct
Times are displayed in time zone: Beirut change

SPLASH 2019 Program

Filter Program

Program Display Configuration

Sun 20 Oct Times are displayed in time zone: Beirut change

Mon 21 Oct Times are displayed in time zone: Beirut change

Tue 22 Oct Times are displayed in time zone: Beirut change

Wed 23 Oct Times are displayed in time zone: Beirut change

Thu 24 Oct Times are displayed in time zone: Beirut change

Sun 20 Oct
Times are displayed in time zone: Beirut change

Mon 21 Oct
Times are displayed in time zone: Beirut change

Tue 22 Oct
Times are displayed in time zone: Beirut change

Wed 23 Oct
Times are displayed in time zone: Beirut change

Thu 24 Oct
Times are displayed in time zone: Beirut change