
Registered user since Fri 6 Mar 2015
Jens Palsberg is a Professor and a former Department Chair of Computer Science at the University of California, Los Angeles (UCLA). His research interests span the areas of programming languages, software engineering, and quantum computing. He is the director of the UCLA-Amazon Science Hub for Humanity and Artificial Intelligence, an associate editor of ACM Transactions on Quantum Computing, and a member of the ACM Council. He is also the co-director of the quantum research center at UCLA, which has more than 30 professors, and he is on the team that started a Masters degree on quantum science at UCLA. In 2012 he received the ACM SIGPLAN Distinguished Service Award, and in 2023 he received a teaching award at UCLA for his courses on quantum computing.
Contributions
2025
CC
POPL
2024
Vivek Sarkar Festschrift Symposium
PLDI
PODELSKI
2023
SDD
2022
PLDI
ICSE
2021
PLDI
2020
SPLASH
ICFP
POPL
2019
NJR
SPLASH
- Session Chair of Implementation (part of OOPSLA)
- Author of A Formalization of Java’s Concurrent Access Modes within the OOPSLA-track
- Invited Speaker of Quantum Programming within the Rebase-track
- Steering Committee Member in Steering Committee
- Session Chair of Awards / SIGPLAN Town Hall Meeting (part of OOPSLA)
- Author of A Formalization of Java's Concurrent Access Modes within the OOPSLA Artifacts-track
NJR
PLDI
POPL
2018
NJR
SPLASH
- Session 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
SALAD
POPL
2017
NJR
2016
SPLASH
POPL
- Session Chair of Track 2: Correct Compilation (part of Research Papers)
- ERC member in External Reviewing Committee within the Research Papers-track
- Author of Breaking Through the Normalization Barrier: A Self-Interpreter for F-omega within the Research Papers-track
- ERC member in External Reviewing Committee