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

ECOOP 2020Committee Member in External Review Committee within the Research Papers-track
PEPM 2020Committee Member in Program Committee within the PEPM 2020-track
ICFP 2020Author in Steering Committee
PLDI 2020Author in Steering Committee
NJR 2019Session Chair of Big Code 2 (part of NJR 2019)
Session Chair of NJR Discussion; Needs, Requirements, Wishes (part of NJR 2019)
Committee Member in Organizing Committee within the NJR 2019-track
NJR 2019Author of NJR: Executable, Scriptable, and Searchable Java Programs within the NJR 2019-track
Committee Member in Organizing Committee within the NJR 2019-track
PEPM 2019Invited 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 2019Session 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 2019Committee Member in Program Committee within the VMCAI 2019-track
PLDI 2019SIGPLAN Chair in Steering Committee
Session Chair of Bug Finding & Testing II (part of PLDI Research Papers)
POPL 2019SIGPLAN Chair of State of SIGPLAN within the Research Papers-track
Session Chair of Quantum Programming (part of Research Papers)
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
SALAD 2018Speaker of Delta Debugging of Java Bytecode within the SALAD-track
Committee Member in Program Committee within the SALAD-track
SOAP 2018Author of NJR: A Normalized Java Resource within the SOAP-track
BenchWork 2018Committee Member in Program Committee within the BenchWork-track
ICFP 2019SIGPLAN Chair in Steering Committee
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
HOPL IVCommittee Member in Program Committee within the Papers-track
NJR 2017Author 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 2018Session 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 2018SIGPLAN Chair in Steering Committee
FTfJP 2017Committee Member in Program Committee within the FTfJP 2017-track
PLDI 2018Committee Member in Program Committee
Committee Member in Program Committee
POPL 2018Author 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 MeetingSpeaker of Declarative fence insertion within the Workshop-track
POPL 2017Author of Typed Self-Evaluation via Intensional Type Functions within the POPL-track
PLDI 2017Committee Member in External Program Committee
SPLASH 2016Committee Member in Program Committee within the OOPSLA-track
Committee Member in Program Committee within the OOPSLA-track
POPL 2016Session 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 2015Committee Member in Program Committee within the X10-track
SPLASH 2015Author of Declarative Fence Insertion within the OOPSLA-track
Author of Declarative Fence Insertion within the OOPSLA Artifacts-track
PLDI 2015Committee Member in External Review Committee within the Research Papers-track
Session Chair of Correctness (part of Research Papers)
ECOOP 2015Author of Type Inference for Place-Oblivious Objects within the Research Track-track
AGERE 2012Committee Member in Program Committee within the AGERE 2012-track
SPLASH 2012Committee Member in External Reviewers within the OOPSLA Research Papers-track