BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Kilim: Concurrency-Oriented Programming for Java - Sriram Srinivas
 an\, Computer Laboratory\, University of Cambridge
DTSTART:20071009T133000Z
DTEND:20071009T143000Z
UID:TALK7721@talks.cam.ac.uk
CONTACT:Minor Gordon
DESCRIPTION:This talk is a progress report on a framework with three contr
 ibutions:\n\n1. Very lightweight threads obtained by CPS transforming byte
 code. The\nthreads scale thrice as better compared to Erlang (the Concurre
 ncy\nOriented Language du jour) and context switch faster 1000x than Java\
 nthreads.\n\n2. Kilim enforces isolation between tasks. Programmer supplie
 d annotations\n(similar to linear type systems) help constrain pointer ali
 asing in data\nstructures exchanged through messages. This scheme achieves
  isolation\nwithout copying (unlike RMI)\, allows mutation (linearly\, one
  task at a\ntime) and is more flexible than uniqueness type schemes. There
  is no need\nfor mutexes\, semaphores and synchronized.\n\n3. Existing con
 structs and classes (arrays\, java collection classes\,\nimmutable classes
 ) are accommodated\; there is no dependence on class level\nannotations al
 one. An intra-procedural data flow analysis tracks reference\nusage.\n\nTh
 e talk will focus more on the latter two points.
LOCATION:Room FW26\, Computer Laboratory\, William Gates Building
END:VEVENT
END:VCALENDAR