Michael L. Scott

Trevor Brown

Springer, ISBN: 978-3-031-38683-1, 2024

2023

Transactional Composition of Nonblocking Data Structures.

[BibT_eX]

[DOI]

Wentao Cai

Haosen Wen

Proceedings of the 35th ACM Symposium on Parallelism in Algorithms and Architectures, 2023

2022

How Should We Think about Persistent Data Structures?

[BibT_eX]

[DOI]

Proceedings of the PODC '22: ACM Symposium on Principles of Distributed Computing, Salerno, Italy, July 25, 2022

2021

Fast Nonblocking Persistence for Concurrent Data Structures.

[BibT_eX]

[DOI]

Proceedings of the 35th International Symposium on Distributed Computing, 2021

Fast Intra-kernel Isolation and Security with IskiOS.

[BibT_eX]

[DOI]

Proceedings of the RAID '21: 24th International Symposium on Research in Attacks, 2021

A Fast, General System for Buffered Persistent Data Structures.

[BibT_eX]

[DOI]

Proceedings of the ICPP 2021: 50th International Conference on Parallel Processing, Lemont, IL, USA, August 9, 2021

2020

Montage: A General System for Buffered Durably Linearizable Data Structures.

[BibT_eX]

[DOI]

CoRR, 2020

Brief Announcement: Building Fast Recoverable Persistent Data Structures with Montage.

[BibT_eX]

[DOI]

Proceedings of the 34th International Symposium on Distributed Computing, 2020

Understanding and optimizing persistent memory allocation.

[BibT_eX]

[DOI]

Proceedings of the PPoPP '20: 25th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2020

Understanding and optimizing persistent memory allocation.

[BibT_eX]

[DOI]

Proceedings of the ISMM '20: 2020 ACM SIGPLAN International Symposium on Memory Management, 2020

Safe, Fast Sharing of memcached as a Protected Library.

[BibT_eX]

[DOI]

Chris Kjellqvist

Mohammad Hedayati

Proceedings of the ICPP 2020: 49th International Conference on Parallel Processing, 2020

Nonblocking Persistent Software Transactional Memory.

[BibT_eX]

[DOI]

Proceedings of the 27th IEEE International Conference on High Performance Computing, 2020

2019

Simplifying Transactional Memory Support in C++.

[BibT_eX]

[DOI]

ACM Trans. Archit. Code Optim., 2019

IskiOS: Lightweight Defense Against Kernel-Level Code-Reuse Attacks.

[BibT_eX]

[DOI]

CoRR, 2019

Multi-Queue Fair Queuing.

[BibT_eX]

[DOI]

Proceedings of the 2019 USENIX Annual Technical Conference, 2019

Hodor: Intra-Process Isolation for High-Throughput Data Plane Libraries.

[BibT_eX]

[DOI]

Proceedings of the 2019 USENIX Annual Technical Conference, 2019

Leveraging hardware TM in Haskell.

[BibT_eX]

[DOI]

Ryan Yates

Proceedings of the 24th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2019

2018

Interval-based memory reclamation.

[BibT_eX]

[DOI]

Proceedings of the 23rd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2018

iDO: Compiler-Directed Failure Atomicity for Nonvolatile Memory.

[BibT_eX]

[DOI]

Proceedings of the 51st Annual IEEE/ACM International Symposium on Microarchitecture, 2018

2017

Generality and Speed in Nonblocking Dual Containers.

[BibT_eX]

[DOI]

ACM Trans. Parallel Comput., 2017

Dalí: A Periodically Persistent Hash Map.

[BibT_eX]

[DOI]

Faisal Nawab

Terence Kelly

Charles B. Morrey III

Dhruva R. Chakrabarti

Proceedings of the 31st International Symposium on Distributed Computing, 2017

Improving STM performance with transactional structs.

[BibT_eX]

[DOI]

Ryan Yates

Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell, 2017

Performance Improvement via Always-Abort HTM.

[BibT_eX]

[DOI]

Proceedings of the 26th International Conference on Parallel Architectures and Compilation Techniques, 2017

2016

Linearizability of Persistent Memory Objects Under a Full-System-Crash Failure Model.

[BibT_eX]

[DOI]

Hammurabi Mendes

Proceedings of the Distributed Computing - 30th International Symposium, 2016

Brief Announcement: Preserving Happens-before in Persistent Memory.

[BibT_eX]

[DOI]

Hammurabi Mendes

Proceedings of the 28th ACM Symposium on Parallelism in Algorithms and Architectures, 2016

An Unbounded Nonblocking Double-Ended Queue.

[BibT_eX]

[DOI]

Matthew Graichen

Proceedings of the 45th International Conference on Parallel Processing, 2016

2015

Transactional Memory Today.

[BibT_eX]

[DOI]

SIGACT News, 2015

Concurrent Computing in the Many-core Era (Dagstuhl Seminar 15021).

[BibT_eX]

[DOI]

Dagstuhl Reports, 2015

Conflict Reduction in Hardware Transactions Using Advisory Locks.

[BibT_eX]

[DOI]

Proceedings of the 27th ACM on Symposium on Parallelism in Algorithms and Architectures, 2015

Software partitioning of hardware transactions.

[BibT_eX]

[DOI]

Proceedings of the 20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2015

2014

Brief announcement: fast dual ring queues.

[BibT_eX]

[DOI]

Proceedings of the 26th ACM Symposium on Parallelism in Algorithms and Architectures, 2014

Brief announcement: a generic construction for nonblocking dual containers.

[BibT_eX]

[DOI]

Proceedings of the ACM Symposium on Principles of Distributed Computing, 2014

Dynamic enforcement of determinism in a parallel scripting language.

[BibT_eX]

[DOI]

Li Lu

Weixing Ji

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014

Disengaged scheduling for fair, protected access to fast computational accelerators.

[BibT_eX]

[DOI]

Konstantinos Menychtas

Kai Shen

Proceedings of the Architectural Support for Programming Languages and Operating Systems, 2014

2013

Shared-Memory Synchronization

[BibT_eX]

[DOI]

Synthesis Lectures on Computer Architecture, Morgan & Claypool Publishers, ISBN: 978-3-031-01740-7, 2013

Generic Multiversion STM.

[BibT_eX]

[DOI]

Li Lu

Proceedings of the Distributed Computing - 27th International Symposium, 2013

Enabling OS Research by Inferring Interactions in the Black-Box GPU Stack.

[BibT_eX]

[DOI]

Konstantinos Menychtas

Kai Shen

Proceedings of the 2013 USENIX Annual Technical Conference, 2013

Compiler aided manual speculation for high performance concurrent data structures.

[BibT_eX]

[DOI]

Michael Lee Scott

Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2013

2012

Sandboxing transactional memory.

[BibT_eX]

[DOI]

Luke Dalessandro

Proceedings of the International Conference on Parallel Architectures and Compilation Techniques, 2012

2011

Synchronization.

[BibT_eX]

[DOI]

Proceedings of the Encyclopedia of Parallel Computing, 2011

Toward a Formal Semantic Framework for Deterministic Parallel Programming.

[BibT_eX]

[DOI]

Li Lu

Proceedings of the Distributed Computing - 25th International Symposium, 2011

Hybrid NOrec: a case study in the effectiveness of best effort hardware transactional memory.

[BibT_eX]

[DOI]

Proceedings of the 16th International Conference on Architectural Support for Programming Languages and Operating Systems, 2011

2010

Implementation tradeoffs in the design of flexible transactional memory support.

[BibT_eX]

[DOI]

Arrvindh Shriraman

J. Parallel Distributed Comput., 2010

Transactions as the Foundation of a Memory Consistency Model.

[BibT_eX]

[DOI]

Luke Dalessandro

Proceedings of the Distributed Computing, 24th International Symposium, 2010

NOrec: streamlining STM by abolishing ownership records.

[BibT_eX]

[DOI]

Luke Dalessandro

Proceedings of the 15th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2010

Transactional Mutex Locks.

[BibT_eX]

[DOI]

Proceedings of the Euro-Par 2010 - Parallel Processing, 16th International Euro-Par Conference, Ischia, Italy, August 31, 2010

2009

Tapping into Parallelism with Transactional Memory.

[BibT_eX]

[DOI]

Arrvindh Shriraman

Scalable synchronous queues.

[BibT_eX]

[DOI]

Doug Lea

Commun. ACM, 2009

A comprehensive strategy for contention management in software transactional memory.

[BibT_eX]

[DOI]

Proceedings of the 14th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2009

Fastpath Speculative Parallelization.

[BibT_eX]

[DOI]

Proceedings of the Languages and Compilers for Parallel Computing, 2009

Reducing Memory Ordering Overheads in Software Transactional Memory.

[BibT_eX]

[DOI]

Proceedings of the CGO 2009, 2009

Programming Language Pragmatics (3. ed.).

[BibT_eX]

Academic Press, ISBN: 978-0-12-374514-9, 2009

2008

Transactional memory retry mechanisms.

[BibT_eX]

[DOI]

Andrew Sveikauskas

Proceedings of the Twenty-Seventh Annual ACM Symposium on Principles of Distributed Computing, 2008

Ordering-Based Semantics for Software Transactional Memory.

[BibT_eX]

[DOI]

Proceedings of the Principles of Distributed Systems, 12th International Conference, 2008

Flexible Decoupled Transactional Memory Support.

[BibT_eX]

[DOI]

Arrvindh Shriraman

Proceedings of the 35th International Symposium on Computer Architecture (ISCA 2008), 2008

Implementing and Exploiting Inevitability in Software Transactional Memory.

[BibT_eX]

[DOI]

Proceedings of the 2008 International Conference on Parallel Processing, 2008

Scalable Techniques for Transparent Privatization in Software Transactional Memory.

[BibT_eX]

[DOI]

Proceedings of the 2008 International Conference on Parallel Processing, 2008

2007

Transaction Safe Nonblocking Data Structures.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing, 21st International Symposium, 2007

Nonblocking transactions without indirection using alert-on-update.

[BibT_eX]

[DOI]

Proceedings of the SPAA 2007: Proceedings of the 19th Annual ACM Symposium on Parallelism in Algorithms and Architectures, 2007

Alert-on-update: a communication aid for shared memory multiprocessors.

[BibT_eX]

[DOI]

Proceedings of the 12th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2007

Potential show-stoppers for transactional synchronization.

[BibT_eX]

[DOI]

Ali-Reza Adl-Tabatabai

Proceedings of the 12th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2007

Privatization techniques for software transactional memory.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Sixth Annual ACM Symposium on Principles of Distributed Computing, 2007

Transactions and privatization in Delaunay triangulation.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Sixth Annual ACM Symposium on Principles of Distributed Computing, 2007

An integrated hardware-software approach to flexible transactional memory.

[BibT_eX]

[DOI]

Proceedings of the 34th International Symposium on Computer Architecture (ISCA 2007), 2007

A Key-based Adaptive Transactional Memory Executor.

[BibT_eX]

[DOI]

Tongxin Bai

Xipeng Shen

Chengliang Zhang

Chen Ding

Proceedings of the 21th International Parallel and Distributed Processing Symposium (IPDPS 2007), 2007

Delaunay Triangulation with Transactions and Barriers.

[BibT_eX]

[DOI]

Proceedings of the IEEE 10th International Symposium on Workload Characterization, 2007

Analysis of input-dependent program behavior using active profiling.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Experimental Computer Science, 2007

2006

Conflict Detection and Validation Strategies for Software Transactional Memory.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing, 20th International Symposium, 2006

Programming language pragmatics (2. ed.).

[BibT_eX]

Morgan Kaufmann, ISBN: 978-0-12-633951-2, 2006

2005

Shared memory computing on clusters with symmetric multiprocessors and system area networks.

[BibT_eX]

[DOI]

ACM Trans. Comput. Syst., 2005

Adaptive Software Transactional Memory.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing, 19th International Conference, 2005

Advanced contention management for dynamic software transactional memory.

[BibT_eX]

[DOI]

Athanasios E. Papathanasiou

Proceedings of the Twenty-Fourth Annual ACM Symposium on Principles of Distributed Computing, 2005

Aggressive Prefetching: An Idea Whose Time Has Come.

[BibT_eX]

[DOI]

Proceedings of HotOS'05: 10th Workshop on Hot Topics in Operating Systems, 2005

The Many Faces of Systems Research - and How to Evaluate Them.

[BibT_eX]

[DOI]

Proceedings of HotOS'05: 10th Workshop on Hot Topics in Operating Systems, 2005

Preemption Adaptivity in Time-Published Queue-Based Spin Locks.

[BibT_eX]

[DOI]

Bijun He

Proceedings of the High Performance Computing, 2005

2004

Profile-Driven Component Placement for Cluster-Based Online Services.

[BibT_eX]

[DOI]

IEEE Distributed Syst. Online, 2004

Nonblocking Concurrent Data Structures with Condition Synchronization.

[BibT_eX]

[DOI]

Athanasios E. Papathanasiou

Proceedings of the Distributed Computing, 18th International Conference, 2004

Energy Efficient Prefetching and Caching (Awarded Best Paper!).

[BibT_eX]

[DOI]

Proceedings of the General Track: 2004 USENIX Annual Technical Conference, June 27, 2004

Dynamically Trading Frequency for Complexity in a GALS Microprocessor.

[BibT_eX]

[DOI]

Proceedings of the 37th Annual International Symposium on Microarchitecture (MICRO-37 2004), 2004

Design tradeoffs in modern software transactional memory systems.

[BibT_eX]

[DOI]

Athanasios E. Papathanasiou

Proceedings of the 7th Workshop on languages, 2004

Integrating Remote Invocation and Distributed Shared State.

[BibT_eX]

[DOI]

Proceedings of the 18th International Parallel and Distributed Processing Symposium (IPDPS 2004), 2004

Hiding Synchronization Delays in a GALS Processor Microarchitecture.

[BibT_eX]

[DOI]

Proceedings of the 10th International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC 2004), 2004

The Energy Impact of Aggressive Loop Fusion.

[BibT_eX]

[DOI]

Proceedings of the 13th International Conference on Parallel Architectures and Compilation Techniques (PACT 2004), 29 September, 2004

2003

Dynamic Frequency and Voltage Scaling for a Multiple-Clock-Domain Microprocessor.

[BibT_eX]

[DOI]

IEEE Micro, 2003

Dynamically Tuning Processor Resources with Adaptive Processing.

[BibT_eX]

[DOI]

David H. Albonesi

Rajeev Balasubramonian

Computer, 2003

Energy Efficiency through Burstiness.

[BibT_eX]

[DOI]

Proceedings of the 5th IEEE Workshop on Mobile Computing Systems and Applications (WMCSA 2003), 2003

Exploiting high-level coherence information to optimize distributed shared state.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2003

Profile-Based Dynamic Voltage and Frequency Scaling for a Multiple Clock Domain Microprocessor.

[BibT_eX]

[DOI]

Proceedings of the 30th International Symposium on Computer Architecture (ISCA 2003), 2003

Efficient Distributed Shared State for Heterogeneous Machine Architectures.

[BibT_eX]

[DOI]

Proceedings of the 23rd International Conference on Distributed Computing Systems (ICDCS 2003), 2003

Distributed Shared State.

[BibT_eX]

[DOI]

Proceedings of the 9th IEEE International Workshop on Future Trends of Distributed Computing Systems (FTDCS 2003), 2003

2002

Non-blocking timeout in scalable queue-based spin locks.

[BibT_eX]

[DOI]

Proceedings of the Twenty-First Annual ACM Symposium on Principles of Distributed Computing, 2002

Dynamic frequency and voltage control for a multiple clock domain microarchitecture.

[BibT_eX]

[DOI]

Proceedings of the 35th Annual International Symposium on Microarchitecture, 2002

Multi-Level Shared State for Distributed Systems.

[BibT_eX]

[DOI]

Proceedings of the 31st International Conference on Parallel Processing (ICPP 2002), 2002

Energy-Efficient Processor Design Using Multiple Clock Domains with Dynamic Voltage and Frequency Scaling.

[BibT_eX]

[DOI]

Greg Semeraro

Grigorios Magklis

Rajeev Balasubramonian

David H. Albonesi

Proceedings of the Eighth International Symposium on High-Performance Computer Architecture (HPCA'02), 2002

Integrating Adaptive On-Chip Storage Structures for Reduced Dynamic Power.

[BibT_eX]

[DOI]

Steve Dropsho

Alper Buyuktosunoglu

Rajeev Balasubramonian

Proceedings of the 2002 International Conference on Parallel Architectures and Compilation Techniques (PACT 2002), 2002

2001

Scalable queue-based spin locks with timeout.

[BibT_eX]

[DOI]

Proceedings of the 2001 ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPOPP'01), 2001

2000

InterWeave: A Middleware System for Distributed Shared State.

[BibT_eX]

[DOI]

DeQing Chen

Eduardo Pinheiro

Proceedings of the Languages, 2000

The Effect of Network Total Order, Broadcast, and Remote-Write Capability on Network-Based Shared Memory Computing.

[BibT_eX]

[DOI]

Robert Stets

Umit Rencuzogullari

Proceedings of the Sixth International Symposium on High-Performance Computer Architecture, 2000

1999

Component-Based APIs for Versioning and Distributed Applications.

[BibT_eX]

[DOI]

Robert Stets

Computer, 1999

The Coign Automatic Distributed Partitioning System.

[BibT_eX]

[DOI]

Proceedings of the Third USENIX Symposium on Operating Systems Design and Implementation (OSDI), 1999

Comparative Evaluation of Fine- and Coarse-Grain Approaches for Software Distributed Shared Memory.

[BibT_eX]

[DOI]

Kourosh Gharachorloo

Daniel J. Scales

Robert Stets

Proceedings of the Fifth International Symposium on High-Performance Computer Architecture, 1999

Intercepting and Instrumenting COM Applications.

[BibT_eX]

[DOI]

Proceedings of the 5th USENIX Conference on Object-Oriented Technologies & Systems, 1999

1998

Nonblocking Algorithms and Preemption-Safe Locking on Multiprogrammed Shared Memory Multiprocessors.

[BibT_eX]

[DOI]

J. Parallel Distributed Comput., 1998

A guided tour of the Coign automatic distributed partitioning system.

[BibT_eX]

[DOI]

Proceedings of the Second International Enterprise Distributed Object Computing Workshop, 1998

1997

Scheduler-Conscious Synchronization.

[BibT_eX]

[DOI]

Robert W. Wisniewski

ACM Trans. Comput. Syst., 1997

Cashmere-2L: Software Coherent Shared Memory on a Clustered Remote-Write Network.

[BibT_eX]

[DOI]

Proceedings of the Sixteenth ACM Symposium on Operating System Principles, 1997

Coherence Controller Architectures for SMP-Based CC-NUMA Multiprocessors.

[BibT_eX]

[DOI]

Proceedings of the 24th International Symposium on Computer Architecture, 1997

VM-Based Shared Memory on Low-Latency, Remote-Memory-Access Networks.

[BibT_eX]

[DOI]

Wagner Meira Jr.

Proceedings of the 24th International Symposium on Computer Architecture, 1997

Relative Performance of Preemption-Safe Locking and Non-Blocking Synchronization on Multiprogrammed Shared Memory Multiprocessors.

[BibT_eX]

[DOI]

Proceedings of the 11th International Parallel Processing Symposium (IPPS '97), 1997

1996

An Efficient Algorithm for Concurrent Priority Queue Heaps.

[BibT_eX]

[DOI]

Inf. Process. Lett., 1996

Simple, Fast, and Practical Non-Blocking and Blocking Concurrent Queue Algorithms.

[BibT_eX]

[DOI]

Proceedings of the Fifteenth Annual ACM Symposium on Principles of Distributed Computing, 1996

Using Memory-Mapped Network Interfaces to Improve the Performance of Distributed Shared Memory.

[BibT_eX]

[DOI]

Proceedings of the Second International Symposium on High-Performance Computer Architecture, 1996

1995

Efficient shared memory with minimal hardware support.

[BibT_eX]

[DOI]

SIGARCH Comput. Archit. News, 1995

High Performance Software Coherence for Current and Future Architectures.

[BibT_eX]

[DOI]

J. Parallel Distributed Comput., 1995

Lazy Release Consistency for Hardware-Coherent Multiprocessors.

[BibT_eX]

[DOI]

Ricardo Bianchini

Proceedings of the Proceedings Supercomputing '95, San Diego, CA, USA, December 4-8, 1995, 1995

High Performance Synchronization Algorithms for Multiprogrammed Multiprocessors.

[BibT_eX]

[DOI]

Robert W. Wisniewski

Proceedings of the Fifth ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming (PPOPP), 1995

Using simple page placement policies to reduce the cost of cache fills in coherent shared-memory systems.

[BibT_eX]

[DOI]

Michael Marchetti

Ricardo Bianchini

Proceedings of IPPS '95, 1995

Implementation of Atomic Primitives on Distributed Shared Memory Multiprocessors.

[BibT_eX]

[DOI]

Proceedings of the 1st IEEE Symposium on High-Performance Computer Architecture (HPCA 1995), 1995

Software Cache Coherence for Large Scale Multiprocessors.

[BibT_eX]

[DOI]

Proceedings of the 1st IEEE Symposium on High-Performance Computer Architecture (HPCA 1995), 1995

1994

The Advantages of Multiple Parallelizations in Combinatorial Search.

[BibT_eX]

[DOI]

J. Parallel Distributed Comput., 1994

Fast, contention-free combining tree barriers for shared-memory multiprocessors.

[BibT_eX]

[DOI]

Int. J. Parallel Program., 1994

Cache performance in vector supercomputers.

[BibT_eX]

[DOI]

Proceedings of the Proceedings Supercomputing '94, 1994

Scalable Spin Locks for Multiprogrammed Systems.

[BibT_eX]

[DOI]

Robert W. Wisniewski

Proceedings of the 8th International Symposium on Parallel Processing, 1994

1993

Kernel-Kernel communication in a shared-memory multiprocessor.

[BibT_eX]

[DOI]

Concurr. Pract. Exp., 1993

Linking Shared Segments.

[BibT_eX]

W. E. Garrett

Ricardo Bianchini

Proceedings of the Usenix Winter 1993 Technical Conference, 1993

Common runtime support for high-performance parallel languages.

[BibT_eX]

[DOI]

Proceedings of the Proceedings Supercomputing '93, 1993

1992

Operating System Support for Animate Vision.

[BibT_eX]

[DOI]

J. Parallel Distributed Comput., 1992

Evaluation of Multiprocessor Memory Systems Using Off-Line Optimal Behavior.

[BibT_eX]

[DOI]

William J. Bolosky

J. Parallel Distributed Comput., 1992

The Rochester Checkers Player: Multimodel Parallel Programming for Animate Vision.

[BibT_eX]

[DOI]

Computer, 1992

1991

Algorithms for Scalable Synchronization on Shared-Memory Multiprocessors.

[BibT_eX]

[DOI]

ACM Trans. Comput. Syst., 1991

The Lynx Distributed Programming Language: Motivation, Design and Experience.

[BibT_eX]

[DOI]

Comput. Lang., 1991

First-Class User-Level Theads.

[BibT_eX]

[DOI]

Evangelos P. Markatos

Proceedings of the Thirteenth ACM Symposium on Operating System Principles, 1991

Scalable Reader-Writer Synchronization for Shared-Memory Multiprocessors.

[BibT_eX]

[DOI]

Proceedings of the Third ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming (PPOPP), 1991

Synchronization without Contention.

[BibT_eX]

[DOI]

Proceedings of the ASPLOS-IV Proceedings, 1991

NUMA Policies and Their Relation to Memory Architecture.

[BibT_eX]

[DOI]

Proceedings of the ASPLOS-IV Proceedings, 1991

1990

Multi-Model Parallel Programming in Psyche.

[BibT_eX]

[DOI]

Proceedings of the Second ACM SIGPLAN Symposium on Princiles & Practice of Parallel Programming (PPOPP), 1990

PENGUIN: A language for reactive graphical user interface programming.

[BibT_eX]

Sue-Ken Yap

Proceedings of the Human-Computer Interaction, 1990

1989

Experience with Charlotte: Simplicity and Function in a Distributed Operating System.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1989

Beyond striping: the bridge multiprocessor file system.

[BibT_eX]

[DOI]

Peter C. Dibble

SIGARCH Comput. Archit. News, 1989

Implementation Issues for the Psyche Multiprocessor Operating System.

[BibT_eX]

[DOI]

Evangelos P. Markatos

Neil G. Smithline

Comput. Syst., 1989

Simple But Effective Techniques for NUMA Memory Management.

[BibT_eX]

[DOI]

William J. Bolosky

Robert P. Fitzgerald

Proceedings of the Twelfth ACM Symposium on Operating System Principles, 1989

A multi-user, multi-language open operating system.

[BibT_eX]

[DOI]

Proceedings of the Second Workshop On Workstation Operating Systems, 1989

1988

A Simple Mechanism for Type Security Across Compilation Units.

[BibT_eX]

[DOI]

Raphael A. Finkel

IEEE Trans. Software Eng., 1988

Large-Scale Parallel Programming: Experience with the BBN Butterfly Parallel Processor.

[BibT_eX]

[DOI]

Christopher M. Brown

Proceedings of the ACM/SIGPLAN PPEALS 1988, 1988

Design Rationale for Psyche a General-Purpose Multiprocessor Operating System.

[BibT_eX]

Proceedings of the International Conference on Parallel Processing, 1988

Bridge: A High-Performance File System for Parallel Processors.

[BibT_eX]

[DOI]

Peter C. Dibble

Carla Schlatter Ellis

Proceedings of the 8th International Conference on Distributed Computing Systems, 1988

A grammar-based approach to automatic generation of user-interface dialogues.

[BibT_eX]

[DOI]

Sue-Ken Yap

Proceedings of the SIGCHI Conference on Human Factors in Computing Systems, 1988

1987

Language Support for Loosely Coupled Distributed Programs.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1987

1986

The Interface Between Distributed Operating System and High-Level Programming Language.

[BibT_eX]