Computer Science Department
Publications, DBLP, h-index = 42
UCLA compilers group, Executive MBA blog
|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|
|OOPSLA'16||PC Member||ACM Conference on Object-Oriented Programming, Languages, and Systems (Amsterdam).|
|CC'16||PC Member||International Conference on Compiler Construction (Barcelona)|
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-2014.
ACM SIGPLAN Distinguished Service Award, 2012.
|Software||The Java Tree Builder, a frontend for The Java Compiler Compiler|
|Ph.D. Students||John Bender   Matt Brown   Riyaz Haque   Christian Kalhauge|
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 associate 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 at INRIA, France
Benjamin Titzer, Ph.D. 2007, now a researcher at Google.
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.
Mahdi Eslamimehr, Ph.D. 2014, now a professor at Sharif University of Technology, Tehran.
Mohsen Lesani, Ph.D. 2014, now a professor at UC Riverside.
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.|