Technical program
The following is a tentative program for the workshop:
9:00-10:00 Invited talk: Shriram Krishnamurthi 10:00-10:30 Break 10:30-12:00 "Towards Reasoning for Web
applications: an operational semantics for Hop", Boudol Gerard, Luo Zhengqin, Rezk Tamara and Manuel Serrano "Interaction-Based Programming Towards Translucent Clouds", Kartik Gopalan and Yu David Liu "Dynamic Updates for Web and Cloud
Applications", Pamela Bhattacharya and Iulian Neamtiu 12:00-2:00 Lunch 2:00-3:00 Invited talk: Jan Vitek:
Of Scripts and Programs Tall tales, Urban Legends and Future Prospects
3:00-3:30 Break 3:30-4:30 "DynXML: Safely Programming the Dynamic Web", Joshua Sunshine and Jonathan Aldrich "Language Support for Extensible Web Browsers", Benjamin Lerner and Dan Grossman "Isolating JavaScript in
Dynamic Code Environments", Antonis Krithinakis, Elias Athanasopoulos, and Evangelos P. Markatos 4:30 WIP session 5:00 Informal get-together/drinks