Papers

A selection of newer papers.

• Compiling Volatile Correctly in Java, Shuyang Liu, John Bender, and Jens Palsberg, ECOOP’22, June 6 - 10, 2022, Berlin, Germany
• Fast and Precise Application Code Analysis using a Partial Library, Akshay Utture and Jens Palsberg, ICSE ’22, May 21–29, 2022, Pittsburgh, PA, USA
• Striking a Balance- Pruning False-Positives from Static Call Graphs, Akshay Utture, Shuyang Liu, Christian Gram Kalhauge, and Jens Palsberg, ICSE ’22, May 21–29, 2022, Pittsburgh, PA, USA
• Logical Bytecode Reduction, Christian Gram Kalhauge and Jens Palsberg, PLDI 2021, June 20-26, 2021, Virtual Conference
• Quantum Abstract Interpretation, Nengkun Yu and Jens Palsberg, PLDI 2021, June 20-26, 2021, Virtual Conference
• What is Decidable about Gradual Types?, Zeina Migeed and Jens Palsberg, POPL 2020, January 22–25, 2020, New Orleans, Louisiana, USA
• A Formalization of Java's Concurrent Access Modes, John Bender and Jens Palsberg, OOPSLA '19, October 20–25, 2019, Athens, Greece
• Binary Reduction of Depdendency Graphs, Christian Gram Kalhauge and Jens Palsberg, ESEC/FSE ’19, August 26–30, 2019, Tallinn, Estonia
• Sound Deadlock Prediction, Christian Gram Kalhauge and Jens Palsberg, OOPSLA '18, November 4-9, 2018, Boston, Massachusetts, USA
• Jones-Optimal Partial Evaluation by Specialization-Safe Normalization, Matt Brown and Jens Palsberg, POPL'18, January 7-13, 2018, Los Angeles, California, USA
• Typed self-evaluation via intensional type functions, Matt Brown and Jens Palsberg, POPL'17, January 15-21, 2017, Paris, France
• Declarative Fence Insertion, John Bender and Jens Palsberg, OOPSLA '15, Oktober 23-30, 2015, Pittsburgh PA, USA
• Scalable Deadlock Detection for Concurrent Programs, Mahdi Eslamimehr and Jens Palsberg, FSE’14, November 16–22, 2014, Hong Kong, China
• Automatic Atomicity Verification for Clients of Concurrent Data Structures, Mohsen Lesani, Todd Millstein, and Jens Palsberg, CAV 2014, July 18-22, 2014, Vienna, Austria
• Race Directed Scheduling of Concurrent Programs, Mahdi Eslamimehr and Jens Palsberg, PPoPP ’14, February 15–19, 2014, Orlando, Florida, USA
• Testing versus Static Analysis of Maximum Stack Size, Mahdi Eslamimehr and Jens Palsberg, COMPSAC'13, July 22–26, 2013, Kyoto, Japan