Jens Palsberg -

Registered user since Fri 6 Mar 2015

Name:Jens Palsberg

Country:United States

Affiliation:University of California at Los Angeles

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

Contributions

Commute	Author of Commutativity in quantum computing within the Commute 2022-track
PLDI 2022	Author of (PLDI 2021) Quantum abstract interpretation within the SIGPLAN Track-track Committee Member in PLDI within the PLDI-track Author of (PLDI 2021) Logical Bytecode Reduction within the SIGPLAN Track-track Author of Quartz: Superoptimization of Quantum Circuits within the PLDI-track
ECOOP 2022	Author of Compiling Volatile Correctly in Java within the Research Papers-track
VMCAI 2022	PC Member in Program Committee within the VMCAI 2022-track
SPLASH 2021	Committee Member in External Review Committee within the OOPSLA-track
SPLASH 2010
PLDI 2021	Author of Logical Bytecode Reduction within the PLDI-track Committee Member in Steering Committee Author of Quantum Abstract Interpretation within the PLDI-track
ESEC/FSE 2021	Author of Sound and Efficient Concurrency Bug Prediction within the Research Papers-track
ICSE 2022	Author of Striking a Balance: Pruning False-Positives from Static Call Graphs within the Technical Track-track Author of Fast and Precise Application Code Analysis using a Partial Library within the Technical Track-track
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	Session Chair of Sunday Early Afternoon (part of Papers) 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