Faculty

Institution

Unit

Venue

Jens Palsberg

Professor of Computer Science

University of California, Los Angeles

Affiliations

the College

Center for Quantum Science and Engineering (cqse)

Jens Palsberg is currently serving as a Center For Quantum Science And Engineering (Cqse) Professor of Computer Science at University of California, Los Angeles.

Honors

Create free account to unlock more features

Experiences

Create free account to unlock more features

Education

Create free account to unlock more features

Jens Palsberg

University of California, Los Angeles

Professor of Computer Science

You can click a keyword to filter the displayed items

computer science formal methods machine learning systems engineering linguistics program analysis applied mathematics natural language processing software engineering programming language theory programming languages parallel computing software analysis inference informatics type inference logic in computer science functional programming type systems object-oriented programming object-oriented languages concurrent programming compiler technology type theory model checking register allocation mathematical programming automated reasoning partial evaluation concurrency theory information theory aspect-oriented programming quantum science heredity information processing (psychology) abstract interpretation concurrency (computer science) model verification partial types binary reduction recursive types scientific computing data security system software design automation object orientation software implementation safety analysis constraint solving constraint programming dynamic compilation constraint form quantum abstract interpretation efficient inference binding-time analysis non-structural subtyping interrupt-driven programs interrupt-driven software model checking software strategic directions general systems system science mobile computing health planning health systems graph processing information propagation programming language implementation travel behavior complexity theory computability theory software security computational trust quantum theory instrumentation engineering object-oriented type inference technology programming language design quantum programming program comprehension quantum computing high-level programming language

Notable Scholarly Works

Notable Federal Grants

Collaborators

Soundness of Predictive Concurrency Analyses. Proceedings of the ACM on Programming Languages (2025)

Shuyang LiuDoug LeaJens Palsberg

concurrent programmingcomputer scienceconcurrency (computer science)predictive concurrency analysesprogramming languagesconcurrency theoryprogramming language theoryprogram analysis

Compiling Conditional Quantum Gates Without Using Helper Qubits. Proceedings of the ACM on Programming Languages (2024)

Keli HuangJens Palsberg

computer sciencequantum computingprogramming languagesprogramming language theoryconditional quantum gates

Optimal Implementation of Quantum Gates With Two Controls. Linear Algebra and its Applications (2024)

Jens PalsbergNengkun Yu

linear algebraoptimal implementationquantum gatesapplied mathematics

From Leaks to Fixes: Automated Repairs for Resource Leak Warnings. (2023)

Akshay UttureJens Palsberg

systems engineeringautomated repairerror correction coderesource leak warningserror correctionfault managementrisk management

Building a Quantum Engineering Undergraduate Program. IEEE Transactions on Education (2022)

Abraham AsfawAlexandre BlaisKenneth R. BrownJonathan CandelariaChristopher CantwellLincoln D. CarrJoshua CombesDripto M. DebroyJohn M. DonohueSophia E. EconomouEmily EdwardsMichael F. J. FoxSteven M. GirvinAlan HoHilary M. HurstZubin JacobBlake R. JohnsonEzekiel Johnston-HalperinRobert JoyntEliot KapitJudith Klein-SeetharamanMartin LaforestH. J. LewandowskiTheresa W. LynnCorey Rae H. McRaeCelia MerzbacherSpyridon MichalakisPrineha NarangWilliam D. OliverJens PalsbergDavid P. PappasMichael G. RaymerDavid J. ReillyMark SaffmanThomas A. SearlesJeffrey H. ShapiroChandralekha Singh

engineering educationquantum engineeringeducationengineering

Fast and Precise Application Code Analysis Using a Partial Library. Proceedings of the 44th International Conference on Software Engineering (2022)

Akshay UttureJens Palsberg

software engineeringapplied mathematicspartial library

QUARTZ: Superoptimization of Quantum Circuits. ACM-SIGPLAN Symposium on Programming Language Design and Implementation (2022)

Jens Palsberg

Striking a Balance. Proceedings of the 44th International Conference on Software Engineering (2022)

Akshay UttureShuyang LiuChristian Gram KalhaugeJens Palsberg

health services researchmobile healthconnected healthmobile computinghealth systemspervasive computingmobile interactionhealth informaticsehealthpublic healthhealth carehealth workersglobal healthubiquitous computingmobile systemdigital healthhealth planninglocal partnersassistive technologyhealth technology

Achieving a Quantum Smart Workforce. Quantum Science and Technology (2021)

Clarice D AielloD D AwschalomHannes BernienTina BrowerKenneth R BrownTodd A BrunJustin R CaramEric ChitambarRosa Di FeliceKarina Montilla EdmondsMichael F J FoxStephan HaasAlexander W HolleitnerEric R HudsonJeffrey H HuntRobert JoyntScott KoziolM LarsenH J LewandowskiDoug T McClureJens PalsbergGina PassanteKristen L PudenzChristopher J K RichardsonJessica L RosenbergR S RossMark SaffmanM SinghDavid W SteuermanChad StarkJos ThijssenA Nick VamivakasJames D WhitfieldBenjamin M Zwickl

quantum information sciencetechnologyquantum science

Logical Bytecode Reduction. ACM-SIGPLAN Symposium on Programming Language Design and Implementation (2021)

Christian Gram KalhaugeJens Palsberg

computer sciencelogic in computer sciencecomputer engineeringlogical bytecode reductionformal methods

1
2
3
4
5
20
10 / page

Jens Palsberg

Professor of Computer Science

University of California, Los Angeles

Affiliations

the College

Center for Quantum Science and Engineering (cqse)

Jens Palsberg is currently serving as a Center For Quantum Science And Engineering (Cqse) Professor of Computer Science at University of California, Los Angeles.

Honors

Create free account to unlock more features

Experiences

Create free account to unlock more features

Education

Create free account to unlock more features

Jens Palsberg

University of California, Los Angeles

Professor of Computer Science

You can click a keyword to filter the displayed items

Notable Scholarly Works

Notable Federal Grants

Collaborators

Soundness of Predictive Concurrency Analyses. Proceedings of the ACM on Programming Languages (2025)

Shuyang LiuDoug LeaJens Palsberg

concurrent programmingcomputer scienceconcurrency (computer science)predictive concurrency analysesprogramming languagesconcurrency theoryprogramming language theoryprogram analysis

Compiling Conditional Quantum Gates Without Using Helper Qubits. Proceedings of the ACM on Programming Languages (2024)

Keli HuangJens Palsberg

computer sciencequantum computingprogramming languagesprogramming language theoryconditional quantum gates

Optimal Implementation of Quantum Gates With Two Controls. Linear Algebra and its Applications (2024)

Jens PalsbergNengkun Yu

linear algebraoptimal implementationquantum gatesapplied mathematics

From Leaks to Fixes: Automated Repairs for Resource Leak Warnings. (2023)

Akshay UttureJens Palsberg

systems engineeringautomated repairerror correction coderesource leak warningserror correctionfault managementrisk management

Building a Quantum Engineering Undergraduate Program. IEEE Transactions on Education (2022)

engineering educationquantum engineeringeducationengineering

Fast and Precise Application Code Analysis Using a Partial Library. Proceedings of the 44th International Conference on Software Engineering (2022)

Akshay UttureJens Palsberg

software engineeringapplied mathematicspartial library

QUARTZ: Superoptimization of Quantum Circuits. ACM-SIGPLAN Symposium on Programming Language Design and Implementation (2022)

Jens Palsberg

Striking a Balance. Proceedings of the 44th International Conference on Software Engineering (2022)

Akshay UttureShuyang LiuChristian Gram KalhaugeJens Palsberg

Achieving a Quantum Smart Workforce. Quantum Science and Technology (2021)

quantum information sciencetechnologyquantum science

Logical Bytecode Reduction. ACM-SIGPLAN Symposium on Programming Language Design and Implementation (2021)

Christian Gram KalhaugeJens Palsberg

computer sciencelogic in computer sciencecomputer engineeringlogical bytecode reductionformal methods

1
2
3
4
5
20
10 / page

Similar Faculty Members

Jan Vitek

Institution

Northeastern University

programming language

formal verification

Oscar H. Ibarra

Institution

University of California, Santa Barbara

computer science

theoretical computer science

Madhusudan Parthasarathy

Institution

University of Illinois Urbana-Champaign

secure software engineering

software engineering

John Hatcliff

Institution

Kansas State University

network-enabled medical devices

system safety

Saumya Debray

Institution

University of Arizona

static program analysis

software security

Christian Collberg

Institution

University of Arizona

data security

information security

Janos Sztipanovits

Institution

Vanderbilt University

design automation

cyber-physical systems

Ganesh Gopalakrishnan

Institution

University of Utah

programming language

formal verification

Mahesh Viswanathan

Institution

University of Illinois Urbana-Champaign

software engineering

programming language

David Walker

Institution

Princeton University

computer science

systems engineering

Similar Faculty Members

Jan Vitek

Institution

Northeastern University

programming language

formal verification

Oscar H. Ibarra

Institution

University of California, Santa Barbara

computer science

theoretical computer science

Madhusudan Parthasarathy

Institution

University of Illinois Urbana-Champaign

secure software engineering

software engineering

John Hatcliff

Institution

Kansas State University

network-enabled medical devices

system safety

Saumya Debray

Institution

University of Arizona

static program analysis

software security

Christian Collberg

Institution

University of Arizona

data security

information security

Janos Sztipanovits

Institution

Vanderbilt University

design automation

cyber-physical systems

Ganesh Gopalakrishnan

Institution

University of Utah

programming language

formal verification

Mahesh Viswanathan

Institution

University of Illinois Urbana-Champaign

software engineering

programming language

David Walker

Institution

Princeton University

computer science

systems engineering