| Garbage collection in an uncooperative environment HJ Boehm, M Weiser Software: Practice and Experience 18 (9), 807-820, 1988 | 958 | 1988 |
| Foundations of the C++ concurrency memory model HJ Boehm, SV Adve ACM SIGPLAN Notices 43 (6), 68-78, 2008 | 623 | 2008 |
| Atlas: Leveraging locks for non-volatile memory consistency DR Chakrabarti, HJ Boehm, K Bhandari ACM SIGPLAN Notices 49 (10), 433-452, 2014 | 371 | 2014 |
| Mostly parallel garbage collection HJ Boehm, AJ Demers, S Shenker ACM SIGPLAN Notices 26 (6), 157-164, 1991 | 347 | 1991 |
| Space efficient conservative garbage collection HJ Boehm ACM SIGPLAN Notices 28 (6), 197-206, 1993 | 319 | 1993 |
| Personal storage device for application and data transfer MD Weiser, R Want, SL Kozinski, HJ Boehm, KS Sethi US Patent 5,982,520, 1999 | 314 | 1999 |
| Threads cannot be implemented as a library HJ Boehm ACM Sigplan Notices 40 (6), 261-268, 2005 | 281 | 2005 |
| Memory models: A case for rethinking parallel languages and hardware SV Adve, HJ Boehm Communications of the ACM 53 (8), 90-101, 2010 | 251 | 2010 |
| Makalu: Fast recoverable allocation of non-volatile memory K Bhandari, DR Chakrabarti, HJ Boehm ACM SIGPLAN Notices 51 (10), 677-694, 2016 | 161 | 2016 |
| 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 | 142 | 1989 |
| 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 | 127 | 1986 |
| A garbage collector for C and C++ H Boehm, A Demers, M Weiser | 126 | 2002 |
| 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 | 123 | 2014 |
| 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 | 123 | 2012 |
| 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 | 117 | 2010 |
| How to miscompile programs with" benign" data races HJ Boehm 3rd USENIX Workshop on Hot Topics in Parallelism (HotPar 11), 2011 | 113 | 2011 |
| Ropes: An alternative to strings HJ Boehm, R Atkinson, M Plass Software: Practice and Experience 25 (12), 1315-1330, 1995 | 110 | 1995 |
| Exact Real Arithmetic, formulating real numbers as functions R Cartwright, B Boehm Research Topics in Functional Programming. University of Texas at Austin …, 1990 | 95 | 1990 |
| The space cost of lazy reference counting HJ Boehm ACM SIGPLAN Notices 39 (1), 210-219, 2004 | 74 | 2004 |
| Partial polymorphic type inference is undecidable HJ Boehm 26th Annual Symposium on Foundations of Computer Science (sfcs 1985), 339-345, 1985 | 73 | 1985 |
Sarita AdveProfessor of Computer Science, University of Illinois at Urbana-ChampaignVerified email at illinois.edu
