Publications, Presentations, Protocols, and Patents
Publications
- 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.
New!
- Matthew J. Renzelmann, Asim Kadav and Michael M. Swift. Tolerating Hardware Device Failures in Software. In Proceedings of the Symposium on Operating
Systems Principles, Oct. 2009.
Microdrivers
- 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.
Shadow Drivers
- 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.
Nooks
- 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 driversin Proceedings
of the Tenth ACM SIGOPS European Workshop, Saint-Emilion, France,
Sept. 2002.
- 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.
- 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.
Configuration Management
- 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.
- 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.
- 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. 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 Systematically Benchmarking 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.
Presentations
Device Drivers
- 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
-
OS Support for Virtualizing Transactional Memory talk at TRANSACT 2008. (pdf )
Internet Requests for Comment
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:
- 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.