PASS 2019
Mon 15 - Fri 19 July 2019 Hammersmith, London, United Kingdom
co-located with ECOOP 2019
VenueNovotel London West
Room nameEpernay
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

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
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

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
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
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
15:30 - 17:00
Crypto Task HackathonPanathon at Epernay
15:30
90m
Session 4: Crypto Task Hackathon
Panathon

Wed 17 Jul

Displayed time zone: Belfast change

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
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
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

Fri 19 Jul

Displayed time zone: Belfast change

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
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
13:30 - 15:10
Closing keynote & Interactive sessionICOOOLPS at Epernay
13:30
55m
Talk
Keynote: Project Snowflake: What we learnt.
ICOOOLPS
Matthew J. Parkinson Microsoft Research, UK
14:25
45m
Other
Interactive session
ICOOOLPS
Eric Jul University of Oslo

Mon 15 Jul

Displayed time zone: Belfast change

Room9:003010:003011:003012:003013:003014:003015:003016:0030
Epernay

Wed 17 Jul

Displayed time zone: Belfast change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Epernay

Thu 18 Jul

Displayed time zone: Belfast change

Room9:003010:003011:003012:003013:003014:003015:003016:0030
Epernay

Fri 19 Jul

Displayed time zone: Belfast change