An exercise in proving parallel programs correct
Communications of the ACM
Guarded commands, nondeterminacy and formal derivation of programs
Communications of the ACM
Multiprocessing compactifying garbage collection
Communications of the ACM
An axiomatic basis for computer programming
Communications of the ACM
Axiomatic proof techniques for parallel programs.
Axiomatic proof techniques for parallel programs.
Algorithms for on-the-fly garbage collection
ACM Transactions on Programming Languages and Systems (TOPLAS)
A simple and correct shared-queue algorithm using compare-and-swap
Proceedings of the 1990 ACM/IEEE conference on Supercomputing
Parallel generational garbage collection
OOPSLA '91 Conference proceedings on Object-oriented programming systems, languages, and applications
HOPL-II The second ACM SIGPLAN conference on History of programming languages
Research Demonstration of a Hardware Reference-Counting Heap
Lisp and Symbolic Computation
One-bit counts between unique and sticky
Proceedings of the 1st international symposium on Memory management
Connection Machine Lisp: fine-grained parallel symbolic processing
LFP '86 Proceedings of the 1986 ACM conference on LISP and functional programming
An efficient LISP-execution architecture with a new representation for list structures
ISCA '85 Proceedings of the 12th annual international symposium on Computer architecture
A generational on-the-fly garbage collector for Java
PLDI '00 Proceedings of the ACM SIGPLAN 2000 conference on Programming language design and implementation
Garbage Collection of Linked Data Structures
ACM Computing Surveys (CSUR)
ACM Transactions on Programming Languages and Systems (TOPLAS)
Performance analysis of on-the-fly garbage collection
Communications of the ACM
Parallel programs: proofs, principles, and practice
Communications of the ACM
A linear algorithm for copying binary trees using bounded workspace
Communications of the ACM
Design of a LISP-based microprocessor
Communications of the ACM
Communications of the ACM
On-the-fly garbage collection: an exercise in cooperation
Communications of the ACM
An exercise in proving parallel programs correct
Communications of the ACM
Making the world safe for garbage collection
POPL '81 Proceedings of the 8th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Transition Refinement for Deriving a Distributed Minimum Weight Spanning Tree Algorithm
ICATPN '02 Proceedings of the 23rd International Conference on Applications and Theory of Petri Nets
A practical parallel garbage collection algorithm and its implementation
ISCA '80 Proceedings of the 7th annual symposium on Computer Architecture
A consistent and complete deductive system for the verification of parallel programs
STOC '76 Proceedings of the eighth annual ACM symposium on Theory of computing
On-the-fly deadlock prevention
PODC '82 Proceedings of the first ACM SIGACT-SIGOPS symposium on Principles of distributed computing
ACM SIGPLAN Notices
A comparative survey of concurrent programming languages
ACM SIGPLAN Notices
A comparative survey of concurrent programming languages
ACM SIGPLAN Notices
Mostly concurrent garbage collection revisited
OOPSLA '03 Proceedings of the 18th annual ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications
An on-the-fly mark and sweep garbage collector based on sliding views
OOPSLA '03 Proceedings of the 18th annual ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications
History of programming languages---II
Birrell's distributed reference listing revisited
ACM Transactions on Programming Languages and Systems (TOPLAS)
CGCExplorer: a semi-automated search procedure for provably correct concurrent collectors
Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation
A general framework for certifying garbage collectors and their mutators
Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation
An efficient on-the-fly cycle collection
ACM Transactions on Programming Languages and Systems (TOPLAS)
A prover for parallel processes
IJCAI'79 Proceedings of the 6th international joint conference on Artificial intelligence - Volume 1
DCAS-based concurrent deques supporting bulk allocation
DCAS-based concurrent deques supporting bulk allocation
An efficient multi-processor architecture for parallel cyclic reference counting
VECPAR'02 Proceedings of the 5th international conference on High performance computing for computational science
Reusable verification of a copying collector
VSTTE'10 Proceedings of the Third international conference on Verified software: theories, tools, experiments
New algorithms and applications of cyclic reference counting
ICGT'06 Proceedings of the Third international conference on Graph Transformations
| Hi-index | 48.33 |