Making User-Level VMM for Deterministic Parallelism Nonblocking and Efficient

2016 17th International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT) ◽

10.1109/pdcat.2016.042 ◽

2016 ◽

Author(s):

Yu Zhang ◽

Jiange Zhang ◽

Qiliang Zhang

Keyword(s):

Deterministic Parallelism

Download Full-text

Internally Deterministic Parallelism: Techniques and Algorithms

Shared-Memory Parallelism Can Be Simple, Fast, and Scalable ◽

10.1145/3018787.3018791 ◽

2017 ◽

Keyword(s):

Deterministic Parallelism

Download Full-text

Alias Control for Deterministic Parallelism

Lecture Notes in Computer Science - Aliasing in Object-Oriented Programming. Types, Analysis and Verification ◽

10.1007/978-3-642-36946-9_7 ◽

2013 ◽

pp. 156-195 ◽

Cited By ~ 2

Author(s):

Robert L. Bocchino

Keyword(s):

Deterministic Parallelism

Download Full-text

Modular reasoning for deterministic parallelism

Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '11 ◽

10.1145/1926385.1926416 ◽

2011 ◽

Cited By ~ 17

Author(s):

Mike Dodds ◽

Suresh Jagannathan ◽

Matthew J. Parkinson

Keyword(s):

Modular Reasoning ◽

Deterministic Parallelism

Download Full-text

Deterministic parallelism via liquid effects

Proceedings of the 33rd ACM SIGPLAN conference on Programming Language Design and Implementation - PLDI '12 ◽

10.1145/2254064.2254071 ◽

2012 ◽

Cited By ~ 10

Author(s):

Ming Kawaguchi ◽

Patrick Rondon ◽

Alexander Bakst ◽

Ranjit Jhala

Keyword(s):

Deterministic Parallelism

Download Full-text

A monad for deterministic parallelism

ACM SIGPLAN Notices ◽

10.1145/2096148.2034685 ◽

2012 ◽

Vol 46 (12) ◽

pp. 71-82 ◽

Cited By ~ 6

Author(s):

Simon Marlow ◽

Ryan Newton ◽

Simon Peyton Jones

Keyword(s):

Deterministic Parallelism

Download Full-text

Deterministic Parallelism in Sequential Iterative Algorithms

Shared-Memory Parallelism Can Be Simple, Fast, and Scalable ◽

10.1145/3018787.3018792 ◽

2017 ◽

Keyword(s):

Iterative Algorithms ◽

Deterministic Parallelism

Download Full-text

A virtual memory foundation for scalable deterministic parallelism

Proceedings of the Second Asia-Pacific Workshop on Systems - APSys '11 ◽

10.1145/2103799.2103808 ◽

2011 ◽

Cited By ~ 3

Author(s):

Yu Zhang ◽

Bryan Ford

Keyword(s):

Virtual Memory ◽

Deterministic Parallelism

Download Full-text

A monad for deterministic parallelism

Proceedings of the 4th ACM symposium on Haskell - Haskell '11 ◽

10.1145/2034675.2034685 ◽

2011 ◽

Cited By ~ 43

Author(s):

Simon Marlow ◽

Ryan Newton ◽

Simon Peyton Jones

Keyword(s):

Deterministic Parallelism

Download Full-text

Efficient system-enforced deterministic parallelism

Communications of the ACM ◽

10.1145/2160718.2160742 ◽

2012 ◽

Vol 55 (5) ◽

pp. 111-119 ◽

Cited By ~ 17

Author(s):

Amittai Aviram ◽

Shu-Chun Weng ◽

Sen Hu ◽

Bryan Ford

Keyword(s):

Efficient System ◽

Deterministic Parallelism

Download Full-text

Sequential algorithms, deterministic parallelism, and intensional expressiveness

Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '95 ◽

10.1145/199448.199451 ◽

1995 ◽

Cited By ~ 1

Author(s):

Stephen Brookes ◽

Denis Dancanet

Keyword(s):

Sequential Algorithms ◽

Deterministic Parallelism

Download Full-text