SPLASH 2019 Program

Ambiguous, Informal, and Unsound: Metaprogramming for Naturalness

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

09:00 - 09:30
Full-paper

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

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

Isaac Oscar GarianoVictoria University of Wellington, Marco ServettoVictoria University Wellington, New Zealand

10:30 - 11:00: Catering - Coffee break at Break area

10:30 - 11:00
Coffee break

Meta-programming in Data Science

11:00 - 12:30: META 2019 - Concurrency and Data Structures at Room 1A
Chair(s): Christophe ScholliersUniversiteit Gent, Belgium

11:00 - 12:00
Talk

Jan VitekNortheastern University, Aviral GoelNortheastern University

12:00 - 12:30
Full-paper

Squirrel: An Extensible Distributed Key-Value Store

Kevin De Porre, Elisa Gonzalez BoixVrije Universiteit Brussel, Belgium

11:00 - 12:30: DSM'19 - Language engineering at Room 1B
Chair(s): Juha-Pekka TolvanenMetaCase

11:00 - 11:20
Talk

Methodology to develop Domain Specific Modeling Languages

11:20 - 11:40
Talk

A Constraint Modeling Framework for Domain-Specific Languages

11:40 - 12:00
Talk

A Meta-Metamodel for Dynamic Constraint Feedback in Modeling Languages

12:00 - 12:20
Talk

ModelFlow: Towards Reactive Model Management Workflows

11:00 - 12:30: DLS 2019 - Types and Tools at Room 2A
Chair(s): Nick Papoulias Université Grenoble Alpes, France

11:00 - 11:30
Talk

First-class Dynamic TypesResearch Paper

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

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

Michael M. VitousekIndiana University, Jeremy G. SiekIndiana University, USA, Avik ChaudhuriFacebook, USA

Mind the Gap: Lessons Learned from Translating Grammars between MontiCore and Xtext

12:30 - 14:00: Catering - Lunch at Restaurant

14:00 - 15:30: DSM'19 - Experience reports and demo at Room 1B
Chair(s): Matti RossiAalto University School of Business

14:00 - 14:20
Talk

14:20 - 14:40
Talk

Experience Report on the Development of a Specialized Multi-Views Multi-Stakeholders Model-based Engineering Framework

14:40 - 15:00
Demonstration

Mutation Testing for DSLs: Tool Demo

15:00 - 15:30
Meeting

Group work topic selection

14:00 - 15:30: DLS 2019 - Optimizing Computations 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

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

Olivier FlückigerNortheastern University, Guido ChariCzech Technical University, Jan JecmenCzech 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

Dejice JacobUniversity of Glasgow, Phil TrinderUniversity of Glasgow, Jeremy SingerUniversity of Glasgow

Link to publication DOI Authorizer link

14:00 - 15:30: META 2019 - Tooling 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

Stefan MarrUniversity of Kent

FlashFreeze: Low-Overhead JavaScript Instrumentation for Function Serialization

15:00 - 15:30
Full-paper

Jonathan Van der Cruysse, Lode Hoste, Wolfgang Van RaemdonckNokia Bell Labs

15:30 - 16:00: Catering - Coffee break at Break area

15:30 - 16:00
Coffee break

Lazy Pointer Update for Low Heap Compaction Pause TimesResearch Paper

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

16:00 - 16:30
Talk

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

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

Standard Object Out: Streaming Objects with Polymorphic Write StreamsExperience Paper

17:00 - 17:30
Talk

Marcel WeiherHasso-Plattner-Institut (HPI), Germany, Robert HirschfeldHasso-Plattner-Institut (HPI), Germany

Pre-print Media Attached

16:00 - 17:30: META 2019 - Closing at Room 1A

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

16:00 - 17:00
Meeting

Group work

17:00 - 17:30
Talk

Group work reporting

Mon 21 Oct
Times are displayed in time zone: (GMT+03:00) Beirut change

09:00 - 10:30: STOKED 2019 - Data Data Data! at Room 2B
Chair(s): Yvonne CoadyUniversity of Victoria

09:00 - 09:55
Industry talk

Remote Sensing and Data Dilemmas

William ParkinsonUrthecast

10:00 - 10:15
Experience report

Machine Learning with Remote Sensing Data

Ben SmithGraduate Student intern at Urthecast

10:20 - 10:30
Other

Brainstorming and Next Steps!

09:00 - 10:30: REBLS - Keynote at Room 3B

09:00 - 09:10
Day opening

Opening

09:10 - 10:30
Talk

Streams, Reactivity and FRP: where we are, where to go

Ivan PerezNIA / NASA Formal Methods

09:00 - 10:30: IC 2019 - Keynote at Room 3A
Chair(s): Tamás Szabóitemis / JGU Mainz

09:00 - 10:30
Talk

Differential dataflow: a model and implementationKeynote

Frank McSherryMaterialize, Inc

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

09:00 - 10:30
Talk

Adversarial Compilation

Olivier FlückigerNortheastern University, Jan VitekNortheastern University

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

09:00 - 09:10
Day opening

Welcome

09:10 - 09:30
Talk

Lightning Talks

09:30 - 10:30
Talk

Keynote: Bridging the Gap (or Falling into It)

Andreas RossbergDfinity Stiftung

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

09:00 - 09:45
Talk

Beyond Neural Networks for Programming: How to Learn from Programs

Veselin RaychevDeepCode AG

09:45 - 10:30
Talk

Renaissance: Benchmarking Suite for Parallel Applications on the JVM

Lubomír BulejCharles University

09:00 - 10:30: SLE 2019 - Session 1: SLE Welcome at Templars
Chair(s): Beatriz SanchezUniversity of York

09:00 - 10:30
Talk

Software Language Engineering -- 42 Frequently Asked Questions

Ralf LämmelFacebook London

10:30 - 11:00: Catering - Coffee break at Break area

10:30 - 11:00
Coffee break

Immersive Urban Planning: CityEngine and ArcGIS Urban (Esri, R&D Center Zurich)

11:00 - 12:30: STOKED 2019 - Demanding Interfaces! at Room 2B
Chair(s): Yvonne CoadyUniversity of Victoria

11:00 - 11:50
Industry talk

Michael Van Den BerghEsri, R&D Center Zurich

12:00 - 12:15
Experience report

Storming Charrettes! Urban Planning Using Touch Surface Technology

Matthew PlaudisGraduate Student intern at Esri, Canada

12:20 - 12:30
Other

Brainstorming and Next Steps!

11:00 - 12:30: IC 2019 - Incremental Datalog at Room 3A
Chair(s): Neville GrechUniversity of Athens

11:00 - 11:30
Talk

Generating Incremental Type Services

André PacakJGU Mainz, Sebastian ErdwegJGU Mainz

11:30 - 12:00
Talk

Incrementalizing inter-procedural program analyses with recursive aggregation in Datalog

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

Incremental Datalog Prototype in Soufflé

12:00 - 12:30
Talk

David ZhaoThe University of Sydney, Pavle SuboticAmazon, Bernhard ScholzUniversity of Sydney, Australia

11:00 - 12:30: REBLS - Language design and implementation at Room 3B
Chair(s): Tetsuo KaminaOita University

11:00 - 11:30
Talk

Concurrency Control of JavaScript with Arrows

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

Yoshitaka SakuraiTokyo Institute of Technology, Takuo WatanabeTokyo Institute of Technology

Turning Unobservable into Unreachable: Dynamic Reactive Programming without Leaks

12:00 - 12:30
Talk

David RichterTechnische Universität Darmstadt, Ragnar MogkTechnische Universität Darmstadt

Foreign language interfaces by code migration

11:00 - 12:30: GPCE 2019 - Language extension at Ground floor conference room
Chair(s): Adam WelcUber Technologies

11:00 - 11:30
Talk

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)

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)

Lucas KramerUniversity of Minnesota, Eric Van WykUniversity of Minnesota, USA

Agile Construction of Data Science DSLs (Tool Demo)

12:10 - 12:30
Talk

Artur AndrzejakHeidelberg University, Kevin Kiefer, Diego CostaHeidelberg University, Oliver WenzHeidelberg University

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

11:00 - 11:40
Talk

Improving Performance and Quality of Database-Backed Software

Junwen Yanguniversity of chicago

11:45 - 12:25
Talk

Performance, Portability, and Productivity for Data-Parallel Applications on Multi- and Many-Core Architectures

Ari RaschUniversity of Münster

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

11:00 - 11:45
Talk

From analysing programs to testing program analyses: How research relies on and enriches SE knowledge

Mira MeziniTechnische Universität Darmstadt

11:45 - 12:30
Talk

Deep Structural Learning of Code

Uri AlonTechnion

11:00 - 12:30: SLE 2019 - Session 2: Grammars at Templars
Chair(s): Elizabeth ScottRoyal Holloway University of London

11:00 - 11:30
Talk

A Feature-Based Classification of Triple Graph Grammar Variants

Nils WeidmannPaderborn University, Patrick RobrechtIndependent, Robin OppermannIndependent

11:30 - 12:00
Talk

Spectrum-Based Fault Localization for Context-Free Grammars

Moeketsi RaselimoStellenbosch University, Bernd FischerStellenbosch University

12:00 - 12:30
Talk

Consistency Management via a Combination of Triple Graph Grammars and Linear Programming

Nils WeidmannPaderborn University, Anthony AnjorinPaderborn University, Erhan LeblebiciTechnische Universität Darmstadt, Andy SchürrTechnische Universität Darmstadt

11:00 - 12:30: MPLR 2019 - Virtual machines at Room 1

11:00 - 11:30
Talk

Supporting On-Stack Replacement in Unstructured Languages by Loop Reconstruction and Extraction

Raphael MosanerJohannes Kepler University Linz, David LeopoldsederJohannes Kepler University Linz, Manuel RiggerETH Zurich, Roland SchatzJohannes Kepler University Linz, Hanspeter MössenböckJKU Linz, Austria

GraalSqueak: Toward a Smalltalk-based Tooling Platform for Polyglot Programming

11:30 - 12:00
Talk

Fabio NiephausHasso Plattner Institute, University of Potsdam, Tim FelgentreffOracle Labs, Potsdam, Robert HirschfeldHasso-Plattner-Institut (HPI), Germany

WARDuino: A Dynamic WebAssembly Virtual Machine for Programming Microcontrollers

12:00 - 12:30
Talk

Robbert Gurdeep SinghUniversiteit Gent, Belgium, Christophe ScholliersUniversiteit Gent, Belgium

DOI Authorizer link Pre-print

12:30 - 14:00: Catering - Lunch at Restaurant

14:00 - 15:30: MPLR 2019 - Concurrency and parallelism at Room 1

14:00 - 14:30
Talk

Dynamic One-To-One Mapping of Ownership Records for STM using Versioned Weak References

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

Tatsuya AbeChiba Institute of Technology, Japan

15:00 - 15:30
Talk

Hosting OpenMP Programs on Java Virtual Machines

Swapnil Laxman GaikwadThe University of Manchester, Andrew NisbetThe University of Manchester, Mikel LujánUniversity of Manchester

14:00 - 15:30: REBLS - Domain specific applications at Room 3B
Chair(s): Hidehiko MasuharaTokyo Institute of Technology

14:00 - 14:30
Talk

GRASS: Generic Reactive Application-Specific Scheduling

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

Vadim ZaytsevRaincode Labs, Belgium

15:00 - 15:30
Talk

Multitier Reactive Programming in High Performance Computing

Daniel SokolowskiTechnische Universität Darmstadt, Philipp MartensTechnische Universität Darmstadt, Guido SalvaneschiTechnische Universität Darmstadt

Precise, Efficient, and Expressive Incremental Build Scripts with PIE

14:00 - 15:30: IC 2019 - Incremental IDE services at Room 3A
Chair(s): Tamás Szabóitemis / JGU Mainz

14:00 - 14:30
Talk

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

Jeff SmitsDelft University of Technology, Gabriël KonatDelft University of Technology, Eelco VisserDelft University of Technology

An Incremental Locking Scheme for Transactional Editing

15:00 - 15:30
Talk

Nils KurowskyFernuni Hagen

14:00 - 15:30: GPCE 2019 - Meta 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

Alen StojanovETH Zurich, Tiark RompfPurdue University, Markus PüschelETH Zürich

14:30 - 15:00
Talk

Reflection in Attribute Grammars

Lucas KramerUniversity of Minnesota, Ted KaminskiUniversity of Minnesota, Eric Van WykUniversity of Minnesota, USA

Polymorphic Extractors for Semantic and Portable Pattern Matching (Short Paper)

15:00 - 15:20
Talk

Amir ShaikhhaUniversity of Oxford

14:00 - 15:30: STOKED 2019 - Platforms, Plumbing and System Infrastructure at Room 2B
Chair(s): Celina BergUBC, Computer Science

14:00 - 14:30
Other

Climate Action?

14:30 - 15:00
Experience report

Data Provenance and the STAC specification

Jonathan HealyGraduate Student intern with the Earth Data Store

15:00 - 15:30
Other

Brainstorming and Next Steps!

14:00 - 15:30: NJR 2019 - Session 3 at Room 2A

14:00 - 14:30
Talk

Understanding the Gaps in Static Program Analysis

Jens DietrichVictoria University of Wellington

14:30 - 15:00
Talk

50K-C: A Dataset of Compilable, and Compiled, Java Projects

Rohan AcharUC Irvine

15:00 - 15:30
Talk

NJR: Executable, Scriptable, and Searchable Java Programs

Jens PalsbergUniversity of California, Los Angeles

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

14:00 - 14:40
Talk

Florian LatifiJohannes Kepler University Linz

Retaining Semantic Information in the Static Analysis of Real-World Software

14:45 - 15:25
Talk

Gábor HorváthEötvös Loránd University

Operationalizing the Integration of User Interaction Specifications in the Synthesis of Modeling Editors

14:00 - 15:30: SLE 2019 - Session 3: Languages at Templars
Chair(s): Casper Bach PoulsenDelft University of Technology

14:00 - 14:30
Talk

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

David BromanKTH Royal Institute of Technology

14:50 - 15:10
Talk

Shadow Models [Tool Demo] -- Incremental Transformations for MPSDEMO

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

Nick Papoulias Université Grenoble Alpes, France

15:30 - 16:00: Catering - Coffee break at Break area

15:30 - 16:00
Coffee break

Toward Lazy Evaluation in a Graph Database

16:00 - 17:30: IC 2019 - Databases & Semantics at Room 3A
Chair(s): Markus Völteritemis/independent

16:00 - 16:30
Talk

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

Roly PereraThe Alan Turing Institute

Immersive Visual Analytics for Large Industrial Data

16:00 - 17:30: STOKED 2019 - Getting Real with Augmented and Virtual Realities! at Room 2B
Chair(s): Derek JacobyQVirt Labs

16:00 - 16:50
Industry talk

Li JiLlamaZOO

17:00 - 17:15
Experience report

Challenges and Considerations in 3D Interactive Interfaces

Karina RigbyGreg Marshall Design

17:20 - 17:30
Other

Brainstorming for the New Frontier: Next Steps!

16:00 - 17:30: MPLR 2019 - Program analysis at Room 1

16:00 - 16:30
Talk

Predicting All Data Race Pairs for a Specific Schedule

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

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

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

16:00 - 16:30
Talk

NAB: Automated Large-scale Multi-language Dynamic Program Analysis in Public Code Repositories

Andrea RosàUniversity of Lugano, Switzerland

16:30 - 17:00
Talk

Corpus Distillation Techniques for Effective Fuzzing: A Comprehensive Evaluation

Tony HoskingAustralian National University / Data61

17:00 - 17:30
Talk

MadMax and Friends: Program Analysis for Smart Contracts

Neville GrechUniversity of Athens

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

16:00 - 16:40
Talk

Exploiting Models for Scalable and High Throughput Distributed Software

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

Dominik AumayrJohannes Kepler University Linz, Austria

Multiple Lexicalisation - A Java Based Study

16:00 - 17:30: SLE 2019 - Session 4: Parsing at Templars
Chair(s): Adrian JohnstoneRoyal Holloway, University of London

16:00 - 16:30
Talk

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

Moeketsi RaselimoStellenbosch University, Jan TaljaardStellenbosch University, Bernd FischerStellenbosch University

16:50 - 17:20
Talk

Default disambiguation for online parsers

Lukas DiekmannKing's College London, Laurence TrattKing's College London

Language-Parametric Semantic Editor Services based on Declarative Type System Specifications

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

17:30 - 17:33
Poster

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

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

Shigeyuki SatoThe University of Tokyo

17:39 - 17:42
Poster

Renaissance: A Modern Benchmark Suite for Parallel Applications on the JVM

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

Matúš SulírTechnical University of Košice

MetaDL : Declarative Program Analysis for the Masses

17:45 - 17:48
Poster

Alexandru DuraLund University, Hampus BalldinLund University

17:48 - 17:52
Poster

Obsidian: Typestate and Assets for Safer Smart Contracts

Michael CoblenzCarnegie Mellon University, Jonathan AldrichCarnegie Mellon University, Joshua SunshineCarnegie Mellon University, Brad MyersCarnegie Mellon University

17:52 - 17:55
Poster

Component-Based Computation-Energy Modeling for Embedded Systems

Adam SeewaldUniversity of Southern Denmark, Ulrik 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

Nafise Eskandani MasouleTechnische 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

Minseok JeonKorea University, South Korea, Sehun JeongKorea University, South Korea, Hakjoo OhKorea University

18:01 - 18:04
Poster

Automatically Fixing Memory-Leaks

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

Sunbeom SoKorea University, Myungho LeeKorea University, Hakjoo OhKorea University

18:07 - 18:11
Poster

Towards a WebAssembly Standalone Runtime on GraalVM

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

Ari RaschUniversity of Münster, Richard SchulzeUniversity of Münster, Sergei Gorlatch

18:14 - 18:17
Poster

Squirrel: An Extensible Distributed KV Store

Kevin De Porre, Elisa Gonzalez BoixVrije Universiteit Brussel, Belgium

Memory efficient CRDTs in dynamic environments

18:17 - 18:20
Poster

Jim BauwensVrije Universiteit Brussel, Elisa Gonzalez BoixVrije Universiteit Brussel, Belgium

Context-Oriented Live Programming Environments with Mixed Reality System for IoT Education

18:20 - 18:23
Poster

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

Generating a Fluent API with Syntax Checking from an LR Grammar

18:23 - 18:26
Poster

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

Multitier Reactive Programming in High Performance Computing

18:26 - 18:30
Poster

Daniel SokolowskiTechnische Universität Darmstadt, Philipp MartensTechnische Universität Darmstadt, Guido SalvaneschiTechnische Universität Darmstadt

Certifying Graph-Manipulating C Programs via Localizations within Data Structures

18:30 - 18:33
Poster

Shengyi WangNational University of Singapore, Qinxiang CaoShanghai Jiao Tong University, Anshuman MohanNational University of Singapore, Aquinas HoborNational University of Singapore

Sound and Reusable Components for Abstract Interpretation

18:33 - 18:36
Poster

Sven KeidelJGU Mainz, Sebastian ErdwegJGU Mainz

Puppy: An Educational Simplification of Python with a Live Playground

18:36 - 18:39
Poster

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)

Artur AndrzejakHeidelberg University, Kevin Kiefer, Diego CostaHeidelberg University, Oliver WenzHeidelberg University

A Fault-Tolerant Programming Model for Distributed Interactive Applications

18:42 - 18:45
Poster

Ragnar MogkTechnische Universität Darmstadt, Joscha DrechslerTechnische Universität Darmstadt, Guido SalvaneschiTechnische Universität Darmstadt, Mira MeziniTechnische Universität Darmstadt

WARDuino: A Dynamic WebAssembly Virtual Machine for Programming Microcontrollers

18:45 - 18:48
Poster

Robbert Gurdeep SinghUniversiteit Gent, Belgium, Christophe ScholliersUniversiteit Gent, Belgium

Automatic and Scalable Detection of Logical Errors in Functional Programming Assignments

18:48 - 18:52
Poster

Dowon SongKorea University, Myungho LeeKorea University, Hakjoo OhKorea University

IVT: An Efficient Method for Sharing Subtype Polymorphic Objects

18:52 - 18:55
Poster

Yu-Ping WangTsinghua University, China, Xu-Qiang HuTsinghua Univeraity, China, Zi-Xin ZouTsinghua Univeraity, China, Wende TanTsinghua University, China

Turning Unobservable into Unreachable: Dynamic Reactive Programming without Leaks

18:55 - 18:58
Poster

David RichterTechnische Universität Darmstadt, Ragnar MogkTechnische Universität Darmstadt

Language-Integrated Privacy-Aware Distributed Queries

18:58 - 19:01
Poster

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

Towards Efficient, Multi-Language Dynamic Taint Analysis

19:01 - 19:04
Poster

Jacob KreindlJohannes Kepler University Linz, Daniele BonettaOracle Labs, Hanspeter MössenböckJKU Linz, Austria

Supporting On-Stack Replacement in Unstructured Languages by Loop Reconstruction and Extraction

19:04 - 19:07
Poster

Reflection in Attribute Grammars

19:07 - 19:11
Poster

Lucas KramerUniversity of Minnesota, Ted KaminskiUniversity of Minnesota, Eric Van WykUniversity of Minnesota, USA

An Empirical Study of Programming Language Effect on OSS Development Effort

19:11 - 19:14
Poster

Muna AltherwiSouthampton University

19:14 - 19:17
Poster

Debugging Support for Multi-paradigm Concurrent Programs

Florian LatifiJohannes Kepler University Linz

19:17 - 19:20
Poster

Dominik AumayrJohannes Kepler University Linz, Austria

19:20 - 19:23
Poster

Gradual Program Analysis

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

Maarten P. SijmDelft University of Technology

19:26 - 19:30
Poster

Linear capabilities for CHERI

Aaron LippeveldtsVrije Universiteit Brussel, Dominique DevrieseVrije Universiteit Brussel

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

17:20 - 18:00
Awards

SLE MIP Awards 2018 and 2019

Tue 22 Oct
Times are displayed in time zone: (GMT+03:00) Beirut change

09:00 - 10:30: GPCE 2019 - GPCE Keynote at Ground floor conference room
Chair(s): Christoph ReichenbachLund University

09:00 - 10:30
Talk

Let it Flow: Dataflow abstractions for interactive distributed applications

Mira MeziniTechnische Universität Darmstadt

09:00 - 10:30: AGERE 2019 - Keynote at Room 3A

09:00 - 09:15
Talk

Welcome and Introduction

09:15 - 10:30
Talk

Pony: Semantics and Type System Co-DesignKeynote

Sophia DrossopoulouImperial College London

09:00 - 10:30: VMIL 2019 - Keynote & Session #1 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

Laurence TrattKing's College London

10:00 - 10:30
Full-paper

Scalable Comparison of JavaScript V8 Bytecode Traces (Room 1 -- Joint with MPLR)

Javier Cabrera ArteagaKTH Royal Institute of Technology, Martin MonperrusKTH Royal Institute of Technology, Benoit BaudryKTH Royal Institute of Technology, Sweden

How did we get here and where can we go next?

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

09:00 - 10:30
Talk

Laurence TrattKing's College London

09:00 - 10:30: LIVE 2019 - Opening keynote at Room 2A

09:00 - 10:00
Talk

Dark: a holistic programming language

Paul Biggar

10:00 - 10:30
Talk

Steady Typing

Yair ChuchemLamdu, Eyal LotemLamdu

09:00 - 10:30: AI-SEPS - Papers 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

Aleksandr MaramzinUniversity of Edinburgh, Christos VasiladiotisUniversity of Edinburgh, Roberto Castañeda LozanoUniversity of Edinburgh, Murray ColeUniversity of Edinburgh, Björn FrankeUniversity of Edinburgh, UK

Automatic Identification of Standard Template Algorithms in Raw Loops

09:25 - 09:40
Talk

Yannic FischlerTU Darmstadt, Jan-Patrick LehrGraduate School of Computational Engineering, TU Darmstadt, Christian BischofScientific Computing, TU Darmstadt, Matthäus Magnus KiehnTU Darmstadt

Icebreaker and Networking Activity

09:00 - 10:30: SLE 2019 - Session 5: GPCE Welcome at Templars

09:00 - 10:30: PLMW - Why are we here? at Room 4
Chair(s): Jonathan BellGeorge Mason University

09:00 - 09:15
Day opening

Introduction

Karim AliUniversity of Alberta, Jonathan BellGeorge Mason University, Marianna RapoportUniversity of Waterloo

09:15 - 09:45
Social Event

Marianna RapoportUniversity of Waterloo, Jonathan BellGeorge Mason University, Karim AliUniversity of Alberta

09:45 - 10:30
Talk

Why do a PhD?

Yannis SmaragdakisUniversity of Athens

Static TypeScript: An Implementation of a Static Compiler for the TypeScript Language

10:30 - 11:00: Catering - Coffee break at Break area

11:00 - 12:30: MPLR 2019 - Compilation and code manipulation at Room 1
Chair(s): Shigeru ChibaGraduate School of Information Science and Technology, The University of Tokyo

11:00 - 11:30
Talk

Thomas BallMicrosoft Research, Peli de HalleuxMicrosoft Research, Michal MoskalMicrosoft Research

11:30 - 12:00
Talk

PorcE: A Deparallelizing Compiler

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

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: GPCE 2019 - Domain-specific languages and modeling at Ground floor conference room
Chair(s): Ulrik SchultzUniversity of Southern Denmark

11:00 - 11:30
Talk

Automated Metamodel Augmentation for Seamless Model Evolution Tracking and Planning

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

Karl CronburgTufts University, Sam GuyerTufts University

Compiler Generation for Performance-Oriented Embedded DSLs (Short Paper)

12:00 - 12:20
Talk

Amir ShaikhhaUniversity of Oxford, Vojin JovanovicOracle Labs, Christoph E. KochEPFL

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

11:00 - 11:30
Full-paper

Which of my Transient Type Checks are not (Almost) Free?

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

Rohan PadhyeUniversity of California, Berkeley, Koushik SenUniversity of California, Berkeley

Towards Gradual Checking of Reference Capabilities

12:00 - 12:15
Talk

Kiko Fernandez-ReyesUppsala University, Isaac Oscar GarianoVictoria University of Wellington, James NobleVictoria University of Wellington, Tobias WrigstadUppsala University

Formal Verification of JIT by Symbolic Execution

12:15 - 12:30
Talk

Boris ShingarovLabWare

11:00 - 12:30: AGERE 2019 - Session 1 at Room 3A

11:00 - 11:30
Talk

Modal Assertions for Actor Correctness

Colin GordonDrexel University

Static Local Coordination Avoidance for Distributed Objects

11:30 - 12:00
Talk

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

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: LIVE 2019 - Session 2 at Room 2A

11:00 - 11:30
Talk

Mech - A Programming Language for Data Driven, Reactive Systems

Corey MontellaLehigh University

11:30 - 12:00
Talk

Context-Oriented Live Programming Environments with Mixed Reality System for IoT Education

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

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: SLE 2019 - Session 6: Modeling at Templars

11:00 - 11:30
Talk

Domain-specific model differencing in visual concrete syntaxBest Paper

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

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

Sergio GarciaChalmers | University of Gothenburg, Patrizio PelliccioneChalmers | University of Gothenburg, Claudio MenghiUniversity of Luxembourg, Luxembourg, Thorsten BergerChalmers | University of Gothenburg, Tomas BuresCharles University

11:00 - 12:30: PLMW - What do we do with PL? at Room 4
Chair(s): Karim AliUniversity of Alberta

11:00 - 11:45
Talk

What is PL Research?

Eelco VisserDelft University of Technology

Panel: Jobs After the PhD

11:45 - 12:30
Other

Dan BarowyWilliams College, Ciera JaspanGoogle, Alessandra GorlaIMDEA Software Institute, Kenny FonerGalois

12:30 - 14:00: Catering - Lunch at Restaurant

14:00 - 15:30: MPLR 2019 - Applications 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

Malin KällénUppsala University, Tobias WrigstadUppsala University

14:30 - 15:00
Talk

Asynchronous Snapshots of Actor Systems for Latency-Sensitive Applications

Dominik AumayrJohannes Kepler University Linz, Austria, Stefan MarrUniversity of Kent, Elisa Gonzalez BoixVrije Universiteit Brussel, Belgium, Hanspeter MössenböckJKU Linz, Austria

Keynote 2: Who is afraid of the Turnstile?Keynote

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

14:00 - 15:00
Talk

Andreas RossbergDfinity Stiftung

15:00 - 15:30
Full-paper

Designing a Low-Level Virtual Machine for Implementing Real-Time Managed Languages

Javad Ebrahimian AmiriAustralian National University / Data61, Steve BlackburnAustralian National University , Tony HoskingAustralian National University / Data61, Michael NorrishData61 at CSIRO, Australia / Australian National University, Australia

How To Write Papers So People Can Read Them

14:00 - 15:30: PLMW - Practical Bits (Grads) at Room 4
Chair(s): Marianna RapoportUniversity of Waterloo

14:00 - 14:45
Talk

Derek DreyerMPI-SWS

Unaccustomed As I Am to Public Speaking

14:45 - 15:30
Talk

John HughesChalmers University of Technology, Sweden

Finding Mentors and Building Networks

14:00 - 15:30: PLMW - Practical Bits (Undergrads) at Room 3B
Chair(s): Jonathan BellGeorge Mason University

14:00 - 14:45
Talk

Alessandra GorlaIMDEA Software Institute

How to Apply to Grad School?

14:45 - 15:30
Talk

Ciera JaspanGoogle

Lifted Static Analysis using a Binary Decision Diagram Abstract Domain

14:00 - 15:30: GPCE 2019 - Product lines at Ground floor conference room
Chair(s): Guido SalvaneschiTechnische Universität Darmstadt

14:00 - 14:30
Talk

Aleksandar S. Dimovski

14:30 - 15:00
Talk

Harmonized Temporal Feature Modeling to Uniformly Perform, Track, Analyze and Replay Software Product Line Evolution

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

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: AGERE 2019 - Session 2 at Room 3A

14:00 - 14:30
Talk

Krestianstvo Luminary: Decentralized Virtual Time for Croquet architecture

Nikolai SuslovFund for Supporting Development of RT

Actor-based Incremental Tree Data Processing for Large-scale Machine Learning Applications

14:30 - 15:00
Talk

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

Sebastian BlessingImperial College London, Kiko Fernandez-ReyesUppsala University, Albert Mingkun Yang, Sophia DrossopoulouImperial College London, Tobias WrigstadUppsala University

14:00 - 15:30: LIVE 2019 - Session 3 at Room 2A

14:00 - 14:30
Talk

Userland: creating an integrated dataflow environment for end-users

Hisham Muhammad

14:30 - 15:00
Talk

Puppy: An Educational Simplification of Python with a Live Playground

Taku TadaYokohama National University, Yuka AkinobuJapan Women’s University, Makoto SakaneJapan Women’s University, Kimio KuramitsuJapan Women’s University

Histogram: You have to know the past to understand the present

15:00 - 15:30
Talk

Tomas PetricekUniversity of Kent

14:00 - 15:30: SLE 2019 - Session 7: DSLs and Composition at Templars
Chair(s): Eugene SyrianiUniversité de Montréal

14:00 - 14:30
Talk

Efficient Late Binding of Dynamic Function Compositions

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

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

Pierre JeanjeanInria, Univ Rennes, CNRS, IRISA, Benoit CombemaleUniversity of Toulouse, Olivier BaraisUniv. Rennes, Inria, CNRS, IRISA

15:30 - 16:00: Catering - Coffee break at Break area

16:00 - 17:30: PLMW - Being a PhD Student 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

Kenny FonerGalois

Link to publication Media Attached

16:45 - 17:30
Other

Panel: Current PhD Students and Postdocs

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: LIVE 2019 - Closing keynote at Room 2A

16:00 - 17:00
Talk

The Act of Computer Programming

James NobleVictoria University of Wellington

16:00 - 17:30: AGERE 2019 - Discussion/Panel at Room 3A

16:00 - 17:30: VMIL 2019 - Session #4 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

Guillaume BertholonÉcole Normale Supérieure, Stephen KellUniversity of Kent

16:30 - 17:00
Full-paper

Memory efficient CRDTs in dynamic environments

Jim BauwensVrije Universiteit Brussel, Elisa Gonzalez BoixVrije Universiteit Brussel, Belgium

17:00 - 17:30
Full-paper

Implementing a Language with Explicit Assignment Semantics

Dimitri RacordonUniversity of Geneva, Centre Universitaire d'Informatique, Geneva, Switzerland, Didier BuchsUniversity of Geneva, Centre Universitaire d'Informatique, Geneva, Switzerland

16:00 - 17:30: SLE 2019 - Sessions 8: Types, ACID and Governance at Templars
Chair(s): Vadim ZaytsevRaincode Labs, Belgium

16:00 - 16:20
Talk

Analysis and Modeling of the Governance in General Programming LanguagesNEW IDEA

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)

Elias CastegrenKTH Royal Institute of Technology, Kiko Fernandez-ReyesUppsala University

Vision Paper: Generating Incremental Type ServicesNEW IDEA

16:50 - 17:10
Talk

André PacakJGU Mainz, Sebastian ErdwegJGU Mainz

17:10 - 17:40
Talk

Transactional Editing: Giving ACID to Programmers

Friedrich SteimannFernuni Hagen, Nils KurowskyFernuni Hagen

19:00 - 22:00: SLE 2019 - Dinner at Attica

19:00 - 22:00
Dinner

Dinner (registration add-on)

Wed 23 Oct
Times are displayed in time zone: (GMT+03:00) Beirut change

09:00 - 10:30: Rebase - Rebase Keynote (Might) 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

Yannis SmaragdakisUniversity of Athens, Shan Shan HuangRelational.ai, Michael CarbinMassachusetts Institute of Technology

09:20 - 10:30
Talk

The Algorithm for Precision Medicine

Matthew MightUniversity of Alabama at Birmingham | Harvard Medical School

10:30 - 11:00: Catering - Coffee break at Break area

11:00 - 12:30: OOPSLA - Abstract Interpretation 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

Zhuo ZhangPurdue University, Wei YouPurdue University, Guanhong TaoPurdue University, Guannan WeiPurdue University, Yonghwi KwonUniversity of Virginia, Xiangyu ZhangPurdue University

Staged Abstract Interpreters: Fast and Modular Whole-Program Analysis via Meta-programming

11:22 - 11:45
Talk

Guannan WeiPurdue University, Yuxuan ChenPurdue University, Tiark RompfPurdue University

Static Analysis with Demand-Driven Value Refinement

11:45 - 12:07
Talk

Benno SteinUniversity of Colorado Boulder, Benjamin Barslev NielsenAarhus University, Bor-Yuh Evan ChangUniversity of Colorado Boulder | Amazon, Anders MøllerAarhus University

Sound and Reusable Components for Abstract Interpretation

12:07 - 12:30
Talk

Sven KeidelJGU Mainz, Sebastian ErdwegJGU Mainz

Modular Verification of Heap Reachability Properties in Separation Logic

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

11:00 - 11:22
Research paper

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

Pavel PanchekhaUniversity of Utah, Michael D. ErnstUniversity of Washington, USA, Zachary TatlockUniversity of Washington, Seattle, Shoaib KamilAdobe

Modular Verification for Almost-Sure Termination of Probabilistic Programs

11:45 - 12:07
Talk

Mingzhang HuangShanghai Jiao Tong University, Hongfei FuShanghai Jiao Tong University, Krishnendu ChatterjeeIST Austria, Amir Kafshdar GoharshadyIST Austria

Leveraging Rust Types for Modular Specification and Verification

12:07 - 12:30
Talk

Vytautas AstrauskasETH Zurich, Switzerland, Peter MüllerETH Zurich, Federico PoliETH Zurich, Switzerland, Alexander J. SummersETH Zurich

Deployable Probabilistic Programming

11:00 - 12:30: Onward! Papers - Onward! Papers 1 at Templars
Chair(s): Wolfgang De MeuterVrije Universiteit Brussel

11:00 - 11:30
Talk

David TolpinPUB+

11:30 - 12:00
Talk

An Approach for Persistent Time-Varying Values

Tetsuo KaminaOita University, Tomoyuki AotaniTokyo Institute of Technology

12:00 - 12:30
Talk

CallƐ: An Effect System for Method Calls

Isaac Oscar GarianoVictoria University of Wellington, James NobleVictoria University of Wellington, Marco ServettoVictoria University Wellington, New Zealand

11:00 - 12:30: Rebase - Programming at Scale at Panorama
Chair(s): Shan Shan HuangRelational.ai

11:00 - 11:45
Talk

Improving Engineering Productivity at Scale

Ciera JaspanGoogle

11:45 - 12:30
Talk

Challenges in Large-Scale Application Development

Adam WelcUber Technologies

12:30 - 14:00: Catering - Lunch at Restaurant

14:00 - 15:30: Rebase - Emerging Domains at Panorama
Chair(s): Aviral GoelNortheastern University

14:00 - 14:45
Talk

Quantum Programming

Jens PalsbergUniversity of California, Los Angeles

14:45 - 15:30
Talk

Augmenting Raw Materials with Sensing and Computation

Phillip Stanley-MarbellUniversity of Cambridge

14:00 - 15:30: OOPSLA - Machine Learning 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

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

Improving Bug Detection via Context-Based Code Representation Learning and Attention-Based Neural Networks

14:22 - 14:45
Talk

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

Probabilistic Verification of Fairness Properties via Concentration

14:45 - 15:07
Talk

Osbert BastaniUniversity of Pennsylvania, Xin ZhangMassachusetts Institute of Technology, Armando Solar-LezamaMassachusetts Institute of Technology

Generating Precise Error Specifications for C: A Zero Shot Learning Approach

15:07 - 15:30
Talk

Baijun WuUniversity of Louisiana at Lafayette, John Peter Campora IIIUniversity of Louisiana at Lafayette, He YiUniversity of Louisiana at Lafayette, Alexander SchlechtUniversity of Louisiana at Lafayette, Sheng ChenUniversity of Louisiana at Lafayette

AlleAlle: Bounded Relational Model Finding with Unbounded Data

14:00 - 15:30: Onward! Papers - Onward! Papers 2 at Templars
Chair(s): Hidehiko MasuharaTokyo Institute of Technology

14:00 - 14:30
Talk

Jouke StoelCWI, Tijs van der StormCWI & University of Groningen, Netherlands, Jurgen VinjuCWI, Netherlands

Active Learning for Software Engineering

14:30 - 15:00
Talk

Jose CambroneroMIT, Thurston HY DangMIT, Nikos VasilakisMIT CSAIL, USA, Jiasi ShenMassachusetts Institute of Technology, Jerry WuMIT, Martin RinardMIT

14:00 - 15:30: OOPSLA - Testing at Olympia
Chair(s): Stephen KellUniversity of Kent

14:00 - 14:22
Talk

Reflection-Aware Static Regression Test Selection

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

Trace Aware Random Testing for Distributed Systems

14:22 - 14:45
Talk

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)

Automatic and Scalable Detection of Logical Errors in Functional Programming Assignments

14:45 - 15:07
Talk

Dowon SongKorea University, Myungho LeeKorea University, Hakjoo OhKorea University

On the Complexity of Checking Transactional Consistency

15:07 - 15:30
Talk

Ranadeep BiswasIRIF, University Paris Diderot & CNRS, Constantin EneaIRIF, University Paris Diderot & CNRS

Precision-Preserving Yet Fast Object-Sensitive Pointer Analysis with Partial Context Sensitivity

15:30 - 16:00: Catering - Coffee break at Break area

16:00 - 17:30: OOPSLA - Analysis at Olympia
Chair(s): Jan VitekNortheastern University

16:00 - 16:22
Talk

Jingbo LuUNSW Sydney, Jingling XueUNSW Sydney

Precise Reasoning with Structured Time, Structured Heaps, and Collective Operations

16:22 - 16:45
Talk

Gregory EssertelPurdue University, Guannan WeiPurdue University, Tiark RompfPurdue University

I/O Dependent Idempotence Bugs in Intermittent Systems

16:45 - 17:07
Talk

Milijana SurbatovichCarnegie Mellon University, Limin JiaCarnegie Mellon University, Brandon LuciaCarnegie Mellon University

PlanAlyzer: Assessing Threats to the Validity of Online Experiments

17:07 - 17:30
Talk

Emma ToschUniversity of Massachusetts Amherst, Eytan BakshyFacebook, Inc., Emery BergerUniversity of Massachusetts Amherst, David JensenUniversity of Massachusetts Amherst, Eliot MossUniversity of Massachusetts Amherst

Formal Foundations of Serverless Computing

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

16:00 - 16:22
Talk

Abhinav JangdaUniversity of Massachusetts Amherst, Donald PinckneyUniversity of Massachusetts Amherst, Yuriy BrunUniversity of Massachusetts Amherst, Arjun GuhaUniversity of Massachusetts, Amherst

A Formalization of Java’s Concurrent Access Modes

16:22 - 16:45
Talk

John BenderUniversity of California, Los Angeles, Jens PalsbergUniversity of California, Los Angeles

A Path to DOT: Formalizing Fully Path-Dependent Types

16:45 - 17:07
Talk

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

Marcos Yukio SiraichiUFMG, Vinícius Fernandes dos SantosUFMG, Caroline CollangeINRIA, Fernando Magno Quintão PereiraUFMG

Machine Learning for Program Analysis

16:00 - 17:30: Rebase - Machine Learning at Panorama

16:00 - 16:45
Talk

Miltiadis AllamanisMicrosoft Research, Cambridge

16:45 - 17:30
Talk

An Open Source Hardware-Software Blueprint for Flexible Deep Learning Specialization

Thierry MoreauUniversity of Washington

16:00 - 17:30: Onward! Essays - Onward! Essays - Session 1 at Templars

16:00 - 16:45
Talk

Local-first software: You own your data, in spite of the cloud

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?

Yannis SmaragdakisUniversity of Athens

17:30 - 18:30: OOPSLA - Awards / SIGPLAN Town Hall Meeting at Olympia
Chair(s): Eelco VisserDelft University of Technology, Jens PalsbergUniversity of California, Los Angeles

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

18:00 - 18:11
Talk

Is Mutation Score a Fair Metric?

Beatriz SouzaFederal University of Campina Grande

18:11 - 18:22
Talk

Designing immersive virtual training environments for experiential learning

Kalliopi Evangelia StavrouliaCyprus University of Technology, Andreas LanitisCyprus University of Technology

18:22 - 18:33
Talk

Debugging Support for Multi-paradigm Concurrent Programs

Dominik AumayrJohannes Kepler University Linz, Austria

18:33 - 18:45
Talk

Linear capabilities for CHERI

Aaron LippeveldtsVrije Universiteit Brussel, Dominique DevrieseVrije Universiteit Brussel

18:45 - 18:56
Talk

An Empirical Study of Programming Language Effect on OSS Development Effort

Muna AltherwiSouthampton University

18:56 - 19:07
Talk

Florian LatifiJohannes Kepler University Linz

Incremental Scannerless Generalized LR Parsing

19:07 - 19:18
Talk

Gradual Program Analysis

Samuel EstepLiberty University, Jenna WiseCarnegie Mellon University, Jonathan AldrichCarnegie Mellon University, Éric TanterUniversity of Chile & Inria Paris, Johannes BaderFacebook

19:18 - 19:30
Talk

Maarten P. SijmDelft University of Technology

19:30 - 22:30: Catering - Banquet at Aegli Reception Area

19:30 - 22:30
Dinner

Dinner

Thu 24 Oct
Times are displayed in time zone: (GMT+03:00) Beirut change

09:30 - 10:30: Keynotes - Sack keynote at Olympia
Chair(s): Tomas PetricekUniversity of Kent, Hidehiko MasuharaTokyo Institute of Technology

09:30 - 10:30
Talk

The Software Arts

Warren SackUniversity of California, Santa Cruz

10:30 - 11:00: Catering - Coffee break at Break area

11:00 - 12:30: OOPSLA - Distributed Systems at Olympia
Chair(s): Arjun GuhaUniversity of Massachusetts, Amherst

11:00 - 11:22
Talk

Asphalion: Trustworthy Shielding against Byzantine Faults

Ivana VukoticSnT, University of Luxembourg, Vincent RahliUniversity of Birmingham, Paulo Esteves-VeríssimoSnT, University of Luxembourg

DProf: Distributed Profiler with Strong Guarantees

11:22 - 11:45
Talk

Zachary BenavidesUC Riverside, Keval VoraSimon Fraser University, Rajiv GuptaUC Riverside

A Fault-Tolerant Programming Model for Distributed Interactive Applications

11:45 - 12:07
Talk

Ragnar MogkTechnische Universität Darmstadt, Joscha DrechslerTechnische Universität Darmstadt, Guido SalvaneschiTechnische Universität Darmstadt, Mira MeziniTechnische Universität Darmstadt

Language-Integrated Privacy-Aware Distributed Queries

12:07 - 12:30
Talk

DeepSEA: A Language for Certified System Software

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

11:00 - 11:22
Talk

Vilhelm SjöbergYale University, Yuyang SangYale University, Shu-chun WengYale University, Zhong ShaoYale University

11:22 - 11:45
Talk

Weakening WebAssembly

Conrad WattUniversity of Cambridge, Andreas RossbergDfinity Stiftung, Jean Pichon-PharabodUniversity of Cambridge

Safer Smart Contract Programming with Scilla

11:45 - 12:07
Talk

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

Filip KrikavaCzech Technical University, Heather MillerCarnegie Mellon University, Jan VitekNortheastern University

Declarative Assembly of Web Applications from Predefined Concepts

11:00 - 12:30: Onward! Papers - Onward! Papers 3 at Templars
Chair(s): Tobias WrigstadUppsala University

11:00 - 11:30
Talk

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

Rohan AcharUC Irvine, Pritha DawnUC Irvine, Crista LopesUC Irvine

12:00 - 12:30
Talk

Storage Combinators

Marcel WeiherHasso-Plattner-Institut (HPI), Germany, Robert HirschfeldHasso-Plattner-Institut (HPI), Germany

Growing thousandfold over a half-century: Form and forces of Unix architectural evolution

11:00 - 12:30: Rebase - Systems at Scale at Panorama
Chair(s): Sasa MisailovicUniversity of Illinois at Urbana-Champaign

11:00 - 11:45
Talk

Diomidis SpinellisAthens University of Economics and Business

Growing Databases to Exabyte Scale

11:45 - 12:30
Talk

David F. BaconGoogle

12:30 - 14:00: Catering - Lunch at Restaurant

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

14:00 - 14:22
Talk

On the Impact of Programming Languages on Code QualityTOPLAS

Emery BergerUniversity of Massachusetts Amherst, Celeste HollenbeckNortheastern University, Petr MajCzech Technical University, Olga VitekNortheastern University, Jan VitekNortheastern University

Casting about in the Dark: An Empirical Study of Cast Operations in Java Programs

14:22 - 14:45
Talk

Luis MastrangeloUniversità della Svizzera italiana, Matthias HauswirthUniversità della Svizzera italiana, Nate NystromUniversità della Svizzera italiana

On the Design, Implementation, and Use of Laziness in R

14:45 - 15:07
Talk

Aviral GoelNortheastern University, Jan VitekNortheastern University

Aroma: Code Recommendation via Structural Code Search

15:07 - 15:30
Talk

Sifei LuanFacebook, Inc., Di YangUniversity of California, Irvine, Celeste BarnabyFacebook, Inc., Koushik SenUniversity of California, Berkeley, Satish ChandraFacebook

Seq: A High-Performance Language for Bioinformatics

14:00 - 15:30: OOPSLA - DSLs and Parsing at Room 1
Chair(s): Eric Van WykUniversity of Minnesota, USA

14:00 - 14:30
Talk

Ariya ShajiiMIT, Ibrahim NumanagićMIT, Riyadh BaghdadiMIT, Bonnie BergerMIT, Saman AmarasingheMIT

Generating a Fluent API with Syntax Checking from an LR Grammar

14:30 - 15:00
Talk

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

Derivative Grammars: A Symbolic Approach to Parsing with Derivatives

15:00 - 15:30
Talk

Ian HenriksenThe University of Texas at Austin, Gianfranco BilardiUniversity of Padova, Italy, Keshav PingaliThe University of Texas at Austin

The Dawn of the Cloud Computer

14:00 - 15:30: Rebase - New Trends in Software Development at Panorama
Chair(s): Neville GrechUniversity of Athens

14:00 - 14:45
Talk

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

Heather MillerCarnegie Mellon University

14:00 - 15:30: Onward! Papers - Onward! Papers 4 at Templars
Chair(s): Hidehiko MasuharaTokyo Institute of Technology

14:00 - 14:30
Talk

Property Conveyances as a Programming Language

Shrutarshi BasuCornell University, Nate FosterCornell University, James GrimmelmannCornell University

The Adverse Effects of Code Duplication in Machine Learning Models of Code

14:30 - 15:00
Talk

Miltiadis AllamanisMicrosoft Research, Cambridge

Relational Verification using Reinforcement Learning

14:00 - 15:30: OOPSLA - Specification and Certification at Olympia
Chair(s): Colin GordonDrexel University

14:00 - 14:22
Talk

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

Specification and Inference of Trace Refinement Relations

14:22 - 14:45
Talk

Timos AntonopoulosYale University, Eric KoskinenStevens Institute of Technology, Ton Chanh LeStevens Institute of Technology

Specifying Concurrent Programs in Separation Logic: Morphisms and Simulations

14:45 - 15:07
Talk

Aleksandar NanevskiIMDEA Software Institute, Anindya BanerjeeIMDEA Software Institute, Germán Andrés DelbiancoIRIF - Université de Paris, Ignacio FábregasIMDEA Software Institute

Certifying Graph-Manipulating C Programs via Localizations within Data Structures

15:07 - 15:30
Talk

Shengyi WangNational University of Singapore, Qinxiang CaoShanghai Jiao Tong University, Anshuman MohanNational University of Singapore, Aquinas HoborNational University of Singapore

Designing immersive virtual training environments for experiential learning

15:30 - 16:00: Catering - Coffee break at Break area

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

16:00 - 16:15
Talk

Kalliopi Evangelia StavrouliaCyprus University of Technology, Andreas LanitisCyprus University of Technology

16:15 - 16:30
Talk

Linear capabilities for CHERI

Aaron LippeveldtsVrije Universiteit Brussel, Dominique DevrieseVrije Universiteit Brussel

16:30 - 16:45
Talk

Gradual Program Analysis

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

Maarten P. SijmDelft University of Technology

17:00 - 17:15
Talk

Debugging Support for Multi-paradigm Concurrent Programs

Dominik AumayrJohannes Kepler University Linz, Austria

17:15 - 17:30
Talk

Florian LatifiJohannes Kepler University Linz

Climate Change and Software 2.0

16:00 - 17:30: Rebase - Keynote at Panorama
Chair(s): Michael CarbinMassachusetts Institute of Technology

16:00 - 16:45
Talk

Alan EdelmanMIT

16:45 - 17:30
Talk

Unreasonable Effectiveness of Multiple Dispatch

Jeff Bezanson, Stefan KarpinskiJulia Computing / NYU

16:00 - 17:30: Onward! Essays - Onward! Essays - Session 2 at Templars

16:00 - 16:45
Talk

Learning to Listen for Design

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

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

16:00 - 16:22
Talk

Ryū Revisited: Printf Floating Point Conversion

Ulf AdamsGoogle

Optimization of Swift Protocols

16:22 - 16:45
Talk

Raj BarikUber Technologies Inc., Manu SridharanUniversity of California Riverside, Murali Krishna RamanathanUber Technologies Inc., Milind ChabbiUber Technologies Inc.

ApproxHPVM: A Portable Compiler IR for Accuracy-Aware Optimizations

16:45 - 17:07
Talk

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

IVT: An Efficient Method for Sharing Subtype Polymorphic Objects

17:07 - 17:30
Talk

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

Mergeable Replicated Data Types

16:00 - 17:30: OOPSLA - Types at Olympia
Chair(s): Éric TanterUniversity of Chile & Inria Paris

16:00 - 16:22
Talk

Gowtham KakiPurdue University, Swarn PriyaPurdue University, KC SivaramakrishnanIIT Madras, Suresh JagannathanPurdue University

Refinement Kinds: Type-Safe Programming with Practical Type-Level Computation

16:22 - 16:45
Talk

Luís CairesUniversidade Nova de Lisboa and NOVA LINCS, Bernardo ToninhoUniversidade Nova de Lisboa and NOVA LINCS

System FR: Formalized Foundations for the Stainless Verifier

16:45 - 17:07
Talk

Jad HamzaEPFL, Switzerland, Nicolas VoirolEPFL, Switzerland, Viktor KunčakEPFL, Switzerland

Complete Monitors for Gradual Types

17:07 - 17:30
Talk

Ben GreenmanPLT @ Northeastern University, Matthias FelleisenPLT @ Northeastern University, Christos DimoulasPLT @ Northwestern University