BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Memento EPFL//
BEGIN:VEVENT
SUMMARY:IC Monday Seminar : "Systems Code Verification: A Moving Target" 
DTSTART:20110404T161500
DTSTAMP:20260410T150406Z
UID:18cfc347c473e3bdde75bb4bdb9cc5a6cd676d9d7eaccf721f868e96
CATEGORIES:Conferences - Seminars
DESCRIPTION:Dr. Eric Koskinen\, University of Cambridge - IC Faculty candi
 date\nAbstract : Systems code is ubiquitous and complex. Moreover\, the co
 mplexity of code is expected to increase as systems designers can no longe
 r expect increasing processor speeds\, and thus must turn to concurrency f
 or improved performance. How can we be sure that these programs\, running 
 on platforms ranging from human implant devices to nuclear power plant con
 trols\, will behave as intended? Addressing systems code correctness in th
 e face of concurrency involves advances in two intertwined fields: automat
 ic software verification and concurrent programming paradigms. In this tal
 k I will discuss some of our recent work on improving both the correctness
  as well as the performance of systems software. I will focus primarily on
  describing a new automatic method of temporal logic verification of progr
 ams (POPL'11\, CAV'11). I will also discuss recent results on a new langua
 ge feature that has enabled more concurrency in transactional memory syste
 ms\, improving performance by an order of magnitude (POPL'10\, PPoPP'08\, 
 SPAA'08). Bio: Eric Koskinen's research is centered around developing math
 ematical techniques which improve the safety and performance of software\,
  and applying those techniques to realistic computer systems. He is curren
 tly a PhD candidate at the University of Cambridge\, under the supervision
  of Dr. Byron Cook and Prof. Michael Gordon. Eric was awarded the Gates Ca
 mbridge Scholarship\, completed an Sc.M from Brown University where he wor
 ked with Maurice Herlihy\, interned thrice at Microsoft Research\, and pre
 viously spent three years as a software engineer at Amazon.com.
LOCATION:INM 202
STATUS:CONFIRMED
END:VEVENT
END:VCALENDAR