Travelled to:1 × France
1 × Ireland
1 × Italy
17 × USA
2 × Canada
Collaborated with:∅ D.R.Chakrabarti K.Bhandari M.Spertus S.V.Adve M.Serrano A.J.Demers S.Shenker V.A.L.Jr. P.Banerjee P.G.Joisha R.S.Schreiber R.Cartwright M.Riggle M.J.O'Donnell L.Effinger-Dean B.Lucia L.Ceze D.Grossman M.Weiser B.Hayes D.G.Bobrow
Talks about:garbag (8) collect (5) memori (5) program (4) conserv (4) space (4) collector (3) optim (3) real (3) implement (2)
Person: Hans-Juergen Boehm
DBLP: Boehm:Hans=Juergen
Facilitated 5 volumes:
Ed
EdEd
EdEdContributed to:
20142012
2011201120092008
20072005200420032002
2000200019961993199319911990199019891987
198619822016Wrote 24 papers:
- OOPSLA-2014-ChakrabartiBB #consistency #memory management #named
- Atlas: leveraging locks for non-volatile memory consistency (DRC, HJB, KB), pp. 433–452.
- OOPSLA-2012-Effinger-DeanLCGB #concurrent #detection #named
- IFRit: interference-free regions for dynamic data-race detection (LED, BL, LC, DG, HJB), pp. 467–484.
- CGO-2011-ChakrabartiBBJS #graph #memory management #optimisation #runtime #transaction
- The runtime abort graph and its application to software transactional memory optimization (DRC, PB, HJB, PGJ, RSS), pp. 42–53.
- POPL-2011-JoishaSBBC #automation #compilation #effectiveness #optimisation #parallel #reuse #thread #using
- A technique for the effective and automatic reuse of classical compiler optimizations on multithreaded code (PGJ, RSS, PB, HJB, DRC), pp. 623–636.
- ISMM-2009-BoehmS #c++ #garbage collection #standard
- Garbage collection in the next C++ standard (HJB, MS), pp. 30–38.
- PLDI-2008-BoehmA #c++ #concurrent #memory management
- Foundations of the C++ concurrency memory model (HJB, SVA), pp. 68–78.
- PPoPP-2007-Boehm #constraints #order #thread
- Reordering constraints for pthread-style locks (HJB), pp. 173–182.
- PLDI-2005-Boehm #library #thread
- Threads cannot be implemented as a library (HJB), pp. 261–268.
- POPL-2004-Boehm #lazy evaluation
- The space cost of lazy reference counting (HJB), pp. 210–219.
- POPL-2003-Boehm
- Destructors, finalizers, and synchronization (HJB), pp. 262–272.
- POPL-2002-Boehm #bound #garbage collection
- Bounding space usage of conservative garbage collectors (HJB), pp. 93–100.
- ICFP-2000-SerranoB #comprehension #memory management #source code
- Understanding memory allocation of scheme programs (MS, HJB), pp. 245–256.
- ISMM-2000-Boehm #garbage collection
- Reducing Garbage Collector Cache Misses (HJB), pp. 59–64.
- PLDI-1996-Boehm #garbage collection
- Simple Garbage-Collector-Safety (HJB), pp. 89–98.
- Best-of-PLDI-1993-Boehm93a #garbage collection #performance
- Space efficient conservative garbage collection (with retrospective) (HJB), pp. 490–501.
- PLDI-1993-Boehm #garbage collection #performance
- Space Efficient Conservative Garbage Collection (HJB), pp. 197–206.
- PLDI-1991-BoehmDS #garbage collection #parallel
- Mostly Parallel Garbage Collection (HJB, AJD, SS), pp. 157–164.
- PLDI-1990-LeeB #optimisation #source code
- Optimizing Programs over the Constructive Reals (VALJ, HJB), pp. 102–111.
- POPL-1990-DemersWHBBS #framework #garbage collection #implementation
- Combining Generational and Conservative Garbage Collection: Framework and Implementations (AJD, MW, BH, HJB, DGB, SS), pp. 261–269.
- PLDI-1989-Boehm #abstraction #type inference
- Type Inference in the Presence of Type Abstraction (HJB), pp. 192–206.
- PLDI-1987-Boehm #source code
- Constructive real interpretation of numerical programs (HJB), pp. 214–221.
- LFP-1986-BoehmCRO #case study #higher-order #programming
- Exact Real Arithmetic: A Case Study in Higher Order Programming (HJB, RC, MR, MJO), pp. 162–173.
- POPL-1982-Boehm #logic
- A Logic for Expressions with Side-Effects (HJB), pp. 268–280.
- OOPSLA-2016-BhandariCB #memory management #named #performance
- Makalu: fast recoverable allocation of non-volatile memory (KB, DRC, HJB), pp. 677–694.