Hans-Juergen Boehm

64 papers A* 21A 6B 3C 4Journal 16Unranked 10

Year	Rank	Type	Title / Venue / Authors
2021	J	`jnl`	Foundations of Persistent Programming (Dagstuhl Seminar 21462). Dagstuhl Reports Hans-Juergen Boehm, Ori Lahav, Azalea Raad
2020	A*	`conf`	Towards an API for the real numbers. PLDI Hans-Juergen Boehm
2017	J	`jnl`	New Challenges in Parallelism (Dagstuhl Seminar 17451). Dagstuhl Reports Annette Bieniusa, Hans-Juergen Boehm, Maurice Herlihy, Erez Petrank
2017	J	`jnl`	Small-data computing: correct calculator arithmetic. Commun. ACM Hans-Juergen Boehm
2016	A	`conf`	Makalu: fast recoverable allocation of non-volatile memory. OOPSLA Kumud Bhandari, Dhruva R. Chakrabarti, Hans-Juergen Boehm
2016	C	`conf`	Persistence programming models for non-volatile memory. ISMM Hans-Juergen Boehm, Dhruva R. Chakrabarti
2015	B	`conf`	Myths and Misconceptions about Threads. SPAA Hans-Juergen Boehm
2014	A	`conf`	Atlas: leveraging locks for non-volatile memory consistency. OOPSLA Dhruva R. Chakrabarti, Hans-Juergen Boehm, Kumud Bhandari
2014	—	`conf`	Outlawing ghosts: avoiding out-of-thin-air results. MSPC@PLDI Hans-Juergen Boehm, Brian Demsky
2014	J	`jnl`	Practices of PLDI. ACM SIGPLAN Notices Hans-Juergen Boehm, Jack W. Davidson, Kathleen Fisher, Cormac Flanagan, Jeremy Gibbons, Mary W. Hall, Graham Hutton, David A. Padua, Frank Tip, Jan Vitek, Philip Wadler
2013	A*	`ed.`	ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI '13, Seattle, WA, USA, June 16-19, 2013 PLDI Hans-Juergen Boehm, Cormac Flanagan
2013	—	`conf`	Durability Semantics for Lock-based Multithreaded Programs. HotPar Dhruva R. Chakrabarti, Hans-Juergen Boehm
2012	—	`ed.`	4th USENIX Workshop on Hot Topics in Parallelism, HotPar'12, Berkeley, CA, USA, June 7-8, 2012 HotPar Hans-Juergen Boehm, Luis Ceze
2012	—	`conf`	Can seqlocks get along with programming language memory models? MSPC Hans-Juergen Boehm
2012	A	`conf`	IFRit: interference-free regions for dynamic data-race detection. OOPSLA Laura Effinger-Dean, Brandon Lucia, Luis Ceze, Dan Grossman, Hans-Juergen Boehm
2012	J	`jnl`	On a Technique for Transparently Empowering Classical Compiler Optimizations on Multithreaded Code. ACM Trans. Program. Lang. Syst. Pramod G. Joisha, Robert S. Schreiber, Prithviraj Banerjee, Hans-Juergen Boehm, Dhruva R. Chakrabarti
2012	—	`conf`	Position paper: nondeterminism is unavoidable, but data races are pure evil. RACES@SPLASH Hans-Juergen Boehm
2012	J	`jnl`	You don't know jack about shared variables or memory models. Commun. ACM Hans-Juergen Boehm, Sarita V. Adve
2011	A*	`conf`	A technique for the effective and automatic reuse of classical compiler optimizations on multithreaded code. POPL Pramod G. Joisha, Robert S. Schreiber, Prithviraj Banerjee, Hans-Juergen Boehm, Dhruva R. Chakrabarti
2011	—	`conf`	Extended sequential reasoning for data-race-free programs. MSPC Laura Effinger-Dean, Hans-Juergen Boehm, Dhruva R. Chakrabarti, Pramod G. Joisha
2011	—	`conf`	How to Miscompile Programs with "Benign" Data Races. HotPar Hans-Juergen Boehm
2011	—	`ch.`	Memory Models. Encyclopedia of Parallel Computing Sarita V. Adve, Hans-Juergen Boehm
2011	J	`jnl`	Multi-Core Memory Models and Concurrency Theory (Dagstuhl Seminar 11011). Dagstuhl Reports Hans-Juergen Boehm, Ursula Goltz, Holger Hermanns, Peter Sewell
2011	—	`conf`	Performance implications of fence-based memory models. MSPC Hans-Juergen Boehm
2011	C	`ed.`	Proceedings of the 10th International Symposium on Memory Management, ISMM 2011, San Jose, CA, USA, June 04 - 05, 2011 ISMM Hans-Juergen Boehm, David F. Bacon
2011	A	`conf`	The runtime abort graph and its application to software transactional memory optimization. CGO Dhruva R. Chakrabarti, Prithviraj Banerjee, Hans-Juergen Boehm, Pramod G. Joisha, Robert S. Schreiber
2010	J	`jnl`	A solid foundation for x86 shared memory: technical perspective. Commun. ACM Hans-Juergen Boehm
2010	A*	`conf`	Conflict exceptions: simplifying concurrent language semantics with precise hardware exceptions for data-races. ISCA Brandon Lucia, Luis Ceze, Karin Strauss, Shaz Qadeer, Hans-Juergen Boehm
2010	J	`jnl`	Memory models: a case for rethinking parallel languages and hardware. Commun. ACM Sarita V. Adve, Hans-Juergen Boehm
2009	C	`conf`	Garbage collection in the next C++ standard. ISMM Hans-Juergen Boehm, Mike Spertus
2008	A*	`conf`	Foundations of the C++ concurrency memory model. PLDI Hans-Juergen Boehm, Sarita V. Adve
2007	B	`conf`	Reordering constraints for pthread-style locks. PPoPP Hans-Juergen Boehm
2006	B	`ed.`	Proceedings of the 2nd International Conference on Virtual Execution Environments, VEE 2006, Ottawa, Ontario, Canada, June 14-16, 2006 VEE Hans-Juergen Boehm, David Grove
2005	J	`jnl`	The constructive reals as a Java library. J. Log. Algebraic Methods Program. Hans-Juergen Boehm
2005	A*	`conf`	Threads cannot be implemented as a library. PLDI Hans-Juergen Boehm
2004	A*	`conf`	An almost non-blocking stack. PODC Hans-Juergen Boehm
2004	A*	`conf`	The space cost of lazy reference counting. POPL Hans-Juergen Boehm
2003	A*	`conf`	Destructors, finalizers, and synchronization. POPL Hans-Juergen Boehm
2002	A*	`conf`	Bounding space usage of conservative garbage collectors. POPL Hans-Juergen Boehm
2002	—	`ed.`	Proceedings of The Workshop on Memory Systems Performance (MSP 2002), June 16, 2002 and The International Symposium on Memory Management (ISMM 2002), June 20-21, 2002, Berlin, Germany MSP/ISMM Hans-Juergen Boehm, David Detlefs
2001	J	`jnl`	Letter from the Newly Elected Chair. ACM SIGPLAN Notices Hans-Juergen Boehm
2001	J	`jnl`	SIGPLANet - A Modest Proposal for SIGPLAN in the 21 ACM SIGPLAN Notices Thomas Ball, Hans-Juergen Boehm
2000	C	`conf`	Reducing Garbage Collector Cache Misses. ISMM Hans-Juergen Boehm
2000	A	`conf`	Understanding memory allocation of scheme programs. ICFP Manuel Serrano, Hans-Juergen Boehm
1996	A*	`ed.`	Conference Record of POPL'96: The 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Papers Presented at the Symposium, St. Petersburg Beach, Florida, USA, January 21-24, 1996 POPL Hans-Juergen Boehm, Guy L. Steele Jr.
1996	A*	`conf`	Simple Garbage-Collector-Safety. PLDI Hans-Juergen Boehm
1995	J	`jnl`	Ropes: An Alternative to Strings. Softw. Pract. Exp. Hans-Juergen Boehm, Russell R. Atkinson, Michael F. Plass
1994	A*	`ed.`	Conference Record of POPL'94: 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Portland, Oregon, USA, January 17-21, 1994 POPL Hans-Juergen Boehm, Bernard Lang, Daniel M. Yellin
1993	J	`jnl`	Implementing Multiple Locks Using Lamport's Mutual Exclusion Algorithm. LOPLAS Hans-Juergen Boehm, Alan J. Demers, Chris Uhler
1993	A*	`conf`	Space Efficient Conservative Garbage Collection. PLDI Hans-Juergen Boehm
1993	—	`conf`	Space efficient conservative garbage collection (with retrospective) Best of PLDI Hans-Juergen Boehm
1991	A*	`conf`	Mostly Parallel Garbage Collection. PLDI Hans-Juergen Boehm, Alan J. Demers, Scott Shenker
1990	A*	`conf`	Combining Generational and Conservative Garbage Collection: Framework and Implementations. POPL Alan J. Demers, Mark D. Weiser, Barry Hayes, Hans-Juergen Boehm, Daniel G. Bobrow, Scott Shenker
1990	A*	`conf`	Optimizing Programs over the Constructive Reals. PLDI Vernon A. Lee Jr., Hans-Juergen Boehm
1989	A*	`conf`	Type Inference in the Presence of Type Abstraction. PLDI Hans-Juergen Boehm
1988	J	`jnl`	Garbage Collection in an Uncooperative Environment. Softw. Pract. Exp. Hans-Juergen Boehm, Mark D. Weiser
1987	A*	`conf`	Constructive real interpretation of numerical programs. PLDI Hans-Juergen Boehm
1987	A	`conf`	Parallel Attribute Grammar Evaluation. ICDCS Hans-Juergen Boehm, Willy Zwaenepoel
1986	—	`conf`	Exact Real Arithmetic: A Case Study in Higher Order Programming. LISP and Functional Programming Hans-Juergen Boehm, Robert Cartwright, Mark Riggle, Michael J. O'Donnell
1986	—	`conf`	Implementing RUSSELL. SIGPLAN Symposium on Compiler Construction Hans-Juergen Boehm, Alan J. Demers
1985	A*	`conf`	Partial Polymorphic Type Inference Is Undecidable FOCS Hans-Juergen Boehm
1985	J	`jnl`	Side Effects and Aliasing Can Have Simple Axiomatic Descriptions. ACM Trans. Program. Lang. Syst. Hans-Juergen Boehm
1984	—	`—`	A Logic for the Russell Programming Language. Hans-Juergen Boehm
1982	A*	`conf`	A Logic for Expressions with Side-Effects. POPL Hans-Juergen Boehm