Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Hans-Juergen Boehm" ( http://dblp.L3S.de/Authors/Hans-Juergen_Boehm )

URL (Homepage):  http://www.hpl.hp.com/personal/Hans_Boehm/  Author page on DBLP  Author page in RDF  Community of Hans-Juergen Boehm in ASPL-2

Publication years (Num. hits)
1982-1993 (15) 1994-2005 (15) 2006-2012 (15)
Publication types (Num. hits)
article(11) incollection(1) inproceedings(28) proceedings(5)
Venues (Conferences, Journals, ...)
PLDI(8) POPL(8) Commun. ACM(3) ISMM(3) MSPC(2) SIGPLAN Notices(2) Softw., Pract. Exper.(2) ACM Trans. Program. Lang. Syst...(1) Best of PLDI(1) CGO(1) Dagstuhl Reports(1) Encyclopedia of Parallel Compu...(1) FOCS(1) ICDCS(1) ICFP(1) ISCA(1) More (+10 of total 24)
Authors
Hans-Juergen Boehm(45) Alan J. Demers(4) Sarita V. Adve(4) Dhruva R. Chakrabarti(3) Pramod G. Joisha(3) Mark Weiser(2) Prithviraj Banerjee(2) Robert S. Schreiber(2) Scott Shenker(2) Barry Hayes(1) Bernard Lang(1) Brandon Lucia(1) Christ Uhler(1) Daniel G. Bobrow(1) Daniel M. Yellin(1) David Detlefs(1) More (+10 of total 36)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 44 occurrences of 32 keywords
Results
Found 45 publication records. Showing 45 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Hans-Juergen Boehm, Sarita V. Adve You don't know jack about shared variables or memory models. Search on Bibsonomy Commun. ACM The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Hans-Juergen Boehm, Ursula Goltz, Holger Hermanns, Peter Sewell Multi-Core Memory Models and Concurrency Theory (Dagstuhl Seminar 11011). Search on Bibsonomy Dagstuhl Reports The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Sarita V. Adve, Hans-Juergen Boehm Memory Models. Search on Bibsonomy Encyclopedia of Parallel Computing The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Hans-Juergen Boehm Performance implications of fence-based memory models. Search on Bibsonomy MSPC The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Laura Effinger-Dean, Hans-Juergen Boehm, Dhruva R. Chakrabarti, Pramod G. Joisha Extended sequential reasoning for data-race-free programs. Search on Bibsonomy MSPC The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Dhruva R. Chakrabarti, Prithviraj Banerjee, Hans-Juergen Boehm, Pramod G. Joisha, Robert S. Schreiber The runtime abort graph and its application to software transactional memory optimization. Search on Bibsonomy CGO The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Pramod G. Joisha, Robert S. Schreiber, Prithviraj Banerjee, Hans-Juergen Boehm, Dhruva R. Chakrabarti A technique for the effective and automatic reuse of classical compiler optimizations on multithreaded code. Search on Bibsonomy POPL The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Hans-Juergen Boehm, David F. Bacon (eds.) Proceedings of the 10th International Symposium on Memory Management, ISMM 2011, San Jose, CA, USA, June 04 - 05, 2011 Search on Bibsonomy ISMM The full citation details ... 2011 DBLP  BibTeX  RDF
1Sarita V. Adve, Hans-Juergen Boehm Memory models: a case for rethinking parallel languages and hardware. Search on Bibsonomy Commun. ACM The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Hans-Juergen Boehm A solid foundation for x86 shared memory: technical perspective. Search on Bibsonomy Commun. ACM The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Brandon Lucia, Luis Ceze, Karin Strauss, Shaz Qadeer, Hans-Juergen Boehm Conflict exceptions: simplifying concurrent language semantics with precise hardware exceptions for data-races. Search on Bibsonomy ISCA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF multicores, threads, data-races, memory consistency models, bug detection
1Hans-Juergen Boehm, Mike Spertus Garbage collection in the next C++ standard. Search on Bibsonomy ISMM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF C++, garbage collection
1Hans-Juergen Boehm, Sarita V. Adve Foundations of the C++ concurrency memory model. Search on Bibsonomy PLDI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF trylock, c++, memory model, data race, sequential consistency, memory consistency
1Hans-Juergen Boehm Reordering constraints for pthread-style locks. Search on Bibsonomy PPOPP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF memory barriers, memory fences, optimization, threads, locks, data race, pthreads, code reordering
1Hans-Juergen Boehm, David Grove (eds.) Proceedings of the 2nd International Conference on Virtual Execution Environments, VEE 2006, Ottawa, Ontario, Canada, June 14-16, 2006 Search on Bibsonomy VEE The full citation details ... 2006 DBLP  BibTeX  RDF
1Hans-Juergen Boehm The constructive reals as a Java library. Search on Bibsonomy J. Log. Algebr. Program. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Hans-Juergen Boehm Threads cannot be implemented as a library. Search on Bibsonomy PLDI The full citation details ... 2005 DBLP  DOI  BibTeX  RDF optimization, threads, data race, pthreads, register promotion
1Hans-Juergen Boehm The space cost of lazy reference counting. Search on Bibsonomy POPL The full citation details ... 2004 DBLP  DOI  BibTeX  RDF garbage collection, memory allocation, space complexity, reference counting
1Hans-Juergen Boehm An almost non-blocking stack. Search on Bibsonomy PODC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF interrupt handler, signal handler, stack, memory allocation, lock-free, compare-and-swap, non-blocking, linked list
1Hans-Juergen Boehm Destructors, finalizers, and synchronization. Search on Bibsonomy POPL The full citation details ... 2003 DBLP  DOI  BibTeX  RDF destructor, synchronization, garbage collection, deadlock, thread, finalization
1Hans-Juergen Boehm Bounding space usage of conservative garbage collectors. Search on Bibsonomy POPL The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Hans-Juergen Boehm, David Detlefs (eds.) 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 Search on Bibsonomy MSP/ISMM The full citation details ... 2002 DBLP  BibTeX  RDF
1Thomas Ball, Hans-Juergen Boehm SIGPLANet - A Modest Proposal for SIGPLAN in the 21st Century. Search on Bibsonomy SIGPLAN Notices The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Hans-Juergen Boehm Letter from the Newly Elected Chair. Search on Bibsonomy SIGPLAN Notices The full citation details ... 2001 DBLP  BibTeX  RDF
1Hans-Juergen Boehm Reducing Garbage Collector Cache Misses. Search on Bibsonomy ISMM The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Manuel Serrano, Hans-Juergen Boehm Understanding memory allocation of scheme programs. Search on Bibsonomy ICFP The full citation details ... 2000 DBLP  DOI  BibTeX  RDF SCHEME
1Hans-Juergen Boehm Simple Garbage-Collector-Safety. Search on Bibsonomy PLDI The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Hans-Juergen Boehm, Guy L. Steele Jr. (eds.) 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 Search on Bibsonomy POPL The full citation details ... 1996 DBLP  BibTeX  RDF
1Hans-Juergen Boehm, Russell R. Atkinson, Michael F. Plass Ropes: An Alternative to Strings. Search on Bibsonomy Softw., Pract. Exper. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Hans-Juergen Boehm, Bernard Lang, Daniel M. Yellin (eds.) Conference Record of POPL'94: 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Portland, Oregon, USA, January 17-21, 1994 Search on Bibsonomy POPL The full citation details ... 1994 DBLP  BibTeX  RDF
1Hans-Juergen Boehm, Alan J. Demers, Christ Uhler Implementing Multiple Locks Using Lamport's Mutual Exclusion Algorithm. Search on Bibsonomy LOPLAS The full citation details ... 1993 DBLP  DOI  BibTeX  RDF monitor lock, spin lock, multiprocessing, critical section
1Hans-Juergen Boehm Space Efficient Conservative Garbage Collection. Search on Bibsonomy PLDI The full citation details ... 1993 DBLP  DOI  BibTeX  RDF C, SPARC, Cedar
1Hans-Juergen Boehm Space efficient conservative garbage collection (with retrospective) Search on Bibsonomy Best of PLDI The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Hans-Juergen Boehm, Alan J. Demers, Scott Shenker Mostly Parallel Garbage Collection. Search on Bibsonomy PLDI The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1Vernon A. Lee Jr., Hans-Juergen Boehm Optimizing Programs over the Constructive Reals. Search on Bibsonomy PLDI The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
1Alan J. Demers, Mark Weiser, Barry Hayes, Hans-Juergen Boehm, Daniel G. Bobrow, Scott Shenker Combining Generational and Conservative Garbage Collection: Framework and Implementations. Search on Bibsonomy POPL The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
1Hans-Juergen Boehm Type Inference in the Presence of Type Abstraction. Search on Bibsonomy PLDI The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
1Hans-Juergen Boehm, Mark Weiser Garbage Collection in an Uncooperative Environment. Search on Bibsonomy Softw., Pract. Exper. The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
1Hans-Juergen Boehm Constructive real interpretation of numerical programs. Search on Bibsonomy PLDI The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
1Hans-Juergen Boehm, Willy Zwaenepoel Parallel Attribute Grammar Evaluation. Search on Bibsonomy ICDCS The full citation details ... 1987 DBLP  BibTeX  RDF
1Hans-Juergen Boehm, Alan J. Demers Implementing RUSSELL. Search on Bibsonomy SIGPLAN Symposium on Compiler Construction The full citation details ... 1986 DBLP  DOI  BibTeX  RDF RUSSELL
1Hans-Juergen Boehm, Robert Cartwright, Mark Riggle, Michael J. O'Donnell Exact Real Arithmetic: A Case Study in Higher Order Programming. Search on Bibsonomy LISP and Functional Programming The full citation details ... 1986 DBLP  BibTeX  RDF
1Hans-Juergen Boehm Side Effects and Aliasing Can Have Simple Axiomatic Descriptions. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
1Hans-Juergen Boehm Partial Polymorphic Type Inference Is Undecidable Search on Bibsonomy FOCS The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
1Hans-Juergen Boehm A Logic for Expressions with Side-Effects. Search on Bibsonomy POPL The full citation details ... 1982 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #45 of 45 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.