conf.researchr.org / Jens Palsberg
Registered user since Fri 6 Mar 2015
Name:Jens Palsberg
Country:United States
Affiliation:University of California, Los Angeles (UCLA)
Personal website: http://www.cs.ucla.edu/~palsberg
Contributions
2025
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