Follow
Hans-J. Boehm
Hans-J. Boehm
Google
Verified email at acm.org - Homepage
Title
Cited by
Cited by
Year
Garbage collection in an uncooperative environment
HJ Boehm, M Weiser
Software: Practice and Experience 18 (9), 807-820, 1988
9391988
Foundations of the C++ concurrency memory model
HJ Boehm, SV Adve
ACM SIGPLAN Notices 43 (6), 68-78, 2008
5722008
Mostly parallel garbage collection
HJ Boehm, AJ Demers, S Shenker
ACM SIGPLAN Notices 26 (6), 157-164, 1991
3461991
Space efficient conservative garbage collection
HJ Boehm
ACM SIGPLAN Notices 28 (6), 197-206, 1993
3111993
Atlas: Leveraging locks for non-volatile memory consistency
DR Chakrabarti, HJ Boehm, K Bhandari
ACM SIGPLAN Notices 49 (10), 433-452, 2014
3092014
Personal storage device for application and data transfer
MD Weiser, R Want, SL Kozinski, HJ Boehm, KS Sethi
US Patent 5,982,520, 1999
3091999
Threads cannot be implemented as a library
HJ Boehm
ACM Sigplan Notices 40 (6), 261-268, 2005
2792005
Memory models: A case for rethinking parallel languages and hardware
SV Adve, HJ Boehm
Communications of the ACM 53 (8), 90-101, 2010
2412010
Combining generational and conservative garbage collection: Framework and implementations
A Demers, M Weiser, B Hayes, H Boehm, D Bobrow, S Shenker
Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of …, 1989
1421989
Makalu: Fast recoverable allocation of non-volatile memory
K Bhandari, DR Chakrabarti, HJ Boehm
ACM SIGPLAN Notices 51 (10), 677-694, 2016
1342016
Exact real arithmetic: A case study in higher order programming
HJ Boehm, R Cartwright, M Riggle, MJ O'Donnell
Proceedings of the 1986 ACM conference on LISP and functional programming …, 1986
1251986
A garbage collector for C and C++
H Boehm, A Demers, M Weiser
1212002
Conflict exceptions: Simplifying concurrent language semantics with precise hardware exceptions for data-races
B Lucia, L Ceze, K Strauss, S Qadeer, HJ Boehm
ACM SIGARCH Computer Architecture News 38 (3), 210-221, 2010
1152010
IFRit: interference-free regions for dynamic data-race detection
L Effinger-Dean, B Lucia, L Ceze, D Grossman, HJ Boehm
Proceedings of the ACM international conference on Object oriented …, 2012
1142012
Outlawing ghosts: Avoiding out-of-thin-air results
HJ Boehm, B Demsky
Proceedings of the workshop on Memory Systems Performance and Correctness, 1-6, 2014
1122014
Ropes: An alternative to strings
HJ Boehm, R Atkinson, M Plass
Software: Practice and Experience 25 (12), 1315-1330, 1995
1031995
How to miscompile programs with" benign" data races
HJ Boehm
3rd USENIX Workshop on Hot Topics in Parallelism (HotPar 11), 2011
1002011
Exact Real Arithmetic, formulating real numbers as functions
R Cartwright, B Boehm
Research Topics in Functional Programming. University of Texas at Austin …, 1990
991990
The space cost of lazy reference counting
HJ Boehm
ACM SIGPLAN Notices 39 (1), 210-219, 2004
722004
Partial polymorphic type inference is undecidable
HJ Boehm
26th Annual Symposium on Foundations of Computer Science (sfcs 1985), 339-345, 1985
711985
The system can't perform the operation now. Try again later.
Articles 1–20