Dates
Rooms
Tracks
Badges
Your 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
KeynoteCurry On at Mancy
09:00
75m
Talk
Glean: facts about code
Curry On
Simon Marlow Facebook
10:45 - 12:15
Session OneFTfJP at Epernay
10:45
60m
Talk
Invited Talk - JayHorn: A Java Model Checker
FTfJP
Philipp Ruemmer Uppsala University
11:45
30m
Full-paper
CallƐ: An Effect System for Method Calls
FTfJP
Isaac Oscar Gariano , James Noble Victoria University of Wellington, Marco Servetto Victoria University Wellington, New Zealand
10:45 - 12:15
TalksCurry On at Mancy
10:45
45m
Talk
The Correct Cloud: Logic and Languages
Curry On
Thomas Ball Microsoft Research
11:30
45m
Talk
Beyond the Paper: End-to-End Program Analysis
Curry On
10:45 - 12:15
10:45
45m
Talk
Run, actor, run
Curry On
Sebastian Blessing Imperial College London, Tobias Wrigstad Uppsala University, Sophia Drossopoulou Imperial College London
11:30
45m
Talk
Mental models for critiquing design of interactive development environments
Curry On
Richard Millwood Core Education UK & Trinity College Dublin
10:45 - 12:15
Summer School M1Summer School at Reims
Chair(s): Jan Vitek Northeastern University
10:45
90m
Talk
Static Analysis of Ethereum Smart Contracts
Summer School
Yannis Smaragdakis University of Athens
13:30 - 15:00
TalksCurry On at Avize
13:30
45m
Talk
Julia: A Compiler for the Future
Curry On
Simon Danisch Nextjournal
14:15
45m
Talk
No Hands on Deck: Automation @Uber
Curry On
Adam Welc Uber Technologies
13:30 - 15:00
Research PapersCOP at Bouzy
Chair(s): David H. Lorenz Open University and Technion IIT
13:30
45m
Talk
TinyCORP: A Calculus for Context-Oriented Reactive Programming
COP
Tetsuo Kamina Oita University, Tomoyuki Aotani Tokyo Institute of Technology
DOI
14:15
45m
Talk
Implementation of a Feature-Based Context-Oriented Programming Language
COP
Benoît Duhoux Université catholique de Louvain, Belgium, Kim Mens Université Catholique de Louvain, Belgium, Bruno Dumas Université de Namur
DOI
13:30 - 15:00
TalksCurry On at Mancy
13:30
45m
Talk
Asynchronous streams in direct style with and without macros
Curry On
Philipp Haller KTH Royal Institute of Technology, Sweden
14:15
45m
Talk
Using ML for Code Discovery at Facebook
Curry On
Sifei Luan Facebook, Celeste Barnaby Wesleyan University, Koushik Sen University of California, Berkeley, Satish Chandra Facebook
13:30 - 15:00
Summer School M2Summer School at Reims
Chair(s): Edd Barrett King's College London
13:30
90m
Talk
Origami Programming for Fun and Profit
Summer School
Jeremy Gibbons Department of Computer Science, University of Oxford
15:30 - 17:00
Research PapersCOP at Bouzy
Chair(s): David H. Lorenz Open University and Technion IIT
15:30
45m
Talk
Implementing Babylonian/S by Putting Examples into Contexts: Tracing Instrumentation for Example-based Live Programming as a Use Case for Context-oriented Programming
COP
Patrick Rein Hasso Plattner Institute, Germany, Jens Lincke Hasso Plattner Institute, University of Potsdam, Germany, Stefan Ramson Hasso Plattner Institute, Germany, Toni Mattis University of Potsdam Potsdam, Fabio Niephaus Hasso Plattner Institute, University of Potsdam, Robert Hirschfeld Hasso-Plattner-Institut (HPI), Germany
DOI
16:15
45m
Talk
Distributed Context Petri Nets
COP
Jose Daniel Fandiño de la Hoz Universidad de los Andes, Juan Sebastián Sosa Universidad de los Andes, Nicolás Cardozo Universidad de los Andes
DOI
15:30 - 17:00
Session ThreeFTfJP at Epernay
15:30
30m
Full-paper
Towards Deductive Verification of C11 Programs with Event-B and ProB
FTfJP
Sadegh Dalvandi University of Surrey, Brijesh Dongol University of Surrey
16:00
30m
Full-paper
Specifying I/O using Abstract Nested Hoare Triples in Separation Logic
FTfJP
Willem Penninckx KU Leuven, Amin Timany imec-Distrinet KU-Leuven, Bart Jacobs KU Leuven
16:30
15m
Short-paper
Analysis of MiniJava Programs via Translation to ML
FTfJP
Martin Lester University of Reading
16:45
15m
Short-paper
Translating Classes to First-Order Logic: An Example
FTfJP
15:30 - 17:00
Summer School M3Summer School at Reims
Chair(s): Laurence Tratt King's College London
15:30
90m
Talk
Remolding the development experience
Summer School
Tudor Gîrba feenk.com
17:30 - 18:30
KeynoteCurry On at Mancy
17:30
60m
Talk
Bringing WebAssembly outside the web with WASI
Curry On
Lin Clark Mozilla, Till Schneidereit Mozilla
19:30 - 22:00
Curry On PartyCurry On at Socials
19:30
2h30m
Social Event
Curry On Party
Curry On

Tue 16 Jul

Displayed time zone: Belfast change

09:00 - 10:15
Introduction to CogniCryptPanathon at Epernay
09:00
75m
Tutorial
Session 1: Introduction to CogniCrypt
Panathon
P: Stefan Krüger Paderborn University
09:00 - 10:15
KeynoteCurry On at Mancy
09:00
75m
Talk
Logo, A Computer Language to Grow With
Curry On
10:45 - 12:15
Benchmark SuitesBenchWork at Bouzy
10:45
15m
Day opening
A Word From the Chairs
BenchWork
Kim Herzig Tools for Software Engineers, Microsoft, Ben Hermann Paderborn University
11:00
30m
Talk
Dependability Benchmarking by Injecting Software Bugs
BenchWork
Roberto Natella Federico II University of Naples
Media Attached
11:30
30m
Talk
A Renaissance for Optimizing Compilers
BenchWork
Media Attached
10:45 - 12:15
CrySL – How does CogniCrypt Know What is Right or Wrong, Anyway?Panathon at Epernay
10:45
15m
Demonstration
Guest Talk: One Is Not Enough: Integrating CogniCrypt into Multiple IDEs and Editors with MagpieBridge
Panathon
P: Linghui Luo Paderborn University
11:00
75m
Session 2: CrySL – How does CogniCrypt Know What is Right or Wrong, Anyway?
Panathon
Stefan Krüger Paderborn University
10:45 - 12:15
TalksCurry On at Mancy
10:45
45m
Talk
Plutus and Marlowe
Curry On
Philip Wadler University of Edinburgh, UK
11:30
45m
Talk
The search for fundamental software engineering principles
Curry On
Tomas Petricek University of Kent
13:30 - 15:00
TalksCurry On at Avize
13:30
45m
Talk
Moldable development
Curry On
Tudor Gîrba feenk.com
14:15
45m
Talk
A vision for debugging distributed applications
Curry On
Aidan Hobson Sayers Hadean Supercomputing Ltd.
13:30 - 15:00
Benchmark CreationBenchWork at Bouzy
13:30
30m
Talk
A Central and Evolving Benchmark
BenchWork
Abhishek Tiwari University of Potsdam, Christian Hammer University of Potsdam
File Attached
14:00
30m
Talk
Creating and Managing Benchmark Suites with ABM
BenchWork
Lisa Nguyen Quang Do Paderborn University
File Attached
14:30
30m
Talk
Hermes: Towards Representative Benchmarks
BenchWork
Michael Eichberg TU Darmstadt, Germany
Media Attached
13:30 - 15:00
Dynamic CogniCrypt – Static Failures and Dynamic SuccessesPanathon at Epernay
13:30
90m
Demonstration
Session 3: Dynamic CogniCrypt – Static Failures and Dynamic Successes
Panathon
Kristen Newbury University of Alberta
13:30 - 15:00
TalksCurry On at Mancy
13:30
45m
Talk
Getafix: Learning to fix bugs automatically
Curry On
Andrew Scott Facebook, Johannes Bader Facebook, Satish Chandra Facebook
14:15
45m
Talk
Carp—A Language for the 21st Century
Curry On
Veit Heller Port Zero
13:30 - 15:00
Summer School T2Summer School at Reims
13:30
90m
Talk
How to design a programming language
Summer School
Alan Blackwell University of Cambridge
15:30 - 17:00
Specialized Benchmarks and FutureBenchWork at Bouzy
15:30
30m
Talk
A Benchmark for Understanding Data Science Software
BenchWork
Hridesh Rajan Iowa State University
16:00
30m
Talk
Android Taint-Analysis Benchmarks: Past, Present and Future
BenchWork
Felix Pauck Paderborn University, Germany
Media Attached
16:30
30m
Day closing
Discussion and Closing
BenchWork
Kim Herzig Tools for Software Engineers, Microsoft, Ben Hermann Paderborn University
15:30 - 17:00
Crypto Task HackathonPanathon at Epernay
15:30
90m
Session 4: Crypto Task Hackathon
Panathon

15:30 - 17:00
15:30
45m
Talk
GraphicsFuzz: Metamorphic Testing for Graphics Shader Compilers
Curry On
Alastair F. Donaldson Imperial College London
16:15
45m
Talk
Write your own Container in Rust!
Curry On
Gargi Sharma Recurse Center
15:30 - 17:00
Summer School T3Summer School at Reims
15:30
90m
Talk
Operational Semantics driving the Type System Design: Reference Capabilities in Pony
Summer School
Sophia Drossopoulou Imperial College London
17:30 - 19:30
Social HourCatering at Socials

Wed 17 Jul

Displayed time zone: Belfast change

09:00 - 10:00
Dahl-Nygaard Prize KeynoteResearch 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
Research Papers
K: Ilya Sergey Yale-NUS College and National University of Singapore
Media Attached File Attached
10:30 - 12:10
TypesScala at Epernay
10:30
30m
Research paper
Dependent Object Types with Implicit Functions
Scala
Alex Jeffery University of Sussex
11:00
20m
Talk
Symmetric Multiple Dispatch for Path Dependent Types
Scala
Jaemin Hong KAIST, South Korea, Sukyoung Ryu KAIST, South Korea
11:20
20m
Talk
A universal encoding for functions in Scala based on structural types
Scala
Guillaume Martres EPFL, Switzerland
11:40
30m
Short-paper
Towards Improved GADT Reasoning in Scala
Scala
Lionel Parreaux EPFL, Aleksander Boruch-Gruszecki EPFL, Paolo G. Giarrusso TU Delft, The Netherlands
10:30 - 12:10
Language Design and ImplementationResearch Papers at Mancy
Chair(s): John Wickerson Imperial College London
10:30
20m
Research paper
Lifestate: Event-Driven Protocols and Callback Control Flow
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
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
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
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
Research Papers
Vlad Vergu TU Delft, Eelco Visser Delft University of Technology, Andrew Tolmach Portland State University
DOI Media Attached
10:30 - 12:10
Summer School W1Summer School at Reims
10:30
1h40m
Talk
Interactive Decentralised Software Made Easy
Summer School
Mira Mezini TU Darmstadt, Germany
13:30 - 15:10
TestingScala at Epernay
13:30
30m
Short-paper
Tests as Maintainable Assets Via Auto-generated Spies
Scala
Konstantin Läufer Loyola University Chicago, John O'Sullivan Loyola University Chicago, George K. Thiruvathukal Loyola University Chicago and Argonne National Laboratory
14:00
30m
Short-paper
SoCRATES - Scala Radar for Test Smells
Scala
Jonas De Bleser Sofware Languages Lab, Vrije Universiteit Brussel, Dario Di Nucci Vrije Universiteit Brussel, Coen De Roover Vrije Universiteit Brussel
14:30
20m
Talk
Resilience Testing of Akka Systems
Scala
Jonas De Bleser Sofware Languages Lab, Vrije Universiteit Brussel
14:50
20m
Talk
TaintSpy: Runtime Vulnerability Analyzing Framework for Scala
Scala
Mohammadreza Ashouri University of Potsdam, Germany
13:30 - 15:10
TypesResearch Papers at Mancy
Chair(s): Davide Ancona University of Genova
13:30
20m
Research paper
Transient Typechecks are (Almost) Free
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
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
Research Papers
Alen Arslanagić University of Groningen, Jorge A. Pérez University of Groningen, The Netherlands, Erik Voogd University of Groningen
DOI Media Attached
14:30
20m
Research paper
Julia's Efficient Algorithm for Subtyping Unions and Covariant TuplesPearl
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
Research Papers
Aleksandr Misonizhnik Saint-Petersburg State University, Dmitry Mordvinov Saint-Petersburg State University, JetBrains Research
DOI Media Attached
13:30 - 15:10
Summer School W2Summer School at Reims
Chair(s): Edd Barrett King's College London
13:30
1h40m
Talk
Crypto Pump-and-dump Schemes: Why Can’t We Have Good Things?
Summer School
Ben Livshits Imperial College London, UK
15:40 - 17:20
Compilation and verificationScala at Epernay
15:40
30m
Short-paper
Effpi: Verified Message-Passing Programs in Dotty
Scala
Alceste Scalas Aston University, Birmingham, UK, Nobuko Yoshida Imperial College London, Elias Benussi Faculty Science Ltd
16:10
20m
Talk
Challenges of Optimizing Scala Programs
Scala
16:30
20m
Talk
Stage Polymorphism Based on Types for a Typeless Language: MATLAB in LMS
Scala
Alen Stojanov , Tiark Rompf Purdue University, Markus Püschel ETH Zürich
15:40 - 17:00
Program Analysis 1Research Papers at Mancy
Chair(s): Yannis Smaragdakis University of Athens
15:40
20m
Research paper
Static Analysis for Asynchronous JavaScript Programs
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
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
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
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
15:40 - 17:20
Summer School W3Summer School at Reims
15:40
1h40m
Talk
The Future of Java
Summer School
Gavin Bierman Oracle Labs
17:00 - 17:50
Awards and RecognitionResearch Papers at Mancy
17:00
10m
Awards
ECOOP Awards
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
Research Papers
Jan Vitek Northeastern University
Media Attached
18:00 - 19:30
Poster sessionPosters at Mancy
18:00
90m
Poster
MagpieBridge: A General Approach to Integrating Static Analyses into IDEs and EditorsECOOP posterDemonstration
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
Posters
Alexander Asp Bock IT University of Copenhagen
18:00
90m
Poster
Specifying I/O using Abstract Nested Hoare Triples in Separation LogicFTfJP posterDemonstration
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
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
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
Posters
Manas Thakur IIT Madras, V Krishna Nandivada IIT Madras
18:00
90m
Poster
Fling---A Fluent API GeneratorECOOP poster
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
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
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
Posters
18:00
90m
Poster
TinyCORP: A Calculus for Context-Oriented Reactive ProgrammingCOP poster
Posters
Tetsuo Kamina Oita University, Tomoyuki Aotani Tokyo Institute of Technology
18:00
90m
Poster
Semantic Patches for Java Program TransformationECOOP posterDemonstration
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
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
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
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
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
Posters
Igor Braga IBM Canada
File Attached
18:00
90m
Poster
Lifting the Burden of Static Analysis Tool Configuration with Rule Graphs
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
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
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
Posters
Xiaoli Liang IBM Canada, Daryl Maier IBM Canada
18:00
90m
Poster
Transferring Obligations Through SynchronizationsECOOP posterDemonstration
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
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
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
Posters
Amir Shaikhha University of Oxford, Lionel Parreaux EPFL
18:00
90m
Poster
Multiverse Debugging: Non-deterministic Debugging for Non-deterministic ProgramsECOOP posterDemonstration
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
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
Posters
Pascal Weisenburger Technische Universität Darmstadt, Guido Salvaneschi TU Darmstadt
18:00
90m
Poster
Lightweight Software Profiling of Compiled CodeAORTA poster
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
Posters
Felix Pauck Paderborn University, Germany
Media Attached
18:00
90m
Poster
DynaSOAr: A Parallel Memory Allocator for OOP on GPUsECOOP poster
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
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
Posters
George Fourtounis University of Athens, Yannis Smaragdakis University of Athens

Thu 18 Jul

Displayed time zone: Belfast change

09:00 - 10:00
KeynoteResearch Papers at Mancy
Chair(s): Sophia Drossopoulou Imperial College London
09:00
60m
Talk
Rethinking Compositionality: Composing Proofs From Program BehavioursKeynote
Research Papers
K: Azadeh Farzan University of Toronto
Media Attached
10:30 - 12:10
Domain Specific LanguagesResearch 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
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
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
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
Research Papers
Amir Shaikhha University of Oxford, Lionel Parreaux EPFL
DOI
11:50
20m
Research paper
NumLin: Linear Types for Linear Algebra
Research Papers
Dhruv Makwana Unaffiliated, Neel Krishnaswami Computer Laboratory, University of Cambridge
DOI Pre-print Media Attached File Attached
10:30 - 12:10
Summer School R1Summer School at Reims
10:30
1h40m
Talk
Gillian: A General Static Analysis Framework based on Separation Logic
Summer School
Philippa Gardner Imperial College London
13:30 - 15:10
Program Analysis 2Research Papers at Mancy
Chair(s): Christian Hammer University of Potsdam
13:30
20m
Research paper
Deep Static Modeling of invokedynamic
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
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
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
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
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
13:30 - 15:10
Summer School R2Summer School at Reims
13:30
1h40m
Talk
SM4E - Self-Marketing for Engineers
Summer School
Chris Laffra Uber Amsterdam
15:40 - 16:40
Session #3AORTA at Epernay
Chair(s): Hugh Leather University of Edinburgh
15:40
30m
Talk
Full-system Cross-architecture Hardware Virtualisation
AORTA
Tom Spink University of Edinburgh
16:10
30m
Talk
Create your own Interpreter with a JIT under 30 minutes
AORTA
Igor Braga IBM Canada
File Attached
15:40 - 17:00
Concurrency and ParallelismResearch 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
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
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
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
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 KeynoteResearch Papers at Mancy
Chair(s): Alastair F. Donaldson Imperial College London
17:00
60m
Talk
Automatic Differentiation for DummiesKeynote
Research Papers
K: Simon Peyton Jones Microsoft, UK
Media Attached
18:00 - 20:00
Social HourCatering at Socials

Fri 19 Jul

Displayed time zone: Belfast change

09:00 - 10:00
OpeningVORTEX at Bouzy
09:00
60m
Day opening
Opening at 10:25
VORTEX
Davide Ancona University of Genova
09:00 - 10:00
Starting KeynoteICOOOLPS at Epernay
09:00
5m
Day opening
Introduction
ICOOOLPS
Clément Béra Google, Aarhus
09:05
55m
Talk
Keynote: Compiling for Android
ICOOOLPS
K: Mads Ager Google
09:00 - 10:00
DS Session 1 Doctoral Symposium at Reims
Chair(s): Julia Belyakova Northeastern University, USA
09:00
5m
Day opening
Opening
Doctoral Symposium

09:05
15m
Talk
Lightning Talks
Doctoral Symposium

09:20
40m
Talk
Keynote: A Roadmap to PhD: Impressions and Experiences
Doctoral Symposium
Guido Salvaneschi TU Darmstadt
10:30 - 12:10
Session 1VORTEX at Bouzy
Chair(s): Sung-Shik Jongmans Open University of the Netherlands
10:30
45m
Talk
Invited talk: Runtime Verification and Objects: Are we doing it wrong?
VORTEX
Giles Reger University of Manchester
11:15
30m
Talk
Efficient Run-time Method for Detecting and Resolving Deadlocks in Java Programs
VORTEX
P: Eman Aldakheel University of Illinois at Chicago & Princess Nourah bint Abdulrahman University, Ugo Buy
Pre-print
11:45
30m
Talk
RML: Runtime Monitoring Language, a System-Agnostic DSL for Runtime Verification
VORTEX
P: Luca Franceschini DIBRIS, University of Genova, Italy
Pre-print
10:30 - 12:10
Workshop sessionICOOOLPS at Epernay
10:30
25m
Research paper
Hot Code Patching in CPython - Supporting Edit-and-Continue Debugging in CPython with Less Than 300 Lines of Code
ICOOOLPS
Johannes Henning Hasso Plattner Institute, David Stangl , Fabio Niephaus Hasso Plattner Institute, University of Potsdam, Robert Hirschfeld Hasso-Plattner-Institut (HPI), Germany
DOI
10:55
25m
Research paper
Collecting Type Information Using Unit Tests for Customization of JavaScript Virtual Machines
ICOOOLPS
Tomoharu Ugawa Kochi University of Technology, Japan, Hideya Iwasaki University of Electro-Communications, Japan, Takafumi Kataoka
11:20
25m
Research paper
Progress Report: Exploring API Design for Capabilities for Programming with Arrays
ICOOOLPS
Beatrice Åkerblom Stockholm University, Elias Castegren Uppsala University, Tobias Wrigstad Uppsala University
11:45
25m
Research paper
Towards a Type System for R
ICOOOLPS
Alexi Turcotte Northeastern University, Jan Vitek Northeastern University
10:30 - 12:10
DS Session 2Doctoral Symposium at Reims
Chair(s): Lisa Nguyen Quang Do Paderborn University
10:30
30m
Doctoral symposium paper
POSIX Regular Expression Matching and Lexing
Doctoral Symposium
Chengsong Tan King's College London
11:00
30m
Doctoral symposium paper
Pointer Analysis as reachability problem over Push Down System
Doctoral Symposium
Jyoti Prakash University of Potsdam, Germany
11:30
40m
Talk
Keynote: Self-Marketing as a Researcher
Doctoral Symposium
Ben Hermann Paderborn University
Media Attached
13:30 - 15:10
Session 2VORTEX at Bouzy
Chair(s): Radu Grigore University of Kent
13:30
45m
Talk
Invited talk: Monitoring Asynchronous Communications (in Clojure)
VORTEX
Sung-Shik Jongmans Open University of the Netherlands
14:15
30m
Talk
A Field Calculus Implementation of Spatial Logic
VORTEX
P: Giorgio Audrito Università di Torino, Ferruccio Damiani University of Turin, Volker Stolz Høgskulen på Vestlandet, Mirko Viroli University of Bologna
Pre-print
13:30 - 15:10
Closing keynote & Interactive sessionICOOOLPS at Epernay
13:30
55m
Talk
Keynote: Project Snowflake: What we learnt.
ICOOOLPS
Matthew Parkinson Microsoft Research, UK
14:25
45m
Other
Interactive session
ICOOOLPS
Eric Jul University of Oslo
13:30 - 15:10
DS Session 3Doctoral Symposium at Reims
Chair(s): Julia Belyakova Northeastern University, USA
13:30
30m
Doctoral symposium paper
Improving the Efficiency, Scalability, and Applicability of Static Program Analysis in Real-World Operational Scenarios
Doctoral Symposium
Philipp Dominik Schubert Heinz Nixdorf Institut, Paderborn University
14:00
30m
Doctoral symposium paper
State Explosion Considered Harmful
Doctoral Symposium
Robbert Gurdeep Singh Universiteit Gent, Belgium
14:30
30m
Doctoral symposium paper
Session Types in the Real World: A Minimalistic Approach
Doctoral Symposium
Alen Arslanagić University of Groningen
15:40 - 17:20
DS Session 4Doctoral Symposium at Reims
Chair(s): Julia Belyakova Northeastern University, USA
15:40
30m
Doctoral symposium paper
Security Evaluation of Industrial Web ApplicationsUsing Taint Analysis
Doctoral Symposium
Gebrehiwet Biyane Welearegai University of Potsdam, Germany
16:10
30m
Talk
Invited talk: How to get your Ph.D. DONE!
Doctoral Symposium
Eric Jul University of Oslo