Michael L. Scott

Michael F Spear , Arrvindh Shriraman , Hemayet Hossain , Sandhya Dwarkadas
Proc. of the 12th ACM Symp. on Principles and Practice of Parallel Programming, San Jose, CA 10 ( 1229428.1229452)

2007

Coign: Automated Distributed Partitioning of Component Applications

Galen C Hunt , Michael L Scott
Slide Presentation from SOSP Work-in-Progress session

1997

A simple mechanism for type security across compilation units

Michael L Scott , Raphael A Finkel
University of Wisconsin-Madison Department of Computer Sciences

1984

Transactional Semantics with Zombies

Michael L Scott
Invited keynote address, 6th Wkshp. on the Theory of Transactional Memory, Paris, France

2014

MSpec: A design pattern for concurrent data structures

Lingxiang Xiang , Michael L Scott
7th SIGPLAN Wkshp. on Transactional Computing (TRANSACT), New Orleans, LA

2012

Toward a formal semantic framework for deterministic parallel programming

Michael L Scott , Li Lu
The Second Workshop on Determinism and Correctness in Parallel Programming

2011

A framework for the evaluation of high-level languages for distributed computing

Michael L Scott
University of Wisconsin-Madison Department of Computer Sciences

1984

Persistent Memory Analysis Tool (PMAT)

Louis Jenkins , Michael L Scott

2020

A hybrid TM for haskell

Ryan Yates , Michael L Scott
9th ACM SIGPLAN Workshop on Transactional Computing (TRANSACT), Salt Lake City, UT

2014

Unmanaged multiversion STM

Li Lu , Michael L Scott
7th ACM SIGPLAN Workshop on Transactional Computing (TRANSACT)

2012

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

Raphael A Finkel , Michael L Scott , William K Kalsow , Yeshayahu Artsy
University of Wisconsin-Madison Department of Computer Sciences

1986

Transactional Memory Lite Support in C++

Michael Spear , Hans Boehm , Victor Luchangco , Michael L Scott
Technical Report. isocpp

2020

On the Orthogonality of Speculation and Atomicity

Michael L Scott , Luke Dalessandro
2nd Wkshp. on the Theory of Transactional Memory, Cambridge, MA

2010

Randomization in STM contention management

William N Scherer III , Michael L Scott
The posters were screened by the poster committee, but were not formally reviewed. Moreover, this informal collection is not intended to serve as a publication. It is expected that these posters will be published in the future in conferences and 10 -10

2005

A Guide to the Rochester PL/0 Compiler

Michael L Scott
Computer Science Department of University of Rochester

2004