PASS 2019
Mon 15 - Fri 19 July 2019 Hammersmith, London, United Kingdom
co-located with ECOOP 2019
VenueNovotel London West
Room nameMancy
Floor0
Room InformationNo extra information available
Program

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

Mon 15 Jul

Displayed time zone: Belfast change

09:00 - 10:15
09:00
75m
Talk
Glean: facts about code
ECOOP Curry On
Simon Marlow Facebook
10:45 - 12:15
10:45
45m
Talk
The Correct Cloud: Logic and Languages
ECOOP Curry On
Thomas Ball Microsoft Research
11:30
45m
Talk
Beyond the Paper: End-to-End Program Analysis
ECOOP Curry On
13:30 - 15:00
13:30
45m
Talk
Asynchronous streams in direct style with and without macros
ECOOP Curry On
Philipp Haller KTH Royal Institute of Technology, Sweden
14:15
45m
Talk
Using ML for Code Discovery at Facebook
ECOOP Curry On
Sifei Luan Facebook, Celeste Barnaby Wesleyan University, Koushik Sen University of California, Berkeley, Satish Chandra Facebook
15:30 - 17:00
15:30
45m
Talk
Idris 2: Type-driven Development of Idris
ECOOP Curry On
Edwin Brady University of St. Andrews, UK
16:15
45m
Talk
Loom: Bringing Lightweight Threads and Delimited Continuations to the JVM
ECOOP Curry On
17:30 - 18:30
17:30
60m
Talk
Bringing WebAssembly outside the web with WASI
ECOOP Curry On
Lin Clark Mozilla, Till Schneidereit Mozilla

Tue 16 Jul

Displayed time zone: Belfast change

09:00 - 10:15
09:00
75m
Talk
Logo, A Computer Language to Grow With
ECOOP Curry On
10:45 - 12:15
10:45
45m
Talk
Plutus and Marlowe
ECOOP Curry On
Philip Wadler University of Edinburgh, UK
11:30
45m
Talk
The search for fundamental software engineering principles
ECOOP Curry On
Tomas Petricek University of Kent
13:30 - 15:00
13:30
45m
Talk
Getafix: Learning to fix bugs automatically
ECOOP Curry On
Andrew Scott Facebook, Johannes Bader Facebook, Satish Chandra Facebook
14:15
45m
Talk
Carp—A Language for the 21st Century
ECOOP Curry On
Veit Heller Port Zero
17:30 - 18:30
17:30
60m
Talk
The Making of a Secure and Robust IoT Development Platform
ECOOP Curry On
Lars Bak Google

Wed 17 Jul

Displayed time zone: Belfast change

09:00 - 10:00
Dahl-Nygaard Prize KeynoteECOOP Research Papers at Mancy
Chair(s): Laurence Tratt King's College London
09:00
60m
Talk
Composing Distributed Systems that are Provably Correct (Dahl-Nygaard prize keynote)Keynote
ECOOP Research Papers
K: Ilya Sergey Yale-NUS College and National University of Singapore
Media Attached File Attached
10:30 - 12:10
Language Design and ImplementationECOOP Research Papers at Mancy
Chair(s): John Wickerson Imperial College London
10:30
20m
Research paper
Lifestate: Event-Driven Protocols and Callback Control Flow
ECOOP Research Papers
Shawn Meier University of Colorado, Boulder, Sergio Mover Ecole Polytechnique, Bor-Yuh Evan Chang University of Colorado Boulder
DOI Media Attached
10:50
20m
Research paper
Godot: All the Benefits of Implicit and Explicit Futures
ECOOP Research Papers
Kiko Fernandez-Reyes Uppsala University, Einar Broch Johnsen University of Oslo, Dave Clarke Uppsala Univ. Sweden and KU Leuvern, Ludovic Henrio CNRS, Tobias Wrigstad Uppsala University
DOI Media Attached
11:10
20m
Research paper
Towards Language-Parametric Semantic Editor Services based on Declarative Type System SpecificationsBrave New Idea
ECOOP Research Papers
Daniel A. A. Pelsmaeker Delft University of Technology, Netherlands, Hendrik van Antwerpen TU Delft, Eelco Visser Delft University of Technology
DOI Media Attached
11:30
20m
Research paper
Multitier Modules
ECOOP Research Papers
Pascal Weisenburger Technische Universität Darmstadt, Guido Salvaneschi TU Darmstadt
DOI Media Attached
11:50
20m
Research paper
Scopes and Frames Improve Meta-Interpreter Specialization
ECOOP Research Papers
Vlad Vergu TU Delft, Eelco Visser Delft University of Technology, Andrew Tolmach Portland State University
DOI Media Attached
13:30 - 15:10
TypesECOOP Research Papers at Mancy
Chair(s): Davide Ancona University of Genova
13:30
20m
Research paper
Transient Typechecks are (Almost) Free
ECOOP Research Papers
Richard Roberts Victoria University of Wellington, Stefan Marr University of Kent, Michael Homer Victoria University of Wellington, James Noble Victoria University of Wellington
DOI Media Attached
13:50
20m
Research paper
A Typing Discipline for Hardware Interfaces
ECOOP Research Papers
Jan de Muijnck-Hughes University of Glasgow, Wim Vanderbauwhede University of Glasgow
DOI Media Attached
14:10
20m
Research paper
Minimal Session TypesPearl
ECOOP Research Papers
Alen Arslanagić University of Groningen, Jorge A. Pérez University of Groningen, The Netherlands, Erik Voogd University of Oslo
DOI Media Attached
14:30
20m
Research paper
Julia's Efficient Algorithm for Subtyping Unions and Covariant TuplesPearl
ECOOP Research Papers
Benjamin Chung Northeastern University, Francesco Zappa Nardelli Inria, Jan Vitek Northeastern University
DOI Media Attached
14:50
20m
Research paper
On Satisfiability of Nominal Subtyping with Variance
ECOOP Research Papers
Aleksandr Misonizhnik Saint-Petersburg State University, Dmitry Mordvinov Saint-Petersburg State University, JetBrains Research
DOI Media Attached
15:40 - 17:00
Program Analysis 1ECOOP Research Papers at Mancy
Chair(s): Yannis Smaragdakis University of Athens
15:40
20m
Research paper
Static Analysis for Asynchronous JavaScript Programs
ECOOP Research Papers
Thodoris Sotiropoulos Athens University of Economics and Business, Ben Livshits Imperial College London, UK
DOI
16:00
20m
Research paper
A Program Logic for First-Order Encapsulated WebAssembly
ECOOP Research Papers
Conrad Watt University of Cambridge, Petar Maksimović Imperial College London, UK and Mathematical Institute of the Serbian Academy of Sciences and Arts, Serbia, Neel Krishnaswami Computer Laboratory, University of Cambridge, Philippa Gardner Imperial College London
DOI Media Attached
16:20
20m
Research paper
Garbage-free Abstract Interpretation through Abstract Reference Counting
ECOOP Research Papers
Noah Van Es Sofware Languages Lab, Vrije Universiteit Brussel, Quentin Stiévenart Vrije Universiteit Brussel, Belgium, Coen De Roover Vrije Universiteit Brussel
DOI
16:40
20m
Research paper
Eventually Sound Points-To Analysis with Specifications
ECOOP Research Papers
Osbert Bastani University of Pennsylvania, Rahul Sharma Microsoft Research, Lazaro Clapp Stanford University, Saswat Anand Stanford University, Alex Aiken Stanford University
DOI Media Attached
17:00 - 17:50
Awards and RecognitionECOOP Research Papers at Mancy
17:00
10m
Awards
ECOOP Awards
ECOOP Research Papers
P: Alastair F. Donaldson Imperial College London, A: Maria Christakis MPI-SWS, A: Manuel Rigger ETH Zurich
17:10
40m
Talk
A tribute to Laurie Hendren
ECOOP Research Papers
Jan Vitek Northeastern University
Media Attached
18:00 - 19:30
Poster sessionECOOP Posters at Mancy
18:00
90m
Poster
MagpieBridge: A General Approach to Integrating Static Analyses into IDEs and EditorsECOOP posterDemonstration
ECOOP Posters
Linghui Luo Paderborn University, Julian Dolby IBM Research, Eric Bodden Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
File Attached
18:00
90m
Poster
A Parallel Spreadsheet Interpreter With Cycle Detection
ECOOP Posters
Alexander Asp Bock IT University of Copenhagen
18:00
90m
Poster
Specifying I/O using Abstract Nested Hoare Triples in Separation LogicFTfJP posterDemonstration
ECOOP Posters
Willem Penninckx KU Leuven, Amin Timany imec-Distrinet KU-Leuven, Bart Jacobs KU Leuven
18:00
90m
Poster
Reliable State Machines: A Framework for Programming Reliable Cloud ServicesECOOP posterDemonstration
ECOOP Posters
Suvam Mukherjee Indian Institute of Science, Nitin John Raj International Institute of Information Technology, Hyderabad, Krishnan Govindraj Microsoft Research, Pantazis Deligiannis Microsoft Research, Chandramouleswaran Ravichandran Microsoft Azure, Akash Lal Microsoft Research India, Aseem Rastogi Microsoft Research, Raja Krishnaswamy Microsoft Azure
18:00
90m
Poster
RML: Runtime Monitoring LanguageVORTEX poster
ECOOP Posters
Luca Franceschini DIBRIS, University of Genova, Italy
File Attached
18:00
90m
Poster
Precise, Efficient and Secure Just-In-Time Analysis of Java ProgramsAORTA poster
ECOOP Posters
Manas Thakur IIT Madras, V Krishna Nandivada IIT Madras
18:00
90m
Poster
Fling---A Fluent API GeneratorECOOP poster
ECOOP Posters
Yossi Gil Technion—Israel Institute of Technology, Ori Roth Technion
File Attached
18:00
90m
Poster
TornadoVM: Dynamic Optimisation of Heterogeneous Java AccelerationAORTA posterDemonstration
ECOOP Posters
Juan Fumero University of Manchester, UK, Michail Papadimitriou University of Manchester, UK, Christos Kotselidis University of Manchester, UK
File Attached
18:00
90m
Poster
Static Analysis for Asynchronous JavaScript ProgramsECOOP poster
ECOOP Posters
Thodoris Sotiropoulos Athens University of Economics and Business, Benjamin Livshits Imperial College London, UK
18:00
90m
Poster
To Async or Not to Async: Better Cooperative Multithreading is the Answer
ECOOP Posters
18:00
90m
Poster
TinyCORP: A Calculus for Context-Oriented Reactive ProgrammingCOP poster
ECOOP Posters
Tetsuo Kamina Oita University, Tomoyuki Aotani Tokyo Institute of Technology
18:00
90m
Poster
Semantic Patches for Java Program TransformationECOOP posterDemonstration
ECOOP Posters
Hong Jin Kang School of Information Systems, Singapore Management University, Ferdian Thung , Julia Lawall Inria/LIP6, Gilles Muller LIP6-INRIA/UPMC, Lingxiao Jiang Singapore Management University, David Lo Singapore Management University
18:00
90m
Poster
Static Analysis in Real-World Operational ScenariosDoctoral Symposium posterDemonstration
ECOOP Posters
Philipp Dominik Schubert Heinz Nixdorf Institut, Paderborn University
File Attached
18:00
90m
Poster
IIFA: Modular Inter-app Intent Information Flow Analysis of Android Applications
ECOOP Posters
Abhishek Tiwari University of Potsdam, Sascha Groß University of Potsdam, Christian Hammer University of Potsdam
File Attached
18:00
90m
Poster
Towards Language-Parametric Semantic Editor ServicesECOOP posterDemonstration
ECOOP Posters
Daniel A. A. Pelsmaeker Delft University of Technology, Netherlands, Hendrik van Antwerpen TU Delft, Eelco Visser Delft University of Technology
18:00
90m
Poster
Type-Safe Data Plane Programming with SafeP4ECOOP poster
ECOOP Posters
Matthias Eichholz , Eric Campbell Cornell University, Nate Foster Cornell University, Guido Salvaneschi TU Darmstadt, Mira Mezini TU Darmstadt, Germany
18:00
90m
Poster
Create your own Interpreter with a JITAORTA poster
ECOOP Posters
Igor Braga IBM Canada
File Attached
18:00
90m
Poster
Lifting the Burden of Static Analysis Tool Configuration with Rule Graphs
ECOOP Posters
Lisa Nguyen Quang Do Paderborn University, Eric Bodden Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
File Attached
18:00
90m
Poster
NumLin: Linear Types for Linear AlgebraECOOP posterDemonstration
ECOOP Posters
Dhruv Makwana Unaffiliated, Neel Krishnaswami Computer Laboratory, University of Cambridge
File Attached
18:00
90m
Poster
Towards Resilience Testing of Actor Programs through Test PerturbationsScala poster
ECOOP Posters
Jonas De Bleser Sofware Languages Lab, Vrije Universiteit Brussel, Coen De Roover Vrije Universiteit Brussel
18:00
90m
Poster
JIT as a Service: Compilation Paradigm for the CloudAORTA poster
ECOOP Posters
Xiaoli Liang IBM Canada, Daryl Maier IBM Canada
18:00
90m
Poster
Transferring Obligations Through SynchronizationsECOOP posterDemonstration
ECOOP Posters
Jafar Hamin imec-DistriNet, Depatrmant of Computer Science, KU Leuven, Belgium, Bart Jacobs Radboud University Nijmegen
18:00
90m
Poster
Automated Large-scale Multi-language Dynamic Program Analysis in the WildECOOP poster
ECOOP Posters
Alex Villazón Universidad Privada Boliviana, Bolivia, Haiyang Sun Università della Svizzera italiana, Andrea Rosà University of Lugano, Switzerland, Eduardo Rosales University of Lugano, Switzerland, Daniele Bonetta Oracle Labs, Isabella Defilippis Universidad Privada Boliviana (UPB), Sergio Oporto Universidad Privada Boliviana (UPB), Walter Binder University of Lugano, Switzerland
18:00
90m
Poster
Garbage-free Abstract Interpretation through Abstract Reference CountingECOOP poster
ECOOP Posters
Noah Van Es Sofware Languages Lab, Vrije Universiteit Brussel, Quentin Stiévenart Vrije Universiteit Brussel, Belgium, Coen De Roover Vrije Universiteit Brussel
File Attached
18:00
90m
Poster
Finally, a Polymorphic Linear Algebra LanguageECOOP poster
ECOOP Posters
Amir Shaikhha University of Oxford, Lionel Parreaux EPFL
18:00
90m
Poster
Multiverse Debugging: Non-deterministic Debugging for Non-deterministic ProgramsECOOP posterDemonstration
ECOOP Posters
Carmen Torres Lopez Vrije Universiteit Brussel, Robbert Gurdeep Singh Universiteit Gent, Belgium, Stefan Marr University of Kent, Elisa Gonzalez Boix Vrije Universiteit Brussel, Belgium, Christophe Scholliers Universiteit Gent, Belgium
18:00
90m
Poster
Lifestate: Event-Driven Protocols and Callback Control FlowECOOP poster
ECOOP Posters
Shawn Meier University of Colorado, Boulder, Sergio Mover Ecole Polytechnique, Bor-Yuh Evan Chang University of Colorado Boulder
18:00
90m
Poster
Distributed System Development with ScalaLociECOOP poster
ECOOP Posters
Pascal Weisenburger Technische Universität Darmstadt, Guido Salvaneschi TU Darmstadt
18:00
90m
Poster
Lightweight Software Profiling of Compiled CodeAORTA poster
ECOOP Posters
Andrew Craik IBM Canada, Rahil Shah IBM Canada, Ben Thomas IBM Canada, Devin Papineau IBM Canada
18:00
90m
Poster
Android App Analysis Query LanguageBenchWork posterDemonstration
ECOOP Posters
Felix Pauck Paderborn University, Germany
Media Attached
18:00
90m
Poster
DynaSOAr: A Parallel Memory Allocator for OOP on GPUsECOOP poster
ECOOP Posters
Matthias Springer Tokyo Institute of Technology, Hidehiko Masuhara Tokyo Institute of Technology
18:00
90m
Poster
Godot: All the Benefits of Implicit and Explicit FuturesECOOP poster
ECOOP Posters
Kiko Fernandez-Reyes Uppsala University, Dave Clarke Uppsala Univ. Sweden and KU Leuvern, Ludovic Henrio CNRS, Einar Broch Johnsen University of Oslo, Tobias Wrigstad Uppsala University
File Attached
18:00
90m
Poster
Deep Static Modeling of invokedynamicECOOP poster
ECOOP Posters
George Fourtounis University of Athens, Yannis Smaragdakis University of Athens

Thu 18 Jul

Displayed time zone: Belfast change

09:00 - 10:00
KeynoteECOOP Research Papers at Mancy
Chair(s): Sophia Drossopoulou Imperial College London
09:00
60m
Talk
Rethinking Compositionality: Composing Proofs From Program BehavioursKeynote
ECOOP Research Papers
K: Azadeh Farzan University of Toronto
Media Attached
10:30 - 12:10
Domain Specific LanguagesECOOP Research Papers at Mancy
Chair(s): Sebastian Erdweg JGU Mainz
10:30
20m
Research paper
How to Avoid Making a Billion-Dollar Mistake: Type-Safe Data Plane Programming with SafeP4
ECOOP Research Papers
Matthias Eichholz , Eric Campbell Cornell University, Nate Foster Cornell University, Guido Salvaneschi TU Darmstadt, Mira Mezini TU Darmstadt, Germany
DOI Media Attached
10:50
20m
Research paper
Fling—A Fluent API Generator
ECOOP Research Papers
Yossi Gil Technion—Israel Institute of Technology, Ori Roth Technion
DOI
11:10
20m
Research paper
Semantic Patches for Java Program TransformationExperience Report
ECOOP Research Papers
Hong Jin Kang School of Information Systems, Singapore Management University, Ferdian Thung , Julia Lawall Inria/LIP6, Gilles Muller LIP6-INRIA/UPMC, Lingxiao Jiang Singapore Management University, David Lo Singapore Management University
DOI Media Attached
11:30
20m
Research paper
Finally, a Polymorphic Linear Algebra LanguagePearl
ECOOP Research Papers
Amir Shaikhha University of Oxford, Lionel Parreaux EPFL
DOI
11:50
20m
Research paper
NumLin: Linear Types for Linear Algebra
ECOOP Research Papers
Dhruv Makwana Unaffiliated, Neel Krishnaswami Computer Laboratory, University of Cambridge
DOI Pre-print Media Attached File Attached
13:30 - 15:10
Program Analysis 2ECOOP Research Papers at Mancy
Chair(s): Christian Hammer University of Potsdam
13:30
20m
Research paper
Deep Static Modeling of invokedynamic
ECOOP Research Papers
George Fourtounis University of Athens, Yannis Smaragdakis University of Athens
DOI Media Attached
13:50
20m
Research paper
Automated Large-scale Multi-language Dynamic Program Analysis in the WildTool Insights Paper
ECOOP Research Papers
Alex Villazón Universidad Privada Boliviana, Bolivia, Haiyang Sun Università della Svizzera italiana, Andrea Rosà University of Lugano, Switzerland, Eduardo Rosales University of Lugano, Switzerland, Daniele Bonetta Oracle Labs, Isabella Defilippis Universidad Privada Boliviana (UPB), Sergio Oporto Universidad Privada Boliviana (UPB), Walter Binder University of Lugano, Switzerland
DOI Media Attached
14:10
20m
Research paper
MagpieBridge: A General Approach to Integrating Static Analyses into IDEs and EditorsTool Insights Paper
ECOOP Research Papers
Linghui Luo Paderborn University, Julian Dolby IBM Research, Eric Bodden Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
DOI Pre-print Media Attached
14:30
20m
Research paper
Reasoning About Foreign Function Interfaces Without Modelling the Foreign Language
ECOOP Research Papers
Alexi Turcotte Northeastern University, Ellen Arteca Northeastern University, Gregor Richards University of Waterloo
DOI Media Attached
14:50
20m
Research paper
Multiverse Debugging: Non-deterministic Debugging for Non-deterministic ProgramsBrave New Idea
ECOOP Research Papers
Carmen Torres Lopez Vrije Universiteit Brussel, Robbert Gurdeep Singh Universiteit Gent, Belgium, Stefan Marr University of Kent, Elisa Gonzalez Boix Vrije Universiteit Brussel, Belgium, Christophe Scholliers Universiteit Gent, Belgium
DOI Media Attached
15:40 - 17:00
Concurrency and ParallelismECOOP Research Papers at Mancy
Chair(s): Stephen Kell University of Kent
15:40
20m
Research paper
DynaSOAr: A Parallel Memory Allocator for Object-oriented Programming on GPUs with Efficient Memory Access
ECOOP Research Papers
Matthias Springer Tokyo Institute of Technology, Hidehiko Masuhara Tokyo Institute of Technology
DOI Pre-print Media Attached
16:00
20m
Research paper
Reliable State Machines: A Framework for Programming Reliable Cloud Services
ECOOP Research Papers
Suvam Mukherjee Microsoft Research India, Nitin John Raj International Institute of Information Technology, Hyderabad, Krishnan Govindraj Microsoft Research, Pantazis Deligiannis Microsoft Research, Chandramouleswaran Ravichandran Microsoft Azure, Akash Lal Microsoft Research India, Aseem Rastogi Microsoft Research, Raja Krishnaswamy Microsoft Azure
DOI Media Attached
16:20
20m
Research paper
Transferring Obligations Through Synchronizations
ECOOP Research Papers
Jafar Hamin imec-DistriNet, Depatrmant of Computer Science, KU Leuven, Belgium, Bart Jacobs KU Leuven
DOI Media Attached
16:40
20m
Research paper
Motion Session Types for Robotic InteractionsBrave New Idea
ECOOP Research Papers
Rupak Majumdar MPI-SWS, Germany, Marcus Pirron MPI-SWS, Nobuko Yoshida Imperial College London, Damien Zufferey MPI-SWS
DOI Media Attached
17:00 - 18:00
Closing KeynoteECOOP Research Papers at Mancy
Chair(s): Alastair F. Donaldson Imperial College London
17:00
60m
Talk
Automatic Differentiation for DummiesKeynote
ECOOP Research Papers
K: Simon Peyton Jones Microsoft, UK
Media Attached

Wed 17 Jul

Displayed time zone: Belfast change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:00153045
Mancy
18:00 - 19:30
18:00 - 19:30
18:00 - 19:30
18:00 - 19:30
18:00 - 19:30
18:00 - 19:30
18:00 - 19:30
18:00 - 19:30
18:00 - 19:30
18:00 - 19:30
18:00 - 19:30
18:00 - 19:30
18:00 - 19:30
18:00 - 19:30
18:00 - 19:30
18:00 - 19:30
18:00 - 19:30
18:00 - 19:30
18:00 - 19:30
18:00 - 19:30
18:00 - 19:30
18:00 - 19:30
18:00 - 19:30
18:00 - 19:30
18:00 - 19:30
18:00 - 19:30
18:00 - 19:30
18:00 - 19:30
18:00 - 19:30
18:00 - 19:30
18:00 - 19:30
18:00 - 19:30

Thu 18 Jul

Displayed time zone: Belfast change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Mancy