Write a Blog >>
SPLASH 2019
Sun 20 - Fri 25 October 2019 Athens, Greece
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
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: 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: 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: 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
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 LaemmelFacebook London
10:30 - 11:00: Coffee breakCatering at Break area
10:30 - 11:00
Coffee break
Break
Catering
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: 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
10:00 - 10:30
Talk
Steady Typing
LIVE
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
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
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
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
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
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 LaemmelFacebook London, Steffen StaabUniversity of Koblenz-Landau and University of Southampton, Germany
15:00 - 15:30
Talk
From DSL specification to interactive computer programming environment
SLE
Pierre JeanjeanInria, Univ Rennes, CNRS, IRISA, Benoit CombemaleUniversity of Toulouse, Olivier BaraisUniv. Rennes, Inria, CNRS, IRISA
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
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
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 InterpretationACM SIGPLAN Distinguished Paper Award
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
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
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
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 PrivacyACM SIGPLAN Distinguished Paper Award
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 ComputingACM SIGPLAN Distinguished Paper Award
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
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
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
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 SearchACM SIGPLAN Distinguished Paper Award
OOPSLA
Sifei LuanFacebook, Inc., Di YangUniversity of California, Irvine, Celeste BarnabyFacebook, Inc., Koushik SenUniversity of California, Berkeley, Satish ChandraFacebook
DOI
14:00 - 15:30: Specification and CertificationOOPSLA at Olympia
Chair(s): Colin GordonDrexel University
14:00 - 14:22
Talk
Relational Verification using Reinforcement Learning
OOPSLA
Jia ChenUniversity of Texas at Austin, Jiayi WeiUniversity of Texas at Austin, Yu FengUniversity of California, Santa Barbara, Osbert BastaniUniversity of Pennsylvania, Isil DilligUniversity of Texas Austin
DOI
14:22 - 14:45
Talk
Specification and Inference of Trace Refinement Relations
OOPSLA
Timos AntonopoulosYale University, Eric KoskinenStevens Institute of Technology, Ton Chanh LeStevens Institute of Technology
DOI
14:45 - 15:07
Talk
Specifying Concurrent Programs in Separation Logic: Morphisms and Simulations
OOPSLA
Aleksandar NanevskiIMDEA Software Institute, Anindya BanerjeeIMDEA Software Institute, Germán Andrés DelbiancoIRIF - Université de Paris, Ignacio FábregasIMDEA Software Institute
Link to publication DOI
15:07 - 15:30
Talk
Certifying Graph-Manipulating C Programs via Localizations within Data Structures
OOPSLA
Shengyi WangNational University of Singapore, Qinxiang CaoShanghai Jiao Tong University, Anshuman MohanNational University of Singapore, Aquinas HoborNational University of Singapore
DOI Pre-print
14:00 - 15:30: New Trends in Software DevelopmentRebase at Panorama
Chair(s): Neville GrechUniversity of Athens
14:00 - 14:45
Talk
The Dawn of the Cloud Computer
Rebase
14:45 - 15:30
Talk
The Times They Are a-Changin’: A Data-Driven Portrait of New Trends in How We Build Software, Open Source, & What Even is "Entry-Level" Now
Rebase
Heather MillerCarnegie Mellon University
14:00 - 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
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
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 HamzaEPFL, Switzerland, Nicolas VoirolEPFL, Switzerland, Viktor KunčakEPFL, Switzerland
Link to publication
18:30 - 18:32
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:32 - 18:35
Poster
WARDuino: A Dynamic WebAssembly Virtual Machine for Programming Microcontrollers
Posters
Robbert Gurdeep SinghUniversiteit Gent, Belgium, Christophe ScholliersUniversiteit Gent, Belgium
Link to publication
18:35 - 18:38
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:38 - 18:40
Poster
Asphalion: Trustworthy Shielding against Byzantine Faults
Posters
Ivana VukoticSnT, University of Luxembourg, Vincent RahliUniversity of Birmingham, Paulo Esteves-VeríssimoSnT, University of Luxembourg
Link to publication
18:40 - 18:43
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:43 - 18:46
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:46 - 18:49
Poster
TLA+ model checking made symbolic
Posters
Igor KonnovInria Nancy - Grand Est, France, Jure KukovecTU Wien, Austria, Thanh-Hai TranTU Wien, Austria
Link to publication
18:49 - 18:51
Poster
Getafix: Learning to Fix Bugs Automatically
Posters
Johannes BaderFacebook, Andrew ScottFacebook, Michael PradelUniversity of Stuttgart, Satish ChandraFacebook
Link to publication
18:51 - 18:54
Poster
Dependence-Aware, Unbounded Sound Predictive Race Detection
Posters
Kaan GençOhio State University, Jake RoemerOhio State University, Yufan XuOhio State University, Michael D. BondOhio State University
Link to publication
18:54 - 18:57
Poster
Effective Lock Handling in Stateless Model Checking
Posters
Michalis KokologiannakisMPI-SWS, Germany, Azalea RaadMPI-SWS, Germany, Viktor VafeiadisMPI-SWS, Germany
Link to publication
18:57 - 19:00
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:00 - 19:02
Poster
I/O Dependent Idempotence Bugs in Intermittent Systems
Posters
Milijana SurbatovichCarnegie Mellon University, Limin JiaCarnegie Mellon University, Brandon LuciaCarnegie Mellon University
Link to publication
19:02 - 19:05
Poster