 | 2012 |
|---|
| 45 |       | Hans-Juergen Boehm,
Sarita V. Adve:
You don't know jack about shared variables or memory models.
Commun. ACM 55(2): 48-54 (2012) |
| 2011 |
|---|
| 44 | | Hans-Juergen Boehm,
David F. Bacon:
Proceedings of the 10th International Symposium on Memory Management, ISMM 2011, San Jose, CA, USA, June 04 - 05, 2011
ACM 2011 |
| 43 | | 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 |
| 42 | | Hans-Juergen Boehm:
Performance implications of fence-based memory models.
MSPC 2011: 13-19 |
| 41 | | Laura Effinger-Dean,
Hans-Juergen Boehm,
Dhruva R. Chakrabarti,
Pramod G. Joisha:
Extended sequential reasoning for data-race-free programs.
MSPC 2011: 22-29 |
| 40 | | 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 |
| 39 | | Sarita V. Adve,
Hans-Juergen Boehm:
Memory Models.
Encyclopedia of Parallel Computing 2011: 1107-1110 |
| 38 | | 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) |
| 2010 |
|---|
| 37 | | 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 |
| 36 | | Hans-Juergen Boehm:
A solid foundation for x86 shared memory: technical perspective.
Commun. ACM 53(7): 88 (2010) |
| 35 | | Sarita V. Adve,
Hans-Juergen Boehm:
Memory models: a case for rethinking parallel languages and hardware.
Commun. ACM 53(8): 90-101 (2010) |
| 2009 |
|---|
| 34 | | Hans-Juergen Boehm,
Mike Spertus:
Garbage collection in the next C++ standard.
ISMM 2009: 30-38 |
| 2008 |
|---|
| 33 | | Hans-Juergen Boehm,
Sarita V. Adve:
Foundations of the C++ concurrency memory model.
PLDI 2008: 68-78 |
| 2007 |
|---|
| 32 | | Hans-Juergen Boehm:
Reordering constraints for pthread-style locks.
PPOPP 2007: 173-182 |
| 2006 |
|---|
| 31 |  | Hans-Juergen Boehm,
David Grove:
Proceedings of the 2nd International Conference on Virtual Execution Environments, VEE 2006, Ottawa, Ontario, Canada, June 14-16, 2006
ACM 2006 |
| 2005 |
|---|
| 30 | | Hans-Juergen Boehm:
Threads cannot be implemented as a library.
PLDI 2005: 261-268 |
| 29 | | Hans-Juergen Boehm:
The constructive reals as a Java library.
J. Log. Algebr. Program. 64(1): 3-11 (2005) |
| 2004 |
|---|
| 28 | | Hans-Juergen Boehm:
An almost non-blocking stack.
PODC 2004: 40-49 |
| 27 | | Hans-Juergen Boehm:
The space cost of lazy reference counting.
POPL 2004: 210-219 |
| 2003 |
|---|
| 26 | | Hans-Juergen Boehm:
Destructors, finalizers, and synchronization.
POPL 2003: 262-272 |
| 2002 |
|---|
| 25 | | Hans-Juergen Boehm,
David Detlefs:
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 |
| 24 | | Hans-Juergen Boehm:
Bounding space usage of conservative garbage collectors.
POPL 2002: 93-100 |
| 2001 |
|---|
| 23 | | Thomas Ball,
Hans-Juergen Boehm:
SIGPLANet - A Modest Proposal for SIGPLAN in the 21st Century.
SIGPLAN Notices 36(4): 1-2 (2001) |
| 22 | | Hans-Juergen Boehm:
Letter from the Newly Elected Chair.
SIGPLAN Notices 36(9): 1-2 (2001) |
| 2000 |
|---|
| 21 | | Manuel Serrano,
Hans-Juergen Boehm:
Understanding memory allocation of scheme programs.
ICFP 2000: 245-256 |
| 20 | | Hans-Juergen Boehm:
Reducing Garbage Collector Cache Misses.
ISMM 2000: 59-64 |
| 1996 |
|---|
| 19 | | Hans-Juergen Boehm,
Guy L. Steele Jr.:
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 |
| 18 | | Hans-Juergen Boehm:
Simple Garbage-Collector-Safety.
PLDI 1996: 89-98 |
| 1995 |
|---|
| 17 | | Hans-Juergen Boehm,
Russell R. Atkinson,
Michael F. Plass:
Ropes: An Alternative to Strings.
Softw., Pract. Exper. 25(12): 1315-1330 (1995) |
| 1994 |
|---|
| 16 | | Hans-Juergen Boehm,
Bernard Lang,
Daniel M. Yellin:
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 |
| 1993 |
|---|
| 15 | | Hans-Juergen Boehm:
Space efficient conservative garbage collection (with retrospective)
Best of PLDI 1993: 490-501 |
| 14 | | Hans-Juergen Boehm:
Space Efficient Conservative Garbage Collection.
PLDI 1993: 197-206 |
| 13 | | Hans-Juergen Boehm,
Alan J. Demers,
Christ Uhler:
Implementing Multiple Locks Using Lamport's Mutual Exclusion Algorithm.
LOPLAS 2(1-4): 46-58 (1993) |
| 1991 |
|---|
| 12 | | Hans-Juergen Boehm,
Alan J. Demers,
Scott Shenker:
Mostly Parallel Garbage Collection.
PLDI 1991: 157-164 |
| 1990 |
|---|
| 11 | | Vernon A. Lee Jr.,
Hans-Juergen Boehm:
Optimizing Programs over the Constructive Reals.
PLDI 1990: 102-111 |
| 10 | | 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 |
| 1989 |
|---|
| 9 | | Hans-Juergen Boehm:
Type Inference in the Presence of Type Abstraction.
PLDI 1989: 192-206 |
| 1988 |
|---|
| 8 | | Hans-Juergen Boehm,
Mark Weiser:
Garbage Collection in an Uncooperative Environment.
Softw., Pract. Exper. 18(9): 807-820 (1988) |
| 1987 |
|---|
| 7 | | Hans-Juergen Boehm,
Willy Zwaenepoel:
Parallel Attribute Grammar Evaluation.
ICDCS 1987: 347-355 |
| 6 | | Hans-Juergen Boehm:
Constructive real interpretation of numerical programs.
PLDI 1987: 214-221 |
| 1986 |
|---|
| 5 | | 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 |
| 4 | | Hans-Juergen Boehm,
Alan J. Demers:
Implementing RUSSELL.
SIGPLAN Symposium on Compiler Construction 1986: 186-195 |
| 1985 |
|---|
| 3 | | Hans-Juergen Boehm:
Partial Polymorphic Type Inference Is Undecidable
FOCS 1985: 339-345 |
| 2 | | Hans-Juergen Boehm:
Side Effects and Aliasing Can Have Simple Axiomatic Descriptions.
ACM Trans. Program. Lang. Syst. 7(4): 637-655 (1985) |
| 1982 |
|---|
| 1 | | Hans-Juergen Boehm:
A Logic for Expressions with Side-Effects.
POPL 1982: 268-280 |
Data released under the ODC-BY 1.0 license — See also our legal information page