An Architecture for Mostly Functional Languages.
In: Proceedings of ACM Lisp and Functional Programming Conference. pp. 500--519.
Related |
| [Knight, 1986]
|
Thomas F. Knight (Aug 1986). An Architecture for Mostly Functional Languages. In: Proceedings of ACM Lisp and Functional Programming Conference. pp. 500--519. |
[Adve, 1990]
|
Sarita V.and Hill Adve (May 1990). Weak Ordering - A New Definition. In: Proceedings of the 17th Annual International Symposium on Computer Architecture. pp. 2--14. |
| [Gharachorloo et al., 1990]
|
Kourosh Gharachorloo and Daniel Lenoski and James Laudon and Philip Gibbons and Anoop Gupta and John Hennessy (May 1990). Memory Consistency and Event Ordering in Scalable Shared-Memory Multiprocessors. In: Proceedings of the 17th Annual International Symposium on Computer Architecture. pp. 15--26. |
| [Adve et al., 1991]
|
Sarita V. Adve and Mark D. Hill and Barton P. Miller and Robert H. B. Netzer (May 1991). Detecting Data Races on Weak Memory Systems. In: Proceedings of the 18th Annual International Symposium on Computer Architecture. pp. 234--243. |
| [Adve and Gharachorloo, 1996]
|
Sarita V. Adve and Kourosh Gharachorloo (Dec 1996). Shared Memory Consistency Models: A Tutorial. In: IEEE Computer, 29(12):66--76. |
| [Plakal et al., 1998]
|
Manoj Plakal and Daniel J. Sorin and Anne E. Condon and Mark D. Hill (Jun 1998). Lamport Clocks: Verifying a Directory Cache-Coherence Protocol. In: Proceedings of the Tenth ACM Symposium on Parallel Algorithms and Architectures. pp. 67--76. |
| [Hill, 1998]
|
Mark D. Hill (Aug 1998). Multiprocessors Should Support Simple Memory Consistency Models. In: IEEE Computer, 31(8):28--34. |
| [Gniady et al., 1999]
|
Chris Gniady and Babak Falsafi and T. N. Vijaykumar (May 1999). Is SC + ILP = RC? In: International Symposium on Computer Architecture. pp. 162--171. |
| [Rajwar and Goodman, 2001]
|
Ravi Rajwar and James R. Goodman (Dec 2001). Speculative Lock Elision: Enabling Highly Concurrent Multithreaded Execution. In: Proceedings of the 34th International Symposium on Microarchitecture. pp. 294--305. |
| [Sorin et al., 2002]
|
Daniel J. Sorin and Milo M. K. Martin and Mark D. Hill and David A. Wood (May 2002). SafetyNet: Improving the Availability of Shared Memory Multiprocessors with Global Checkpoint/Recovery. In: Proceedings of the 29th Annual International Symposium on Computer Architecture. pp. 123--134. |
| [Gniady and Falsafi, 2002]
|
Chris Gniady and Babak Falsafi (Sep 2002). Speculative Sequential Consistency with Little Custom Storage. In: International Conference on Parallel Architectures and Compilation Techniques. pp. 179--188. |
| [Martinez and Torrellas, 2002]
|
Jose F. Martinez and Josep Torrellas (Oct 2002). Speculative Synchronization: Applying Thread-Level Speculation to Explicitly Parallel Applications. In: Proceedings of the Tenth Symposium on Architectural Support for Programming Languages and Operating Systems. pp. 18--29. |
| [Xu et al., 2003]
|
Min Xu and Rastislav Bodik and Mark D. Hill (Jun 2003). A ``Flight Data Recorder'' for Enabling Full-System Multiprocessor Deterministic Replays. In: Proceedings of the 30th Annual International Symposium on Computer Architecture. pp. 122--133. |
| [Gniady and Falsafi, 2003]
|
Chris Gniady and Babak Falsafi ( 2003). Speculative Sequential Consistency with Little Custom Storage. In: Journal of Instruction-Level Parallelism, 5. |
| [Kozyrakis and Olukotun, 2005]
|
Christos Kozyrakis and Kunle Olukotun (Feb 2005). ATLAS: A Scalable Emulator for Transactional Parallel System. In: Workshop on Architecture Research using FPGA Platforms, 11th International Symposium on High-Performance Computer Architectur. |
| [Xu et al., 2005]
|
Min Xu and Rastislav Bodik and Mark D. Hill (Jun 2005). A Serializability Violation Detector for Shared-Memory Server Programs. In: Proceedings of the SIGPLAN 2005 Conference on Programming Language Design and Implementation. pp. 1--14. |
| [Chafi et al., 2005]
|
Hassan Chafi and Chi Cao Minh and Austen McDonald and Brian D. Carlstrom and JaeWoong Chung and Lance Hammond and Christos Kozyrakis and Kunle Olukotun (June 2005). TAPE: A Transactional Application Profiling Environment. In: ICS '05: Proceedings of the 19th annual international conference on Supercomputing. pp. 199--208. |
| [Shriram et al., 2005]
|
Arrvindh Shriram and Virendra J. Marathe and Sandhya Dwarkadas and Michael L. Scott and David Eisenstat and Christopher Heriot and William N. Scherer III and Michael F. Spear (Dec 2005). Hardware Acceleration of Software Transactional Memory. Technical Report Nr. TR 887. Computer Science Department, University of Rochester. Revised, March 2006; condensed version submitted for publication. |
| [Chung et al., 2006]
|
JaeWoong Chung and Hassan Chafi and Chi Cao Minh and Austen McDonald and Brian D. Carlstrom and Christos Kozyrakis and Kunle Olukotun (Feb 2006). The Common Case Transactional Behavior of Multithreaded Programs. In: 12th International Symposium on High Performance Computer Architecture (HPCA). |
| [Ceze et al., 2006]
|
Luis Ceze and James Tuck and Calin Cascaval and Josep Torrellas (June 2006). Bulk Disambiguation of Speculative Threads in Multiprocessors. In: Proceedings of the 33rd Annual International Symposium on Computer Architecture. |
| [Shriraman et al., 2006]
|
Arrvindh Shriraman and Virendra J. Marathe and Sandhya Dwarkadas and Michael L. Scott and David Eisenstat and Christopher Heriot and William N. Scherer III and Michael F. Spear (Jun 2006). Hardware Acceleration of Software Transactional Memory. In: ACM SIGPLAN Workshop on Transactional Computing. Held in conjunction with PLDI 2006. Expanded version available as TR 887, Department of Computer Science, University of Rochester, December 2005, revised March 2006. |
| [Ceze et al., 2007]
|
Luis Ceze and Pablo Montesinos and Christoph von Praun and Josep Torrellas (Feb 2007). Colorama: Architectural Support for Data-Centric Synchronization. In: Proceedings of the 13th International Symposium on High-Performance Computer Architecture. |
| [Spear et al., 2007]
|
Michael F. Spear and Arrvindh Shriraman and Hemayet Hossain and Sandhya Dwarkadas and Michael L. Scott (Mar 2007). Alert-on-Update: A Communication Aid for Shared Memory Multiprocessors (poster paper). In: Proceedings of the Twelfth ACM Symposium on Principles and Practice of Parallel Programming. |
| [Neelakantam et al., 2007]
|
Naveen Neelakantam and Ravi Rajwar and Suresh Srinivas and Uma Srinivasan and Craig Zilles (June 2007). Hardware Atomicity for Reliable Software Speculation . In: Proceedings of the 34th Annual International Symposium on Computer Architecture. |
| [Spear et al., 2007]
|
Michael F. Spear and Arrvindh Shriraman and Luke Dalessandro and Sandhya Dwarkadas and Michael L. Scott (Jun 2007). Nonblocking Transactions Without Indirection Using Alert-on-Update. In: Proceedings of the 19th Annual ACM SYMP on Parallelism in Algorithms and Architectures. San Diego, CA. |
| [Waliullah and Stenstrom, 2007]
|
M. M. Waliullah and Per Stenstrom (Aug 2007). Starvation-Free Transactional Memory System Protocols. In: Proceedings of the 13th Euro-Par Conference: European Conference on Parallel and Distributed Computing. pp. 280--291. |
| [Rossbach et al., 2007]
|
Christopher J. Rossbach and Owen S. Hofmann and Donald E. Porter and Hany E. Ramadan and Aditya Bhandari and Emmett Witchel ( 2007). TxLinux: using and managing hardware transactional memory in an operating system. In: SOSP '07: Proceedings of twenty-first ACM SIGOPS Symposium on Operating Systems Principles. New York, NY, USA, pp. 87--102. Published by ACM. |
| [Wee et al., 2007]
|
Sewook Wee and Jared Casper and Njuguna Njoroge and Yuriy Teslyar and Daxia Ge and Christos Kozyrakis and Kunle Olukotun ( 2007). A Practical FPGA-based Framework for Novel CMP Research. In: FPGA '07: Proceedings of the 2007 ACM/SIGDA 15th International Symposium on Field Programmable Gate Arrays. pp. 116--125. ACM Press, New York, NY, USA. |
| [Waliullah and Stenstrom, 2008]
|
MM Waliullah and Per Stenstrom (April 2008). Intermediate Checkpointing with Conflicting Access Prediction in Transactional Memory Systems. In: Proceedings of the 22nd IEEE International Parallel and Distributed Processing Symposium. |
| [Shriraman et al., 2008]
|
Arrvindh Shriraman and Sandhya Dwarkadas and Michael L. Scott (Jun 2008). Flexible Decoupled Transactional Memory Support. In: Proceedings of the 35th Annual International Symposium on Computer Architecture. |