Hans-Juergen Boehm

Hans-Juergen Boehm, Sarita V. Adve: You don't know jack about shared variables or memory models. Commun. ACM 55(2): 48-54 (2012)

Pramod G. Joisha, Robert S. Schreiber, Prithviraj Banerjee, Hans-Juergen Boehm, Dhruva R. Chakrabarti: On a Technique for Transparently Empowering Classical Compiler Optimizations on Multithreaded Code. ACM Trans. Program. Lang. Syst. 34(2): 9 (2012)

Laura Effinger-Dean, Brandon Lucia, Luis Ceze, Dan Grossman, Hans-Juergen Boehm: IFRit: interference-free regions for dynamic data-race detection. OOPSLA 2012: 467-484

Hans-Juergen Boehm: Can seqlocks get along with programming language memory models? MSPC 2012: 12-20

Dhruva R. Chakrabarti, Prithviraj Banerjee, Hans-Juergen Boehm, Pramod G. Joisha, Robert S. Schreiber: The runtime abort graph and its application to software transactional memory optimization. CGO 2011: 42-53

Hans-Juergen Boehm: Performance implications of fence-based memory models. MSPC 2011: 13-19

Laura Effinger-Dean, Hans-Juergen Boehm, Dhruva R. Chakrabarti, Pramod G. Joisha: Extended sequential reasoning for data-race-free programs. MSPC 2011: 22-29

Pramod G. Joisha, Robert S. Schreiber, Prithviraj Banerjee, Hans-Juergen Boehm, Dhruva R. Chakrabarti: A technique for the effective and automatic reuse of classical compiler optimizations on multithreaded code. POPL 2011: 623-636

Sarita V. Adve, Hans-Juergen Boehm: Memory Models. Encyclopedia of Parallel Computing 2011: 1107-1110

Hans-Juergen Boehm, David F. Bacon (Eds.): Proceedings of the 10th International Symposium on Memory Management, ISMM 2011, San Jose, CA, USA, June 04 - 05, 2011. ACM 2011, isbn 978-1-4503-0263-0

Hans-Juergen Boehm, Ursula Goltz, Holger Hermanns, Peter Sewell: Multi-Core Memory Models and Concurrency Theory (Dagstuhl Seminar 11011). Dagstuhl Reports 1(1): 1-26 (2011)

Hans-Juergen Boehm: A solid foundation for x86 shared memory: technical perspective. Commun. ACM 53(7): 88 (2010)

Sarita V. Adve, Hans-Juergen Boehm: Memory models: a case for rethinking parallel languages and hardware. Commun. ACM 53(8): 90-101 (2010)

Brandon Lucia, Luis Ceze, Karin Strauss, Shaz Qadeer, Hans-Juergen Boehm: Conflict exceptions: simplifying concurrent language semantics with precise hardware exceptions for data-races. ISCA 2010: 210-221

Hans-Juergen Boehm, Mike Spertus: Garbage collection in the next C++ standard. ISMM 2009: 30-38

Hans-Juergen Boehm, Sarita V. Adve: Foundations of the C++ concurrency memory model. PLDI 2008: 68-78

Hans-Juergen Boehm: Reordering constraints for pthread-style locks. PPOPP 2007: 173-182

Hans-Juergen Boehm, David Grove (Eds.): Proceedings of the 2nd International Conference on Virtual Execution Environments, VEE 2006, Ottawa, Ontario, Canada, June 14-16, 2006. ACM 2006

Hans-Juergen Boehm: The constructive reals as a Java library. J. Log. Algebr. Program. 64(1): 3-11 (2005)

Hans-Juergen Boehm: Threads cannot be implemented as a library. PLDI 2005: 261-268

Hans-Juergen Boehm: An almost non-blocking stack. PODC 2004: 40-49

Hans-Juergen Boehm: The space cost of lazy reference counting. POPL 2004: 210-219

Hans-Juergen Boehm: Destructors, finalizers, and synchronization. POPL 2003: 262-272

Hans-Juergen Boehm: Bounding space usage of conservative garbage collectors. POPL 2002: 93-100

Hans-Juergen Boehm, David Detlefs (Eds.): Proceedings of The Workshop on Memory Systems Performance (MSP 2002), June 16, 2002 and The International Symposium on Memory Management (ISMM 2002), June 20-21, 2002, Berlin, Germany. ACM 2002, isbn 1-58113-539-4

Thomas Ball, Hans-Juergen Boehm: SIGPLANet - A Modest Proposal for SIGPLAN in the 21^st Century. SIGPLAN Notices 36(4): 1-2 (2001)

Hans-Juergen Boehm: Letter from the Newly Elected Chair. SIGPLAN Notices 36(9): 1-2 (2001)

Manuel Serrano, Hans-Juergen Boehm: Understanding memory allocation of scheme programs. ICFP 2000: 245-256

Hans-Juergen Boehm: Reducing Garbage Collector Cache Misses. ISMM 2000: 59-64

Hans-Juergen Boehm: Simple Garbage-Collector-Safety. PLDI 1996: 89-98

Hans-Juergen Boehm, Guy L. Steele Jr. (Eds.): Conference Record of POPL'96: The 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Papers Presented at the Symposium, St. Petersburg Beach, Florida, USA, January 21-24, 1996. ACM Press 1996, isbn 0-89791-769-3

Hans-Juergen Boehm, Russell R. Atkinson, Michael F. Plass: Ropes: An Alternative to Strings. Softw., Pract. Exper. 25(12): 1315-1330 (1995)

Hans-Juergen Boehm, Bernard Lang, Daniel M. Yellin (Eds.): Conference Record of POPL'94: 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Portland, Oregon, USA, January 17-21, 1994. ACM Press 1994, isbn 0-89791-636-0

Hans-Juergen Boehm, Alan J. Demers, Christ Uhler: Implementing Multiple Locks Using Lamport's Mutual Exclusion Algorithm. LOPLAS 2(1-4): 46-58 (1993)

Hans-Juergen Boehm: Space Efficient Conservative Garbage Collection. PLDI 1993: 197-206

Hans-Juergen Boehm: Space efficient conservative garbage collection (with retrospective). Best of PLDI 1993: 490-501

Hans-Juergen Boehm, Alan J. Demers, Scott Shenker: Mostly Parallel Garbage Collection. PLDI 1991: 157-164

Vernon A. Lee Jr., Hans-Juergen Boehm: Optimizing Programs over the Constructive Reals. PLDI 1990: 102-111

Alan J. Demers, Mark Weiser, Barry Hayes, Hans-Juergen Boehm, Daniel G. Bobrow, Scott Shenker: Combining Generational and Conservative Garbage Collection: Framework and Implementations. POPL 1990: 261-269

Hans-Juergen Boehm: Type Inference in the Presence of Type Abstraction. PLDI 1989: 192-206

Hans-Juergen Boehm, Mark Weiser: Garbage Collection in an Uncooperative Environment. Softw., Pract. Exper. 18(9): 807-820 (1988)

Hans-Juergen Boehm, Willy Zwaenepoel: Parallel Attribute Grammar Evaluation. ICDCS 1987: 347-355

Hans-Juergen Boehm: Constructive real interpretation of numerical programs. PLDI 1987: 214-221

Hans-Juergen Boehm, Robert Cartwright, Mark Riggle, Michael J. O'Donnell: Exact Real Arithmetic: A Case Study in Higher Order Programming. LISP and Functional Programming 1986: 162-173

Hans-Juergen Boehm, Alan J. Demers: Implementing RUSSELL. SIGPLAN Symposium on Compiler Construction 1986: 186-195

Hans-Juergen Boehm: Side Effects and Aliasing Can Have Simple Axiomatic Descriptions. ACM Trans. Program. Lang. Syst. 7(4): 637-655 (1985)

Hans-Juergen Boehm: Partial Polymorphic Type Inference Is Undecidable. FOCS 1985: 339-345

Hans-Juergen Boehm: A Logic for Expressions with Side-Effects. POPL 1982: 268-280