Tue 19 Jun 2018 15:00 - 15:30 at Columbus Ballroom A - Session C Chair(s): Michelle Strout


Michael Carbin was a Ph.D. Candidate in Electrical Engineering and Computer Science at MIT. His interests include the design of programming systems that deliver improved performance and resilience by incorporating approximate computing and self-healing. I will be re-joining MIT in January 2016 as an Assistant Professor. In the interim, I will be working at Microsoft Research in Redmond.

His work on program analysis at Stanford University as an undergraduate received an award for Best Computer Science Undergraduate Honors Thesis. As a graduate student, he has received the MIT Lemelson Presidential and Microsoft Research Graduate Fellowships. His recent research on verifying the reliability of programs that execute on unreliable hardware received a best paper award at OOPSLA 2013.

Tue 19 Jun
Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change

13:15 - 15:30: PLMW @ PLDI 2018 - Session C at Columbus Ballroom A
Chair(s): Michelle StroutUniversity of Arizona
PLMW-PLDI-201813:15 - 14:30
Sara AchourMIT, Shoaib KamilAdobe, Jennifer B. SartorVrije Universiteit Brussel, Zachary TatlockUniversity of Washington
PLMW-PLDI-201814:30 - 15:00
Milind KulkarniPurdue University
PLMW-PLDI-201815:00 - 15:30