BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Jones Optimality and Hardware Virtualization (A Report on Work in 
 Progress) - Boris Feigin (University of Cambridge)
DTSTART:20071025T141500Z
DTEND:20071025T151500Z
UID:TALK9006@talks.cam.ac.uk
CONTACT:Boris Feigin
DESCRIPTION:The growing adoption of hardware virtualization solutions (VMw
 are and Xen being two prominent examples) leads us to examine the common g
 round between this yet-again vibrant technology and partial evaluation.  A
  virtual machine executes on host hardware and presents to its guest progr
 am a replica of that host environment\, complete with CPU\, memory\, and I
 /O devices.  A virtual machine can be seen as a self-interpreter.\n\nA pro
 gram specializer is considered Jones-optimal if it is capable of removing 
 a layer of interpretational overhead.  Can efficient virtualization be und
 erstood in terms of Jones-optimal specialization?\n\nA fully abstract prog
 ramming language translation is one that preserves equivalences.  Should a
  virtual machine be ``fully abstract''?\n\nWe hope that this discussion wi
 ll encourage wider exchange of ideas between the virtualization and partia
 l evaluation communities.
LOCATION:GS15\, Computer Laboratory
END:VEVENT
END:VCALENDAR