Jens Palsberg

ORCID

Publication Activity (10 Years)

Years Active: 1989-2024
Publications (10 Years): 26

Top Venues

Proc. ACM Program. Lang.

CoRR

PLDI

POPL

Publications

Keli Huang, Jens Palsberg
Compiling Conditional Quantum Gates without Using Helper Qubits. Proc. ACM Program. Lang. 8 (PLDI) (2024)
Akshay Utture, Jens Palsberg
From Leaks to Fixes: Automated Repairs for Resource Leak Warnings. ESEC/SIGSOFT FSE (2023)
Akshay Utture, Jens Palsberg
Fast and Precise Application Code Analysis using a Partial Library. ICSE (2022)
Shuyang Liu, John Bender, Jens Palsberg
Compiling Volatile Correctly in Java (Artifact). Dagstuhl Artifacts Ser. 8 (2) (2022)
Shuyang Liu, John Bender, Jens Palsberg
Compiling Volatile Correctly in Java. ECOOP (2022)
Mingkuan Xu, Zikun Li, Oded Padon, Sina Lin, Jessica Pointing, Auguste Hirth, Henry Ma, Jens Palsberg, Alex Aiken, Umut A. Acar, Zhihao Jia
Quartz: Superoptimization of Quantum Circuits (Extended Version). CoRR (2022)
Abraham Asfaw, Alexandre Blais, Kenneth R. Brown, Jonathan Candelaria, Christopher Cantwell, Lincoln D. Carr, Joshua Combes, Dripto M. Debroy, John M. Donohue, Sophia E. Economou, Emily Edwards, Michael F. J. Fox, Steven M. Girvin, Alan Ho, Hilary M. Hurst, Zubin Jacob, Blake R. Johnson, Ezekiel Johnston-Halperin, Robert Joynt, Eliot Kapit, Judith Klein-Seetharaman, Martin Laforest, H. J. Lewandowski, Theresa W. Lynn, Corey Rae H. McRae, Celia Merzbacher, Spyridon Michalakis, Prineha Narang, William D. Oliver, Jens Palsberg, David P. Pappas, Michael G. Raymer, David J. Reilly, Mark Saffman, Thomas A. Searles, Jeffrey H. Shapiro, Chandralekha Singh
Building a Quantum Engineering Undergraduate Program. IEEE Trans. Educ. 65 (2) (2022)
Mingkuan Xu, Zikun Li, Oded Padon, Sina Lin, Jessica Pointing, Auguste Hirth, Henry Ma, Jens Palsberg, Alex Aiken, Umut A. Acar, Zhihao Jia
Quartz: superoptimization of Quantum circuits. PLDI (2022)
Akshay Utture, Shuyang Liu, Christian Gram Kalhauge, Jens Palsberg
Striking a Balance: Pruning False-Positives from Static Call Graphs. ICSE (2022)
Jessica Pointing, Oded Padon, Zhihao Jia, Henry Ma, Auguste Hirth, Jens Palsberg, Alex Aiken
Quanto: Optimizing Quantum Circuits with Automatic Generation of Circuit Identities. CoRR (2021)
Yan Cai, Hao Yun, Jinqiu Wang, Lei Qiao, Jens Palsberg
Sound and efficient concurrency bug prediction. ESEC/SIGSOFT FSE (2021)
Christian Gram Kalhauge, Jens Palsberg
Logical bytecode reduction. PLDI (2021)
Nengkun Yu, Jens Palsberg
Quantum abstract interpretation. PLDI (2021)
Clarice D. Aiello, D. D. Awschalom, Hannes Bernien, Tina Brower-Thomas, Kenneth R. Brown, Todd A. Brun, Justin R. Caram, Eric Chitambar, Rosa Di Felice, Michael F. J. Fox, Stephan Haas, Alexander W. Holleitner, Eric R. Hudson, Jeffrey H. Hunt, Robert Joynt, Scott Koziol, H. J. Lewandowski, Douglas T. McClure, Jens Palsberg, Gina Passante, Kristen L. Pudenz, Christopher J. K. Richardson, Jessica L. Rosenberg, R. S. Ross, Mark Saffman, M. Singh, David W. Steuerman, Chad Stark, Jos Thijssen, A. Nick Vamivakas, James D. Whitfield, Benjamin M. Zwickl
Achieving a quantum smart workforce. CoRR (2020)
Yan Cai, Ruijie Meng, Jens Palsberg
Low-overhead deadlock prediction. ICSE (2020)
Zeina Migeed, Jens Palsberg
What is decidable about gradual types? Proc. ACM Program. Lang. 4 (POPL) (2020)
Benjamin C. Pierce, Michael Hicks, Crista Lopes, Jens Palsberg
Conferences in an era of expensive carbon. Commun. ACM 63 (3) (2020)
Christian Gram Kalhauge, Jens Palsberg
Binary reduction of dependency graphs. ESEC/SIGSOFT FSE (2019)
Jens Palsberg
Toward a universal quantum programming language. XRDS 26 (1) (2019)
John Bender, Jens Palsberg
A formalization of Java's concurrent access modes. Proc. ACM Program. Lang. 3 (OOPSLA) (2019)
Matt Brown, Jens Palsberg
Jones-optimal partial evaluation by specialization-safe normalization. Proc. ACM Program. Lang. 2 (POPL) (2018)
Christian Gram Kalhauge, Jens Palsberg
Sound deadlock prediction. Proc. ACM Program. Lang. 2 (OOPSLA) (2018)
Jens Palsberg, Cristina V. Lopes
NJR: a normalized Java resource. ISSTA/ECOOP Workshops (2018)
Matt Brown, Jens Palsberg
Typed self-evaluation via intensional type functions. POPL (2017)
Matt Brown, Jens Palsberg
Breaking through the normalization barrier: a self-interpreter for f-omega. POPL (2016)
Oren Freiberg, Jens Palsberg, Mahdi Eslamimehr
Retargetable Communication for Distributed Programs. QoSA (2016)
John Bender, Mohsen Lesani, Jens Palsberg
Declarative fence insertion. OOPSLA (2015)
Riyaz Haque, Jens Palsberg
Type Inference for Place-Oblivious Objects. ECOOP (2015)
Matt Brown, Jens Palsberg
Self-Representation in Girard's System U. POPL (2015)
Mohsen Lesani, Jens Palsberg
Decomposing Opacity. DISC (2014)
Mahdi Eslamimehr, Jens Palsberg
Sherlock: scalable deadlock detection for concurrent programs. SIGSOFT FSE (2014)
Mohsen Lesani, Todd D. Millstein, Jens Palsberg
Automatic Atomicity Verification for Clients of Concurrent Data Structures. CAV (2014)
Jia Hu, Jens Palsberg, Seetharami Seelam, Marco Di Natale, Lei (Chris) Liu
Introduction to special issue on embedded systems architecture and applications. J. Syst. Archit. 60 (5) (2014)
Jens Palsberg
Editorial. ACM Trans. Program. Lang. Syst. 37 (1) (2014)
Mahdi Eslamimehr, Jens Palsberg
Race directed scheduling of concurrent programs. PPOPP (2014)
Jens Palsberg
Editorial. ACM Trans. Program. Lang. Syst. 35 (1) (2013)
Mohsen Lesani, Jens Palsberg
Proving Non-opacity. DISC (2013)
Mahdi Eslamimehr, Jens Palsberg
Testing versus Static Analysis of Maximum Stack Size. COMPSAC (2013)
Chen Liu, Bao-Hong Shen, Soon-Young Oh, Mario Gerla, Jens Palsberg, Clif Banner, Richard Butler
Agnostic Protocol Translation for Cross-Domain Information Sharing. MILCOM (2013)
Boubacar Diouf, Can Hantas, Albert Cohen, Özcan Özturk, Jens Palsberg
A decoupled local memory allocator. ACM Trans. Archit. Code Optim. 9 (4) (2013)
Jens Palsberg
Editorial. ACM Trans. Program. Lang. Syst. 34 (1) (2012)
Jens Palsberg
Overloading Is NP-Complete - A Tutorial Dedicated to Dexter Kozen. Logic and Program Semantics (2012)
Jens Palsberg
Featherweight X10: a core calculus for async-finish parallelism. FTfJP@ECOOP (2012)
Jonathan K. Lee, Jens Palsberg, Rupak Majumdar, Hong Hong
Efficient May Happen in Parallel Analysis for Async-Finish Parallelism. SAS (2012)
Mohsen Lesani, Jens Palsberg
Communicating memory transactions. PPOPP (2011)
Jens Palsberg
Editorial note. ACM Trans. Program. Lang. Syst. 33 (6) (2011)
C. Barry Jay, Jens Palsberg
Typed self-interpretation by pattern matching. ICFP (2011)
Jens Palsberg
Editorial. ACM Trans. Program. Lang. Syst. 33 (1) (2011)
Zuohua Ding, Mingyue Jiang, Jens Palsberg
From textual use cases to service component models. PESOS@ICSE (2011)
Shu-yu Guo, Jens Palsberg
The essence of compiling with traces. POPL (2011)
Fernando Magno Quintão Pereira, Jens Palsberg
Punctual Coalescing. CC (2010)
Jonathan K. Lee, Jens Palsberg
Featherweight X10: a core calculus for async-finish parallelism. PPOPP (2010)
Zoran Budimlic, Michael G. Burke, Vincent Cavé, Kathleen Knobe, Geoff Lowney, Ryan Newton, Jens Palsberg, David M. Peixotto, Vivek Sarkar, Frank Schlimbach, Sagnak Tasirlar
Concurrent Collections. Sci. Program. 18 (3-4) (2010)
Stephen Kou, Jens Palsberg
From OO to FPGA: fitting round objects into square hardware? OOPSLA (2010)
Jens Palsberg
Tribute to Peter Mosses. Semantics and Algebraic Specification (2009)
Fernando Magno Quintão Pereira, Jens Palsberg
SSA Elimination after Register Allocation. CC (2009)
Ben L. Titzer, Jens Palsberg
Vertical Object Layout and Compression for Fixed Heaps. Semantics and Algebraic Specification (2009)
Fernando Magno Quintão Pereira, Jens Palsberg
Register allocation by puzzle solving. PLDI (2008)
Jens Palsberg
Verification of Register Allocators. VMCAI (2008)
Jonathan K. Lee, Jens Palsberg, Fernando Magno Quintão Pereira
Aliased register allocation for straight-line programs is NP-complete. Theor. Comput. Sci. 407 (1-3) (2008)
Mayur Naik, Jens Palsberg
A type system equivalent to a model checker. ACM Trans. Program. Lang. Syst. 30 (5) (2008)
Nathaniel Nystrom, Vijay A. Saraswat, Jens Palsberg, Christian Grothoff
Constrained types for object-oriented languages. OOPSLA (2008)
James C. Hoe, Jens Palsberg
MEMOCODE 2006 guest editors' introduction. Des. Autom. Embed. Syst. 12 (1-2) (2008)
Holger Hermanns, Jens Palsberg
Improving the effectiveness of system verification. Int. J. Softw. Tools Technol. Transf. 10 (2) (2008)
Jens Palsberg
Register Allocation via Coloring of Chordal Graphs. CATS (2007)
Ben L. Titzer, Joshua S. Auerbach, David F. Bacon, Jens Palsberg
The ExoVM system for automatic VM and application reduction. PLDI (2007)
Jonathan K. Lee, Jens Palsberg, Fernando Magno Quintão Pereira
Aliased Register Allocation for Straight-Line Programs Is NP-Complete. ICALP (2007)
V. Krishna Nandivada, Fernando Magno Quintão Pereira, Jens Palsberg
A Framework for End-to-End Verification and Evaluation of Register Allocators. SAS (2007)
Martín Abadi, Jens Palsberg
Editorial. ACM Trans. Program. Lang. Syst. 29 (3) (2007)
Ben L. Titzer, Jens Palsberg
Vertical object layout and compression for fixed heaps. CASES (2007)
Christian Grothoff, Jens Palsberg, Jan Vitek
Encapsulating objects with confined types. ACM Trans. Program. Lang. Syst. 29 (6) (2007)
Tian Zhao, Jens Palsberg, Jan Vitek
Type-based confinement. J. Funct. Program. 16 (1) (2006)
V. Krishna Nandivada, Jens Palsberg
SARA: Combining Stack Allocation and Register Allocation. CC (2006)
Jens Palsberg
Event Driven Software Quality. APLAS (2006)
Brian Chin, Shane Markstrum, Todd D. Millstein, Jens Palsberg
Inference of User-Defined Type Qualifiers and Qualifier Rules. ESOP (2006)
Fernando Magno Quintão Pereira, Jens Palsberg
Register Allocation After Classical SSA Elimination is NP-Complete. FoSSaCS (2006)
Kevin K. Chang, Nithya Ramanathan, Deborah Estrin, Jens Palsberg
D.A.S.: deployment analysis system. SenSys (2005)
Jens Palsberg, Tian Zhao, Trevor Jim
Automatic discovery of covariant read-only fields. ACM Trans. Program. Lang. Syst. 27 (1) (2005)
Fernando Magno Quintão Pereira, Jens Palsberg
Register Allocation Via Coloring of Chordal Graphs. APLAS (2005)
Ben L. Titzer, Jens Palsberg
Nonintrusive precision instrumentation of microcontroller software. LCTES (2005)
Ben L. Titzer, Daniel K. Lee, Jens Palsberg
Avrora: scalable sensor network simulation with precise timing. IPSN (2005)
Olaf Landsiedel, Klaus Wehrle, Ben L. Titzer, Jens Palsberg
Enabling Detailed Modeling and Analysis of Sensor Networks. Prax. Inf.verarb. Kommun. 28 (2) (2005)
Mayur Naik, Jens Palsberg
A Type System Equivalent to a Model Checker. ESOP (2005)
V. Krishna Nandivada, Jens Palsberg
Timing Analysis of TCP Servers for Surviving Denial-of-Service Attacks. IEEE Real-Time and Embedded Technology and Applications Symposium (2005)
Neal Glew, Jens Palsberg
Method Inlining, Dynamic Class Loading, and Type Soundness. J. Object Technol. 4 (8) (2005)
Neal Glew, Jens Palsberg, Christian Grothoff
Type-Safe Optimisation of Plugin Architectures. SAS (2005)
Krishnendu Chatterjee, Di Ma, Rupak Majumdar, Tian Zhao, Thomas A. Henzinger, Jens Palsberg
Stack size analysis for interrupt-driven programs. Inf. Comput. 194 (2) (2004)
Dennis Brylow, Jens Palsberg
Deadline Analysis of Interrupt-Driven Software. IEEE Trans. Software Eng. 30 (10) (2004)
Jens Palsberg, Tian Zhao
Type inference for record concatenation and subtyping. Inf. Comput. 189 (1) (2004)
Mayur Naik, Jens Palsberg
Compiling with code-size constraints. ACM Trans. Embed. Comput. Syst. 3 (1) (2004)
Neal Glew, Jens Palsberg
Type-safe method inlining. Sci. Comput. Program. 52 (2004)
Jens Palsberg, Mitchell Wand
CPS transformation of flow information. J. Funct. Program. 13 (5) (2003)
V. Krishna Nandivada, Jens Palsberg
Efficient spill code for SDRAM. CASES (2003)
Krishnendu Chatterjee, Di Ma, Rupak Majumdar, Tian Zhao, Thomas A. Henzinger, Jens Palsberg
Stack Size Analysis for Interrupt-Driven Programs. SAS (2003)
Dennis Brylow, Jens Palsberg
Deadline analysis of interrupt-driven software. ESEC / SIGSOFT FSE (2003)
Tian Zhao, Jens Palsberg, Jan Vitek
Lightweight confinement for featherweight Java. OOPSLA (2003)
Neal Glew, Jens Palsberg
Type-Safe Method Inlining. ECOOP (2002)
Mayur Naik, Jens Palsberg
Compiling with code-size constraints. LCTES-SCOPES (2002)
Jens Palsberg, Di Ma
A Typed Interrupt Calculus. FTRTFT (2002)
Jens Palsberg, Tian Zhao
Efficient Type Inference for Record Concatenation and Subtyping. LICS (2002)

Jens Palsberg.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Jens Palsberg