フォロー
Hans-J. Boehm
Hans-J. Boehm
Google
確認したメール アドレス: acm.org - ホームページ
タイトル
引用先
引用先
Garbage collection in an uncooperative environment
HJ Boehm, M Weiser
Software: Practice and Experience 18 (9), 807-820, 1988
9531988
Foundations of the C++ concurrency memory model
HJ Boehm, SV Adve
ACM SIGPLAN Notices 43 (6), 68-78, 2008
6192008
Atlas: Leveraging locks for non-volatile memory consistency
DR Chakrabarti, HJ Boehm, K Bhandari
ACM SIGPLAN Notices 49 (10), 433-452, 2014
3612014
Mostly parallel garbage collection
HJ Boehm, AJ Demers, S Shenker
ACM SIGPLAN Notices 26 (6), 157-164, 1991
3511991
Space efficient conservative garbage collection
HJ Boehm
ACM SIGPLAN Notices 28 (6), 197-206, 1993
3181993
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
2512010
Makalu: Fast recoverable allocation of non-volatile memory
K Bhandari, DR Chakrabarti, HJ Boehm
ACM SIGPLAN Notices 51 (10), 677-694, 2016
1572016
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
1242002
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
1192014
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
1192012
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
1082011
Ropes: An alternative to strings
HJ Boehm, R Atkinson, M Plass
Software: Practice and Experience 25 (12), 1315-1330, 1995
1051995
Exact Real Arithmetic, formulating real numbers as functions
R Cartwright, B Boehm
Research Topics in Functional Programming. University of Texas at Austin …, 1990
951990
Partial polymorphic type inference is undecidable
HJ Boehm
26th Annual Symposium on Foundations of Computer Science (sfcs 1985), 339-345, 1985
741985
The space cost of lazy reference counting
HJ Boehm
ACM SIGPLAN Notices 39 (1), 210-219, 2004
722004
現在システムで処理を実行できません。しばらくしてからもう一度お試しください。
論文 1–20