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
9581988
Foundations of the C++ concurrency memory model
HJ Boehm, SV Adve
ACM SIGPLAN Notices 43 (6), 68-78, 2008
6222008
Atlas: Leveraging locks for non-volatile memory consistency
DR Chakrabarti, HJ Boehm, K Bhandari
ACM SIGPLAN Notices 49 (10), 433-452, 2014
3692014
Mostly parallel garbage collection
HJ Boehm, AJ Demers, S Shenker
ACM SIGPLAN Notices 26 (6), 157-164, 1991
3521991
Space efficient conservative garbage collection
HJ Boehm
ACM SIGPLAN Notices 28 (6), 197-206, 1993
3201993
Personal storage device for application and data transfer
MD Weiser, R Want, SL Kozinski, HJ Boehm, KS Sethi
US Patent 5,982,520, 1999
3141999
Threads cannot be implemented as a library
HJ Boehm
ACM Sigplan Notices 40 (6), 261-268, 2005
2812005
Memory models: A case for rethinking parallel languages and hardware
SV Adve, HJ Boehm
Communications of the ACM 53 (8), 90-101, 2010
2532010
Makalu: Fast recoverable allocation of non-volatile memory
K Bhandari, DR Chakrabarti, HJ Boehm
ACM SIGPLAN Notices 51 (10), 677-694, 2016
1602016
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
1451989
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
1271986
A garbage collector for C and C++
H Boehm, A Demers, M Weiser
1262002
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
1222014
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
1222012
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
1172010
How to miscompile programs with" benign" data races
HJ Boehm
3rd USENIX Workshop on Hot Topics in Parallelism (HotPar 11), 2011
1132011
Ropes: An alternative to strings
HJ Boehm, R Atkinson, M Plass
Software: Practice and Experience 25 (12), 1315-1330, 1995
1081995
Exact Real Arithmetic, formulating real numbers as functions
R Cartwright, B Boehm
Research Topics in Functional Programming. University of Texas at Austin …, 1990
951990
The space cost of lazy reference counting
HJ Boehm
ACM SIGPLAN Notices 39 (1), 210-219, 2004
742004
Partial polymorphic type inference is undecidable
HJ Boehm
26th Annual Symposium on Foundations of Computer Science (sfcs 1985), 339-345, 1985
741985
The system can't perform the operation now. Try again later.
Articles 1–20