Michael L. Scott

Orcid: 0000-0001-8652-7644

Affiliations:
  • University of Rochester, New York, USA


According to our database1, Michael L. Scott authored at least 150 papers between 1983 and 2024.

Collaborative distances:

Awards

ACM Fellow

ACM Fellow 2006, "For contributions to system software for parallel and distributed computing.".

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Shared-Memory Synchronization, Second Edition
Springer, ISBN: 978-3-031-38683-1, 2024

2023
Transactional Composition of Nonblocking Data Structures.
Proceedings of the 28th ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming, 2023

2022
How Should We Think about Persistent Data Structures?
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.
Proceedings of the 35th International Symposium on Distributed Computing, 2021

Fast Intra-kernel Isolation and Security with IskiOS.
Proceedings of the RAID '21: 24th International Symposium on Research in Attacks, 2021

A Fast, General System for Buffered Persistent Data Structures.
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.
CoRR, 2020

Brief Announcement: Building Fast Recoverable Persistent Data Structures with Montage.
Proceedings of the 34th International Symposium on Distributed Computing, 2020

Understanding and optimizing persistent memory allocation.
Proceedings of the PPoPP '20: 25th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2020

Understanding and optimizing persistent memory allocation.
Proceedings of the ISMM '20: 2020 ACM SIGPLAN International Symposium on Memory Management, 2020

Safe, Fast Sharing of memcached as a Protected Library.
Proceedings of the ICPP 2020: 49th International Conference on Parallel Processing, 2020

Nonblocking Persistent Software Transactional Memory.
Proceedings of the 27th IEEE International Conference on High Performance Computing, 2020

2019
Simplifying Transactional Memory Support in C++.
ACM Trans. Archit. Code Optim., 2019

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

Multi-Queue Fair Queuing.
Proceedings of the 2019 USENIX Annual Technical Conference, 2019

Hodor: Intra-Process Isolation for High-Throughput Data Plane Libraries.
Proceedings of the 2019 USENIX Annual Technical Conference, 2019

Leveraging hardware TM in Haskell.
Proceedings of the 24th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2019

2018
Interval-based memory reclamation.
Proceedings of the 23rd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2018

iDO: Compiler-Directed Failure Atomicity for Nonvolatile Memory.
Proceedings of the 51st Annual IEEE/ACM International Symposium on Microarchitecture, 2018

2017
Generality and Speed in Nonblocking Dual Containers.
ACM Trans. Parallel Comput., 2017

Dalí: A Periodically Persistent Hash Map.
Proceedings of the 31st International Symposium on Distributed Computing, 2017

Improving STM performance with transactional structs.
Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell, 2017

Performance Improvement via Always-Abort HTM.
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.
Proceedings of the Distributed Computing - 30th International Symposium, 2016

Brief Announcement: Preserving Happens-before in Persistent Memory.
Proceedings of the 28th ACM Symposium on Parallelism in Algorithms and Architectures, 2016

An Unbounded Nonblocking Double-Ended Queue.
Proceedings of the 45th International Conference on Parallel Processing, 2016

2015
Transactional Memory Today.
SIGACT News, 2015

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

Conflict Reduction in Hardware Transactions Using Advisory Locks.
Proceedings of the 27th ACM on Symposium on Parallelism in Algorithms and Architectures, 2015

Software partitioning of hardware transactions.
Proceedings of the 20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2015

2014
Brief announcement: fast dual ring queues.
Proceedings of the 26th ACM Symposium on Parallelism in Algorithms and Architectures, 2014

Brief announcement: a generic construction for nonblocking dual containers.
Proceedings of the ACM Symposium on Principles of Distributed Computing, 2014

Dynamic enforcement of determinism in a parallel scripting language.
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014

Disengaged scheduling for fair, protected access to fast computational accelerators.
Proceedings of the Architectural Support for Programming Languages and Operating Systems, 2014

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

Generic Multiversion STM.
Proceedings of the Distributed Computing - 27th International Symposium, 2013

Enabling OS Research by Inferring Interactions in the Black-Box GPU Stack.
Proceedings of the 2013 USENIX Annual Technical Conference, 2013

Compiler aided manual speculation for high performance concurrent data structures.
Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2013

2012
Sandboxing transactional memory.
Proceedings of the International Conference on Parallel Architectures and Compilation Techniques, 2012

2011
Synchronization.
Proceedings of the Encyclopedia of Parallel Computing, 2011

Toward a Formal Semantic Framework for Deterministic Parallel Programming.
Proceedings of the Distributed Computing - 25th International Symposium, 2011

Hybrid NOrec: a case study in the effectiveness of best effort hardware transactional memory.
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.
J. Parallel Distributed Comput., 2010

Transactions as the Foundation of a Memory Consistency Model.
Proceedings of the Distributed Computing, 24th International Symposium, 2010

NOrec: streamlining STM by abolishing ownership records.
Proceedings of the 15th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2010

Transactional Mutex Locks.
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.
login Usenix Mag., 2009

Scalable synchronous queues.
Commun. ACM, 2009

A comprehensive strategy for contention management in software transactional memory.
Proceedings of the 14th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2009

Fastpath Speculative Parallelization.
Proceedings of the Languages and Compilers for Parallel Computing, 2009

Reducing Memory Ordering Overheads in Software Transactional Memory.
Proceedings of the CGO 2009, 2009

Programming Language Pragmatics (3. ed.).
Academic Press, ISBN: 978-0-12-374514-9, 2009

2008
Transactional memory retry mechanisms.
Proceedings of the Twenty-Seventh Annual ACM Symposium on Principles of Distributed Computing, 2008

Ordering-Based Semantics for Software Transactional Memory.
Proceedings of the Principles of Distributed Systems, 12th International Conference, 2008

Flexible Decoupled Transactional Memory Support.
Proceedings of the 35th International Symposium on Computer Architecture (ISCA 2008), 2008

Implementing and Exploiting Inevitability in Software Transactional Memory.
Proceedings of the 2008 International Conference on Parallel Processing, 2008

Scalable Techniques for Transparent Privatization in Software Transactional Memory.
Proceedings of the 2008 International Conference on Parallel Processing, 2008

2007
Transaction Safe Nonblocking Data Structures.
Proceedings of the Distributed Computing, 21st International Symposium, 2007

Nonblocking transactions without indirection using alert-on-update.
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.
Proceedings of the 12th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2007

Potential show-stoppers for transactional synchronization.
Proceedings of the 12th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2007

Privatization techniques for software transactional memory.
Proceedings of the Twenty-Sixth Annual ACM Symposium on Principles of Distributed Computing, 2007

Transactions and privatization in Delaunay triangulation.
Proceedings of the Twenty-Sixth Annual ACM Symposium on Principles of Distributed Computing, 2007

An integrated hardware-software approach to flexible transactional memory.
Proceedings of the 34th International Symposium on Computer Architecture (ISCA 2007), 2007

A Key-based Adaptive Transactional Memory Executor.
Proceedings of the 21th International Parallel and Distributed Processing Symposium (IPDPS 2007), 2007

Delaunay Triangulation with Transactions and Barriers.
Proceedings of the IEEE 10th International Symposium on Workload Characterization, 2007

Analysis of input-dependent program behavior using active profiling.
Proceedings of the Workshop on Experimental Computer Science, 2007

2006
Conflict Detection and Validation Strategies for Software Transactional Memory.
Proceedings of the Distributed Computing, 20th International Symposium, 2006

Programming language pragmatics (2. ed.).
Morgan Kaufmann, ISBN: 978-0-12-633951-2, 2006

2005
Shared memory computing on clusters with symmetric multiprocessors and system area networks.
ACM Trans. Comput. Syst., 2005

Adaptive Software Transactional Memory.
Proceedings of the Distributed Computing, 19th International Conference, 2005

Advanced contention management for dynamic software transactional memory.
Proceedings of the Twenty-Fourth Annual ACM Symposium on Principles of Distributed Computing, 2005

Aggressive Prefetching: An Idea Whose Time Has Come.
Proceedings of HotOS'05: 10th Workshop on Hot Topics in Operating Systems, 2005

The Many Faces of Systems Research - and How to Evaluate Them.
Proceedings of HotOS'05: 10th Workshop on Hot Topics in Operating Systems, 2005

Preemption Adaptivity in Time-Published Queue-Based Spin Locks.
Proceedings of the High Performance Computing, 2005

2004
Profile-Driven Component Placement for Cluster-Based Online Services.
IEEE Distributed Syst. Online, 2004

Nonblocking Concurrent Data Structures with Condition Synchronization.
Proceedings of the Distributed Computing, 18th International Conference, 2004

Energy Efficient Prefetching and Caching (Awarded Best Paper!).
Proceedings of the General Track: 2004 USENIX Annual Technical Conference, June 27, 2004

Dynamically Trading Frequency for Complexity in a GALS Microprocessor.
Proceedings of the 37th Annual International Symposium on Microarchitecture (MICRO-37 2004), 2004

Design tradeoffs in modern software transactional memory systems.
Proceedings of the 7th Workshop on languages, 2004

Integrating Remote Invocation and Distributed Shared State.
Proceedings of the 18th International Parallel and Distributed Processing Symposium (IPDPS 2004), 2004

Hiding Synchronization Delays in a GALS Processor Microarchitecture.
Proceedings of the 10th International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC 2004), 2004

The Energy Impact of Aggressive Loop Fusion.
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.
IEEE Micro, 2003

Dynamically Tuning Processor Resources with Adaptive Processing.
Computer, 2003

Energy Efficiency through Burstiness.
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.
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.
Proceedings of the 30th International Symposium on Computer Architecture (ISCA 2003), 2003

Efficient Distributed Shared State for Heterogeneous Machine Architectures.
Proceedings of the 23rd International Conference on Distributed Computing Systems (ICDCS 2003), 2003

Distributed Shared State.
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.
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.
Proceedings of the 35th Annual International Symposium on Microarchitecture, 2002

Multi-Level Shared State for Distributed Systems.
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.
Proceedings of the Eighth International Symposium on High-Performance Computer Architecture (HPCA'02), 2002

Integrating Adaptive On-Chip Storage Structures for Reduced Dynamic Power.
Proceedings of the 2002 International Conference on Parallel Architectures and Compilation Techniques (PACT 2002), 2002

2001
Scalable queue-based spin locks with timeout.
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.
Proceedings of the Languages, 2000

The Effect of Network Total Order, Broadcast, and Remote-Write Capability on Network-Based Shared Memory Computing.
Proceedings of the Sixth International Symposium on High-Performance Computer Architecture, 2000

1999
Component-Based APIs for Versioning and Distributed Applications.
Computer, 1999

The Coign Automatic Distributed Partitioning System.
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.
Proceedings of the Fifth International Symposium on High-Performance Computer Architecture, 1999

Intercepting and Instrumenting COM Applications.
Proceedings of the 5th USENIX Conference on Object-Oriented Technologies & Systems, 1999

1998
Nonblocking Algorithms and Preemption-Safe Locking on Multiprogrammed Shared Memory Multiprocessors.
J. Parallel Distributed Comput., 1998

A guided tour of the Coign automatic distributed partitioning system.
Proceedings of the Second International Enterprise Distributed Object Computing Workshop, 1998

1997
Scheduler-Conscious Synchronization.
ACM Trans. Comput. Syst., 1997

Cashmere-2L: Software Coherent Shared Memory on a Clustered Remote-Write Network.
Proceedings of the Sixteenth ACM Symposium on Operating System Principles, 1997

Coherence Controller Architectures for SMP-Based CC-NUMA Multiprocessors.
Proceedings of the 24th International Symposium on Computer Architecture, 1997

VM-Based Shared Memory on Low-Latency, Remote-Memory-Access Networks.
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.
Proceedings of the 11th International Parallel Processing Symposium (IPPS '97), 1997

1996
An Efficient Algorithm for Concurrent Priority Queue Heaps.
Inf. Process. Lett., 1996

Simple, Fast, and Practical Non-Blocking and Blocking Concurrent Queue Algorithms.
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.
Proceedings of the Second International Symposium on High-Performance Computer Architecture, 1996

1995
Efficient shared memory with minimal hardware support.
SIGARCH Comput. Archit. News, 1995

High Performance Software Coherence for Current and Future Architectures.
J. Parallel Distributed Comput., 1995

Lazy Release Consistency for Hardware-Coherent Multiprocessors.
Proceedings of the Proceedings Supercomputing '95, San Diego, CA, USA, December 4-8, 1995, 1995

High Performance Synchronization Algorithms for Multiprogrammed Multiprocessors.
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.
Proceedings of IPPS '95, 1995

Implementation of Atomic Primitives on Distributed Shared Memory Multiprocessors.
Proceedings of the 1st IEEE Symposium on High-Performance Computer Architecture (HPCA 1995), 1995

Software Cache Coherence for Large Scale Multiprocessors.
Proceedings of the 1st IEEE Symposium on High-Performance Computer Architecture (HPCA 1995), 1995

1994
The Advantages of Multiple Parallelizations in Combinatorial Search.
J. Parallel Distributed Comput., 1994

Fast, contention-free combining tree barriers for shared-memory multiprocessors.
Int. J. Parallel Program., 1994

Cache performance in vector supercomputers.
Proceedings of the Proceedings Supercomputing '94, 1994

Scalable Spin Locks for Multiprogrammed Systems.
Proceedings of the 8th International Symposium on Parallel Processing, 1994

1993
Kernel-Kernel communication in a shared-memory multiprocessor.
Concurr. Pract. Exp., 1993

Linking Shared Segments.
Proceedings of the Usenix Winter 1993 Technical Conference, 1993


1992
Operating System Support for Animate Vision.
J. Parallel Distributed Comput., 1992

Evaluation of Multiprocessor Memory Systems Using Off-Line Optimal Behavior.
J. Parallel Distributed Comput., 1992

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

1991
Algorithms for Scalable Synchronization on Shared-Memory Multiprocessors.
ACM Trans. Comput. Syst., 1991

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

First-Class User-Level Theads.
Proceedings of the Thirteenth ACM Symposium on Operating System Principles, 1991

Scalable Reader-Writer Synchronization for Shared-Memory Multiprocessors.
Proceedings of the Third ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming (PPOPP), 1991

Synchronization without Contention.
Proceedings of the ASPLOS-IV Proceedings, 1991

NUMA Policies and Their Relation to Memory Architecture.
Proceedings of the ASPLOS-IV Proceedings, 1991

1990
Multi-Model Parallel Programming in Psyche.
Proceedings of the Second ACM SIGPLAN Symposium on Princiles & Practice of Parallel Programming (PPOPP), 1990

PENGUIN: A language for reactive graphical user interface programming.
Proceedings of the Human-Computer Interaction, 1990

1989
Experience with Charlotte: Simplicity and Function in a Distributed Operating System.
IEEE Trans. Software Eng., 1989

Beyond striping: the bridge multiprocessor file system.
SIGARCH Comput. Archit. News, 1989

Implementation Issues for the Psyche Multiprocessor Operating System.
Comput. Syst., 1989

Simple But Effective Techniques for NUMA Memory Management.
Proceedings of the Twelfth ACM Symposium on Operating System Principles, 1989

A multi-user, multi-language open operating system.
Proceedings of the Second Workshop On Workstation Operating Systems, 1989

1988
A Simple Mechanism for Type Security Across Compilation Units.
IEEE Trans. Software Eng., 1988

Large-Scale Parallel Programming: Experience with the BBN Butterfly Parallel Processor.
Proceedings of the ACM/SIGPLAN PPEALS 1988, 1988

Design Rationale for Psyche a General-Purpose Multiprocessor Operating System.
Proceedings of the International Conference on Parallel Processing, 1988

Bridge: A High-Performance File System for Parallel Processors.
Proceedings of the 8th International Conference on Distributed Computing Systems, 1988

A grammar-based approach to automatic generation of user-interface dialogues.
Proceedings of the SIGCHI Conference on Human Factors in Computing Systems, 1988

1987
Language Support for Loosely Coupled Distributed Programs.
IEEE Trans. Software Eng., 1987

1986
The Interface Between Distributed Operating System and High-Level Programming Language.
Proceedings of the International Conference on Parallel Processing, 1986

1983
Messages vs. remote procedures is a false dichotomy.
ACM SIGPLAN Notices, 1983


  Loading...