ECOOP 2015 (series) / JSTools 2015 (series) /
JSTools 2015 Program
This is the JSTools 2015 program - see the full program for ECOOP 2015 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Mon 6 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
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 5mDay opening | Opening Remarks JSTools |
10:15 - 10:45 | |||
10:15 30mTalk | ES5strict -> IVL, Principled Translation using Operational Semantics JSTools Daiva Naudžiūnienė Imperial College London |
10:50 - 12:20 | |||
10:50 45mTalk | Invited Talk at STOP by Andreas Rossberg JSTools | ||
11:35 45mTalk | Invited Talk at STOP by Avik Chaudhuri JSTools |
13:50 - 14:35 | |||
13:50 45mTalk | Invited Talk at STOP by Satish Chandra JSTools |
14:40 - 15:40 | |||
14:40 30mTalk | HybriDroid: Analysis Framework for Android Hybrid Applications JSTools Sukyoung Ryu Korea Advanced Institute of Science and Technology | ||
15:10 30mTalk | Jalangi: A Dynamic Analyses Framework for JavaScript JSTools Koushik Sen University of California, Berkeley |
16:00 - 18:00 | |||
16:00 30mTalk | EventRacer: Scalable Analysis for Event-Driven Systems JSTools Martin Vechev ETH Zurich | ||
16:30 30mTalk | Stateless Model Checking for JavaScript JSTools Anders Møller Aarhus University | ||
17:00 30mTalk | MemInsight: Platform-Independent Memory Profiling for JavaScript JSTools Manu Sridharan Samsung Research America | ||
17:30 30mTalk | 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 30mDay closing | Closing Remarks JSTools |