![]() |
Jens Palsberg
UCLA
Computer Science Department
|
|||
palsberg@ucla.edu Phone: 310-825-6320 Fax: 310-794-5057 |
Curriculum vitae
and
brief biography
Publications, DBLP, h-index = 46 UCLA compilers group |
|||
Research | Programming languages, software engineering, quantum computing | |||
Projects
  (former) |
NJR: A Normalized Java Resource
Reasoning about the Java memory model Quantum computing, as a member of CIQC (an NSF QLCI), as reported by UCLA |
|||
Tutorial | EMSOFT 2005 tutorial on Programming Sensor Networks by Mani B. Srivastava and Jens Palsberg | |||
Activities
  (former) |
Director,
Science Hub for Humanity and Artificial Intelligence
Member of the ACM Executive Committee, as reported by UCLA Past Chair of ACM SIGPLAN |
|||
Journals | TQC | Edit. Board | ACM Transactions on Quantum Computing | |
TC | Edit. Board | IEEE Transactions on Computers | ||
I&C | Edit. Board | Information and Computation | ||
SCP | Edit. Board | Science of Computer Programming | ||
Conferences
    2023 |
PEPM'23 | PC Co-Chair | ACM Conference on Partial Evaluation and Semantics-Based Program Manipulation (Boston) | |
Q-CASA'23 | PC Member | Quantum Computing Algorithms, Systems, and Applications workshop (St. Petersburg, Florida) | ||
Conferences
    2022 |
VMCAI'22 | PC Member | Workshop on Verification, Model Checking and Abstract Interpretation (Philadelphia) | |
PLDI'22 | PC Member | ACM Conference on Programming Language Design and Implementation (San Diego) | ||
QCE'22 | PC Member | IEEE International Conference on Quantum Computing and Engineering (Broomfield, Colorado) | ||
Conferences
    2021   (1994-2020) |
ICCQ'21 | PC Member | IEEE International Conference on Code Quality (Moscow) | |
SCAM'21 | PC Member | IEEE International Working Conference on Source Code Analysis and Manipulation (Luxembourg City) | ||
QCE'21 | PC Member | IEEE International Conference on Quantum Computing and Engineering (virtual) | ||
Honors |
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 | Shuyang Liu   Zeina Migeed   Akshay Utture | |||
Former Students |
Tian Zhao,
Ph.D 2002, now an associate professor at University of Wisconsin, Milwaukee
Dennis Brylow, Ph.D 2003, now a professor at Marquette University, Milwaukee Mayur Naik, M.S. 2003, now a professor at U. Pennsylvania. 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 professor at Bern University of Applied Sciences, Switzerland. Benjamin Titzer, Ph.D. 2007, now in transition to CMU. 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 COO and CTO at Clarity Global. Mohsen Lesani, Ph.D. 2014, now a professor at UC Riverside. Matt Brown, Ph.D. 2017, now at Intentionet. Received the Outstanding Graduating Ph.D. Student award. John Bender, Ph.D. 2019, now at Sandia National Laboratories. Christian Kalhauge, Ph.D. 2020, now associate professor at DTU, Denmark. |
|||
Courses at UCLA
  (Purdue) |
CS 132 Compiler Construction:
F03
 
F04
 
F05
 
F06
 
S08
 
S09
 
W10
 
F11
 
F12
 
F14
 
S16
 
F16
 
F17
 
F18
 
F19
 
F20
 
F21
CS 232 Static Program Analysis: S06   S07   S08   F08   F09   W18   W20 CS 239 Parallel Programming Languages: F07   W09   S10   S11 CS 239 Programming Languages: W04 CS 239 Compilers for Embedded Systems: S04 CS 239 Automated Debugging: S18 CS 239 Quantum Programming: S19   S20   W21   W22   F22 CS 239 Quantum Algorithms: S21   S22 |
|||
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. |