VenueNovotel London West
Room nameEpernay
Floor0
Additional informationThere is no additional information of this room 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
Times are displayed in time zone: Greenwich Mean Time : Belfast change

10:45 - 12:15: Session OneFTfJP at Epernay
10:45 - 11:45
Talk
Invited Talk - JayHorn: A Java Model Checker
FTfJP
Philipp RuemmerUppsala University
11:45 - 12:15
Full-paper
CallƐ: An Effect System for Method Calls
FTfJP
Isaac Oscar Gariano, James NobleVictoria University of Wellington, Marco ServettoVictoria University Wellington, New Zealand
13:30 - 15:00: Session TwoFTfJP at Epernay
13:30 - 14:30
Talk
Invited Talk - Building Trustworthy Software with CakeML
FTfJP
Scott OwensUniversity of Kent, UK
14:30 - 15:00
Full-paper
Decidable, Tag-Based Semantic Subtyping for Nominal Types, Tuples, and Unions
FTfJP
Julia BelyakovaNortheastern University, USA
DOI Pre-print
15:30 - 17:00: Session ThreeFTfJP at Epernay
15:30 - 16:00
Full-paper
Towards Deductive Verification of C11 Programs with Event-B and ProB
FTfJP
Sadegh DalvandiUniversity of Surrey, Brijesh DongolUniversity of Surrey
16:00 - 16:30
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 - 16:45
Short-paper
Analysis of MiniJava Programs via Translation to ML
FTfJP
Martin LesterUniversity of Reading
16:45 - 17:00
Short-paper
Translating Classes to First-Order Logic: An Example
FTfJP

Tue 16 Jul
Times are displayed in time zone: Greenwich Mean Time : Belfast change

09:00 - 10:15: Introduction to CogniCryptPanathon at Epernay
09:00 - 10:15
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 - 11:00
Demonstration
Guest Talk: One Is Not Enough: Integrating CogniCrypt into Multiple IDEs and Editors with MagpieBridge
Panathon
P: Linghui LuoPaderborn University
11:00 - 12:15
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 - 15:00
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 - 17:00
Session 4: Crypto Task Hackathon
Panathon

Wed 17 Jul
Times are displayed in time zone: Greenwich Mean Time : Belfast change

09:00 - 10:00: KeynoteScala at Epernay
09:00 - 10:00
Talk
Silicon at the Speed of Software: From Circuits to Systems
Scala
10:30 - 12:10: TypesScala at Epernay
10:30 - 11:00
Research paper
Dependent Object Types with Implicit Functions
Scala
Alex JefferyUniversity of Sussex
11:00 - 11:20
Talk
Symmetric Multiple Dispatch for Path Dependent Types
Scala
Jaemin HongKAIST, South Korea, Sukyoung RyuKAIST, South Korea
11:20 - 11:40
Talk
A universal encoding for functions in Scala based on structural types
Scala
Guillaume MartresEPFL, Switzerland
11:40 - 12:10
Short-paper
Towards Improved GADT Reasoning in Scala
Scala
13:30 - 15:10: TestingScala at Epernay
13:30 - 14:00
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 - 14:30
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 - 14:50
Talk
Resilience Testing of Akka Systems
Scala
Jonas De BleserSofware Languages Lab, Vrije Universiteit Brussel
14:50 - 15:10
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 - 16:10
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 - 16:30
Talk
Challenges of Optimizing Scala Programs
Scala
16:30 - 16:50
Talk
Stage Polymorphism Based on Types for a Typeless Language: MATLAB in LMS
Scala
Alen Stojanov, Tiark RompfPurdue University, Markus PüschelETH Zürich

Thu 18 Jul
Times are displayed in time zone: Greenwich Mean Time : Belfast change

15:40 - 16:40: Session #3AORTA at Epernay
Chair(s): Hugh LeatherUniversity of Edinburgh
15:40 - 16:10
Talk
Full-system Cross-architecture Hardware Virtualisation
AORTA
Tom SpinkUniversity of Edinburgh
16:10 - 16:40
Talk
Create your own Interpreter with a JIT under 30 minutes
AORTA
File Attached

Fri 19 Jul
Times are displayed in time zone: Greenwich Mean Time : Belfast change

09:00 - 10:00: Starting KeynoteICOOOLPS at Epernay
09:00 - 09:05
Day opening
Introduction
ICOOOLPS
Clément BéraGoogle, Aarhus
09:05 - 10:00
Talk
Keynote: Compiling for Android
ICOOOLPS
K: Mads AgerGoogle
10:30 - 12:10: Workshop sessionICOOOLPS at Epernay
10:30 - 10:55
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 - 11:20
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 - 11:45
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 - 12:10
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 - 14:25
Talk
Keynote: Project Snowflake: What we learnt.
ICOOOLPS
Matthew ParkinsonMicrosoft Research, UK
14:25 - 15:10
Other
Interactive session
ICOOOLPS
Eric JulUniversity of Oslo

Mon 15 Jul
Times are displayed in time zone: Greenwich Mean Time : Belfast change

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

Wed 17 Jul
Times are displayed in time zone: Greenwich Mean Time : Belfast change

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

Thu 18 Jul
Times are displayed in time zone: Greenwich Mean Time : Belfast change

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

Fri 19 Jul
Times are displayed in time zone: Greenwich Mean Time : Belfast change

Tue 16 Jul
Times are displayed in time zone: Greenwich Mean Time : Belfast change