☰

Jens Palsberg

Affiliations: 
Computer Science University of California, Los Angeles, Los Angeles, CA 
Area:
compilers; embedded systems; programming languages; software engineering; information security
Google:
"Jens Palsberg"
Tree Publications Similar researchers PubMed Report error

Parents

Sign in to add mentor

Children

Sign in to add trainee
Venkata K. Nandivada grad student 2005 UCLA
Christian Grothoff grad student 2006 UCLA
Benjamin L. Titzer grad student 2007 UCLA
Fernando M. Quintao Pereira grad student 2008 UCLA
Mohammad M. Eslamimehr grad student 2014 UCLA
Mohsen Lesani grad student 2014 UCLA

Collaborators

Sign in to add collaborator
BETA: Related publications

Publications

You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect.

Palsberg J. (2019) Toward a universal quantum programming language Acm Crossroads Student Magazine. 26: 14-17
Bender J, Lesani M, Palsberg J. (2015) Declarative fence insertion Proceedings of the Conference On Object-Oriented Programming Systems, Languages, and Applications, Oopsla. 25: 367-385
Eslamimehr M, Palsberg J. (2014) Race directed scheduling of concurrent programs Acm Sigplan Notices. 49: 301-314
Lesani M, Millstein T, Palsberg J. (2014) Automatic atomicity verification for clients of concurrent data structures Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8559: 550-567
Lesani M, Palsberg J. (2014) Decomposing opacity Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8784: 391-405
Eslamimehr M, Palsberg J. (2013) Testing versus static analysis of maximum stack size Proceedings - International Computer Software and Applications Conference. 619-626
Lesani M, Palsberg J. (2013) Proving non-opacity Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8205: 106-120
Palsberg J. (2011) Session details: Concurrent programming Sigplan Notices. 46
Lesani M, Palsberg J. (2011) Communicating memory transactions Acm Sigplan Notices. 46: 157-167
Kou S, Palsberg J. (2010) From OO to FPGA: Fitting round objects into square hardware? Proceedings of the Conference On Object-Oriented Programming Systems, Languages, and Applications, Oopsla. 109-124
See more...