PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM (series) / ECOOP 2017 (series) / FTfJP 2017 (series) /
FTfJP 2017 Program
This is the FTfJP 2017 program - see the full program for ECOOP 2017 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Tue 20 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Tue 20 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 10:30 | |||
09:30 20mTalk | 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 35mTalk | Formal Analysis of Object-Oriented Mograms FTfJP | ||
10:25 5mTalk | Towards a Java Subtyping Operad FTfJP Moez A. AbdelGawad Informatics Research Institute, SRTA-City, Alexandria, Egypt Pre-print |
11:00 - 12:30 | |||
11:00 20mTalk | 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 70mTalk | Iris: A Modular Foundation for Higher-Order Concurrent Separation Logic (KEYNOTE) FTfJP Derek Dreyer MPI-SWS |
14:00 - 15:30 | |||
14:00 20mTalk | Generic Approach to Certified Static Checking of Module-like Constructs FTfJP Julia Belyakova Southern Federal University Pre-print | ||
14:20 35mTalk | 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 35mTalk | Mutable WadlerFest DOT FTfJP |
16:00 - 18:00 | |||
16:00 20mTalk | Consistency Types for Safe and Efficient Distributed Programming FTfJP | ||
16:20 35mTalk | 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 35mTalk | 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 |