|
9
|
Toward a parallel implementation of Concurrent ML
– Yingqi Xiao
|
|
|
Workshop on Declarative Aspects of Multicore Programming
– Manuel Hermenegildo, Leaf Petersen, Neal Glew
- 2008
|
|
2
|
A Concurrent ML Library in Concurrent Haskell
– Avik Chaudhuri
|
|
|
Effective Scheduling Techniques for . . .
– Michael Alan Rainey
- 2010
|
|
7
|
First-class Synchronous Operations
– John H. Reppy
- 1995
|
|
3
|
Programmable Concurrency in a Pure and Lazy Language
– Peng Li, Steve Zdancewic, Rajeev Alur
- 2008
|
|
9
|
Space Profiling for Parallel Functional Programs
– Daniel Spoonhower, Guy E. Blelloch, Robert Harper, Phillip B. Gibbons
|
|
|
BY
– Michael Rainey
|
|
13
|
A scheduling framework for general-purpose parallel languages
– Matthew Fluet, Mike Rainey
|
|
2
|
Higher-Order Concurrency in PVM
– Erik D. Demaine
- 1997
|
|
20
|
Transactional Events
– Kevin Donnelly, Matthew Fluet
- 2008
|
|
|
Stabilizers: A Safe Lightweight Checkpointing Abstraction for Concurrent Programs
– Lukasz Ziarek , Philip Schatz, Suresh Jagannathan
- 2005
|
|
13
|
Implicitlythreaded parallelism in Manticore
– Matthew Fluet, Mike Rainey, Adam Shaw
- 2008
|
|
2
|
Composable Asynchronous Events
– Lukasz Ziarek, Kc Sivaramakrishnan, Suresh Jagannathan, Lukasz Ziarek, Kc Sivaramakrishnan, Suresh Jagannathan
|
|
6
|
Stabilizers: a modular checkpointing abstraction for concurrent functional programs
– Lukasz Ziarek, Philip Schatz, Suresh Jagannathan
- 2006
|
|
31
|
Concurrent ML: Design, Application and Semantics
– John H. Reppy
- 1993
|
|
|
General Terms Languages, Performance
– Lars Bergstrom, Mike Rainey, Adam Shaw, Matthew Fluet
|
|
4
|
Lazy Tree Splitting
– Lars Bergstrom, Mike Rainey, Adam Shaw, Matthew Fluet
|
|
1
|
Specifying and checking semantic atomicity for multithreaded programs
– Jacob Burnim, George Necula, Koushik Sen
- 2011
|
