Tom Rodeheffer
PRINCIPAL RESEARCHER
.
Microsoft Research Silicon Valley
+1 650 693 1722
Publications
- Thomas L. Rodeheffer, The Naiad Clock Protocol: Specification, Model Checking, and Correctness Proof, no. MSR-TR-2013-20, 12 February 2013
- Ramakrishna Kotla, Tom Rodeheffer, Indrajit Roy, Patrick Stuedi, and Benjamin Wester, Pasture: Secure Offline Data Access Using Commodity Trusted Hardware, in To Appear in the 10th USENIX Symposium on Operating Systems Design and Implementation (OSDI '12), USENIX, October 2012
- Thomas L. Rodeheffer and Ramakrishna Kotla, Pasture Node State Specification, no. MSR-TR-2012-84, 17 August 2012
- Thomas L. Rodeheffer and Frank McSherry, Using DryadLINQ for Large Matrix Operations, no. MSR-TR-2011-140, 17 June 2011
- Thomas L. Rodeheffer, The Data Center Network L1 Switch Protocol, no. MSR-TR-2011-69, 27 April 2011
- Venugopalan Ramasubramanian, Kaushik Veeraraghavan, Krishna P.N. Puttaswamy, Thomas L. Rodeheffer, Douglas B. Terry, and Ted Wobber, Fidelity-Aware Replication for Mobile Devices, in IEEE Transactions on Mobile Computing, vol. 9, no. 12, pp. 1697-1712, IEEE, December 2010
- Thomas L. Rodeheffer, The Beehive Ring and Multiring Lock Protocols, no. MSR-TR-2010-143, 2 November 2010
- Thomas L. Rodeheffer, Code Generation for the Beehive ISA, no. MSR-TR-2010-113, 12 August 2010
- Ted Wobber, Thomas L. Rodeheffer, and Douglas B. Terry, Policy-based Access Control for Weakly Consistent Replication, in Proceedings of EuroSys 2010, Association for Computing Machinery, Inc., April 2010
- Ted Wobber, Thomas L. Rodeheffer, and Douglas B. Terry, Policy-based Access Control for Peer-to-Peer Replication, no. MSR-TR-2009-15, 24 July 2009
- Thomas L. Rodeheffer, CIMSync Protocol Specification, no. MSR-TR-2009-75, 19 June 2009
- Kaushik Veeraraghavan, Venugopalan Ramasubramanian, Thomas L. Rodeheffer, Douglas B. Terry, and Ted Wobber, Fidelity-Aware Replication for Mobile Devices, in Mobisys 2009: Proceedings of the 7th international conference on Mobile systems, applications, and services , Association for Computing Machinery, Inc., June 2009
- Venugopalan Ramasubramanian, Thomas L. Rodeheffer, Douglas B. Terry, Meg Walraed-Sullivan, Ted Wobber, Catherine C. Marshall, and Amin Vahdat, Cimbiosys: A platform for content-based partial replication, in 6th USENIX Symposium on Networked Systems Design and Implementation (NSDI '09), USENIX, April 2009
- Prince Mahajan, Ramakrishna Kotla, Catherine C Marshall, Venugopalan Ramasubramanian, Thomas L. Rodeheffer, Douglas B. Terry, and Ted Wobber, Effective and Efficient Compromise Recovery for Weakly Consistent Replication, in EuroSys 2009: Proceedings of the 4th ACM European Conference on Computer systems , Association for Computing Machinery, Inc., March 2009
- Vijayan Prabhakaran, Thomas L. Rodeheffer, and Lidong Zhou, Transactional Flash, in Proceedings of the 8th USENIX Symposium on Operating Systems Design and Implementation (OSDI ’08), USENIX, December 2008
- Thomas Rodeheffer, Cyclic Commit Protocol Specifications, no. MSR-TR-2008-125, September 2008
- Thomas Rodeheffer, Software Integer Division, no. MSR-TR-2008-141, August 2008
- Venugopalan Ramasubramanian, Thomas Rodeheffer, Douglas B. Terry, Meg Walraed-Sullivan, Ted Wobber, Cathy Marshall, and Amin Vahdat, Cimbiosys: A platform for content-based partial replication, no. MSR-TR-2008-116, August 2008
- Daniel Peek, Venugopalan Ramasubramanian, Tom L. Rodeheffer, Douglas B. Terry, Meg Walraed-Sullivan, and Ted Wobber, Fast Encounter-based Synchronization for Mobile Devices, in Proceedings IEEE International Workshop on Dynamic Virtual Communities, October 2007
- Yuan Yu, Thomas Rodeheffer, and Wei Chen, RaceTrack: Efficient Detection of Data Race Conditions via Adaptive Tracking, in ACM Symposium on Operating Systems Principles (SOSP 2005), Association for Computing Machinery, Inc., Brighton, UK, October 2005
- Minwen Ji, Tom Rodeheffer, Marcos Aguilera, and Mark Lillibridge, Generating unforgeable evidence for secure communications, no. HPL-2005-71, Hewlett-Packard Laboratories, Palo Alto, CA, May 2005
- Thomas L. Rodeheffer, Monitoring Ethernet connectivity, no. HPL-2003-160, Hewlett-Packard Laboratories, Palo Alto, CA, July 2003
- Thomas Rodeheffer, Chandramohan Thekkath, and Darrell Anderson, Smartbridge: a scalable bridge architecture, in Proceedings of ACM SIGCOMM 2000, ACM SIGCOMM, August 2000
- Hannes Marais and Tom Rodeheffer, Automating the Web with WebL, in Dr. Dobb's Journal, vol. 24, no. 1, pp. 20-27, January 1999
- Thomas L. Rodeheffer and James B. Saxe, An efficient matching algorithm for a high-throughput, low-latency data switch, no. SRC-RR-162, Compaq Systems Research Center, Palo Alto, CA, November 1998
- Thomas L. Rodeheffer and James B. Saxe, Smooth scheduling in a cell-based switching network, no. SRC-RR-150, Digital Systems Research Center, Palo Alto, CA, February 1998
- Thomas L. Rodeheffer and Michael D. Schroeder, A case study: Automatic reconfiguration in Autonet, in Distributed Systems, Addison-Wesley, June 1993
- Thomas L. Rodeheffer, Experience with Autonet, in Computer Networks and ISDN Systems, vol. 25, no. 6, pp. 623-629, Elsevier, January 1993
- Michael Schroeder, Andrew Birrell, Mike Burrows, Hal Murray, Roger Needham, Tom Rodeheffer, Ed Satterthwaite, and Chuck Thacker, Autonet: A High-Speed, Self-Configuring Local Area Network Using Point-to-Point Links, in IEEE Journal on Select Areas of Communication, vol. 9, no. 8, Institute of Electrical and Electronics Engineers, Inc., October 1991
- Thomas L. Rodeheffer and Michael D. Schroeder, Automatic Reconfiguration in Autonet, in SOSP Symposium on Operating Systems Principles '91, Association for Computing Machinery, Inc., 1991
