| 2020 | PLDI | Towards an API for the real numbers. | Hans-Juergen Boehm |
| 2016 | OOPSLA | Makalu: fast recoverable allocation of non-volatile memory. | Kumud Bhandari, Dhruva R. Chakrabarti, Hans-Juergen Boehm |
| 2015 | SPAA | Myths and Misconceptions about Threads. | Hans-Juergen Boehm |
| 2014 | OOPSLA | Atlas: leveraging locks for non-volatile memory consistency. | Dhruva R. Chakrabarti, Hans-Juergen Boehm, Kumud Bhandari |
| 2014 | PLDI | Outlawing ghosts: avoiding out-of-thin-air results. | Hans-Juergen Boehm, Brian Demsky |
| 2012 | OOPSLA | Position paper: nondeterminism is unavoidable, but data races are pure evil. | Hans-Juergen Boehm |
| 2012 | OOPSLA | IFRit: interference-free regions for dynamic data-race detection. | Laura Effinger-Dean, Brandon Lucia, Luis Ceze, Dan Grossman, Hans-Juergen Boehm |
| 2012 | PLDI | Can seqlocks get along with programming language memory models? | Hans-Juergen Boehm |
| 2011 | CGO | The runtime abort graph and its application to software transactional memory optimization. | Dhruva R. Chakrabarti, Prithviraj Banerjee, Hans-Juergen Boehm, Pramod G. Joisha, Robert S. Schreiber |
| 2011 | PLDI | Performance implications of fence-based memory models. | Hans-Juergen Boehm |
| 2011 | PLDI | Extended sequential reasoning for data-race-free programs. | Laura Effinger-Dean, Hans-Juergen Boehm, Dhruva R. Chakrabarti, Pramod G. Joisha |
| 2011 | POPL | A technique for the effective and automatic reuse of classical compiler optimizations on multithreaded code. | Pramod G. Joisha, Robert S. Schreiber, Prithviraj Banerjee, Hans-Juergen Boehm, Dhruva R. Chakrabarti |
| 2010 | ISCA | Conflict exceptions: simplifying concurrent language semantics with precise hardware exceptions for data-races. | Brandon Lucia, Luis Ceze, Karin Strauss, Shaz Qadeer, Hans-Juergen Boehm |
| 2008 | PLDI | Foundations of the C++ concurrency memory model. | Hans-Juergen Boehm, Sarita V. Adve |
| 2007 | PPoPP | Reordering constraints for pthread-style locks. | Hans-Juergen Boehm |
| 2005 | PLDI | Threads cannot be implemented as a library. | Hans-Juergen Boehm |
| 2004 | PODC | An almost non-blocking stack. | Hans-Juergen Boehm |
| 2004 | POPL | The space cost of lazy reference counting. | Hans-Juergen Boehm |
| 2003 | POPL | Destructors, finalizers, and synchronization. | Hans-Juergen Boehm |
| 2002 | POPL | Bounding space usage of conservative garbage collectors. | Hans-Juergen Boehm |
| 2000 | ICFP | Understanding memory allocation of scheme programs. | Manuel Serrano, Hans-Juergen Boehm |
| 1996 | PLDI | Simple Garbage-Collector-Safety. | Hans-Juergen Boehm |
| 1993 | PLDI | Space Efficient Conservative Garbage Collection. | Hans-Juergen Boehm |
| 1993 | PLDI | Space efficient conservative garbage collection (with retrospective) | Hans-Juergen Boehm |
| 1991 | PLDI | Mostly Parallel Garbage Collection. | Hans-Juergen Boehm, Alan J. Demers, Scott Shenker |
| 1990 | PLDI | Optimizing Programs over the Constructive Reals. | Vernon A. Lee Jr., Hans-Juergen Boehm |
| 1990 | POPL | Combining Generational and Conservative Garbage Collection: Framework and Implementations. | Alan J. Demers, Mark D. Weiser, Barry Hayes, Hans-Juergen Boehm, Daniel G. Bobrow, Scott Shenker |
| 1989 | PLDI | Type Inference in the Presence of Type Abstraction. | Hans-Juergen Boehm |
| 1987 | ICDCS | Parallel Attribute Grammar Evaluation. | Hans-Juergen Boehm, Willy Zwaenepoel |
| 1987 | PLDI | Constructive real interpretation of numerical programs. | Hans-Juergen Boehm |
| 1985 | FOCS | Partial Polymorphic Type Inference Is Undecidable | Hans-Juergen Boehm |
| 1982 | POPL | A Logic for Expressions with Side-Effects. | Hans-Juergen Boehm |