BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Boehm:Hans=Juergen

Facilitated 5 volumes:

PLDI 2013Ed
ISMM 2011Ed
ISMM 2002Ed
POPL 1996Ed
POPL 1994Ed

Contributed to:

OOPSLA 20142014
OOPSLA 20122012
CGO 20112011
POPL 20112011
ISMM 20092009
PLDI 20082008
PPoPP 20072007
PLDI 20052005
POPL 20042004
POPL 20032003
POPL 20022002
ICFP 20002000
ISMM 20002000
PLDI 19961996
Best of PLDI 20041993
PLDI 19931993
PLDI 19911991
PLDI 19901990
POPL 19901990
PLDI 19891989
PLDI 19871987
LFP 19861986
POPL 19821982
OOPSLA 20162016

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.