PASS 2019
Mon 15 - Fri 19 July 2019
Hammersmith, London, United Kingdom
co-located with
ECOOP 2019
Toggle navigation
Attending
Venue: Novotel London West
Program
PASS Program
Your Program
Mon 15 Jul
Tue 16 Jul
Wed 17 Jul
Thu 18 Jul
Fri 19 Jul
Tracks
PASS 2019
PASS 2019 (CANCELED)
Workshops
COP
Organization
PASS 2019 Committees
Track Committees
Organizing Committee
Program Committee
Contributors
People Index
Workshops
COP
Organizing Committee
Program Committee
Search
Series
Series
PASS 2019
PASS'19
PASS 2018
PASS 2017
Sign in
Sign up
ECOOP 2019
(
series
) /
PASS 2019 (
series
) /
Novotel London West
/
Room information: Epernay
Venue
Novotel London West
Room name
Epernay
Floor
0
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT+01:00) Belfast
.
Use conference time zone: (GMT+01:00) Belfast
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-06:00) Easter Island
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-04:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-02:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT) Azores
(UTC) Coordinated Universal Time
(GMT+01:00) Belfast
(GMT+01:00) Dublin
(GMT+01:00) Lisbon
(GMT+01:00) London
(GMT) Monrovia, Reykjavik
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+03:00) Athens
(GMT+03:00) Beirut
(GMT+02:00) Cairo
(GMT+03:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+04:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+09:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+10:00) Hobart
(GMT+10:00) Vladivostok
(GMT+10:30) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+11:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+12:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+12:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
The GMT offsets shown reflect the offsets
at the moment of the conference
.
Time Band
By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.
Display full program
Specify a time band
-
Save
×
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 One
FTfJP
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
13:30 - 15:00
Session Two
FTfJP
at
Epernay
13:30
60m
Talk
Invited Talk - Building Trustworthy Software with CakeML
FTfJP
Scott Owens
University of Kent, UK
14:30
30m
Full-paper
Decidable, Tag-Based Semantic Subtyping for Nominal Types, Tuples, and Unions
FTfJP
Julia Belyakova
Northeastern University, USA
DOI
Pre-print
15:30 - 17:00
Session Three
FTfJP
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
Fangzhen Lin
Tue 16 Jul
Displayed time zone:
Belfast
change
09:00 - 10:15
Introduction to CogniCrypt
Panathon
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 Successes
Panathon
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 Hackathon
Panathon
at
Epernay
15:30
90m
Session 4: Crypto Task Hackathon
Panathon
Wed 17 Jul
Displayed time zone:
Belfast
change
09:00 - 10:00
Keynote
Scala
at
Epernay
09:00
60m
Talk
Silicon at the Speed of Software: From Circuits to Systems
Scala
Henry Cook
SiFive
10:30 - 12:10
Types
Scala
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
Testing
Scala
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 verification
Scala
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
Aleksandar Prokopec
Oracle Labs
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
Thu 18 Jul
Displayed time zone:
Belfast
change
10:30 - 12:10
Session #1
AORTA
at
Epernay
Chair(s):
Xiaoli Liang
IBM Canada
10:30
50m
Talk
KEYNOTE: The Democratization of Runtime Technology
AORTA
John Duimovich
11:20
25m
Talk
Precise, Efficient and Secure Just-In-Time Analysis of Java Programs
AORTA
Manas Thakur
IIT Madras
,
V Krishna Nandivada
IIT Madras
11:45
25m
Talk
JIT as a Service: Compilation Paradigm for the Cloud
AORTA
Daryl Maier
IBM Canada
,
Xiaoli Liang
IBM Canada
13:30 - 15:10
Session #2
AORTA
at
Epernay
Chair(s):
Daryl Maier
IBM Canada
13:30
25m
Talk
Tornado VM: A Java Virtual Machine for Exploiting High-Performance Heterogeneous Hardware
AORTA
Christos Kotselidis
University of Manchester, UK
13:55
25m
Talk
Another Decade of SOM Language Implementation: Virtual Machines for Research and Teaching
AORTA
Stefan Marr
University of Kent
14:20
25m
Talk
Janus: automatic binary analysis, instrumentation and optimisation using rewrite rules
AORTA
Ruoyu Zhou
University of Cambridge, UK
,
Timothy M. Jones
University of Cambridge, UK
14:45
25m
Talk
Lightweight Software Profiling of Compiled Code
AORTA
Andrew Craik
IBM Canada
15:40 - 16:40
Session #3
AORTA
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
Fri 19 Jul
Displayed time zone:
Belfast
change
09:00 - 10:00
Starting Keynote
ICOOOLPS
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 session
ICOOOLPS
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 session
ICOOOLPS
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
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
Epernay
FTfJP
FTfJP
Session One
FTfJP
Session Two
FTfJP
Session Three
Tue 16 Jul
Displayed time zone:
Belfast
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
Epernay
Panathon
Introduction to CogniCrypt
Panathon
CrySL – How does CogniCrypt Know What is Right or Wrong, Anyway?
Panathon
Dynamic CogniCrypt – Static Failures and Dynamic Successes
Panathon
Crypto Task Hackathon
Wed 17 Jul
Displayed time zone:
Belfast
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Epernay
Scala
Keynote
Scala
Types
Scala
Testing
Scala
Compilation and verification
Thu 18 Jul
Displayed time zone:
Belfast
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
Epernay
AORTA
AORTA
Session #1
AORTA
Session #2
AORTA
Session #3
Fri 19 Jul
Displayed time zone:
Belfast
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Epernay
ICOOOLPS
Starting Keynote
ICOOOLPS
Workshop session
ICOOOLPS
Closing keynote & Interactive session
ICOOOLPS
Mon 15 Jul
Displayed time zone:
Belfast
change
Room
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
Epernay
FTfJP
Invited Talk - JayHorn: A Java Model Checker
10:45 - 11:45
FTfJP
CallƐ: An Effect System for Method Calls
11:45 - 12:15
FTfJP
Invited Talk - Building Trustworthy Software with CakeML
13:30 - 14:30
FTfJP
Decidable, Tag-Based Semantic Subtyping for Nominal Types, Tuples, and ...
14:30 - 15:00
FTfJP
Towards Deductive Verification of C11 Programs with Event-B and ProB
15:30 - 16:00
FTfJP
Specifying I/O using Abstract Nested Hoare Triples in Separation Logic
16:00 - 16:30
FTfJP
Analysis of MiniJava Programs via Translation to ML
16:30 - 16:45
FTfJP
Translating Classes to First-Order Logic: An Example
16:45 - 17:00
Tue 16 Jul
Displayed time zone:
Belfast
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
Epernay
Panathon
Session 1: Introduction to CogniCrypt
09:00 - 10:15
Panathon
Guest Talk: One Is Not Enough: Integrating CogniCrypt into Multiple IDE ...
10:45 - 11:00
Panathon
Session 2: CrySL – How does CogniCrypt Know What is Right or Wrong, Anyway?
11:00 - 12:15
Panathon
Session 3: Dynamic CogniCrypt – Static Failures and Dynamic Successes
13:30 - 15:00
Panathon
Session 4: Crypto Task Hackathon
15:30 - 17:00
Wed 17 Jul
Displayed time zone:
Belfast
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
Epernay
Scala
Silicon at the Speed of Software: From Circuits to Systems
09:00 - 10:00
Scala
Dependent Object Types with Implicit Functions
10:30 - 11:00
Scala
Symmetric Multiple Dispatch for Path Dependent Types
11:00 - 11:20
Scala
A universal encoding for functions in Scala based on structural types
11:20 - 11:40
Scala
Towards Improved GADT Reasoning in Scala
11:40 - 12:10
Scala
Tests as Maintainable Assets Via Auto-generated Spies
13:30 - 14:00
Scala
SoCRATES - Scala Radar for Test Smells
14:00 - 14:30
Scala
Resilience Testing of Akka Systems
14:30 - 14:50
Scala
TaintSpy: Runtime Vulnerability Analyzing Framework for Scala
14:50 - 15:10
Scala
Effpi: Verified Message-Passing Programs in Dotty
15:40 - 16:10
Scala
Challenges of Optimizing Scala Programs
16:10 - 16:30
Scala
Stage Polymorphism Based on Types for a Typeless Language: MATLAB in LMS
16:30 - 16:50
Thu 18 Jul
Displayed time zone:
Belfast
change
Room
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
Epernay
AORTA
KEYNOTE: The Democratization of Runtime Technology
10:30 - 11:20
AORTA
Precise, Efficient and Secure Just-In-Time Analysis of Java Programs
11:20 - 11:45
AORTA
JIT as a Service: Compilation Paradigm for the Cloud
11:45 - 12:10
AORTA
Tornado VM: A Java Virtual Machine for Exploiting High-Performance Hete ...
13:30 - 13:55
AORTA
Another Decade of SOM Language Implementation: Virtual Machines for Res ...
13:55 - 14:20
AORTA
Janus: automatic binary analysis, instrumentation and optimisation usin ...
14:20 - 14:45
AORTA
Lightweight Software Profiling of Compiled Code
14:45 - 15:10
AORTA
Full-system Cross-architecture Hardware Virtualisation
15:40 - 16:10
AORTA
Create your own Interpreter with a JIT under 30 minutes
16:10 - 16:40
Fri 19 Jul
Displayed time zone:
Belfast
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
Epernay
ICOOOLPS
Introduction
09:00 - 09:05
ICOOOLPS
Keynote: Compiling for Android
09:05 - 10:00
ICOOOLPS
Hot Code Patching in CPython - Supporting Edit-and-Continue Debugging i ...
10:30 - 10:55
ICOOOLPS
Collecting Type Information Using Unit Tests for Customization of JavaS ...
10:55 - 11:20
ICOOOLPS
Progress Report: Exploring API Design for Capabilities for Programming ...
11:20 - 11:45
ICOOOLPS
Towards a Type System for R
11:45 - 12:10
ICOOOLPS
Keynote: Project Snowflake: What we learnt.
13:30 - 14:25
ICOOOLPS
Interactive session
14:25 - 15:10
x
Sat 23 Nov 14:00