| 2026 | ASPLOS | iSwitch: QEC on Demand via In-Situ Encoding of Bare Qubits for Ion Trap Architectures. | Keyi Yin, Xiang Fang, Zhuo Chen, David Hayes, Eneet Kaur, Reza Nejabati, Hartmut Haeffner, Wes Campbell, Eric R. Hudson, Jens Palsberg, Travis S. Humble, Yufei Ding |
| 2025 | HOTNETS | Software Managed Networks via Coarsening. | Pradeep Dogga, Rachee Singh, Suman Nath, Ravi Netravali, Jens Palsberg, George Varghese |
| 2024 | ECOOP | Generalizing Shape Analysis with Gradual Types. | Zeina Migeed, James Reed, Jason Ansel, Jens Palsberg |
| 2022 | ECOOP | Compiling Volatile Correctly in Java. | Shuyang Liu, John Bender, Jens Palsberg |
| 2022 | ICSE | Striking a Balance: Pruning False-Positives from Static Call Graphs. | Akshay Utture, Shuyang Liu, Christian Gram Kalhauge, Jens Palsberg |
| 2022 | ICSE | Fast and Precise Application Code Analysis using a Partial Library. | Akshay Utture, Jens Palsberg |
| 2022 | PLDI | Quartz: superoptimization of Quantum circuits. | Mingkuan Xu, Zikun Li, Oded Padon, Sina Lin, Jessica Pointing, Auguste Hirth, Henry Ma, Jens Palsberg, Alex Aiken, Umut A. Acar, Zhihao Jia |
| 2021 | PLDI | Logical bytecode reduction. | Christian Gram Kalhauge, Jens Palsberg |
| 2021 | PLDI | Quantum abstract interpretation. | Nengkun Yu, Jens Palsberg |
| 2020 | ICSE | Low-overhead deadlock prediction. | Yan Cai, Ruijie Meng, Jens Palsberg |
| 2018 | ISSTA | NJR: a normalized Java resource. | Jens Palsberg, Cristina V. Lopes |
| 2017 | POPL | Typed self-evaluation via intensional type functions. | Matt Brown, Jens Palsberg |
| 2016 | POPL | Breaking through the normalization barrier: a self-interpreter for f-omega. | Matt Brown, Jens Palsberg |
| 2015 | ECOOP | Type Inference for Place-Oblivious Objects. | Riyaz Haque, Jens Palsberg |
| 2015 | OOPSLA | Declarative fence insertion. | John Bender, Mohsen Lesani, Jens Palsberg |
| 2015 | POPL | Self-Representation in Girard's System U. | Matt Brown, Jens Palsberg |
| 2014 | CAV | Automatic Atomicity Verification for Clients of Concurrent Data Structures. | Mohsen Lesani, Todd D. Millstein, Jens Palsberg |
| 2014 | PPoPP | Race directed scheduling of concurrent programs. | Mahdi Eslamimehr, Jens Palsberg |
| 2013 | COMPSAC | Testing versus Static Analysis of Maximum Stack Size. | Mahdi Eslamimehr, Jens Palsberg |
| 2012 | ECOOP | Featherweight X10: a core calculus for async-finish parallelism. | Jens Palsberg |
| 2012 | SAS | Efficient May Happen in Parallel Analysis for Async-Finish Parallelism. | Jonathan K. Lee, Jens Palsberg, Rupak Majumdar, Hong Hong |
| 2011 | ICFP | Typed self-interpretation by pattern matching. | C. Barry Jay, Jens Palsberg |
| 2011 | ICSE | From textual use cases to service component models. | Zuohua Ding, Mingyue Jiang, Jens Palsberg |
| 2011 | POPL | The essence of compiling with traces. | Shu-yu Guo, Jens Palsberg |
| 2011 | PPoPP | Communicating memory transactions. | Mohsen Lesani, Jens Palsberg |
| 2010 | CC | Punctual Coalescing. | Fernando Magno Quinto Pereira, Jens Palsberg |
| 2010 | OOPSLA | From OO to FPGA: fitting round objects into square hardware? | Stephen Kou, Jens Palsberg |
| 2010 | PPoPP | Featherweight X10: a core calculus for async-finish parallelism. | Jonathan K. Lee, Jens Palsberg |
| 2009 | CC | SSA Elimination after Register Allocation. | Fernando Magno Quinto Pereira, Jens Palsberg |
| 2008 | OOPSLA | Constrained types for object-oriented languages. | Nathaniel Nystrom, Vijay A. Saraswat, Jens Palsberg, Christian Grothoff |
| 2008 | PLDI | Register allocation by puzzle solving. | Fernando Magno Quinto Pereira, Jens Palsberg |
| 2008 | VMCAI | Verification of Register Allocators. | Jens Palsberg |
| 2007 | CASES | Vertical object layout and compression for fixed heaps. | Ben L. Titzer, Jens Palsberg |
| 2007 | ICALP | Aliased Register Allocation for Straight-Line Programs Is NP-Complete. | Jonathan K. Lee, Jens Palsberg, Fernando Magno Quinto Pereira |
| 2007 | PLDI | The ExoVM system for automatic VM and application reduction. | Ben L. Titzer, Joshua S. Auerbach, David F. Bacon, Jens Palsberg |
| 2007 | SAS | A Framework for End-to-End Verification and Evaluation of Register Allocators. | V. Krishna Nandivada, Fernando Magno Quinto Pereira, Jens Palsberg |
| 2006 | APLAS | Event Driven Software Quality. | Jens Palsberg |
| 2006 | CC | SARA: Combining Stack Allocation and Register Allocation. | V. Krishna Nandivada, Jens Palsberg |
| 2006 | ESOP | Inference of User-Defined Type Qualifiers and Qualifier Rules. | Brian Chin, Shane Markstrum, Todd D. Millstein, Jens Palsberg |
| 2006 | FOSSACS | Register Allocation After Classical SSA Elimination is NP-Complete. | Fernando Magno Quinto Pereira, Jens Palsberg |
| 2005 | APLAS | Register Allocation Via Coloring of Chordal Graphs. | Fernando Magno Quinto Pereira, Jens Palsberg |
| 2005 | ESOP | A Type System Equivalent to a Model Checker. | Mayur Naik, Jens Palsberg |
| 2005 | SENSYS | D.A.S.: deployment analysis system. | Kevin K. Chang, Nithya Ramanathan, Deborah Estrin, Jens Palsberg |
| 2005 | RTAS | Timing Analysis of TCP Servers for Surviving Denial-of-Service Attacks. | V. Krishna Nandivada, Jens Palsberg |
| 2005 | SAS | Type-Safe Optimisation of Plugin Architectures. | Neal Glew, Jens Palsberg, Christian Grothoff |
| 2003 | CASES | Efficient spill code for SDRAM. | V. Krishna Nandivada, Jens Palsberg |
| 2003 | OOPSLA | Lightweight confinement for featherweight Java. | Tian Zhao, Jens Palsberg, Jan Vitek |
| 2003 | SAS | Stack Size Analysis for Interrupt-Driven Programs. | Krishnendu Chatterjee, Di Ma, Rupak Majumdar, Tian Zhao, Thomas A. Henzinger, Jens Palsberg |
| 2002 | ECOOP | Type-Safe Method Inlining. | Neal Glew, Jens Palsberg |
| 2002 | FOSSACS | Efficient Type Matching. | Somesh Jha, Jens Palsberg, Tian Zhao |
| 2002 | LICS | Efficient Type Inference for Record Concatenation and Subtyping. | Jens Palsberg, Tian Zhao |
| 2001 | ICSE | Static Checking of Interrupt-Driven Software. | Dennis Brylow, Niels Damgaard, Jens Palsberg |
| 2001 | OOPSLA | Encapsulating Objects with Confined Types. | Christian Grothoff, Jens Palsberg, Jan Vitek |
| 2000 | ACSAC | Experience with Software Watermarking. | Jens Palsberg, S. Krishnaswamy, Minseok Kwon, Di Ma, Qiuyun Shao, Y. Zhang |
| 2000 | LICS | Efficient and Flexible Matching of Recursive Types. | Jens Palsberg, Tian Zhao |
| 2000 | OOPSLA | Scalable propagation-based call graph construction algorithms. | Frank Tip, Jens Palsberg |
| 1998 | COMPSAC | The Essence of the Visitor Pattern. | Jens Palsberg, C. Barry Jay |
| 1998 | PEPM | Eta-Redexes in Partial Evaluation. | Jens Palsberg |
| 1998 | POPL | From Polyvariant Flow Information to Intersection and Union Types. | Jens Palsberg, Christina Pavlopoulou |
| 1996 | ESOP | A New Approach to Compiling Adaptive Programs. | Jens Palsberg, Boaz Patt-Shamir, Karl J. Lieberherr |
| 1995 | POPL | A Type System Equivalent to Flow Analysis. | Jens Palsberg, Patrick O'Keefe |
| 1995 | SAS | Trust in the lambda-Calculus | Jens Palsberg, Peter rbk |
| 1994 | LICS | Efficient Inference of Object Types | Jens Palsberg |
| 1994 | PEPM | The Essence of Eta-Expansion in Partial Evaluation. | Olivier Danvy, Karoline Malmkjr, Jens Palsberg |
| 1993 | ECOOP | Type Inference of SELF. | Ole Agesen, Jens Palsberg, Michael I. Schwartzbach |
| 1993 | ECOOP | Panel: Aims, Means, and Future of Object-Oriented Languages. | Mike Banahan, L. Peter Deutsch, Boris Magnusson, Jens Palsberg |
| 1993 | POPL | Efficient Recursive Subtyping. | Dexter Kozen, Jens Palsberg, Michael I. Schwartzbach |
| 1992 | ECOOP | Making Type Inference Practical. | Nicholas Oxhj, Jens Palsberg, Michael I. Schwartzbach |
| 1992 | ESOP | A Provably Correct Compiler Generator. | Jens Palsberg |
| 1992 | FOCS | Efficient Inference of Partial Types | Dexter Kozen, Jens Palsberg, Michael I. Schwartzbach |
| 1991 | ECOOP | What is Type-Safe Code Reuse? | Jens Palsberg, Michael I. Schwartzbach |
| 1991 | OOPSLA | Object-Oriented Type Inference. | Jens Palsberg, Michael I. Schwartzbach |
| 1990 | OOPSLA | Type Substitution for Object-Oriented Programming. | Jens Palsberg, Michael I. Schwartzbach |
| 1989 | OOPSLA | A Denotational Semantics of Inheritance and its Correctness. | William R. Cook, Jens Palsberg |