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