Jens Palsberg

Registered user since Fri 6 Mar 2015

Name: Jens Palsberg

Affiliation: University of California, Los Angeles

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

Contributions

SPLASH 2021 Committee Member in Steering Committee
SPLASH 2010
PLDI 2021 Committee Member in Steering Committee
ICFP 2021 Committee Member in Steering Committee
ECOOP 2020 Committee Member in External Review Committee within the Research Papers-track
SPLASH 2020 Committee Member in External Review Committee within the OOPSLA-track
Committee Member in Steering Committee
Session Chair of Awards Session within the Awards-track
Mentor in Mentors within the PLMW-track
PEPM 2020 Committee Member in Program Committee within the PEPM 2020-track
ICFP 2020 Presenter of Award Presentations & Chair Report within the ICFP Program-track
Author in Steering Committee
PLDI 2020 Committee Member in Steering Committee
NJR 2019 Author of NJR: Executable, Scriptable, and Searchable Java Programs within the NJR 2019-track
Session Chair of NJR Discussion; Needs, Requirements, Wishes (part of NJR 2019)
Committee Member in Organizing Committee within the NJR 2019-track
NJR 2019 Author of NJR: Executable, Scriptable, and Searchable Java Programs within the NJR 2019-track
Committee Member in Organizing Committee within the NJR 2019-track
POPL 2020 Session Chair of Welcome + SIGPLAN Award Ceremony (part of Research Papers)
Author of What is Decidable about Gradual Types? within the Research Papers-track
PEPM 2019 Invited Speaker of What Is the Type of a Partial Evaluator? (Invited Talk) within the PEPM 2019-track
Committee Member in Program Committee within the PEPM 2019-track
SPLASH 2019 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
VMCAI 2019 Committee Member in Program Committee within the VMCAI 2019-track
PLDI 2019 SIGPLAN Chair in Steering Committee
Session Chair of Bug Finding & Testing II (part of PLDI Research Papers)
POPL 2019 SIGPLAN Chair of State of SIGPLAN within the Research Papers-track
Session Chair of Quantum Programming (part of Research Papers)
NJR 2018 Author 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
SALAD 2018 Speaker of Delta Debugging of Java Bytecode within the SALAD-track
Committee Member in Program Committee within the SALAD-track
ICSE 2020 Author of Low-Overhead Deadlock Prediction within the Technical Papers-track
SOAP 2018 Author of NJR: A Normalized Java Resource within the SOAP-track
BenchWork 2018 Committee Member in Program Committee within the BenchWork-track
ICFP 2019 SIGPLAN Chair in Steering Committee
SPLASH 2018 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
HOPL IV Committee Member in Program Committee within the Papers-track
NJR 2017 Author of Welcome and Overview of NJR within the NJR 2017-track
Committee Member in Organizing Committee within the NJR 2017-track
Session Chair of Session 1 (part of NJR 2017)
Author of NJR discussion; Needs, Requirements, Wishes within the NJR 2017-track
VMCAI 2018 Session Chair of Invited Tutorial by Mayur Naik (part of VMCAI 2018)
Co-chair in Organizing Committee within the VMCAI 2018-track
Program Co-Chair in Program Committee within the VMCAI 2018-track
ICFP 2018 SIGPLAN Chair in Steering Committee
FTfJP 2017 Committee Member in Program Committee within the FTfJP 2017-track
PLDI 2018 Committee Member in Program Committee
Committee Member in Program Committee
POPL 2018 Author of Typed and Jones Optimal Self-Applicable Partial Evaluation within the Artifact Evaluation-track
Author of Jones-Optimal Partial Evaluation by Specialization-Safe Normalization within the Research Papers-track
OOPSLA 2016 PC Meeting Speaker of Declarative fence insertion within the Workshop-track
POPL 2017 Author of Typed Self-Evaluation via Intensional Type Functions within the POPL-track
PLDI 2017 Committee Member in External Program Committee
SPLASH 2016 Committee Member in Program Committee within the OOPSLA-track
Committee Member in Program Committee within the OOPSLA-track
POPL 2016 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
X10 2015 Committee Member in Program Committee within the X10-track
SPLASH 2015 Author of Declarative Fence Insertion within the OOPSLA-track
Author of Declarative Fence Insertion within the OOPSLA Artifacts-track
PLDI 2015 Committee Member in External Review Committee within the Research Papers-track
Session Chair of Correctness (part of Research Papers)
ECOOP 2015 Author of Type Inference for Place-Oblivious Objects within the Research Track-track
AGERE 2012 Committee Member in Program Committee within the AGERE 2012-track
SPLASH 2012 Committee Member in External Reviewers within the OOPSLA Research Papers-track