BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Repeatable execution\, and why operating systems should support it
  - Stephen Kell (University of Cambridge)
DTSTART:20150127T131500Z
DTEND:20150127T134500Z
UID:TALK56391@talks.cam.ac.uk
CONTACT:Heidi Howard
DESCRIPTION:Many applications benefit from repeatability: being able to ru
 n the same program deterministically on the same input\, hence seeing the 
 same output\, across both time (reproducing an earlier run) and space (rep
 roducing the same execution on a different machine\, say). Two major use c
 ases are bug reproduction in everyday software\, and distribution of scien
 tific software. In this very informal talklet I will sketch a case for sup
 porting repeatability somewhere near the core of the operating system\, ra
 ther than (as at present) in user-space tools (e.g. rr\, UndoDB\, CDE) or 
 hypervisors (revirt\, VMware Workstation). Time permitting\, I'll speculat
 e wildly about the potential benefits to storage subsystems\, toolchain de
 sign\, software build and deployment\, compiler bootstrapping\, debugging\
 , and the optimisation of recurring time/space trade-offs. 
LOCATION:Computer Laboratory\, William Gates Building\, Room FW11
END:VEVENT
END:VCALENDAR