Write a Blog >>
You're viewing the program in a time zone which is different from your device's time zone change time zone

Tue 20 Jun

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:30
AFTfJP at Vertex WS217
Chair(s): Radu Grigore University of Kent
09:30
20m
Talk
Software Model Checking: A Promising Approach to Verify Mobile App Security
FTfJP
Irina Asavoae INRIA, Paris, France, Hoang Nga Nguyen Coventry University, Coventry, UK, Markus Roggenbach Swansea University, Swansea, UK, Siraj Ahmed Shaikh Coventry University, Coventry, UK
Pre-print
09:50
35m
Talk
Formal Analysis of Object-Oriented Mograms
FTfJP
Moussa Amrani University of Namur, Pierre Yves Schobbens University of Namur
10:25
5m
Talk
Towards a Java Subtyping Operad
FTfJP
Moez A. AbdelGawad Informatics Research Institute, SRTA-City, Alexandria, Egypt
Pre-print
11:00 - 12:30
BFTfJP at Vertex WS217
Chair(s): Santosh Nagarakatte Rutgers University, USA
11:00
20m
Talk
A Coq-based synthesis of Scala programs which are correct-by-construction
FTfJP
Youssef El Bakouny CIMTI - ESIB - Saint-Joseph University - Beirut, Lebanon, Tristan Crolard CEDRIC - CNAM - Paris, France, Dani Mezher CIMTI - ESIB - Saint-Joseph University - Beirut, Lebanon
Pre-print
11:20
70m
Talk
Iris: A Modular Foundation for Higher-Order Concurrent Separation Logic (KEYNOTE)
FTfJP
Derek Dreyer MPI-SWS
14:00 - 15:30
14:00
20m
Talk
Generic Approach to Certified Static Checking of Module-like Constructs
FTfJP
Julia Belyakova Southern Federal University
Pre-print
14:20
35m
Talk
Tracing sharing in an imperative pure calculus
FTfJP
Paola Giannini Universita' del Piemonte Orientale, Marco Servetto Victoria University of Wellington, Elena Zucca University of Genova
14:55
35m
Talk
Mutable WadlerFest DOT
FTfJP
Marianna Rapoport University of Waterloo, Ondřej Lhoták University of Waterloo, Canada
16:00 - 18:00
DFTfJP at Vertex WS217
Chair(s): Radu Grigore University of Kent
16:00
20m
Talk
Consistency Types for Safe and Efficient Distributed Programming
FTfJP
Alessandro Margara Politecnico di Milano, Guido Salvaneschi TU Darmstadt
16:20
35m
Talk
Correctness of Partial Escape Analysis for Multithreading Optimization
FTfJP
Dustin Rhodes , Cormac Flanagan University of California, Santa Cruz, Stephen N. Freund Williams College
16:55
35m
Talk
Parametric trace expressions for runtime verification of Java-like programs
FTfJP
Davide Ancona University of Genova, Angelo Ferrando , Luca Franceschini DIBRIS, University of Genova, Italy, Viviana Mascardi DIBRIS, University of Genova, Italy