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

Conference Day
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 RuemmerUppsala University
11:45
30m
Full-paper
CallƐ: An Effect System for Method Calls
FTfJP
Isaac Oscar Gariano, James NobleVictoria University of Wellington, Marco ServettoVictoria 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 DalvandiUniversity of Surrey, Brijesh DongolUniversity of Surrey
16:00
30m
Full-paper
Specifying I/O using Abstract Nested Hoare Triples in Separation Logic
FTfJP
Willem PenninckxKU Leuven, Amin Timanyimec-Distrinet KU-Leuven, Bart JacobsKU Leuven
16:30
15m
Short-paper
Analysis of MiniJava Programs via Translation to ML
FTfJP
Martin LesterUniversity of Reading
16:45
15m
Short-paper
Translating Classes to First-Order Logic: An Example
FTfJP

Conference Day
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ügerPaderborn 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 LuoPaderborn University
11:00
75m
Session 2: CrySL – How does CogniCrypt Know What is Right or Wrong, Anyway?
Panathon
Stefan KrügerPaderborn 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 NewburyUniversity of Alberta
15:30 - 17:00
Crypto Task HackathonPanathon at Epernay
15:30
90m
Session 4: Crypto Task Hackathon
Panathon

Conference Day
Wed 17 Jul

Displayed time zone: Belfast change

13:30 - 15:10
TestingScala at Epernay
13:30
30m
Short-paper
Tests as Maintainable Assets Via Auto-generated Spies
Scala
Konstantin LäuferLoyola University Chicago, John O'SullivanLoyola University Chicago, George K. ThiruvathukalLoyola University Chicago and Argonne National Laboratory
14:00
30m
Short-paper
SoCRATES - Scala Radar for Test Smells
Scala
Jonas De BleserSofware Languages Lab, Vrije Universiteit Brussel, Dario Di NucciVrije Universiteit Brussel, Coen De RooverVrije Universiteit Brussel
14:30
20m
Talk
Resilience Testing of Akka Systems
Scala
Jonas De BleserSofware Languages Lab, Vrije Universiteit Brussel
14:50
20m
Talk
TaintSpy: Runtime Vulnerability Analyzing Framework for Scala
Scala
Mohammadreza AshouriUniversity 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 ScalasAston University, Birmingham, UK, Nobuko YoshidaImperial College London, Elias BenussiFaculty 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 RompfPurdue University, Markus PüschelETH Zürich

Conference Day
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éraGoogle, Aarhus
09:05
55m
Talk
Keynote: Compiling for Android
ICOOOLPS
K: Mads AgerGoogle
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 HenningHasso Plattner Institute, David Stangl, Fabio NiephausHasso Plattner Institute, University of Potsdam, Robert HirschfeldHasso-Plattner-Institut (HPI), Germany
DOI
10:55
25m
Research paper
Collecting Type Information Using Unit Tests for Customization of JavaScript Virtual Machines
ICOOOLPS
Tomoharu UgawaKochi University of Technology, Japan, Hideya IwasakiUniversity of Electro-Communications, Japan, Takafumi Kataoka
11:20
25m
Research paper
Progress Report: Exploring API Design for Capabilities for Programming with Arrays
ICOOOLPS
Beatrice ÅkerblomStockholm University, Elias CastegrenUppsala University, Tobias WrigstadUppsala University
11:45
25m
Research paper
Towards a Type System for R
ICOOOLPS
Alexi TurcotteNortheastern University, Jan VitekNortheastern University
13:30 - 15:10
Closing keynote & Interactive sessionICOOOLPS at Epernay
13:30
55m
Talk
Keynote: Project Snowflake: What we learnt.
ICOOOLPS
Matthew ParkinsonMicrosoft Research, UK
14:25
45m
Other
Interactive session
ICOOOLPS
Eric JulUniversity of Oslo

Conference Day
Mon 15 Jul

Displayed time zone: Belfast change

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

Conference Day
Wed 17 Jul

Displayed time zone: Belfast change

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

Conference Day
Thu 18 Jul

Displayed time zone: Belfast change

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

Conference Day
Fri 19 Jul

Displayed time zone: Belfast change