Jens Palsberg

Registered user since Fri 6 Mar 2015

Name: Jens Palsberg

Bio: Jens Palsberg is a Professor and former Department Chair of Computer Science at University of California, Los Angeles (UCLA). His research interests span the areas of compilers, embedded systems, programming languages, software engineering, and information security. He is the chair of ACM SIGPLAN, a member of the editorial board of Information and Computation, and a former editor-in-chief of ACM Transactions of Programming Languages and Systems. He is also a former conference program chair of ACM Symposium on Principles of Programming Languages (POPL), Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), and the Static Analysis Symposium (SAS). In 2012 he received the ACM SIGPLAN Distinguished Service Award.

Jens Palsberg received a Ph.D. in Computer Science from University of Aarhus, Denmark in 1992. In 1992-1996 he was a visiting scientist at various institutions, including MIT. In 1996-2002 he was an Associate Professor and, in 2002-2003, Professor of Computer Science at Purdue University, after which he moved to UCLA. He has authored over 80 technical papers, co-authored the book Object-Oriented Type Systems, and co-authored the 2002 revision of Appel’s textbook on Modern Compiler Implementation in Java. He is the recipient of National Science Foundation CAREER and ITR awards, a Purdue University Faculty Scholar award, an IBM Faculty Award, and an Okawa Foundation research award. His research has also been supported by DARPA, Intel, and British Telecom. He has served as associate head of computer science at Purdue University, as the general chair of POPL and International Workshop on Model Checking of Software (SPIN), as the conference chair of the IEEE Symposium on Logic in Computer Science (LICS), and as the vice chair of ACM SIGBED, Special Interest Group on Embedded Systems.

Country: United States

Affiliation: University of California, Los Angeles

Personal website: http://www.cs.ucla.edu/~palsberg

Contributions

NJR 2018Author of NJR discussion; Needs, Requirements, Wishes within the NJR-track
Committee Member in Program Committee within the NJR-track
Committee Member in Organizing Committee within the NJR-track
Author of NJR: 100,000 Executable, Scriptable, and Searchable Java Programs within the NJR-track
SPLASH 2018Session Chair of Awards / SIGPLAN Town Hall Meeting (part of OOPSLA)
Author of Sound Deadlock Prediction within the Posters-track
Author of Sound Deadlock Prediction within the Artifacts-track
Session Chair of Program Synthesis (part of OOPSLA)
Author of Sound Deadlock Prediction within the OOPSLA-track
Mentor in Mentors within the Breakfasts-track
Show activities from other conferences

SPLASH 2018-profile
View general profile