Ann Arbor / Santa Clara / Accelerated Compiler / Austin / Philadelphia / Pittsburgh / Portland / Shrewsbury / Durham / Evanston / Rochester / Urbana / Minneapolis / Palo Alto / Redmond / New York / Madison / La Jolla / Sunnyvale / Atlanta / Cambridge / San Diego / /
Company
Distributed Systems / Craig Zilles / AMD / NVIDIA / Misbehaving Hardware / Samsung / Oracle Labs / Google Inc. / Sun Microsystems / Cisco Systems / HP / Compaq / IBM Server Development Group / VMWare / Qualcomm / Intel / Naveen Neelakantam / Microsoft / /
Country
United States / /
Currency
USD / AMD / / /
Event
Man-Made Disaster / Business Partnership / FDA Phase / /
Facility
Northwestern University / Information Sciences Department University of Pennsylvania / Stanford University / University of Illinois / Columbia University / University of California at Berkeley / Federal Court / University of Washington / Rutgers University / University of Texas / University of Michigan / University of California / University of Wisconsin / Princeton University / Carnegie Mellon University / Gustavus Adolphus College / University of Minnesota / Massachusetts Institute of Technology / University of Pennsylvania / /
Panel / University of Washington / Columbia University / University of California / Search Committee / Rutgers University / U.S. government / Space Committee / University of Michigan / Princeton University / Massachusetts Institute of Technology / Penn School of Engineering and Applied Science / IBM Austin Research Lab / U.S. Federal Court / Design Lab / Penn Departmental Service / Carnegie Mellon University / Design Junior / Computer Engineering Program Committee / Systems Organization / University of Texas / NSF CAREER / Graduate Admissions Committee / National Science Foundation / University of Pennsylvania / Computing Committee / Northwestern University / Department of the Air Force / University of California at San Diego / Digital Systems Organization / University of Illinois / WDDD / Stanford University / IEEE Computer Society / University of Minnesota / University of Wisconsin / Gustavus Adolphus College / /
Person
Vlad Petric / Amir Roth / Joe Devietti / Rajeev Alur / Santosh Nagarakatte / Andreas Haeberlen / Abhishek Udupa / Armando Solar-Lezama / Daniel J. Sorin / Samuel T. King / Derek Williams / Laurel Emurian / Matthew Hicks / Lei Shao / Marc Corliss / Jason Mow / Andres Velazquez / Steve Zdancewic / Mark D. Hill / C. Santosh Nagarakatte / Thomas F. Wenisch / Jonathan Smith / Hudson / Anuj Chandawalla / Matt Blaze / Peter Sewell / Kevin Pipe / Luc Maranget / Kayvan Memarian / Jade Alglave / Manoj Plakal / Kevin E. Moore / Milo M. K. Martin / Peter Hornyack / Colin Blundell / Arun Raghavan / Tingting Sha / Murph Finnicum / Scott Owens / Advising / Sela Mador-Haim / Jianzhou Zhao / Richard Eisenberg / Chris Murphy / Jyotirmoy V. Deshmukh / Marios Papaefthymiou / Urbana-Champaign Blundell / Anne Weinberger Bracy / Christian DeLozier / Milo M K Martin / Peng Li / Evan Benshetler / Adam Aviv / Carl J. Mauer / Sebastian Burckhardt / Anne E. Condon / Jonathan M. Smith / Drew Hilton / David A. Wood / Michajlo Matijkiw / Min Xu / Nico Mihalich Michajlo Matijkiw Peter Hornyack / Peter-Michael Osera / Christopher Lewis / Zhao / Sam King / Andrew Braunstein / Joe Devietti Milo Martin / / /
Position
advisor / present Assistant / General / Author / Distinguished Lecture Chair / Assistant Teaching Assistant / Associate Professor / advisors / Associate Chair / Scientist / Assistant Professor / Chair / Axiomatic Memory Model for POWER Multiprocessors / King / /
Product
C-7743 / Rock processor / Novel Verification / Rock / /
ProgrammingLanguage
Ruby / C / Verilog / C++ / /
ProvinceOrState
Minnesota / New Brunswick / Michigan / California / Texas / Wisconsin / Illinois / Pennsylvania / Massachusetts / /
PublishedMedium
New Scientist / Scientific American / the Microprocessor Report / /
RadioStation
Core / /
SportsLeague
Stanford University / /
Technology
Rock processor / Verilog / CAV / cache-coherence protocol / Operating Systems / Multicast Snooping Cache Coherence Protocol / Token based cache-coherence protocol / 2007 Massachusetts Institute of Technology / simulation / Parallel Processing / /