ECOOP 2015
Sun 5 - Fri 10 July 2015 Prague, Czech Republic
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