Personal information
Verified email domains
acm.org
ucla.edu
Activities
Employment (1)
2003-07-01
to
present
|
Professor
(Computer Science)
Employment
Source:
Jens Palsberg
Professional activities (1)
Membership
Source:
Jens Palsberg
Works (4)
Quantum Science and Technology
2024-10-01
|
Journal article
|
Author
Contributors:
Jessica Pointing;
Oded Padon;
Zhihao Jia;
Henry Ma;
Auguste Hirth;
Jens Palsberg;
Alex Aiken
Source:
Jens Palsberg
Linear Algebra and its Applications
2024-08
|
Journal article
|
Author
Contributors:
Jens Palsberg;
Nengkun Yu
Source:
Jens Palsberg
Proceedings of the ACM on Programming Languages
2024-06-20
|
Journal article
|
Author
Contributors:
Keli Huang;
Jens Palsberg
Source:
Jens Palsberg
Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering
2023-11-30
|
Conference paper
|
Author
Contributors:
Akshay Utture;
Jens Palsberg
Source:
Jens Palsberg