Computer Science Department
Publications, DBLP, Academic Search, h-index = 40
UCLA compilers group, UCLA software systems research
|Research||Compilers, embedded systems, programming languages|
Certification of medical device software
Register allocation by puzzle solving
Compiling object-oriented programs to FPGAs
Optimization and verification of parallel programs
|Tutorial||EMSOFT 2005 tutorial on Programming Sensor Networks by Mani B. Srivastava and Jens Palsberg|
|Member of the SIGPLAN CACM Nomination Committee|
|ACM Transactions on Programming Languages and Systems|
|I&C||Edit. Board||Information and Computation|
|ECOOP'14||PC Member||European Conference on Object-Oriented Programming (Uppsala, Sweden)|
|ICALP'14||PC Member||International Colloquium on Automata, Languages and Programming (Copenhagen)|
National Science Foundation CAREER Award, 1998.
Purdue University Faculty Scholar, 1999-2004, in recognition of outstanding academic distinction.
One of the Ten Best Teachers of Undergraduates in the School of Science, Purdue University, 2001.
Okawa Foundation Research Award, 2003.
IBM Faculty Award, 2005.
ACM Distinguished Speaker, 2006-present.
ACM SIGPLAN Distinguished Service Award, 2012.
|Software||The Java Tree Builder, a frontend for The Java Compiler Compiler|
|Ph.D. Students||Mahdi Eslamimehr   Oren Freiberg   Shu-Yu Guo   Riyaz Haque   Stephen Kou   Mohsen Lesani|
Ph.D, 2002, now an associate professor at University of Wisconsin, Milwaukee
Dennis Brylow, Ph.D, 2003, now an associate professor at Marquette University, Milwaukee
Mayur Naik, M.S., 2003, now an assistant professor at Georgia Tech
Ma, Di, Ph.D., 2004, now at Synopsys
Krishna Nandivada, Ph.D., 2005, now a professor at IIT, Madras
Christian Grothoff, Ph.D., 2006, now a researcher at Technical University Munich, Germany
Benjamin Titzer, Ph.D., 2007, now a researcher at Sun Microsystems Laboratories, Menlo Park, California
Fernando Pereira, Ph.D., 2008, now a professor at Univ. Federal de Minas Gerais (UFMG), Brazil.
Jonathan K. Lee, Ph.D., 2010, now at Google.
Courses at UCLA
CS 132 Compiler Construction:
CS 232 Static Program Analysis: S06   S07   S08   F08   F09
CS 239 Parallel Programming Languages: F07   W09   S10   S11
CS 239 Programming Languages: W04
CS 239 Compilers for Embedded Systems: S04
|Worth Reading||The Queen of Denmark; so long, and thanks for the Ph.D; some advice on dissertations, talks, and how to have your abstract rejected; yes, Virginia, there is a Santa Claus; Angel, stylish Angel, cool Angel, plus Angel pondering some entries in CiteSeer. Angel. Hobbit dictionary for children.|