BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Reasoning About Client Side Web Programs - Gareth Smith\, Imperial
  College London
DTSTART:20130227T140000Z
DTEND:20130227T150000Z
UID:TALK43676@talks.cam.ac.uk
CONTACT:Microsoft Research Cambridge Talks Admins
DESCRIPTION:In 1996\, the first JavaScript interpreter was shipped with Ne
 tscape Navigator. Since then the web has become an application platform\, 
 and JavaScript has evolved into "the assembly language of the web". There 
 are now JavaScript implementations of word processors\, spreadsheets\, cha
 t programs\, image editors and FPS games. Unfortunately\, writing large re
 liable software in JavaScript can be extremely challenging. JavaScript mak
 es it difficult to write modular programs and is notorious for its corner 
 cases\, which are easy to trip over.\n\nIn the JSCert project (http://jsce
 rt.org) we have been working to provide a trusted semantics and program lo
 gic for client side web programming. Our goal is to make it possible to pr
 oduce truly high confidence client-side web programs. This talk will prese
 nt a program logic\, based on separation logic\, for client side web progr
 amming.\n
LOCATION:Auditorium\, Microsoft Research Ltd\, 21 Station Road\, Cambridge
 \, CB1 2FB
END:VEVENT
END:VCALENDAR