Publications, Presentations, Protocols, and Patents
Publications
Jump to:
- By date
- Transactional Memory
- Device Drivers
- Memory Technology
- Cloud Computing
- Reliability
- Computer Architecture
- Operating Systems
- Computer Security
- Storage
- Presentations
- Internet RFCs and drafts
- Patents
- Haris Volos, Andres Jaan Tack, Michael M. Swift. Using Transactional Memory in Concurrent Programs, ASPLOS '12: Proceedings of the 17th International Conference on Architectural Support for Programming Languages and Operating Systems, March 2012.
- Haris Volos, Andres Jaan Tack, Michael M. Swift. Mnemosyne: Lightweight Persistent Memory, ASPLOS '11: Proceedings of the 16th International Conference on Architectural Support for Programming Languages and Operating Systems, March 2011.
- Haris Volos, Andres Jaan Tack, Neelam Goyal, Michael M. Swift, Adam Welc. xCalls: Safe I/O in Memory Transactions, EuroSys, April 2009.
- Polina Dudnik and Michael M. Swift Condition Variables and Transactional Memory: Problem or Opportunity?, Fourth ACM SIGPLAN Workshop on Transactional Memory (TRANSACT), February 2009.
- Jayaram Bobba, Neelam Goyal, Mark D. Hill, Michael M. Swift, and David A. Wood. TokenTM: Efficient Execution of Large Transactions with Hardware Transactional Memory, International Symposium on Computer Architecture (ISCA), June 2008.
- Michael M. Swift, Haris Volos, Neelam Goyal, Luke Yen, Mark D. Hill and David A Wood. OS Support for Virtualizing Transactional Memory, Third ACM SIGPLAN Workshop on Transactional Memory (TRANSACT), February 2008. Also appears as Univ. of Wisconsin Computer Sciences Technical Report CS-TR-2008-1630, February 2008.
- Haris Volos, Neelam Goyal and Michael M. Swift. Pathological
Interaction of Locks with Transactional Memory, Third ACM SIGPLAN
Workshop on Transactional Memory (TRANSACT), February 2008.
Also appears as Univ. of Wisconsin Computer Sciences Technical Report CS-TR-2008-1631, February 2008. - Jayaram Bobba, Kevin E. Moore, Haris Volos, Luke Yen, Mark D. Hill, Michael M. Swift, and David A. Wood. Performance Pathologies in Hardware Transactional Memory. IEEE Micro Special Issue: Micro's Top Picks from Microarchitecture Conferences, January-February 2008.
- Mark D. Hill, Derek Hower, Keven E. Moore, Michael M. Swift, Haris Volos and David A. Wood A Case for Deconstructing Hardware Transactional Memory Systems, Univ. of Wisconsin Computer Sciences Technical Report CS-TR-2007-1594, June 2007.
- Jayaram Bobba, Kevin E. Moore, Haris Volos, Luke Yen, Mark D. Hill, Michael M. Swift, and David A. Wood. Performance Pathologies in Hardware Transactional Memory, in Proceedings of the International Symposium on Computer Architecture (ISCA), June 2007.
- Luke Yen, Jayaram Bobba, Michael R. Marty, Kevin E. Moore, Haris Volos, Mark D. Hill, Michael M. Swift, and David A. Wood, LogTM-SE: Decoupling Hardware Transactional Memory from Caches, in Proceedings of the International Symposium on High Performance Computer Architecture (HPCA), February 2007.
- Michelle J. Moravan, Jayaram Bobba, Kevin E. Moore, Luke Yen, Mark D. Hill, Ben Liblit, Michael M. Swift and David A. Wood, Supporting Nested Transactional Memory in LogTM, in Proceedings International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS) , October 2006.
Transactional Memory
Device Drivers
- Asim Kadav, Matthew J. Renzelmann, Michael M. Swift. Fine-Grained Fault Tolerance using Device Checkpoints. In ASPLOS'13: Proceeedings of the 18th International Conference on Architectural Support for Programming Languages and Operating Systems, Houston, Texas, March 16-20 2013.
- Matthew J. Renzelmann, Asim Kadav, and Michael M. Swift. SymDrive: Testing Drivers without Devices. In OSDI '12: Proceedings of the 12th Symposium on Operating System Design and Implementation, October 2012
- Asim Kadav and Michael M. Swift. Understanding modern device drivers, in ASPLOS '12: Proceedings of the 17th International Conference on Architectural Support for Programming Languages and Operating Systems, March 2012.
- Asim Kadav, Matthew J. Renzelmann and Michael M. Swift. Tolerating Hardware Device Failures in Software. In Proceedings of the Symposium on Operating Systems Principles, Oct. 2009.
- Matthew J. Renzelmann and Michael M. Swift. Decaf: Moving Device Drivers to a Modern Language. in Proceedings of the USENIX Annual Technical Conference, June 2009.
- Vinod Ganapathy, Matthew Renzelmann, Arini Balakrishnan, Michael Swift and Somesh Jha. The Design and Implementation of Microdrivers, in Proceedings of the 13th International Conference on Architectural Support for Programming Languages and Operating Systems, Seattle, WA, March 2008.
- Vinod Ganapathy, Arini Balakrishnan, Michael M. Swift, and Somesh Jha. Microdrivers: A New Architecture for Device Drivers, in Proceedings of the 11th Workshop on Hot Topics in Operating Systems San Diego, California, May 2007.
- Asim Kadav, Michael M. Swift. Live Migration of Direct-Access Devices. In Operating Systems Review, 43(3), Jul. 2009.
- Asim Kadav, Michael M. Swift. Live Migration of Direct-Access Devices. In Proceedings of the Workshop on I/O Virtualization (WIOV), Dec. 2008.
- Michael M. Swift, Damien Martin-Guillerez, Muthukaruppan Annamalai, Brian N. Bershad and Henry M. Levy. Live Update for Device Drivers, Univ. of Wisconsin Computer Sciences Technical Report CS-TR-2008-1634, Mar. 2008.
- Michael Swift, Muthukaruppan Annamalai, Brian N. Bershad, Henry M.
Levy. Recovering Device Drivers, in ACM
Transactions on Computer Systems, 24(4), Nov. 2006.
- Michael Swift, Muthukaruppan Annamalai, Brian N. Bershad, Henry M. Levy. Recovering Device Drivers, in Proceedings of the 6th ACM/USENIX Symposium on Operating Systems Design and Implementation, San Francisco, CA, Dec. 2004. Best paper award.
- Michael M. Swift. Device Driver Reliability, chapter in The Handbook of Research on Advanced Operating Systems and Kernel Applications: Techniques and Technologies, edited by Yair Waisman and Song Jiang, 2009.
- Michael Swift. Improving
the Reliability of Commodity Operating Systems, Ph.D. Dissertation, Oct. 2005.
- Michael Swift, Brian N. Bershad, and Henry M. Levy. Improving the Reliability of Commodity
Operating Systems, in ACM Transactions on Computer
Systems, 23(1), Feb. 2005.
- Michael Swift, Brian N. Bershad, and Henry M. Levy. Improving the Reliability of Commodity
Operating Systems, in Proceedings of the 19th ACM Symposium
on Operating Systems Principles, Bolton Landing, NY,
Oct. 2003. Best paper award.
- Michael Swift, Steven Martin, Henry M. Levy, and Susan J. Eggers. Nooks: an architecture for reliable device drivers, in Proceedings of the Tenth ACM SIGOPS European Workshop, Saint-Emilion, France, Sept. 2002.
New!
Microdrivers
Shadow Drivers
Nooks
- Haris Volos, Andres Jaan Tack, Michael M. Swift. Mnemosyne: Lightweight Persistent Memory, ASPLOS '11: Proceedings of the 16th International Conference on Architectural Support for Programming Languages and Operating Systems, March 2011.
- Mohit Saxena, Mehul A. Shah, Stavros Harizopoulos, Michael M. Swift and Arif Merchant. Hathi: Durable Transactions for Memory using Flash In ACM SIGMOD Eighth International Workshop on Data Management on New Hardware (DaMoN), May 2012
- Mohit Saxena and Michael M. Swift. FlashTier: a Lightweight, Consistent and Durable Storage Cache, in Proceedings of EuroSys 2012, April 2012.
- Mohit Saxena, Mehul A. Shah, Stavros Harizopoulos, Michael M. Swift and Arif Merchant. Hathi: Durable Transactions for Memory using Flash. In 3rd Annual Non-Volatile Memories Workshop, March 2012.
- Mohit Saxena and Michael Swift. Solid-State Cache Management. In 3rd Annual Non-Volatile Memories Workshop, March 2012.
- Mohit Saxena and Michael M. Swift. FlashVM: Virtual Memory Management on Flash . in Proceedings of the USENIX Annual Technical Conference, June 2010.
- Mohit Saxena and Michael M. Swift. Revisiting Database Storage Optimizations on Flash, Univ. of Wisconsin Computer Sciences Technical Report CS-TR-2010-1671, Mar., 2010
- Mohit Saxena and Michael M. Swift. FlashVM: Revisiting the Virtual Memory Hierarchy . in Proceedings of the Workshop on Hot Topics in Operating Systems (HotOS), May 2009.
Storage-class Memory
Flash Memory
- Venkatanathan Varadarajan, Benjamin Farley, Thomas Ristenpart and Michael M. Swift. Resource-Freeing Attacks: Improve Your Cloud Performance (at Your Neighbor's Expense). To appear in CCS '12:19th ACM Conference on Computer and Communications Security, October 2012.
- Joshua A. Redstone, Michael M. Swift, Brian N. Bershad. Using
Computer to Diagnose Computer Problems, in
Proceedings of the 9th Workshop on Hot Topics in Operating Systems,
Lihue, HI, May 2004.
- Sankaralingam Panneerselvam and Michael M. Swift Chameleon: Operating System Support for Dynamic Processors, in ASPLOS '12: Proceedings of the 17th International Conference on Architectural Support for Programming Languages and Operating Systems, March 2012.
- Sankaralingam Panneerselvam and Michael M. Swift. Dynamic Processors Demand Dynamic Operating Systems, in Proceedings of the 2nd Workshop on Hot Topics in Parallelism, Berkeley, CA, June 2010.
- Adwait N. Tumbde and Michael M. Swift . A New Model for Managing Configuration Data. Univ. of Wisconsin Computer Sciences Technical Report CS-TR-2007-1619, Oct. 2007.
- Arkaprava Basu, Mark D. Hill, Michael M. Swift. Reducing memory reference energy with Opportunistic Virtual Caching. To appear in ISCA '12: Proceedings of the 39th International Symposium on Computer Architecture, June 2012.
- Polina Dudnik and Michael M. Swift Condition Variables and Transactional Memory: Problem or Opportunity?, Fourth ACM SIGPLAN Workshop on Transactional Memory (TRANSACT), February 2009.
- Jayaram Bobba, Neelam Goyal, Mark D. Hill, Michael M. Swift, and David A. Wood. TokenTM: Efficient Execution of Large Transactions with Hardware Transactional Memory, International Symposium on Computer Architecture (ISCA), June 2008.
- Michael M. Swift, Haris Volos, Neelam Goyal, Luke Yen, Mark D. Hill and David A Wood. OS Support for Virtualizing Transactional Memory, Third ACM SIGPLAN Workshop on Transactional Memory (TRANSACT), February 2008. Also appears as Univ. of Wisconsin Computer Sciences Technical Report CS-TR-2008-1630, February 2008.
- Haris Volos, Neelam Goyal and Michael M. Swift. Pathological
Interaction of Locks with Transactional Memory, Third ACM SIGPLAN
Workshop on Transactional Memory (TRANSACT), February 2008.
Also appears as Univ. of Wisconsin Computer Sciences Technical Report CS-TR-2008-1631, February 2008. - Jayaram Bobba, Kevin E. Moore, Haris Volos, Luke Yen, Mark D. Hill, Michael M. Swift, and David A. Wood. Performance Pathologies in Hardware Transactional Memory. IEEE Micro Special Issue: Micro's Top Picks from Microarchitecture Conferences, January-February 2008.
- Mark D. Hill, Derek Hower, Keven E. Moore, Michael M. Swift, Haris Volos and David A. Wood A Case for Deconstructing Hardware Transactional Memory Systems, Univ. of Wisconsin Computer Sciences Technical Report CS-TR-2007-1594, June 2007.
- Jayaram Bobba, Kevin E. Moore, Haris Volos, Luke Yen, Mark D. Hill, Michael M. Swift, and David A. Wood. Performance Pathologies in Hardware Transactional Memory, in Proceedings of the International Symposium on Computer Architecture (ISCA), June 2007.
- Luke Yen, Jayaram Bobba, Michael R. Marty, Kevin E. Moore, Haris Volos, Mark D. Hill, Michael M. Swift, and David A. Wood, LogTM-SE: Decoupling Hardware Transactional Memory from Caches, in Proceedings of the International Symposium on High Performance Computer Architecture (HPCA), February 2007.
- Michelle J. Moravan, Jayaram Bobba, Kevin E. Moore, Luke Yen, Mark D. Hill, Ben Liblit, Michael M. Swift and David A. Wood, Supporting Nested Transactional Memory in LogTM, in Proceedings International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS) , October 2006.
- Steve Swanson, Luke K. McDowell, Michael M. Swift, Susan J. Eggers and Henry M. Levy. An Evaluation of Speculative Instruction Execution on Simultaneous Multithreaded Processors, in ACM Transactions on Computer Systems, 21(3), Aug. 2003.
- Shakeel Butt, Vinod Ganapathy, Michael Swift, Chih-Cheng Chang. Protecting Commodity OS Kernels from Vulnerable Device Drivers. In Proceedings of Annual Computer Security Applications Conference (ACSAC), December 2009
- Michael M. Swift, Peter Brundrett, Cliff Van Dyke, Praerit Garg, Anne Hopkins, Shannon Chan, Mario Goertzel and Gregory Jensenworth. Improving the Granularity of Access Control for Windows 2000, in ACM Transactions on Information and System Security, 5(4), Nov. 2002.
- Michael M. Swift, Cliff Van Dyke, Peter Brundrett, Praerit Garg, Anne Hopkins, Mario Goertzel, Shannon Chan, Gregory Jensensworth. Improving the Granularity of Access Control in Windows NT in Proceedings of SACMAT 2001, May 2001.
- Jonathan Trostle, Irina Kosinovsky, and Michael M. Swift. Implementation of Kerberos crossrealm referral handling in the MIT Kerberos client , in the Proceedings of the Network and Distributed Systems Security Symposium, San Diego, California, February 2001.
- Mohit Saxena, Yiying Zhang, Michael M. Swift, Andrea C. Arpaci-Dusseau and Remzi H. Arpaci-Dusseau. Getting Real: Lessons in Transitioning Research Simulations into Hardware Systems, in Proceedings of 11th Usenix Conference on File and Storage Technologies (FAST), February 2013.
- Mohit Saxena and Michael M. Swift. FlashTier: a Lightweight, Consistent and Durable Storage Cache, in Proceedings of EuroSys 2012, April 2012.
- Mohit Saxena, Mehul A. Shah, Stavros Harizopoulos, Michael M. Swift and Arif Merchant. Hathi: Durable Transactions for Memory using Flash. In 3rd Annual Non-Volatile Memories Workshop, March 2012.
- Mohit Saxena and Michael Swift. Solid-State Cache Management. In 3rd Annual Non-Volatile Memories Workshop, March 2012.
- Haris Volos and Michael Swift. Storage Systems for Storage-Class Memory. In 2nd Annual Non-Volatile Memories Workshop, March 2011.
- Swaminathan Sundararaman, Sriram Subramanian, Abhishek Rajimwale, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau, Michael M. Swift. Membrane: Operating System Support for Restartable File Systems, ACM Transactions on Storage, Volume 6, Issue 3 (Sep 2010) (TOS '10)
- Mohit Saxena and Michael M. Swift. Revisiting Database Storage Optimizations on Flash, Univ. of Wisconsin Computer Sciences Technical Report CS-TR-2010-1671, Mar., 2010
- Swaminathan Sundararaman, Sriram Subramanian, Abhishek Rajimwale, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau, and Michael M. Swift. Membrane: Operating System Support for Restartable File Systems. In Proceedings of FAST, February. 2010. Best paper award.
- Swaminathan Sundararaman, Sriram Subramanian, Abhishek Rajimwale, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau, and Michael M. Swift. Membrane: Operating System Support for Restartable File Systems. In Operating Systems Review, 44(1), Jan. 2010
- Swaminathan Sundararaman, Sriram Subramanian, Abhishek Rajimwale, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau, and Michael M. Swift. Why panic()? Improving Reliability with Restartable File Systems . To appear in Proceedings of HotStorage, Oct. 2009.
- Lakshmi N. Bairavasundaram, Meenali Rungta, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau, and Michael M. Swift Analyzing the Effects of Disk-Pointer Corruption. In Proceedings of the 38th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, June 2008.
- Robert Grimm, Michael M. Swift, and Henry M. Levy. Revisiting structured storage: A transactional record store. Technical Report UW-CSE-00-04-01, University of Washington, Department of Computer Science and Engineering, April 2000.
Cloud Computing
Reliability
Operating Systems
Computer Architecture
Computer Security
Storage
Presentations
- Software Support for Improved Driver Reliability talk at UMass, UT-Austin, 2009-2010. (pdf)
- Decaf: Moving Device Drivers to a Modern Language talk at USENIX, June 2009. (pdf)
- The Design and Implementation of Microdrivers talk at ASPLOS, March 2008. (pdf)
- Improving the Reliabibility of Commodity Operating Systems talk given at UIUC ACM Reflections/Projections Conference, October 2006. (pdf)
- Improving the Reliabibility of Commodity Operating Systems job talk given at various places in 2005 (pdf)
- Recovery Device Drivers talk at OSDI 2004, December 2004. (pdf)
- Recovering Device
Drivers, or
Cleaning Up Nooks talk in UW class CSE551: Graduate Operating
Systems (pdf)
- Shadow Drivers:
Transparent
Recovery for Kernel Extensions poster at UW
industrial Affiliates, February 2004 (pdf)
- Improving the Reliability of Commodity Operating Systems talk at SOSP 2003, October 2003 (pdf)
- Nooks poster at UW
industrial Affiliates, February 2003 (pdf)
- Nooks: an architecture
for
reliable device drivers talk at ACM SIGOPS worksop, September
2002(ppt)
- Nooks: an architecture for reliable device drivers talk at UW Networking and Systems Retreat, June 2002 (ppt)
- Transactional Memory for Existing Programs talk at TMW 1, 2010. (pdf)
- OS Support for Virtualizing Transactional Memory talk at TRANSACT 2008. (pdf)
Device Drivers
Transactional Memory
Internet Requests for Comment
- RFC3244: "Microsoft Windows 2000 Kerberos Change Password and Set Password Protocols", M. Swift, J. Trostle, and J. Brezak,
Internet Drafts
- "The Windows 2000 RC4-HMAC Kerberos encryption type", John Brezak, Michael Swift, 11/15/2000.
- "Lightweight Kerberos Mechanism", J Trostle, Michael Swift, 11/22/2000 (expired).
- "Kerberos Set/Change Password: Version 2", Michael Swift, Jonathan Trostle, John Brezak, Bill Gossman 4/2000. (expired)
- "Extending the GSS Kerberos Mechanism for Initial Kerberos Authentication (IAKERB)", Michael Swift, Jonathan Trostle, Bernard Aboba and Glen Zorn, 7/2001 (expired).
- "User to User Kerberos Authentication using GSS-API", Michael Swift 10/1999 (expired).
- "Extensions to Kerberos V5 For Additional Initial Encryption", Jonathan Trostle and Michael M. Swift, 12/24/1999 (expired).
- "Generating KDC referrals to locate Kerberos Realms", Michael Swift, J. Brezak, J. Trostle, K. Raeburn, 2/2001 (expired).
Patents:
- US 2012/0204060 A1: "Providing restartable file systems within computing devices," by Michael M. Swift, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau, Swaminathan Sundararaman, Sriram Subramanian and Abhishek Rajimwale. Pending.
- US08239633: "Non-broadcast signature-based transactional memory", by David A. Wood Mark D. Hill, Michael M. Swift, Michael R. Marty, Luke Yen Kevin E. Moore, Jayaram Bobba, Haris Volos, issued August 2012.
- US07673174: "Recovering Device Drivers", by M. Swift, B. Bershad, H. Levy, issued March 2010
- US07113994: “System and method of proxy authentication in a secured network,” by M. Swift, N. Amit, R. Ward, issued September 2006.
- US6625603: “Object-type specific access control,” by P. Garg, M. Swift, C. Van Dyke, R. Ward, and P. Brundrett, issued September 2003.
- US6505300: “Method and system for secure running of untrusted content,” by S. Chan, G. Jensenworth, M. Goertzel, B. Shah, M. Swift, and R. Ward, issued January 2003.
- US6427209: “System and method of user logon in combination with user authentication for network access,” by J. Brezak, R. Ward, M. Swift, P. Leach, issued July 2002.
- US6412070: “Extensible security system and method for controlling access to objects in a computing environment,” by C. Van Dyke, P. Brundrett, M. Swift, P. Garg, and R. Ward, issued June 2002.
- US6401211: “System and method of user logon in combination with user authentication for network access,” by J. Brezak, R. Ward, M. Swift, and P. Leach, issued June 2002.
- US6377691: “Challenge-response authentication and key exchange for a connectionless security protocol,” by M. Swift and B. Shah, issued Apr. 2002.
- US6308274: “Least privilege via restricted tokens,” by M. Swift, issued Oct. 2001.
- US6289458: “Per-property access control mechanism,” by P. Garg, M. Swift, C. Van Dyke, R. Ward, and P. Brundrett, issued Sept. 2001.
- US6279111: “Security model using restricted tokens,” by G. Jensenworth, P. Garg, M. Swift, M. Goertzel, and S. Chan, issued Aug. 2001.
- US6189100: “Ensuring the integrity of remote boot client data,” by A. Barr, M. Swift, and C. Lenzmeier, issued Feb. 2001.
- US5768519: “Method and apparatus for merging user accounts from a source security domain into a target security domain,” by M. Swift, C. Van Dyke, R. Reichel, P. Misra, M. Seaman, J. Kelly, issued June 1998.
- US5761669: “Controlling access to objects on multiple operating systems,” by D. Montague, P. Misra, M. Swift, and R. Reichel, issued June 1998.
- US5719941: “Method for changing passwords on a remote computer,” by M. Swift, C. Van Dyke, and P. Misra, issued Feb. 1998.
- US5708812: “Method and apparatus for Migrating from a source domain network controller to a target domain network controller,” by C. Van Dyke, M. Swift, K. Logan, and P. Misra, issued Jan 1998.
Michael M. Swift
Assistant Professor
Computer Sciences Department
College of Letters and Sciences
University of Wisconsin, Madison
Contact Information
608-890-0131
swift at cs dot wisc dot edu
7369 Computer Sciences
Computer Sciences Department
University of Wisconsin-Madison
1210 West Dayton Street
Madison, WI 53706-1685 USA