NetPL 2015
Mon 6 - Fri 10 July 2015 Prague, Czech Republic
co-located with ECOOP 2015
VenueMarriott
Room nameHluboka I
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

Mon 6 Jul

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

10:10 - 10:15
Day OpeningJSTools at Hluboka I
Chair(s): Julian Dolby IBM Research, Shu-yu Guo Mozilla Corporation, Christian Hammer Saarland University, Michael Pradel TU Darmstadt
10:10
5m
Day opening
Opening Remarks
JSTools

10:15 - 10:45
TheoryJSTools at Hluboka I
Chair(s): Christian Hammer Saarland University
10:15
30m
Talk
ES5strict -> IVL, Principled Translation using Operational Semantics
JSTools
Daiva Naudžiūnienė Imperial College London
10:50 - 12:20
Invited Talks at STOPJSTools at Hluboka I
10:50
45m
Talk
Invited Talk at STOP by Andreas Rossberg
JSTools

11:35
45m
Talk
Invited Talk at STOP by Avik Chaudhuri
JSTools

13:50 - 14:35
Invited Talks at STOP IIJSTools at Hluboka I
13:50
45m
Talk
Invited Talk at STOP by Satish Chandra
JSTools

14:40 - 15:40
Practical AnalysisJSTools at Hluboka I
Chair(s): Julian Dolby IBM Research
14:40
30m
Talk
HybriDroid: Analysis Framework for Android Hybrid Applications
JSTools
Sukyoung Ryu Korea Advanced Institute of Science and Technology
15:10
30m
Talk
Jalangi: A Dynamic Analyses Framework for JavaScript
JSTools
Koushik Sen University of California, Berkeley
16:00 - 18:00
Practical Analysis IIJSTools at Hluboka I
Chair(s): Michael Pradel TU Darmstadt
16:00
30m
Talk
EventRacer: Scalable Analysis for Event-Driven Systems
JSTools
Martin Vechev ETH Zurich
16:30
30m
Talk
Stateless Model Checking for JavaScript
JSTools
Anders Møller Aarhus University
17:00
30m
Talk
MemInsight: Platform-Independent Memory Profiling for JavaScript
JSTools
Manu Sridharan Samsung Research America
17:30
30m
Talk
Visualizing the interactions of client and server JS code
JSTools
Saba Alimadadi University of British Columbia
18:00 - 18:30
Day ClosingJSTools at Hluboka I
Chair(s): Julian Dolby IBM Research, Shu-yu Guo Mozilla Corporation, Christian Hammer Saarland University, Michael Pradel TU Darmstadt
18:00
30m
Day closing
Closing Remarks
JSTools

Tue 7 Jul

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

10:05 - 10:15
WelcomeFTfJP at Hluboka I
Chair(s): Rosemary Monahan Maynooth University
10:05
10m
Day opening
Opening
FTfJP

10:15 - 12:15
Session 1FTfJP at Hluboka I
Chair(s): Rosemary Monahan Maynooth University
10:15
30m
Talk
A three-valued type system for true positives detection in Java-like languages
FTfJP
Davide Ancona University of Genova, Federico Frassetto
10:45
30m
Talk
Imperative Objects with Dependent Types
FTfJP
Joana Campos Lasige / Faculty of Sciences, Universidade de Lisboa, Vasco T. Vasconcelos Lasige / Faculty of Sciences, Universidade de Lisboa
11:15
30m
Talk
Foo: A minimal Modern OO Calculus
FTfJP
Prodromos Gerakios National Technical University of Athens, George Fourtounis University of Athens, Yannis Smaragdakis University of Athens
11:45
30m
Talk
Delegation vs Inheritance for Typestate Analysis
FTfJP
Du Li Carnegie Mellon University, Alex Potanin Victoria University of Wellington, Jonathan Aldrich Carnegie Mellon University
12:15 - 12:35
Tool Demonstration 1FTfJP at Hluboka I
Chair(s): Rosemary Monahan Maynooth University
12:15
20m
Other
Why3
FTfJP
Léon Gondelman LRI, Université Paris-Sud
13:45 - 14:45
Session 2FTfJP at Hluboka I
Chair(s): Rosemary Monahan Maynooth University
13:45
30m
Talk
Provably Live Exception Handling
FTfJP
Bart Jacobs iMinds - Distrinet, KU Leuven
14:15
30m
Talk
Run-time Assertion Checking of JML Annotations in Multithreaded Applications with e-OpenJML
FTfJP
Jorne Kandziora University of Twente, Marieke Huisman University of Twente, Christoph Bockisch University of Twente, Marina Zaharieva-Stojanovski University of Twente
14:45 - 15:35
Invited TalkFTfJP at Hluboka I
Chair(s): Rosemary Monahan Maynooth University
14:45
50m
Talk
Verification of Concurrent Software: Java and OpenCL
FTfJP
Marieke Huisman University of Twente
16:00 - 17:30
Session 3FTfJP at Hluboka I
Chair(s): Rosemary Monahan Maynooth University
16:00
30m
Talk
Automatic Verification of Dafny Programs with Traits
FTfJP
Reza Ahmadi University of Tampere, K. Rustan M. Leino Microsoft Research, Jyrki Nummenmaa University of Tampere
16:30
30m
Talk
Conditional Effects in Fine-grained Region Logic
FTfJP
Yuyan Bao University of Central Florida, Gary T. Leavens Central Florida University, Gidon Ernst Augsburg University
17:00
30m
Talk
Regression Verification for Java Using a Secure Information Flow Calculus
FTfJP
Bernhard Beckert Karlsruhe Institute of Technology, Vladimir Klebanov Karlsruhe Institute of Technology, Mattias Ulbrich Karlsruhe Institute of Technology
17:30 - 17:50
Tool Demonstration 2FTfJP at Hluboka I
Chair(s): Rosemary Monahan Maynooth University
17:30
20m
Other
Viper (Verification Infrastructure for Permission-based Reasoning)
FTfJP
Malte Schwerhoff ETH Zurich, Switzerland
17:50 - 18:00
ClosingFTfJP at Hluboka I
Chair(s): Rosemary Monahan Maynooth University
17:50
10m
Day closing
Closing
FTfJP

Mon 6 Jul

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

Tue 7 Jul

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