BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Context-aware programming languages - Tomas Petricek\, University 
 of Cambridge
DTSTART:20150218T100000Z
DTEND:20150218T110000Z
UID:TALK58033@talks.cam.ac.uk
CONTACT:Microsoft Research Cambridge Talks Admins
DESCRIPTION:Modern computer programs do not run in the void. They run in r
 ich environments that provide important data sources\, services and other 
 functionality that is required by the programs. For example\, mobile appli
 cations access GPS locations\, call server-side code over the network\, ac
 cess data from public REST-based services and so on. Yet\, programming lan
 guages often assume that the initial context is an empty set.\n\nIn this t
 alk\, I'll cover two research directions that make programming languages m
 ore context-aware. In the first part\, I'll discuss coeffects – a mechan
 ism for tracking how computer programs access the environment in which the
 y execute. Coeffects capture many practical notions of context (such as av
 ailable resources in distributed computing)\, but can also model well-know
 n properties (such as variable liveness or requirements in data-flow compu
 tations). In the second part of the talk\, I’ll cover my work on type pr
 oviders that integrates external data sources in the type system of a prog
 ramming language and I’ll briefly outline interesting future research di
 rections.\n
LOCATION:Small Lecture Theatre\, Microsoft Research Ltd\, 21 Station Road\
 , Cambridge\, CB1 2FB
END:VEVENT
END:VCALENDAR