default search action
Michael L. Scott
Michael Lee Scott
Person information
- affiliation: University of Rochester, New York, USA
- award (2006): Dijkstra Prize
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [b4]Michael L. Scott, Trevor Brown:
Shared-Memory Synchronization, Second Edition. Springer 2024, ISBN 978-3-031-38683-1, pp. 1-217 - [j31]Mingzhe Du, Michael L. Scott:
Buffered Persistence in B+ Trees. Proc. ACM Manag. Data 2(6): 226:1-226:24 (2024) - 2023
- [c115]Wentao Cai, Haosen Wen, Michael L. Scott:
Transactional Composition of Nonblocking Data Structures. PPoPP 2023: 441-443 - [c114]Wentao Cai, Haosen Wen, Michael L. Scott:
Transactional Composition of Nonblocking Data Structures. SPAA 2023: 187-197 - [i6]Wentao Cai, Haosen Wen, Michael L. Scott:
Transactional Composition of Nonblocking Data Structures. CoRR abs/2301.00996 (2023) - 2022
- [c113]Michael L. Scott:
How Should We Think about Persistent Data Structures? PODC 2022: 3 - 2021
- [c112]Haosen Wen, Wentao Cai, Mingzhe Du, Louis Jenkins, Benjamin Valpey, Michael L. Scott:
A Fast, General System for Buffered Persistent Data Structures. ICPP 2021: 73:1-73:11 - [c111]Spyridoula Gravani, Mohammad Hedayati, John Criswell, Michael L. Scott:
Fast Intra-kernel Isolation and Security with IskiOS. RAID 2021: 119-134 - [c110]Wentao Cai, Haosen Wen, Vladimir Maksimovski, Mingzhe Du, Rafaello Sanna, Shreif Abdallah, Michael L. Scott:
Fast Nonblocking Persistence for Concurrent Data Structures. DISC 2021: 14:1-14:20 - [i5]Wentao Cai, Haosen Wen, Vladimir Maksimovski, Mingzhe Du, Rafaello Sanna, Shreif Abdallah, Michael L. Scott:
Fast Nonblocking Persistence for Concurrent Data Structures. CoRR abs/2105.09508 (2021) - 2020
- [c109]H. Alan Beadle, Wentao Cai, Haosen Wen, Michael L. Scott:
Nonblocking Persistent Software Transactional Memory. HiPC 2020: 283-293 - [c108]Chris Kjellqvist, Mohammad Hedayati, Michael L. Scott:
Safe, Fast Sharing of memcached as a Protected Library. ICPP 2020: 6:1-6:8 - [c107]Wentao Cai, Haosen Wen, H. Alan Beadle, Chris Kjellqvist, Mohammad Hedayati, Michael L. Scott:
Understanding and optimizing persistent memory allocation. ISMM 2020: 60-73 - [c106]Wentao Cai, Haosen Wen, H. Alan Beadle, Mohammad Hedayati, Michael L. Scott:
Understanding and optimizing persistent memory allocation. PPoPP 2020: 421-422 - [c105]H. Alan Beadle, Wentao Cai, Haosen Wen, Michael L. Scott:
Nonblocking persistent software transactional memory. PPoPP 2020: 429-430 - [c104]Haosen Wen, Wentao Cai, Mingzhe Du, Benjamin Valpey, Michael L. Scott:
Brief Announcement: Building Fast Recoverable Persistent Data Structures with Montage. DISC 2020: 52:1-52:3 - [i4]Wentao Cai, Haosen Wen, H. Alan Beadle, Chris Kjellqvist, Mohammad Hedayati, Michael L. Scott:
Understanding and Optimizing Persistent Memory Allocation. CoRR abs/2003.06718 (2020) - [i3]Haosen Wen, Wentao Cai, Mingzhe Du, Louis Jenkins, Benjamin Valpey, Michael L. Scott:
Montage: A General System for Buffered Durably Linearizable Data Structures. CoRR abs/2009.13701 (2020)
2010 – 2019
- 2019
- [j30]Pantea Zardoshti, Tingzhe Zhou, Pavithra Balaji, Michael L. Scott, Michael F. Spear:
Simplifying Transactional Memory Support in C++. ACM Trans. Archit. Code Optim. 16(3): 25:1-25:24 (2019) - [c103]Ryan Yates, Michael L. Scott:
Leveraging hardware TM in Haskell. PPoPP 2019: 94-106 - [c102]Mohammad Hedayati, Kai Shen, Michael L. Scott, Mike Marty:
Multi-Queue Fair Queuing. USENIX ATC 2019: 301-314 - [c101]Mohammad Hedayati, Spyridoula Gravani, Ethan Johnson, John Criswell, Michael L. Scott, Kai Shen, Mike Marty:
Hodor: Intra-Process Isolation for High-Throughput Data Plane Libraries. USENIX ATC 2019: 489-504 - [i2]Spyridoula Gravani, Mohammad Hedayati, John Criswell, Michael L. Scott:
IskiOS: Lightweight Defense Against Kernel-Level Code-Reuse Attacks. CoRR abs/1903.04654 (2019) - 2018
- [c100]Qingrui Liu, Joseph Izraelevitz, Se Kwon Lee, Michael L. Scott, Sam H. Noh, Changhee Jung:
iDO: Compiler-Directed Failure Atomicity for Nonvolatile Memory. MICRO 2018: 258-270 - [c99]Haosen Wen, Joseph Izraelevitz, Wentao Cai, H. Alan Beadle, Michael L. Scott:
Interval-based memory reclamation. PPoPP 2018: 1-13 - 2017
- [j29]Joseph Izraelevitz, Michael L. Scott:
Generality and Speed in Nonblocking Dual Containers. ACM Trans. Parallel Comput. 3(4): 22:1-22:37 (2017) - [c98]Joseph Izraelevitz, Lingxiang Xiang, Michael L. Scott:
Performance Improvement via Always-Abort HTM. PACT 2017: 79-90 - [c97]Ryan Yates, Michael L. Scott:
Improving STM performance with transactional structs. Haskell 2017: 186-196 - [c96]Faisal Nawab, Joseph Izraelevitz, Terence Kelly, Charles B. Morrey III, Dhruva R. Chakrabarti, Michael L. Scott:
Dalí: A Periodically Persistent Hash Map. DISC 2017: 37:1-37:16 - 2016
- [c95]Matthew Graichen, Joseph Izraelevitz, Michael L. Scott:
An Unbounded Nonblocking Double-Ended Queue. ICPP 2016: 217-226 - [c94]Joseph Izraelevitz, Hammurabi Mendes, Michael L. Scott:
Brief Announcement: Preserving Happens-before in Persistent Memory. SPAA 2016: 157-159 - [c93]Joseph Izraelevitz, Hammurabi Mendes, Michael L. Scott:
Linearizability of Persistent Memory Objects Under a Full-System-Crash Failure Model. DISC 2016: 313-327 - 2015
- [j28]Michael L. Scott:
Transactional Memory Today. SIGACT News 46(2): 96-104 (2015) - [c92]Lingxiang Xiang, Michael L. Scott:
Software partitioning of hardware transactions. PPoPP 2015: 76-86 - [c91]Lingxiang Xiang, Michael L. Scott:
Conflict Reduction in Hardware Transactions Using Advisory Locks. SPAA 2015: 234-243 - [i1]Michael Philippsen, Pascal Felber, Michael L. Scott, J. Eliot B. Moss:
Concurrent Computing in the Many-core Era (Dagstuhl Seminar 15021). Dagstuhl Reports 5(1): 1-56 (2015) - 2014
- [c90]Konstantinos Menychtas, Kai Shen, Michael L. Scott:
Disengaged scheduling for fair, protected access to fast computational accelerators. ASPLOS 2014: 301-316 - [c89]Li Lu, Weixing Ji, Michael L. Scott:
Dynamic enforcement of determinism in a parallel scripting language. PLDI 2014: 519-529 - [c88]Joseph Izraelevitz, Michael L. Scott:
Brief announcement: a generic construction for nonblocking dual containers. PODC 2014: 53-55 - [c87]Joseph Izraelevitz, Michael L. Scott:
Brief announcement: fast dual ring queues. SPAA 2014: 73-75 - 2013
- [b3]Michael L. Scott:
Shared-Memory Synchronization. Synthesis Lectures on Computer Architecture, Morgan & Claypool Publishers 2013, ISBN 9781608459568, pp. 1-221 - [c86]Lingxiang Xiang, Michael Lee Scott:
Compiler aided manual speculation for high performance concurrent data structures. PPoPP 2013: 47-56 - [c85]Konstantinos Menychtas, Kai Shen, Michael L. Scott:
Enabling OS Research by Inferring Interactions in the Black-Box GPU Stack. USENIX ATC 2013: 291-296 - [c84]Li Lu, Michael L. Scott:
Generic Multiversion STM. DISC 2013: 134-148 - 2012
- [c83]Luke Dalessandro, Michael L. Scott:
Sandboxing transactional memory. PACT 2012: 171-180 - [e3]Tim Harris, Michael L. Scott:
Proceedings of the 17th International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2012, London, UK, March 3-7, 2012. ACM 2012, ISBN 978-1-4503-0759-8 [contents] - 2011
- [c82]Luke Dalessandro, François Carouge, Sean White, Yossi Lev, Mark Moir, Michael L. Scott, Michael F. Spear:
Hybrid NOrec: a case study in the effectiveness of best effort hardware transactional memory. ASPLOS 2011: 39-52 - [c81]Li Lu, Michael L. Scott:
Toward a Formal Semantic Framework for Deterministic Parallel Programming. DISC 2011: 460-474 - [r1]Michael L. Scott:
Synchronization. Encyclopedia of Parallel Computing 2011: 1989-1996 - 2010
- [j27]Arrvindh Shriraman, Sandhya Dwarkadas, Michael L. Scott:
Implementation tradeoffs in the design of flexible transactional memory support. J. Parallel Distributed Comput. 70(10): 1068-1084 (2010) - [c80]Luke Dalessandro, David Dice, Michael L. Scott, Nir Shavit, Michael F. Spear:
Transactional Mutex Locks. Euro-Par (2) 2010: 2-13 - [c79]Luke Dalessandro, Michael F. Spear, Michael L. Scott:
NOrec: streamlining STM by abolishing ownership records. PPoPP 2010: 67-78 - [c78]Luke Dalessandro, Michael L. Scott, Michael F. Spear:
Transactions as the Foundation of a Memory Consistency Model. DISC 2010: 20-34
2000 – 2009
- 2009
- [b2]Michael L. Scott:
Programming Language Pragmatics (3. ed.). Academic Press 2009, ISBN 978-0-12-374514-9, pp. I-XXX, 1-910 - [j26]William N. Scherer III, Doug Lea, Michael L. Scott:
Scalable synchronous queues. Commun. ACM 52(5): 100-111 (2009) - [j25]Arrvindh Shriraman, Sandhya Dwarkadas, Michael L. Scott:
Tapping into Parallelism with Transactional Memory. login Usenix Mag. 34(2) (2009) - [c77]Michael F. Spear, Maged M. Michael, Michael L. Scott, Peng Wu:
Reducing Memory Ordering Overheads in Software Transactional Memory. CGO 2009: 13-24 - [c76]Michael F. Spear, Kirk Kelsey, Tongxin Bai, Luke Dalessandro, Michael L. Scott, Chen Ding, Peng Wu:
Fastpath Speculative Parallelization. LCPC 2009: 338-352 - [c75]Michael F. Spear, Luke Dalessandro, Virendra J. Marathe, Michael L. Scott:
A comprehensive strategy for contention management in software transactional memory. PPoPP 2009: 141-150 - 2008
- [c74]Michael F. Spear, Michael Silverman, Luke Dalessandro, Maged M. Michael, Michael L. Scott:
Implementing and Exploiting Inevitability in Software Transactional Memory. ICPP 2008: 59-66 - [c73]Virendra J. Marathe, Michael F. Spear, Michael L. Scott:
Scalable Techniques for Transparent Privatization in Software Transactional Memory. ICPP 2008: 67-74 - [c72]Arrvindh Shriraman, Sandhya Dwarkadas, Michael L. Scott:
Flexible Decoupled Transactional Memory Support. ISCA 2008: 139-150 - [c71]Michael F. Spear, Luke Dalessandro, Virendra J. Marathe, Michael L. Scott:
Ordering-Based Semantics for Software Transactional Memory. OPODIS 2008: 275-294 - [c70]Michael F. Spear, Andrew Sveikauskas, Michael L. Scott:
Transactional memory retry mechanisms. PODC 2008: 453 - [e2]Siddhartha Chatterjee, Michael L. Scott:
Proceedings of the 13th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP 2008, Salt Lake City, UT, USA, February 20-23, 2008. ACM 2008, ISBN 978-1-59593-795-7 [contents] - 2007
- [c69]Xipeng Shen, Michael L. Scott, Chengliang Zhang, Sandhya Dwarkadas, Chen Ding, Mitsunori Ogihara:
Analysis of input-dependent program behavior using active profiling. Experimental Computer Science 2007: 5 - [c68]Michael L. Scott, Michael F. Spear, Luke Dalessandro, Virendra J. Marathe:
Delaunay Triangulation with Transactions and Barriers. IISWC 2007: 107-113 - [c67]Tongxin Bai, Xipeng Shen, Chengliang Zhang, William N. Scherer III, Chen Ding, Michael L. Scott:
A Key-based Adaptive Transactional Memory Executor. IPDPS 2007: 1-8 - [c66]Arrvindh Shriraman, Michael F. Spear, Hemayet Hossain, Virendra J. Marathe, Sandhya Dwarkadas, Michael L. Scott:
An integrated hardware-software approach to flexible transactional memory. ISCA 2007: 104-115 - [c65]Michael L. Scott, Michael F. Spear, Luke Dalessandro, Virendra J. Marathe:
Transactions and privatization in Delaunay triangulation. PODC 2007: 336-337 - [c64]Michael F. Spear, Virendra J. Marathe, Luke Dalessandro, Michael L. Scott:
Privatization techniques for software transactional memory. PODC 2007: 338-339 - [c63]Ali-Reza Adl-Tabatabai, David Dice, Maurice Herlihy, Nir Shavit, Christos Kozyrakis, Christoph von Praun, Michael L. Scott:
Potential show-stoppers for transactional synchronization. PPoPP 2007: 55 - [c62]Michael F. Spear, Arrvindh Shriraman, Hemayet Hossain, Sandhya Dwarkadas, Michael L. Scott:
Alert-on-update: a communication aid for shared memory multiprocessors. PPoPP 2007: 132-133 - [c61]Michael F. Spear, Arrvindh Shriraman, Luke Dalessandro, Sandhya Dwarkadas, Michael L. Scott:
Nonblocking transactions without indirection using alert-on-update. SPAA 2007: 210-220 - [c60]Virendra J. Marathe, Michael F. Spear, Michael L. Scott:
Transaction Safe Nonblocking Data Structures. DISC 2007: 488-489 - 2006
- [b1]Michael L. Scott:
Programming language pragmatics (2. ed.). Morgan Kaufmann 2006, ISBN 978-0-12-633951-2, pp. I-XXXI, 1-880 - [c59]William N. Scherer III, Doug Lea, Michael L. Scott:
Scalable synchronous queues. PPoPP 2006: 147-156 - [c58]Michael F. Spear, Virendra J. Marathe, William N. Scherer III, Michael L. Scott:
Conflict Detection and Validation Strategies for Software Transactional Memory. DISC 2006: 179-193 - 2005
- [j24]Leonidas I. Kontothanassis, Robert Stets, Galen C. Hunt, Umit Rencuzogullari, Gautam Altekar, Sandhya Dwarkadas, Michael L. Scott:
Shared memory computing on clusters with symmetric multiprocessors and system area networks. ACM Trans. Comput. Syst. 23(3): 301-335 (2005) - [c57]Bijun He, William N. Scherer III, Michael L. Scott:
Preemption Adaptivity in Time-Published Queue-Based Spin Locks. HiPC 2005: 7-18 - [c56]Aaron B. Brown, Anupam Chanda, Rik Farrow, Alexandra Fedorova, Petros Maniatis, Michael L. Scott:
The Many Faces of Systems Research - and How to Evaluate Them. HotOS 2005 - [c55]Athanasios E. Papathanasiou, Michael L. Scott:
Aggressive Prefetching: An Idea Whose Time Has Come. HotOS 2005 - [c54]William N. Scherer III, Michael L. Scott:
Advanced contention management for dynamic software transactional memory. PODC 2005: 240-248 - [c53]Virendra J. Marathe, William N. Scherer III, Michael L. Scott:
Adaptive Software Transactional Memory. DISC 2005: 354-368 - 2004
- [j23]Christopher Stewart, Kai Shen, Sandhya Dwarkadas, Michael L. Scott, Jian Yin:
Profile-Driven Component Placement for Cluster-Based Online Services. IEEE Distributed Syst. Online 5(10) (2004) - [c52]Yongkang Zhu, Grigorios Magklis, Michael L. Scott, Chen Ding, David H. Albonesi:
The Energy Impact of Aggressive Loop Fusion. IEEE PACT 2004: 153-164 - [c51]Greg Semeraro, David H. Albonesi, Grigorios Magklis, Michael L. Scott, Steven G. Dropsho, Sandhya Dwarkadas:
Hiding Synchronization Delays in a GALS Processor Microarchitecture. ASYNC 2004: 159-169 - [c50]Chunqiang Tang, DeQing Chen, Sandhya Dwarkadas, Michael L. Scott:
Integrating Remote Invocation and Distributed Shared State. IPDPS 2004 - [c49]Virendra J. Marathe, William N. Scherer III, Michael L. Scott:
Design tradeoffs in modern software transactional memory systems. LCR 2004: 15:1-15:7 - [c48]Steven G. Dropsho, Greg Semeraro, David H. Albonesi, Grigorios Magklis, Michael L. Scott:
Dynamically Trading Frequency for Complexity in a GALS Microprocessor. MICRO 2004: 157-168 - [c47]Athanasios E. Papathanasiou, Michael L. Scott:
Energy Efficient Prefetching and Caching (Awarded Best Paper!). USENIX ATC, General Track 2004: 255-268 - [c46]William N. Scherer III, Michael L. Scott:
Nonblocking Concurrent Data Structures with Condition Synchronization. DISC 2004: 174-187 - 2003
- [j22]David H. Albonesi, Rajeev Balasubramonian, Steve Dropsho, Sandhya Dwarkadas, Eby G. Friedman, Michael C. Huang, Volkan Kursun, Grigorios Magklis, Michael L. Scott, Greg Semeraro, Pradip Bose, Alper Buyuktosunoglu, Peter W. Cook, Stanley Schuster:
Dynamically Tuning Processor Resources with Adaptive Processing. Computer 36(12): 49-58 (2003) - [j21]Grigorios Magklis, Greg Semeraro, David H. Albonesi, Steve Dropsho, Sandhya Dwarkadas, Michael L. Scott:
Dynamic Frequency and Voltage Scaling for a Multiple-Clock-Domain Microprocessor. IEEE Micro 23(6): 62-68 (2003) - [c45]Michael L. Scott, DeQing Chen, Sandhya Dwarkadas, Chunqiang Tang:
Distributed Shared State. FTDCS 2003: 122-127 - [c44]Chunqiang Tang, DeQing Chen, Sandhya Dwarkadas, Michael L. Scott:
Efficient Distributed Shared State for Heterogeneous Machine Architectures. ICDCS 2003: 560-569 - [c43]Grigorios Magklis, Michael L. Scott, Greg Semeraro, David H. Albonesi, Steve Dropsho:
Profile-Based Dynamic Voltage and Frequency Scaling for a Multiple Clock Domain Microprocessor. ISCA 2003: 14-25 - [c42]DeQing Chen, Chunqiang Tang, Brandon Sanders, Sandhya Dwarkadas, Michael L. Scott:
Exploiting high-level coherence information to optimize distributed shared state. PPoPP 2003: 131-142 - [c41]Athanasios E. Papathanasiou, Michael L. Scott:
Energy Efficiency through Burstiness. WMCSA 2003: 44-53 - [e1]Michael L. Scott, Larry L. Peterson:
Proceedings of the 19th ACM Symposium on Operating Systems Principles 2003, SOSP 2003, Bolton Landing, NY, USA, October 19-22, 2003. ACM 2003, ISBN 1-58113-757-5 [contents] - 2002
- [c40]Steve Dropsho, Alper Buyuktosunoglu, Rajeev Balasubramonian, David H. Albonesi, Sandhya Dwarkadas, Greg Semeraro, Grigorios Magklis, Michael L. Scott:
Integrating Adaptive On-Chip Storage Structures for Reduced Dynamic Power. IEEE PACT 2002: 141-152 - [c39]Greg Semeraro, Grigorios Magklis, Rajeev Balasubramonian, David H. Albonesi, Sandhya Dwarkadas, Michael L. Scott:
Energy-Efficient Processor Design Using Multiple Clock Domains with Dynamic Voltage and Frequency Scaling. HPCA 2002: 29-42 - [c38]DeQing Chen, Chunqiang Tang, Xiangchuan Chen, Sandhya Dwarkadas, Michael L. Scott:
Multi-Level Shared State for Distributed Systems. ICPP 2002: 131-140 - [c37]Greg Semeraro, David H. Albonesi, Steve Dropsho, Grigorios Magklis, Sandhya Dwarkadas, Michael L. Scott:
Dynamic frequency and voltage control for a multiple clock domain microarchitecture. MICRO 2002: 356-367 - [c36]Michael L. Scott:
Non-blocking timeout in scalable queue-based spin locks. PODC 2002: 31-40 - 2001
- [c35]Michael L. Scott, William N. Scherer III:
Scalable queue-based spin locks with timeout. PPoPP 2001: 44-52 - 2000
- [c34]Robert Stets, Sandhya Dwarkadas, Leonidas I. Kontothanassis, Umit Rencuzogullari, Michael L. Scott:
The Effect of Network Total Order, Broadcast, and Remote-Write Capability on Network-Based Shared Memory Computing. HPCA 2000: 265-276 - [c33]DeQing Chen, Sandhya Dwarkadas, Srinivasan Parthasarathy, Eduardo Pinheiro, Michael L. Scott:
InterWeave: A Middleware System for Distributed Shared State. LCR 2000: 207-220
1990 – 1999
- 1999
- [j20]Robert Stets, Galen C. Hunt, Michael L. Scott:
Component-Based APIs for Versioning and Distributed Applications. Computer 32(7): 54-61 (1999) - [c32]Galen C. Hunt, Michael L. Scott:
Intercepting and Instrumenting COM Applications. COOTS 1999: 45-56 - [c31]Sandhya Dwarkadas, Kourosh Gharachorloo, Leonidas I. Kontothanassis, Daniel J. Scales, Michael L. Scott, Robert Stets:
Comparative Evaluation of Fine- and Coarse-Grain Approaches for Software Distributed Shared Memory. HPCA 1999: 260-269 - [c30]Galen C. Hunt, Michael L. Scott:
The Coign Automatic Distributed Partitioning System. OSDI 1999: 187-200 - 1998
- [j19]Maged M. Michael, Michael L. Scott:
Nonblocking Algorithms and Preemption-Safe Locking on Multiprogrammed Shared Memory Multiprocessors. J. Parallel Distributed Comput. 51(1): 1-26 (1998) - [c29]Galen C. Hunt, Michael L. Scott:
A guided tour of the Coign automatic distributed partitioning system. EDOC 1998: 252-262 - 1997
- [j18]Leonidas I. Kontothanassis, Robert W. Wisniewski, Michael L. Scott:
Scheduler-Conscious Synchronization. ACM Trans. Comput. Syst. 15(1): 3-40 (1997) - [c28]