BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Virtual machines should be invisible (and might be augmented) - St
 ephen Kell (Oxford)
DTSTART:20111125T151500Z
DTEND:20111125T161500Z
UID:TALK34821@talks.cam.ac.uk
CONTACT:Dominic Orchard
DESCRIPTION:This talk is in two halves. In the first\, I consider two prob
 lems with\nvirtual machine-based language runtimes. Specifically\, foreign
  function\ninterfacing is needlessly difficult\, and meanwhile\, tools suc
 h as\ndebuggers\, profilers etc.\, being /per-VM/ infrastructure\, create\
 nanalogous difficulties for developers crossing VM--native or VM--VM\nboun
 daries. The focus is on dynamic languages\; specifically\, I will\ndescrib
 e DwarfPython\, an implementation of Python which aims to\novercome both o
 f these problems through some unusual design choices.\nCentral among these
  is the adoption of a unifying descriptive metamodel\n(DWARF) from native 
 debugging infrastructure.  In the second half\, I\nwill extend these ideas
  to argue that "virtual" execution environments\nmay be more accurately co
 nsidered as performing "augmented execution".\nFrom this observation\, and
  by reconsidering the boundaries between\ndynamic and static analyses\, I 
 will suggest how to uncover apparently\nnew spaces in the various trade-of
 fs around both execution strategies\nand analysis techniques.\n\nThis talk
  (especially the second half) is very speculative\; please bring your disc
 ussion hats!\n
LOCATION:SS03\, Computer Laboratory
END:VEVENT
END:VCALENDAR