Santa Clara / Université de Bordeaux / Santa Barbara / Montreal / Bucharest / Paris / Tokyo / Marktoberdorf / Jena / Pittsburgh / Vancouver / Amsterdam / Indianapolis / Washington / Vienna / Oakland / San Jose / Seattle / École Polytecnique / Using Language / New York / Alto / New Orleans / London / /
Company
MIT Press / Digital Equipment Corp. / Computing Machinery Inc. / Summer 1995 Digital Equipment Corp. / Sviluppo Software / NTT Labs / Conviva Inc. Software / Fujitsu Labs / Reliable Build Systems / AT&T / Oracle / Intel Corporation / AT&T Bell Laboratories / Untrusted Software / SRI International / XEROX / US-Japan Working Group / Tao Systems Inc. / Scott McPeak S. P. / Microsoft / /
Country
Switzerland / France / Germany / Romania / Italy / Spain / / /
EntertainmentAwardEvent
Programming Languages and Systems Paper Award / European Association for Programming Languages and Systems Award / /
Facility
Keio University / Computer Science University of California / Stanford University / University of Turin / Polytechnic University of Bucharest / University Activities Instruction / University of California at Berkeley / University of Tokyo / Technology Institute / Port Type Systems / University of California / Harvard University / Princeton University / Carnegie Mellon University / Building Untrusted Verifiers / Cornell University / Indiana University / Massachusetts Institute of Technology / University of Washington/Microsoft Research Summer Institute / /
IndustryTerm
software engineering / built client software / Internet Services / software package / place software engineering processes / built software testing infrastructure / transformation tools / /
OperatingSystem
Linux / Android / Macintosh / /
Organization
University of Washington / University of California / Keio University / Tokyo / Ecole Normale Supérieure / University of Tokyo / Princeton University / Massachusetts Institute of Technology / Indiana University / Cornell University / North Atlantic Treaty Organization / Korean Advanced Science and Technology Institute / Marktoberdorf Summer School / Carnegie Mellon University / Universidad Politecnica de Madrid / Polytechnic University of Bucharest / Harvard University / European Association for Programming Languages / National Science Foundation / Corporate Research Center / MIT / Ecole Normale Superieure / University of California / Berkeley / SUNY / Association for Computing Machinery / University of Turin / European Association for Programming Languages and Systems Paper / Stanford University / Microsoft Cambridge Research Lab / EECS Department / /
Person
Peter Dinda / George Necula / Nathan Whitehead / Jacob Burnim / Morgan Price / Murray Hill / Grace Murray / Philip Reames / Feng Zhou / Allen Newel / Tom A. Henzinger / Sumit Gulwani / Jacob Brunim / Jeremy Condit / Matthew Harren / A. van Tilborg / David Gay / Ashish Tiwari / Shree P. Rahul / Derrick Coetzee / Peter Lee / Ilya Bagrak / Robert R. Schneck / Rob von Behren / George C. Necula / Benjamin Pierce / Murray Hopper / Adam Chlipala / Evan Chang / Zachary Anderson / Scott McPeak / Martin Abadi / Ranjit Jhala / Giovanni Vigna / Anand Bhaskar / Robert Schneck / Michael Vrable / Lal George / Rob Ennals / /
Position
Advisor / Interactive Proof Assistant / Professor of Computer Science / Associate Professor / Software Engineer / editor / Collector / Senator / Architect and Principal Engineer / Content Player / /
Product
Proof-Carrying / /
ProgrammingLanguage
Java / Latex / Visual Basic / C / Assembly Language / /
ProvinceOrState
Indiana / New York / Washington / California / Massachusetts / /
PublishedMedium
Electronic Notes in Theoretical Computer Science / Theoretical Computer Science / Lecture Notes in Computer Science / /
SportsLeague
Stanford University / /
Technology
Object-Oriented Programming / Linux / Operating System / mobile devices / Cryptography / Java / GUI / Alpha / Android / Operating Systems / Polynomial-Time Algorithm / /
George Necula Electrical Engineering and Computer Science University of California, Berkeley 783 Soda Hall Berkeley, CA 94720