BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:What is the Difference between Emulation and Virtualization? - Chr
 istoph Kirsch (University of Salzburg)
DTSTART:20170908T100000Z
DTEND:20170908T110000Z
UID:TALK78041@talks.cam.ac.uk
CONTACT:Liang Wang
DESCRIPTION:This is work in progress. Selfie is educational software that 
 implements a\nself-compiling compiler of a tiny C subset\, a self-executin
 g emulator of a\ntiny MIPS subset targeted by the compiler\, and a self-ho
 sting hypervisor\nthat virtualizes the emulated machine. There is also a p
 ort to RISC-V\nsupported by the official RISC-V toolchain. The code in sel
 fie that handles\ncontext switching and virtual memory is shared by both t
 he emulator and the\nhypervisor. In fact their only difference is that upo
 n context switching the\nemulator interprets code while the hypervisor has
  the emulator on which it\nruns interpret code. We are currently trying to
  leverage that design for\nvalidating the functional equivalence of emulat
 ion and virtualization in\ntest runs. The long term goal is to verify func
 tional equivalence formally\nfor all input programs. The talk provides an 
 overview of the existing system\nand then focuses on current development a
 nd the challenges ahead.\n\nThis is joint work with Alireza Abyaneh and Ar
 min Biere\, JKU Linz.\n\nBio:\n\nChristoph Kirsch is Professor at the Depa
 rtment of Computer Sciences of the\nUniversity of Salzburg\, Austria. He r
 eceived his Dr.Ing. degree from\nSaarland University\, Saarbrücken\, Germ
 any\, in 1999 while at the Max Planck\nInstitute for Computer Science. Fro
 m 1999 to 2004 he worked as Postdoctoral\nResearcher at the Department of 
 Electrical Engineering and Computer Sciences\nof the University of Califor
 nia\, Berkeley. He later returned to Berkeley as\nVisiting Scholar (2008-2
 013) and Visiting Professor (2014) at the Department\nof Civil and Environ
 mental Engineering as part of a collaborative research\neffort in Cyber-Ph
 ysical Systems. His research interests are in concurrent\nprogramming\, me
 mory management\, virtualization\, and automated theorem\nproving. Dr. Kir
 sch co-invented embedded programming languages and systems\nsuch as Giotto
 \, HTL\, and the Embedded Machine\, and more recently co-designed\nhigh-pe
 rformance\, multicore-scalable concurrent data structures and memory\nmana
 gement systems. He co-founded the International Conference on Embedded\nSo
 ftware (EMSOFT) and served as ACM SIGBED chair from 2011 until 2013 and\nA
 CM TODAES associate editor from 2011 until 2014. He is currently associate
 \neditor of IEEE TCAD.
LOCATION:FW26\, Computer Laboratory\, William Gates Building
END:VEVENT
END:VCALENDAR