Jens Palsberg

Registered user since Fri 6 Mar 2015

Name:Jens Palsberg
Country:United States
Affiliation:University of California, Los Angeles (UCLA)

Contributions

POPL 2023 Speaker of Quantum Computing: Session Preview within the Session Previews-track
PEPM 2023 PC Chair in Organizing Committee within the PEPM 2023-track
Session Chair of Keynote + 1 talk (part of PEPM 2023)
Author of Wrap up within the PEPM 2023-track
ECOOP 2022 Author of Compiling Volatile Correctly in Java within the Research Papers-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
Commute Author of Commutativity in quantum computing within the Commute 2022-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
VMCAI 2022 PC Member in Program Committee within the VMCAI 2022-track
SPLASH 2021 Committee Member in External Review Committee within the OOPSLA-track
ESEC/FSE 2021 Author of Sound and Efficient Concurrency Bug Prediction within the Research Papers-track
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
HOPL IV Session Chair of Sunday Early Afternoon (part of Papers)
Committee Member in Program Committee within the 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
ECOOP 2020 Committee Member in External Review Committee within the Research Papers-track
ICFP 2020 Presenter of Award Presentations & Chair Report within the ICFP Program-track
Author in Steering Committee
ICSE 2020 Author of Low-Overhead Deadlock Prediction within the Technical Papers-track
PLDI 2020 Committee Member in Steering Committee
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 2020 Committee Member in Program Committee within the PEPM 2020-track
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
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
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
ICFP 2019 SIGPLAN Chair in Steering Committee
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)
VMCAI 2019 Committee Member in Program Committee within the VMCAI 2019-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
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
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
ICFP 2018 SIGPLAN Chair in Steering Committee
SOAP 2018 Author of NJR: A Normalized Java Resource within the SOAP-track
BenchWork 2018 Committee Member in Program Committee within the BenchWork-track
SALAD 2018 Speaker of Delta Debugging of Java Bytecode within the SALAD-track
Committee Member in Program Committee within the SALAD-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
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
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
FTfJP 2017 Committee Member in Program Committee within the FTfJP 2017-track
PLDI 2017 Committee Member in External Program Committee
POPL 2017 Author of Typed Self-Evaluation via Intensional Type Functions within the POPL-track
SPLASH 2016 Committee Member in Program Committee within the OOPSLA-track
Committee Member in Program Committee within the OOPSLA-track
OOPSLA 2016 PC Meeting Speaker of Declarative fence insertion within the Workshop-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
SPLASH 2015 Author of Declarative Fence Insertion within the OOPSLA-track
Author of Declarative Fence Insertion within the OOPSLA Artifacts-track
ECOOP 2015 Author of Type Inference for Place-Oblivious Objects within the Research Track-track
PLDI 2015 Committee Member in External Review Committee within the Research Papers-track
Session Chair of Correctness (part of Research Papers)
X10 2015 Committee Member in Program Committee within the X10-track
SPLASH 2012 Committee Member in External Reviewers within the OOPSLA Research Papers-track
AGERE 2012 Committee Member in Program Committee within the AGERE 2012-track