Hans-Juergen Boehm

Publication Activity (10 Years)

Years Active: 1982-2017
Publications (10 Years): 4

Top Topics

Programming Language

Issues And Trends

High Level Programming Languages

Top Venues

Publications

Annette Bieniusa, Hans-Juergen Boehm, Maurice Herlihy, Erez Petrank
New Challenges in Parallelism (Dagstuhl Seminar 17451). Dagstuhl Reports 7 (11) (2017)
Hans-Juergen Boehm
Small-data computing: correct calculator arithmetic. Commun. ACM 60 (8) (2017)
Kumud Bhandari, Dhruva R. Chakrabarti, Hans-Juergen Boehm
Makalu: fast recoverable allocation of non-volatile memory. OOPSLA (2016)
Hans-Juergen Boehm, Dhruva R. Chakrabarti
Persistence programming models for non-volatile memory. ISMM (2016)
Hans-Juergen Boehm
Myths and Misconceptions about Threads. SPAA (2015)
Dhruva R. Chakrabarti, Hans-Juergen Boehm, Kumud Bhandari
Atlas: leveraging locks for non-volatile memory consistency. OOPSLA (2014)
Hans-Juergen Boehm, Brian Demsky
Outlawing ghosts: avoiding out-of-thin-air results. MSPC@PLDI (2014)
Hans-Juergen Boehm, Jack W. Davidson, Kathleen Fisher, Cormac Flanagan, Jeremy Gibbons, Mary W. Hall, Graham Hutton, David A. Padua, Frank Tip, Jan Vitek, Philip Wadler
Practices of PLDI. ACM SIGPLAN Notices 49 (4S) (2014)
Dhruva R. Chakrabarti, Hans-Juergen Boehm
Durability Semantics for Lock-based Multithreaded Programs. HotPar (2013)
Hans-Juergen Boehm, Sarita V. Adve
You don't know jack about shared variables or memory models. Commun. ACM 55 (2) (2012)
Hans-Juergen Boehm
Can seqlocks get along with programming language memory models? MSPC (2012)
Hans-Juergen Boehm
Position paper: nondeterminism is unavoidable, but data races are pure evil. RACES@SPLASH (2012)
Laura Effinger-Dean, Brandon Lucia, Luis Ceze, Dan Grossman, Hans-Juergen Boehm
IFRit: interference-free regions for dynamic data-race detection. OOPSLA (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) (2012)
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)
Hans-Juergen Boehm
Performance implications of fence-based memory models. MSPC (2011)
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)
Laura Effinger-Dean, Hans-Juergen Boehm, Dhruva R. Chakrabarti, Pramod G. Joisha
Extended sequential reasoning for data-race-free programs. MSPC (2011)
Hans-Juergen Boehm, Ursula Goltz, Holger Hermanns, Peter Sewell
Multi-Core Memory Models and Concurrency Theory (Dagstuhl Seminar 11011). Dagstuhl Reports 1 (1) (2011)
Hans-Juergen Boehm
How to Miscompile Programs with "Benign" Data Races. HotPar (2011)
Hans-Juergen Boehm
A solid foundation for x86 shared memory: technical perspective. Commun. ACM 53 (7) (2010)
Sarita V. Adve, Hans-Juergen Boehm
Memory models: a case for rethinking parallel languages and hardware. Commun. ACM 53 (8) (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)
Hans-Juergen Boehm, Mike Spertus
Garbage collection in the next C++ standard. ISMM (2009)
Hans-Juergen Boehm, Sarita V. Adve
Foundations of the C++ concurrency memory model. PLDI (2008)
Hans-Juergen Boehm
Reordering constraints for pthread-style locks. PPOPP (2007)
Hans-Juergen Boehm
Threads cannot be implemented as a library. PLDI (2005)
Hans-Juergen Boehm
The constructive reals as a Java library. J. Log. Algebraic Methods Program. 64 (1) (2005)
Hans-Juergen Boehm
The space cost of lazy reference counting. POPL (2004)
Hans-Juergen Boehm
An almost non-blocking stack. PODC (2004)
Hans-Juergen Boehm
Destructors, finalizers, and synchronization. POPL (2003)
Hans-Juergen Boehm
Bounding space usage of conservative garbage collectors. POPL (2002)
Hans-Juergen Boehm
Letter from the Newly Elected Chair. ACM SIGPLAN Notices 36 (9) (2001)
Thomas Ball, Hans-Juergen Boehm
Century. ACM SIGPLAN Notices 36 (4) (2001)
Manuel Serrano, Hans-Juergen Boehm
Understanding memory allocation of scheme programs. ICFP (2000)
Hans-Juergen Boehm
Reducing Garbage Collector Cache Misses. ISMM (2000)
Hans-Juergen Boehm
Simple Garbage-Collector-Safety. PLDI (1996)
Hans-Juergen Boehm, Russell R. Atkinson, Michael F. Plass
Ropes: An Alternative to Strings. Softw. Pract. Exp. 25 (12) (1995)
Hans-Juergen Boehm, Alan J. Demers, Chris Uhler
Implementing Multiple Locks Using Lamport's Mutual Exclusion Algorithm. LOPLAS 2 (1-4) (1993)
Hans-Juergen Boehm
Space Efficient Conservative Garbage Collection. PLDI (1993)
Hans-Juergen Boehm
Space efficient conservative garbage collection (with retrospective) Best of PLDI (1993)
Hans-Juergen Boehm, Alan J. Demers, Scott Shenker
Mostly Parallel Garbage Collection. PLDI (1991)
Alan J. Demers, Mark D. Weiser, Barry Hayes, Hans-Juergen Boehm, Daniel G. Bobrow, Scott Shenker
Combining Generational and Conservative Garbage Collection: Framework and Implementations. POPL (1990)
Vernon A. Lee Jr., Hans-Juergen Boehm
Optimizing Programs over the Constructive Reals. PLDI (1990)
Hans-Juergen Boehm
Type Inference in the Presence of Type Abstraction. PLDI (1989)
Hans-Juergen Boehm, Mark D. Weiser
Garbage Collection in an Uncooperative Environment. Softw. Pract. Exp. 18 (9) (1988)
Hans-Juergen Boehm, Willy Zwaenepoel
Parallel Attribute Grammar Evaluation. ICDCS (1987)
Hans-Juergen Boehm
Constructive real interpretation of numerical programs. PLDI (1987)
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)
Hans-Juergen Boehm, Alan J. Demers
Implementing RUSSELL. SIGPLAN Symposium on Compiler Construction (1986)
Hans-Juergen Boehm
Partial Polymorphic Type Inference Is Undecidable FOCS (1985)
Hans-Juergen Boehm
Side Effects and Aliasing Can Have Simple Axiomatic Descriptions. ACM Trans. Program. Lang. Syst. 7 (4) (1985)
Hans-Juergen Boehm
A Logic for Expressions with Side-Effects. POPL (1982)