ECOOP 2015
Sun 5 - Fri 10 July 2015 Prague, Czech Republic
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
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:10 - 10:15
Day OpeningJSTools at Hluboka I
Chair(s): Julian DolbyIBM Research, Christian HammerSaarland University, Michael PradelTU Darmstadt, Shu-yu GuoMozilla Corporation
10:10
5m
Day opening
Opening Remarks
JSTools
10:15 - 10:45
TheoryJSTools at Hluboka I
Chair(s): Christian HammerSaarland 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 DolbyIBM Research
14:40
30m
Talk
HybriDroid: Analysis Framework for Android Hybrid Applications
JSTools
Sukyoung RyuKorea Advanced Institute of Science and Technology
15:10
30m
Talk
Jalangi: A Dynamic Analyses Framework for JavaScript
JSTools
Koushik SenUniversity of California, Berkeley
16:00 - 18:00
Practical Analysis IIJSTools at Hluboka I
Chair(s): Michael PradelTU Darmstadt
16:00
30m
Talk
EventRacer: Scalable Analysis for Event-Driven Systems
JSTools
Martin VechevETH Zurich
16:30
30m
Talk
Stateless Model Checking for JavaScript
JSTools
Anders MøllerAarhus University
17:00
30m
Talk
MemInsight: Platform-Independent Memory Profiling for JavaScript
JSTools
Manu SridharanSamsung Research America
17:30
30m
Talk
Visualizing the interactions of client and server JS code
JSTools
Saba AlimadadiUniversity of British Columbia
18:00 - 18:30
Day ClosingJSTools at Hluboka I
Chair(s): Michael PradelTU Darmstadt, Christian HammerSaarland University, Julian DolbyIBM Research, Shu-yu GuoMozilla Corporation
18:00
30m
Day closing
Closing Remarks
JSTools

Tue 7 Jul
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:05 - 10:15
WelcomeFTfJP at Hluboka I
Chair(s): Rosemary MonahanMaynooth University
10:05
10m
Day opening
Opening
FTfJP
10:15 - 12:15
Session 1FTfJP at Hluboka I
Chair(s): Rosemary MonahanMaynooth University
10:15
30m
Talk
A three-valued type system for true positives detection in Java-like languages
FTfJP
Davide AnconaUniversity of Genova, Federico Frassetto
10:45
30m
Talk
Imperative Objects with Dependent Types
FTfJP
Joana CamposLasige / Faculty of Sciences, Universidade de Lisboa, Vasco VasconcelosLasige / Faculty of Sciences, Universidade de Lisboa
11:15
30m
Talk
Foo: A minimal Modern OO Calculus
FTfJP
Prodromos GerakiosNational Technical University of Athens, George FourtounisUniversity of Athens, Yannis SmaragdakisUniversity of Athens
11:45
30m
Talk
Delegation vs Inheritance for Typestate Analysis
FTfJP
Du LiCarnegie Mellon University, Alex PotaninVictoria University of Wellington, Jonathan AldrichCarnegie Mellon University
12:15 - 12:35
Tool Demonstration 1FTfJP at Hluboka I
Chair(s): Rosemary MonahanMaynooth University
12:15
20m
Other
Why3
FTfJP
Léon GondelmanLRI, Université Paris-Sud
13:45 - 14:45
Session 2FTfJP at Hluboka I
Chair(s): Rosemary MonahanMaynooth University
13:45
30m
Talk
Provably Live Exception Handling
FTfJP
Bart JacobsiMinds - Distrinet, KU Leuven
14:15
30m
Talk
Run-time Assertion Checking of JML Annotations in Multithreaded Applications with e-OpenJML
FTfJP
Jorne KandzioraUniversity of Twente, Marieke HuismanUniversity of Twente, Christoph BockischUniversity of Twente, Marina Zaharieva-StojanovskiUniversity of Twente
14:45 - 15:35
Invited TalkFTfJP at Hluboka I
Chair(s): Rosemary MonahanMaynooth University
14:45
50m
Talk
Verification of Concurrent Software: Java and OpenCL
FTfJP
Marieke HuismanUniversity of Twente
16:00 - 17:30
Session 3FTfJP at Hluboka I
Chair(s): Rosemary MonahanMaynooth University
16:00
30m
Talk
Automatic Verification of Dafny Programs with Traits
FTfJP
Reza AhmadiUniversity of Tampere, K. Rustan M. LeinoMicrosoft Research, Jyrki NummenmaaUniversity of Tampere
16:30
30m
Talk
Conditional Effects in Fine-grained Region Logic
FTfJP
Yuyan BaoUniversity of Central Florida, Gary LeavensCentral Florida University, Gidon ErnstAugsburg University
17:00
30m
Talk
Regression Verification for Java Using a Secure Information Flow Calculus
FTfJP
Bernhard BeckertKarlsruhe Institute of Technology, Vladimir KlebanovKarlsruhe Institute of Technology, Mattias UlbrichKarlsruhe Institute of Technology
17:30 - 17:50
Tool Demonstration 2FTfJP at Hluboka I
Chair(s): Rosemary MonahanMaynooth University
17:30
20m
Other
Viper (Verification Infrastructure for Permission-based Reasoning)
FTfJP
Malte SchwerhoffETH Zurich, Switzerland
17:50 - 18:00
ClosingFTfJP at Hluboka I
Chair(s): Rosemary MonahanMaynooth University
17:50
10m
Day closing
Closing
FTfJP

Mon 6 Jul
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 7 Jul
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change