Publications

Eddie Kohler

Type-Aware Transactions for Faster Concurrent Code. (PDF)
Nathaniel Herman, Jeevana Priya Inala, Yihe Huang, Lillian Tsai, Eddie Kohler, Barbara Liskov, and Liuba Shrira.
Proc. EuroSys '16, the European Conference on Computer Systems, London, April 2016.

Correlating Extracted and Ground-Truth Harmonic Data in Music Retrieval Tasks. (PDF)
Dylan Freedman, Eddie Kohler, and Hans Tutschku.
Proc. 16th International Society for Music Information Retrieval Conference (ISMIR 2015), M´alaga, Spain, October 2015, pages 561-567.

Specifying Crash Safety for Storage Systems. (PDF)
Haogang Chen, Daniel Ziegler, Adam Chlipala, M. Frans Kaashoek, Eddie Kohler, and Nickolai Zeldovich.
Proc. 15th Workshop on Hot Topics in Operating Systems (HotOS XV), Kartause Ittingen, Switzerland, May 2015.

The Scalable Commutativity Rule: Designing Scalable Software for Multicore Processors. (ACM Digital Library)
Austin T. Clements, M. Frans Kaashoek, Nickolai Zeldovich, Robert T. Morris, and Eddie Kohler.
ACM Transactions on Computer Systems 32(4), January 2015.

Phase Reconciliation for Contended In-Memory Transactions. (PDF)
Neha Narula, Cody Cutler, Eddie Kohler, and Robert Morris.
Proc. 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI '14), October 2014.

Fast Databases With Fast Durability and Recovery Through Multicore Parallelism. (PDF)
Wenting Zheng, Stephen Tu, Eddie Kohler, and Barbara Liskov.
Proc. 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI '14), October 2014.

Accelerating MCMC via Parallel Predictive Prefetching. (PDF)
Elaine Angelino, Eddie Kohler, Amos Waterland, Margo Seltzer, and Ryan P. Adams.
Proc. 30th Conference on Uncertainty in Artificial Intelligence (UAI 2014), July 2014.

Easy Freshness with Pequod Cache Joins. (PDF)
Bryan Kate, Eddie Kohler, Michael S. Kester, Neha Narula, Yandong Mao, and Robert Morris.
Proc. NSDI '14, 11th USENIX Symposium on Networked Systems Design & Implementation, Seattle, April 2014.

Speedy Transactions in Multicore In-Memory Databases. (PDF)
Stephen Tu, Wenting Zheng, Eddie Kohler, Barbara Liskov, and Samuel Madden.
Proc. 24th ACM Symposium on Operating Systems Principles (SOSP '13), Farmington, Pennsylvania, November 2013.

The Scalable Commutativity Rule: Designing Scalable Software for Multicore Processors. (PDF)
Austin T. Clements, M. Frans Kaashoek, Nickolai Zeldovich, Robert T. Morris, and Eddie Kohler.
Proc. 24th ACM Symposium on Operating Systems Principles (SOSP '13), Farmington, Pennsylvania, November 2013.

Cache Craftiness for Fast Multicore Key-Value Storage. (PDF)
Yandong Mao, Eddie Kohler, and Robert Morris.
Proc. EuroSys'12, the European Conference on Computer Systems, Bern, April 2012.

Evaluating the suitability of server network cards for software routers.
Maziar Manesh, Katerina Argyraki, Mihai Dobrescu, Norbert Egi, Kevin Fall, Gianluca Iannaccone, Eddie Kohler, and Sylvia Ratnasamy.
Proc. ACM SIGCOMM 2010 Workshop on Programmable Routers for Extensible Services of Tomorrow, Philadelphia, November 2010.

The Tenet Architecture for Tiered Sensor Networks. (ACM Digital Library)
Jeongyeup Paek, Ben Greenstein, Omprakash Gnawali, Ki-Young Jang, August Joki, Marcos Vieira, John Hicks, Deborah Estrin, Ramesh Govindan, and Eddie Kohler.
ACM Transactions on Sensor Networks 6(4), July 2010, pages 34:1-34:44.

Modular Data Storage with Anvil. (PDF)
Mike Mammarella, Shant Hovsepian, and Eddie Kohler.
Proc. 22nd ACM Symposium on Operating Systems Principles (SOSP '09), Big Sky, Montana, October 2009, pages 147-160.

Suelo: Human-Assisted Sensing for Exploratory Soil Monitoring Studies. (PDF)
Nithya Ramanathan, Thomas Schoellhammer, Eddie Kohler, Kamin Whitehouse, Thomas Harmon, and Deborah Estrin.
Proc. 7th International Conference on Embedded Networked Sensor Systems (ACM SenSys '09), Berkeley, California, November 2009, pages 197-210.

Verifying Reference Counting Implementations. (PDF)
Michael Emmi, Ranjit Jhala, Eddie Kohler, and Rupak Majumdar.
Tools and Algorithms for the Construction and Analysis of Systems, 15th International Conference, TACAS 2009; held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 2009, pages 352-367.
=> Lecture Notes in Computer Science 5505

Near-Optimal Radio Use for Wireless Network Synchronization. (PDF)
Milan Bradonjić, Eddie Kohler, and Rafail Ostrovsky.
Proc. 5th International Workshop on Algorithmic Aspects of Wireless Sensor Networks, Rhodes, Greece, July 2009, pages 15-28.

Profile for Datagram Congestion Control Protocol (DCCP) Congestion ID 4: TCP-Friendly Rate Control for Small Packets (TFRC-SP). (textPDF)
S. Floyd and E. Kohler.
Internet Engineering Task Force RFC 5622, August 2009.

Reducing Seek Overhead with Application-Directed Prefetching. (PDF)
Steve VanDeBogart, Christopher Frost, and Eddie Kohler.
Proc. 2009 USENIX Annual Technical Conference, San Diego, California, June 2009.

Sensor Network Data Fault Types. (ACM Digital Library)
Kevin Ni, Nithya Ramanathan, Mohamed Nabil Hajj Chehade, Laura Balzano, Sheela Nair, Sadaf Zahedi, Eddie Kohler, Greg Pottie, Mark Hansen, and Mani Srivastava.
ACM Transactions on Sensor Networks 5(3), May 2009.

Can Software Routers Scale?. (PDF)
Katerina Argyraki, Salman Abdul Baset, Byung-Gon Chun, Kevin Fall, Gianluca Iannaccone, Allan Knies, Eddie Kohler, Maziar Manesh, Sergiu Nedveschi, and Sylvia Ratnasamy.
Proc. ACM SIGCOMM 2008 Workshop on Programmable Routers for Extensible Services of Tomorrow, Seattle, Washington, August 2008, pages 21-26.

Hot Crap!. (PDF)
Eddie Kohler.
Workshop Record of WOWCS '08: The 2008 Workshop on Organizing Workshops, Conferences, and Symposia for Computer Systems, San Francisco, April 2008.
=> HotCRP site.

Manageable Fine-Grained Information Flow. (PDF)
Petros Efstathopoulos and Eddie Kohler.
Proc. 3rd ACM SIGOPS/EuroSys European Conference on Computer Systems 2008, Glasgow, April 2008, pages 301-314.

Exploring the Robustness of BitTorrent Peer-to-Peer Content Distribution Systems.
Nikitas Liogkas, Robert Nelson, Eddie Kohler, and Lixia Zhang.
Concurrency and Computation: Practice and Experience 20(2), February 2008, pages 179-189.

NetComplex: A Complexity Metric for Networked System Designs. (PDF)
Byung-Gon Chun, Sylvia Ratnasamy, and Eddie Kohler.
Proc. NSDI '08, 5th USENIX Symposium on Networked Systems Design & Implementation, San Francisco, California, April 2008, pages 393-406.

Xoc, An Extension-Oriented Compiler for Systems Programming. (PDF)
Russ Cox, Tom Bergan, Austin Clements, Frans Kaashoek, and Eddie Kohler.
Proc. 13th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS XIII), Seattle, Washington, March 2008, pages 244-254.
=> Xoc site.

Small Is Not Always Beautiful. (PDF)
Paweł Marciniak, Nikitas Liogkas, Arnaud Legout, and Eddie Kohler.
Proc. 7th International Workshop on Peer-to-Peer Systems (IPTPS 2008), Tampa Bay, Florida, February 2008.

Labels and Event Processes in the Asbestos Operating System. (ACM Digital Library)
Steve VanDeBogart, Petros Efstathopoulos, Eddie Kohler, Maxwell Krohn, Cliff Frey, David Ziegler, Frans Kaashoek, Robert Morris, and David Mazières.
ACM Transactions on Computer Systems 25(4), November 2007, pages 11:1-11:43.

Generalized File System Dependencies. (PDF)
Christopher Frost, Mike Mammarella, Eddie Kohler, Andrew de los Reyes, Shant Hovsepian, Andrew Matsuoka, and Lei Zhang.
Proc. 21st ACM Symposium on Operating Systems Principles (SOSP '07), Stevenson, Washington, October 2007, pages 307-320.
=> Featherstitch site.
=> Audience Choice Award!

Information Flow Control for Standard OS Abstractions. (PDF)
Maxwell Krohn, Alex Yip, Micah Brodsky, Natan Cliffer, M. Frans Kaashoek, Eddie Kohler, and Robert Morris.
Proc. 21st ACM Symposium on Operating Systems Principles (SOSP '07), Stevenson, Washington, October 2007, pages 321-334.
=> Flume site.

A System for Coarse Grained Memory Protection in Tiny Embedded Processors. (PDF)
Ram Kumar, Akhilesh Singhania, Andrew Castner, Eddie Kohler, and Mani Srivastava.
Proc. 44th Design Automation Conference (DAC 2007), San Diego, California, June 2007, pages 218-223.

Events Can Make Sense. (PDF)
Maxwell Krohn, Eddie Kohler, and M. Frans Kaashoek.
Proc. 2007 USENIX Annual Technical Conference, Santa Clara, California, June 2007, pages 87-100.
=> Tamer site.

Clustering and Sharing Incentives in BitTorrent Systems. (Main sitelocal PDF [letter paper])
Arnaud Legout, Nikitas Liogkas, Eddie Kohler, and Lixia Zhang.
Proc. ACM SIGMETRICS 2007 Conference: International Conference on Measurement and Modeling of Computer Systems, San Diego, California, June 2007, pages 301-312.

Harbor: Software-based Memory Protection for Sensor Nodes. (PDF)
Ram Kumar, Eddie Kohler, and Mani Srivastava.
Proc. 6th International Conference on Information Processing in Sensor Networks (IPSN '07), Cambridge, Massachusetts, April 2007, pages 340-349.

Observed structure of addresses in IP traffic. (ACM Digital Library)
Eddie Kohler, Jinyang Li, Vern Paxson, and Scott Shenker.
IEEE/ACM Transactions on Networking 14(6), December 2006, pages 1207-1218.

Making Information Flow Explicit in HiStar. (PDF)
Nickolai Zeldovich, Silas Boyd-Wickizer, Eddie Kohler, and David Mazières.
Proc. 7th USENIX Symposium on Operating Systems Design and Implementation (OSDI '06), Seattle, Washington, November 2006, pages 263-278.

The Tenet Architecture for Tiered Sensor Networks. (PDF)
Omprakash Gnawali, Ben Greenstein, Ki-Young Jang, August Joki, Jeongyeup Paek, Marcos Vieira, Deborah Estrin, Ramesh Govindan, and Eddie Kohler.
Proc. 4th ACM Conference on Embedded Networked Sensor Systems (SenSys '06), Boulder, Colorado, November 2006.
=> Tenet site.

Capturing High-Frequency Phenomena Using a Bandwidth-Limited Sensor Network. (PDF)
Ben Greenstein, Christopher Mar, Alex Pesterev, Shahin Farshchi, Eddie Kohler, Jack Judy, and Deborah Estrin.
Proc. 4th ACM Conference on Embedded Networked Sensor Systems (SenSys '06), Boulder, Colorado, November 2006.
=> VanGo site.

Designing DCCP: Congestion Control Without Reliability. (PDFPDF with larger text)
Eddie Kohler, Sally Floyd, and Mark Handley.
Proc. ACM SIGCOMM 2006 Conference: Applications, Technologies, Architectures, and Protocols for Computer Communication, Pisa, Italy, August 2006, pages 27-38.
=> Talk slides (PDF).
=> DCCP site.

Software-Based Memory Protection in Sensor Nodes. (PDF)
Ram Kumar Rengaswamy, Eddie Kohler, and Mani Srivastava.
Proc. 3rd Workshop on Embedded Networked Sensors (EmNets '06), Cambridge, Massachusetts, May 2006.

Datagram Congestion Control Protocol. (textPDF)
E. Kohler, M. Handley, and S. Floyd.
Internet Engineering Task Force RFC 4340, March 2006.
=> Proposed Standard. IETF link: RFC 4340.
=> DCCP site.

Profile for Datagram Congestion Control Protocol (DCCP) Congestion Control ID 2: TCP-like Congestion Control. (textPDF)
S. Floyd and E. Kohler.
Internet Engineering Task Force RFC 4341, March 2006.
=> Proposed Standard. IETF link: RFC 4341.
=> DCCP site.

Profile for Datagram Congestion Control Protocol (DCCP) Congestion Control ID 3: TCP-Friendly Rate Control (TFRC). (textPDF)
S. Floyd, E. Kohler, and J. Padhye.
Internet Engineering Task Force RFC 4342, March 2006.
=> Proposed Standard. IETF link: RFC 4342.
=> DCCP site.

Problem Statement for the Datagram Congestion Control Protocol (DCCP). (textPDF)
S. Floyd, M. Handley, and E. Kohler.
Internet Engineering Task Force RFC 4336, March 2006.
=> Informational. IETF link: RFC 4336.
=> DCCP site.

Exploiting BitTorrent for Fun (But Not Profit). (PDF)
Nikitas Liogkas, Robert Nelson, Eddie Kohler, and Lixia Zhang.
Proc. 5th International Workshop on Peer-to-Peer Systems (IPTPS 2006), Santa Barbara, California, February 2006.

Click for Measurement. (PDF)
Eddie Kohler.
UCLA Computer Science Department Technical Report TR060010, February 2006.

Sympathy for the Sensor Network Debugger. (PDF)
Nithya Ramanathan, Kevin Chang, Rahul Kapur, Lewis Girod, Eddie Kohler, and Deborah Estrin.
Proc. 3rd ACM Conference on Embedded Networked Sensor Systems (SenSys '05), San Diego, California, November 2005, pages 255-267.

Dynamically Configurable Robotic Sensor Networks (demo abstract).
Ilias Tsigkogiannis, Rahul Balani, James Carwana, Jonathan Friedman, David Lee, Chih-Chieh Han, Roy Shea, Ram Kumar Rengaswamy, Michael Petralia, Laura Corman, Eric Wittenmeier, Eddie Kohler, and Mani B. Srivastava.
Proc. 3rd ACM Conference on Embedded Networked Sensor Systems (SenSys '05), San Diego, California, November 2005, page 321.

Labels and Event Processes in the Asbestos Operating System. (PDF)
Petros Efstathopoulos, Maxwell Krohn, Steve VanDeBogart, Cliff Frey, David Ziegler, Eddie Kohler, David Mazières, Frans Kaashoek, and Robert Morris.
Proc. 20th ACM Symposium on Operating Systems Principles (SOSP '05), Brighton, England, October 2005, pages 17-30.
=> It is probably better to cite the ACM TOCS version, which has much better explication and demonstrates much better performance.

The KudOS Architecture for File Systems. Work-in-progress report. (PDF)
Andrew de los Reyes, Chris Frost, Eddie Kohler, Mike Mammarella, and Lei Zhang.
Proc. 20th ACM Symposium on Operating Systems Principles (SOSP '05), Brighton, England, October 2005.

Making Events Less Slippery with eel. (PDF)
Ryan Cunningham and Eddie Kohler.
Proc. 10th Hot Topics in Operating Systems Symposium (HotOS-X), Santa Fe, New Mexico, June 2005, pages 13-18.

Make Least Privilege a Right (Not a Privilege). (PDF)
Maxwell Krohn, Petros Efstathopoulos, Cliff Frey, Frans Kaashoek, Eddie Kohler, David Mazières, Robert Morris, Michelle Osborne, Steve VanDeBogart, and David Ziegler.
Proc. 10th Hot Topics in Operating Systems Symposium (HotOS-X), Santa Fe, New Mexico, June 2005, pages 121-126.

A Dynamic Operating System for Sensor Nodes. (PDF)
Chih-Chieh Han, Ram Kumar, Roy Shea, Eddie Kohler, and Mani Srivastava.
Proc. 3rd International Conference on Mobile Systems, Applications, and Services (MobiSys '05), Seattle, Washington, June 2005, pages 163-176.

Designing Extensible IP Router Software. (PDF)
Mark Handley, Eddie Kohler, Atanu Ghosh, Orion Hodson, and Pavlin Radoslavov.
Proc. NSDI '05, 2nd Symposium on Networked Systems Design & Implementation, Boston, Massachusetts, May 2005, pages 189-202.

Get me off your ------- mailing list. (PDF)
David Mazières and Eddie Kohler.
Submitted to the 9th World Multi-Conference on Systemics, Cybernetics, and Informatics, Orlando, Florida, July 2005.
=> Related work: Rooter: A Methodology for the Typical Unification of Access Points and Redundancy, by Jeremy Stribling, Daniel Aguayo, and Maxwell Krohn. Don't miss the video!
=> Unrelated prior work.

Towards a Debugging System for Sensor Networks.
Nithya Ramanathan, Eddie Kohler, and Deborah Estrin.
International Journal of Network Management 15(4), July 2005, pages 223-234.

Efficiency and Late Data Choice in a User-Kernel Interface for Congestion-Controlled Datagrams. (PDF)
Junwen Lai and Eddie Kohler.
Proc. 12th Annual SPIE Conference on Multimedia Computing and Networking (MMCN '05), San Jose, California, January 2005.

Distributed Techniques for Area Computation in Sensor Networks. (PDF)
Ben Greenstein, Eddie Kohler, David Culler, and Deborah Estrin.
Workshop Record of the 1st IEEE Workshop on Embedded Networked Sensors (EmNetS-I), Tampa, Florida, November 2004, pages 533-541.

Sympathy: A Debugging System for Sensor Networks. Short paper. (PDF)
Nithya Ramanathan, Eddie Kohler, Lewis Girod, and Deborah Estrin.
Workshop Record of the 1st IEEE Workshop on Embedded Networked Sensors (EmNetS-I), Tampa, Florida, November 2004, pages 554-555.

A Sensor Network Application Construction Kit (SNACK). (PDF)
Ben Greenstein, Eddie Kohler, and Deborah Estrin.
Proc. 2nd ACM Conference on Embedded Networked Sensor Systems (SenSys '04), Baltimore, Maryland, November 2004.

MultiQ: Automated Detection of Multiple Bottleneck Capacities Along a Path. (PDF)
Sachin Katti, Dina Katabi, Charles Blake, Eddie Kohler, and Jacob Strauss.
Proc. Internet Measurement Conference (IMC) 2004, Taormina, Sicily, October 2004, pages 245-250.

Real-Time Speech Motion Synthesis from Recorded Motions. (PDF)
Yong Cao, Petros Faloutsos, Eddie Kohler, and Frédéric Pighin.
Proc. ACM SIGGRAPH/Eurographics Symposium on Computer Animation (SCA '04), Grenoble, France, August 2004, pages 345-353.

M&M: A Passive Toolkit for Measuring, Correlating, and Tracking Path Characteristics. (PDF)
Sachin Katti, Dina Katabi, Eddie Kohler, and Jacob Strauss.
MIT Techical Report MIT-CSAIL-TR-945, April 2004.

Internet Research Needs Better Models. (PDF)
Sally Floyd and Eddie Kohler.
Workshop Record of the 1st Workshop on Hot Topics in Networks (HotNets-I), Princeton, New Jersey, October 2002.

XORP: An Open Platform for Network Research. (PDF)
Mark Handley, Orion Hodson, and Eddie Kohler.
Workshop Record of the 1st Workshop on Hot Topics in Networks (HotNets-I), Princeton, New Jersey, October 2002, pages 53-57.

Observed structure of addresses in IP traffic. (PDF)
Eddie Kohler, Jinyang Li, Vern Paxson, and Scott Shenker.
Proc. 2nd Internet Measurement Workshop (IMW 2002), Marseille, France, November 2002, pages 253-266.

Programming language optimizations for modular router configurations. (PDF)
Eddie Kohler, Robert Morris, and Benjie Chen.
Proc. 10th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS-X), San Jose, California, October 2002, pages 251-263.
=> Click site.

Modular components for network address translation. (PDF)
Eddie Kohler, Robert Morris, and Massimiliano Poletto.
Proc. 5th IEEE Conference on Open Architectures and Network Programming (OPENARCH '02), New York, New York, June 2002, pages 39-50.
=> The December 2000 technical report is here.
=> Click site.

The Click modular router. (PDF)
Eddie Kohler.
Ph.D. thesis, Massachusetts Institute of Technology, November 2000.
=> Click site.

Programming language techniques for modular router configurations. (PDF)
Eddie Kohler, Benjie Chen, M. Frans Kaashoek, Robert Morris, and Massimiliano Poletto.
MIT Laboratory for Computer Science technical report MIT-LCS-TR-812, August 2000.
=> Click site.

The Click modular router. (ACM Digital LibraryPDFPostScript)
Eddie Kohler, Robert Morris, Benjie Chen, John Jannotti, and M. Frans Kaashoek.
ACM Transactions on Computer Systems 18(3), August 2000, pages 263-297.
=> Click site.

The Click modular router. (PDFPostScript)
Robert Morris, Eddie Kohler, John Jannotti, and M. Frans Kaashoek.
Proc. 17th ACM Symposium on Operating Systems Principles (SOSP '99), Kiawah Island, South Carolina, December 1999, pages 217-231.
=> We would prefer that you cite the TOCS version, above.
=> Click site.

A readable TCP in the Prolac protocol language. (PDFPostScript)
Eddie Kohler, M. Frans Kaashoek, and David R. Montgomery.
Proc. ACM SIGCOMM '99 Conference: Applications, Technologies, Architectures, and Protocols for Computer Communication, Cambridge, Massachusetts, August 1999, pages 3-13.
=> Download Prolac (historical interest only).

Evolving software with an application-specific language. (PDF)
Eddie Kohler, Massimiliano Poletto, and David R. Montgomery.
Workshop Record of WCSSS '99: The 2nd ACM SIGPLAN Workshop on Compiler Support for Systems Software, Atlanta, Georgia, May 1999, pages 94-102.

Prolac: a language for protocol compilation. (PDF)
Eddie Kohler.
Master's thesis, Massachusetts Institute of Technology, September 1997.
=> Download Prolac (historical interest only).