Publication Listings

 

2024

Yang, Y., Merlina, A., Song, W., Yuan, T., Birman, K., & Vitenberg, R. (2024). Compass: A Decentralized Scheduler for Latency-Sensitive ML Workflows. arXiv preprint arXiv:2402.17652.

Verifying a C implementation of Derecho’s coordination mechanism using VST and Coq.  Ramana Nagasamudram, Lennart Beringer, Ken Birman, Mae Milano and David A. Naumann.  16th NASA Formal Methods Symposium (NFM), Mountainview CA, June 2024.

Gupta, A., Hao, Y., Yang, Y., Yuan, T., Wieland, M., Basran, P. S., & Birman, K. (2024). Digital Twin-Driven Teat Localization and Shape Identification for Dairy Cow (Student Abstract). Proceedings of the AAAI Conference on Artificial Intelligence38(21), 23510-23511. https://doi.org/10.1609/aaai.v38i21.30450

 

 

2023

Low-Latency ML Inference by Grouping Correlated Data Objects and Computation. Garrett, Thiago, Weijia Song, Roman Vitenberg, and Ken Birman. arXiv preprint arXiv:2312.11488 (2023).

Cascade: A Platform for Delay-Sensitive Edge Intelligence.  Weijia Song, Thiago Garrett, Alicia Yang, Mingzhao Liu, Edward Tremel, Lorenzo Rosa, Andrea Merlina, Roman Vitenberg, Ken Birman.   arXiv preprint arXiv:2311.17329 (November 2023).

Yifan Wang, Weijia Song, Yuting Yang, Charif Mahmoudi, Shashank Shekhar, Kenneth P. Birman. Dash: A Low Code Development Platform for AI Applications in Industry. 2023 IEEE 14th Annual Ubiquitous Computing, Electronics & Mobile Communication Conference (UEMCON). Columbia University, USA. October 12-14, 2023.

Ken Birman, Sagar Jha, Mae Milano, Lorenzo Rosa, Weijia Song, Edward Tremel. Monotonicity and Opportunistically- Batched Actions in Derecho. 25th International Symposium on Stabilization, Safety, and Security of Distributed Systems in Jersy City, New Jersey, October 2-4, 2023.

2022

Sagar Jha. RDMA-Accelerated State Machine for Cloud Services (PhD dissertation). Cornell University. December 2022.

Pengze Li , Lichen Pan , Xinzhe Yang , Weijia Song , Zhen Xiao , Ken Birman. Stabilizer: Geo-Replication with User-defined Consistency IEEE ICDCS 2022 in Bologna, Italy July 10th – July 13th, 2022.

Spindle: Techniques for Optimizing Atomic Multicast on RDMA. Sagar Jha, Lorenzo Rosa, and Ken Birman. In 2022 IEEE 42st International Conference on Distributed Computing Systems (ICDCS), 2022.  Previously available as: arXiv:2110.00886 (October 2021).

Cascade: An Edge Computing Platform for Real-time Machine Intelligence (Invited paper).  Weijia Song, Yuting (Alicia) Yang, Thompson Liu, Andrea Merlina, Thiago Garrett, Roman Vitenberg, Lorenzo Rosa, Aahil Awatramani, Zheng Wang, Ken Birman.  In ApPLIED 2022, Sorrento Italy.

 

 

2021

 

Lorenzo Rosa, Weijia Song, Luca Foschini, Antonio Corradi, Ken Birman. DerechoDDS: Strongly Consistent Data Distribution for Mission-Critical Applications COM 2019 - 2019 IEEE Military Communications Conference (MILCOM), November, 2021.

DerechoDDS: Efficiently leveraging RDMA for fast and consistent data distribution.  Lorenzo Rosa, Sagar Jha, Ken Birman.  6th International Workshop on Critical Automotive Applications: Robustness & Safety (CARS 2021), Munich Germany, Sept. 2021.

 

2020

Reliable, Efficient Recovery for Complex Services with Replicated Subsystems. Edward Tremel, Sagar Jha, Weijia Song, David Chu, Ken Birman.  IEEE DSN ’20, Seville, Spain 2020.

 

2019

Cloud-Hosted Intelligence for Real-time IoT Applications. Ken Birman, Bharath Hariharan, Christopher De Sa. 2019. SIGOPS Oper. Syst. Rev. 53, 1 (July 2019), 7–13. DOI:https://doi.org/10.1145/3352020.3352023

Derecho: Fast State Machine Replication for Cloud Services. Sagar Jha, Jonathan Behrens, Theo Gkountouvas, Matthew Milano, Weijia Song, Edward Tremel, Robbert Van Renesse, Sydney Zink, and Kenneth P. Birman. 2019.ACM Trans. Comput. Syst. 36, 2, Article 4 (April 2019), 49 pages. DOI: ttps://doi.org/10.1145/3302258

GridCloud: Infrastructure for Cloud-based Wide Area Monitoring of Bulk Electric Power Grids. Dave Anderson, Theo Gkountouvas, Ming Meng, Ken Birman, Anjan Bose, Carl Hauser, Eugene Litvinov, Xiaochuan Luo, Frankie Zhang. DOI 10.1109/TSG.2018.2791021, IEEE Transactions on Smart Grid. 10 (2), March 2019, 2170 – 2179.  Actual date of publication: Jan 8, 2018.  DOI: 10.1109/TSG.2018.2791021.

 

 

2018

Anonymous, Fault-Tolerant Distributed Queries for Smart Devices. Edward Tremel, Ken Birman, Robert Kleinberg, and Márk Jelasity. ACM Trans. Cyber-Phys. Syst. (TCPS) 3, 2, Article 16 (October 2018), 29 pages. DOI: https://doi.org/10.1145/3204411

RDMC: A Reliable Multicast for Large Objects. Jonathan Behrens, Sagar Jha, Ken Birman, Edward Tremel.  IEEE DSN ’18, Luxembourg, June 2018.

Cloud-based Data Exchange Infrastructure for Wide Area Monitoring of Bulk Electric Power Grids. D. Anderson, S. Sahasrabuddhe, A. Bose, C. Hauser, T. Gkountouvas, W. Song, Y. Liao, K. Birman, E. Litvinov, X. Luo, F. Zhang, A. Darvishi, G. Stefopoulos, A. Ettlinger. To appear in, Proceedings of the 2018 Annual CIGRE Symposium, Paris, France, pp 1-10, August 26 - 31, 2018.

A Cloud-Hosted Synchrophasor Data Sharing Platform.  Eugene Litvinov, Xiaochuan Luo, Qiang Zhang, Ken Birman, Theodoros Gkountouvas, Dave Anderson, Carl Hauser, Anjan Bose.  Chapter in Power System Grid Operation Using Synchrophasor Technology, pp. 477-498.  Sarma Nuthalapati (editor), Springer-Verlag Series on Power Electronics and Power Systems.  June 2018. ISBN: 978-3319893778.

 

2017

Building Smart Memories and Cloud Services with Derecho. Sagar Jha, Jonathan Behrens, Theo Gkountouvas, Matthew Milano, Weija Song, Edward Tremel, Sydney Zink, Kenneth P. Birman, Robbert van Renesse. September 2017. This technical report was a preliminary version of Derecho: Fast State Machine Replication for Cloud Services. Sagar Jha, Jonathan Behrens, Theo Gkountouvas, Matthew Milano, Weijia Song, Edward Tremel, Sydney Zink, Kenneth P. Birman, and Robbert van Renesse. 2019. ACM Trans. Comput. Syst. 1, 1, Article 1 (January 2019), 50 pages. https://doi.org/10.1145/3302258

Compositional Gossip Systems.  Lonnie Princehouse (PhD dissertation).  Cornell University. December 2017. https://doi.org/10.7298/X4JQ0Z6R

 

 

2016

Treating Software-Defined Networks Like Disk Arrays.  Z Teo, Ken Birman, Robbert van Renesse.  2nd IEEE International Conference on Network Software and Virtualization (Netsoft 2016).  Seoul, June 6 2016.
Overcoming Challenges in Practical SDN Deployment. Teo, Zhiyuan. PhD Dissertation. Ithaca: Cornell Univ, 2016. Print.
Experience with 3 SDN Controllers in an Enterprise Setting. Zhiyuan Teo, Ken Birman, Robbert Van Renesse. IEEE DSN Workshop on Dependability Issues in SDN and IFV (DISN), June 28, 2016.

The Freeze-Frame File System. Weijia Song, Theo Gkountouvas, Qi Chen, Zhen Xiao, Ken Birman. ACM Symposium on Operating Systems Principles (SOCC 2016). Santa Clara, CA, October 05 - 07, 2016.

 

2015

Reflections on the History of Operating Systems Research in Fault Tolerance. Ken Birman. Essay accompanying ACM History Day talk, Monterey CA, November 2015.  In SOSP History Day 2015 (SOSP '15). ACM, New York, NY, USA, Article 7, 32 pages. DOI=http://dx.doi.org/10.1145/2830903.2830908
The Miner's Dilemma. Eyal, Ittay, Bitcoin -- The Miner's Dilemma (May 1, 2015). SWIFT Institute Working Paper No. 2014-006. Available at SSRN: http://ssrn.com/abstract=2609300 or http://dx.doi.org/10.2139/ssrn.2609300
Cache Serializability: Reducing Inconsistency in Edge Transactions. Ittay Eyal; Ken Birman; Robbert van Renesse, "Cache Serializability: Reducing Inconsistency in Edge Transactions," Intl. Conference on Distributed Computing Systems (ICDCS), IEEE 35th International Conference on, June 29 2015–July 2 2015.
The Miner's Dilemma. Ittay Eyal. The Miner's Dilemma. 36th IEEE Symposium on Security and Privacy (Oakland'15), San Jose, California, May 18-20, 2015.
RIPQ: Advanced Photo Caching on Flash for Facebook. Linpeng Tang, Qi Huan, Wyatt Lloyd, Sanjeev Kumar, and Kai Li. 13th USENIX Conference on File and Storage Technologies (FAST '15). Santa Clara, CA. February 2015.

2014

Building a Secure and Privacy-Preserving Smart Grid. Ken Birman, Márk Jelasity, Robert Kleinberg, Edward Tremel.  SIGOPS Oper. Syst. Rev. 49, 1 (January 2015), 131-136. DOI=10.1145/2723872.2723891 http://doi.acm.org/10.1145/2723872.2723891
Characterizing Load Imbalance in Real-World Networked Caches. Qi Huang, Helga Gudmundsdottir, Ymir Vigfusson, Daniel Freedman, Ken Birman, Robbert van Renesse. HotNets 2014: Thirteenth ACM Workshop on Hot Topics in Networks. Los Angeles, CA. Oct 2014.
A Private Framework for Distributed Computation. Edward Tremel, Ken Birman, Robert Kleinberg, Mark Jelasity. The 8th Workshop on Large-Scale Distributed Systems and Middleware, LADIS 2014. Cambridge, UK. October 2014.
Controlled Transactional Consistency for Web Caching. Ittay Eyal, Ken Birman, Robbert van Renesse. Preliminary Technical Report. October 2014.
Software Defined Networks and Gossip Protocols.Robert Soule, Ken Birman, Nate Foster. The 8th Workshop on Large-Scale Distributed Systems and Middleware, LADIS 2014. Cambridge, UK. October 2014.
Vive la Difference: Paxos vs. Viewstamped Replication vs. Zab.Robbert van Renesse, Nicolas Schiper, and Fred B. Schneider. IEEE Transactions on Dependable and Secure Computing. 2014.

Mission-Critical Cloud Computing for Next-Generation Power Applications. Thoshitha Gamage, David Anderson, David Bakken, Kenneth Birman, Anjan Bose, Carl Hauser, Ketan Maheshwri, and Robbert van Renesse. In Smart Grids: Clouds, Communications, Open Source, and Automation. Editors David Bakken and Kris Iniewski. CRC Press. ISBN 9781482206111. 2014.

IronStack: Performance, stability and security for power grid data networks. Zhiyuan Teo, Vera Kutsenko, Ken Birman, and Robbert van Renesse. The 1st International Workshop on Trustworthiness of Smart Grids (ToSG). Atlanta, GA. June 2014.
MiCA: A Compositional Architecture for Gossip Protocols. Lonnie Princehouse, Rakesh Chenchu, Zhefu Jiang, Kenneth P. Birman, Nate Foster, and Robert Soule. European Conference on Object Oriented Programming, ECOOP 2014, in Sweden in July 2014.
The Performance of Paxos in the Cloud. Parisa Jalili Marandi, Samuel Benz, Fernando Pedonea, and Kenneth P. Birman. In Proceedings of the 2014 IEEE 33rd International Symposium on Reliable Distributed Systems (SRDS '14). IEEE Computer Society, Washington, DC, USA, 41-50. DOI: https://doi.org/10.1109/SRDS.2014.15
Distributional Differential Privacy for Large-Scale Smart Metering. Márk Jelasity, Kenneth P. Birman. 2nd ACM Information Hiding and Multimedia Security Workshop (IH&MMsec). pp 141 - 146. Salzburg, Austria. 2014
Majority is not Enough: Bitcoin Mining is Vulnerable. Ittay Eyal and Emin Gun Sirer. In the 18th International Conference on Financial Cryptography and Data Security (FC), Barbados, March 2014.
A Brief Overview of the NEBULA Future Internet Architecture. Tom Anderson, Ken Birman, Robert Broberg, Matthew Caesar, Douglas Comer, Chase Cotton, Michael J. Freedman, Andreas Haeberlen, Zachary G. Ives, Arvind Krishnamurthy, William Lehr, Boon Thau Loo, David Mazières, Antonio Nicolosi, Jonathan M. Smith, Ion Stoica, Robbert van Renesse, Michael Walfish, Hakim Weatherspoon and Christopher S. Yoo. SIGCOMM Comput. Commun. Rev. 44, 3 (July 2014), 81-86. DOI=10.1145/2656877.2656889 http://doi.acm.org/10.1145/2656877.2656889

 

2013

Secure Abstraction with Code Capabilities. Robbert van Renesse, Håvard Johansen, Nihar Naigaonkar, and Dag Johansen. 21st Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP). Belfast, Northern Ireland. February 2013.
Evaluating Cloud Computing Techniques for Smart Power Grid Design Using Parallel Scripting. Ketan Maheshwari, Ken Birman, Justin M. Wozniakz, Devin Van Zandty. Proceedings of IEEE/ACM CCGrid. 2013
Toward a reliable, secure and fault tolerant smart grid state estimation in the cloud. Ketan Maheshwari, Marcus Lim, Lydia Wan, Ken Birman, Robbert van Renesse. Proceedings of IEEE/PES ISGT. pp 1-6. February 2013
"The Future Internet - Future Internet Assembly 2013: Validated Results and New Horizons" - Lecture Notes in Computer Science, Vol. LNCS 7858 - ISBN, 978-3-642-38081-5
Integrated Approach To Data Center Power Management. Lakshmi Ganesh, Hakim Weatherspoon, Tudor Marian, Ken Birman. IEEE Transactions on Computers. Volume 62, Issue 6, pp 1086-1096. June 2013.
Application-Driven TCP Recovery. Robert Surton, Ken Birman, and Robbert van Renesse. IEEE/IFIP International Conference on Dependable Systems and Networks. June 24 - 27th, 2013. Budapest.
Leveraging Sharding in the Design of Scalable Replication Protocols. Hussam Abu-Libdeh, Robbert van Renesse, and Ymir Vigfusson.  ACM Symposium on Cloud Computing (SOCC '13). Santa Clara, California. October 2013.
Hosting Dynamic Data in the Cloud with Isis2 and the Ida DHT.  Ken Birman and Heesung Sohn.  ACM Workshop on Timely Results in Operating Systems (TRIOS), at SOSP. Pittsburgh. November, 2013.
Ordering Transactions with Prediction in Distributed Object Stores. Ittay Eyal, Ken Birman, Idit Keidar (Technion) and Robbert van Renesse. Workshop on Large Scale Distributed Systems (LADIS), at SOSP. November, 2013, Pittsburgh.
Compositional Gossip Protocols for Infrastructure Management. Lonnie Princehouse, Ken Birman, Nate Foster . Workshop on Large Scale Distributed Systems (LADIS), at SOSP. Pittsburgh. November, 2013,
Cooperative Client Caching Strategies for Social and Web Applications. Stavros Nikolaou, Robbert van Renesse and Nicolas Schiper. Workshop on Large Scale Distributed Systems (LADIS), at SOSP. November , 2013. Pittsburgh.
An Analysis of Facebook Photo Caching.Qi Huang, Ken Birman, Robbert van Renesse, Wyatt Lloyd, Sanjeev Kumar, Harry Li. The 24th ACM Symposium on Operating Systems Principles (SOSP, 2013). November1- 4, 2013, Pittsburgh.
Sprinkler --- Reliable Broadcast for Geographically Dispersed Datacenters. Haoyan Geng and Robbert van Renesse.ACM/IFIP/USENIX 14th International Middleware Conference (Middleware 2013), Beijing, China, December 9-13, 2013.

2012

Fact-based Inter-Process Communication Primitives for Programming Distributed Systems. Robbert van Renesse. Workshop on Languages for Distributed Algorithms (LADA). Philadelphia, PA. January 2012.
Overcoming CAP with Consistent Soft-State Replication. Kenneth P. Birman, Daniel A. Freedman, Qi Huang and Patrick Dowell. IEEE Computer Magazine (special issue on “The Growing Impact of the CAP Theorem”). Volume 45. pp. 50-58. February 2012.
A Diversified and Correct-by-Construction Broadcast Service. Vincent Rahli, Nicolas Schiper, Robbert Van Renesse, Mark Bickford, and Robert L. Constable. The 2nd International Workshop on Rigorous Protocol Engineering (WRiPE). Austin, TX. October 2012.
Byzantine Chain Replication. Robbert van Renesse, Chi Ho, and Nicolas Schiper. OPODIS. Rome, Italy. December 2012.

Guide to Reliable Distributed Systems. Building High-Assurance Applications and Cloud-Hosted Services. ( Texts in Computer Science). Kenneth P. Birman. Springer. 2012.

Live Network Streaming with Utilities and Cost. Ymir Vigfusson, Ken Birman, Daniel A. Freedman, Qi Huang, Kristjan Jonsson, Gunnar Sigurbjornsson. LADIS'12, July 16–18, 2012, Madeira, Portugal.
ShadowDB: A Replicated Database on a Synthesized Consensus Core. Nicolas Schiper, Vincent Rahli, Robbert Van Renesse, Mark Bickford,, and Robert L. Constable. HotDep. Hollywood, CA. October 2012.

2011

Routers for the Cloud. Can the Internet Achieve 5-Nines Availability? Andrei Agapi, Ken Birman, Robert Broberg, Chase Cotton,
Thilo Kielmann, Martin Millnert, Rick Payne, Robert Surton, and Robbert VanRenesse. IEEE Internet Computing. Volume 15. Issue 5. pp.72 - 77. September, October 2011.
Beyond Power Proportionality: Designing Power-Lean Cloud Storage. Lakshmi Ganesh, Hakim Weatherspoon, Ken Birman. IEEE (NCA 2011)August 25 - 27, 2011. Cambridge MA.
Running Smart Grid Control Software on Cloud Computing Architectures. Kenneth P. Birman, Lakshmi Ganesh, and Robbert van Renesse. Workshop on Computational Needs for the Next Generation Electric Grid, Cornell University, April 19-20, 2011. Ithaca, NY.
Maelstrom: Transparent Error Correction for Communication Between Data Centers. Mahesh Balakrishnan, Tudor Marian, Ken Birman, Hakim Weatherspoon, Lakshmi Ganesh. ACM Transactions on Networking. Volume 19, No 3. June 2011.
Instrumentation for exact packet timings in networks. Daniel A. Freedman, Tudor Marian, Jennifer H. Lee, Ken Birman, Hakim Weatherspoon, Chris Xu. Proceedings of the 2011 IEEE International Instrumentation and Measurement Technology Conference (I2MTC '11). Binjiang, Hangzhou, China. May 10-12, 2011.

2010

Virtually Synchronous Methodology for Dynamic Service Replication. Ken Birman, Dahlia Malkhi, Robbert van Renesse. Submitted for publication. November 18, 2010. Also available as Microsoft Research TechReport MSR-2010-151.
Man-in-the-Middle TCP Recovery. Robert Surton, Ken Birman, Robert Broberg, Tudor Marian, Robbert van Renesse. Submitted for publication. Sept, 2010.
Exact Temporal Characterization of 10 Gbps Optical Wide-area Network. Daniel A. Freedman, Tudor Marian, Jennifer H. Lee, Ken Birman, Hakim Weatherspoon, Chris Xu. 10th ACM SIGCOMM Conference on Internet Measurement (IMC 2010). Melbourne, Australia. November 1-3, 2010.
RACS: A Case for Cloud Storage Diversity. Hussam Abu-Libdeh, Lonnie Princehouse, Hakim Weatherspoon. ACM Symposium on Cloud Computing (SOCC 2010), Indianapolis, Indiana
Kevlar: A Flexible Infrastructure for Wide-area Collaborative Applications. Qi Huang, Daniel A. Freedman, Ymir Vigfusson, Ken Birman, and Bo Peng. ACM/IFIP/Usenix 11th International Middleware Conference (Middleware 2010), Bangalore, India, Nov 29 - Dec 3, 2010.
Empirical Characterization of Uncongested Optical Lambda Networks and 10GbE Commodity Endpoints. Tudor Marian, Daniel A. Freedman, Ken Birman, Hakim Weatherspoon. Dependable Systems and Networks (DSN 2010) IEEE International Conference. June 28 - July 1, 2010. pp: 575-584.
Enabling Tactical Edge Mashups with Live Objects. Daniel Freedman, Ken Birman, Krzys Ostrowski, Mark Linderman, Robert Hillman, Albert Frantz Proceedings of the 15th International Command and Control Research and Technology Symposium (ICCRTS '10), Information Sharing and Collaboration Processes and Behaviors Track. Santa Monica, CA, USA. June 22-24, 2010. Best paper in track; Best paper in conference.
Middleware for Gossip Protocols. Michael Chow, Robbert van Renesse. International Workshop (IPTPS 2010). San Jose, CA. April 2010
Balancing Gossip Exchanges in Networks with Firewalls. Robbert van Renesse. International Workshop (IPTPS P2P 2010). San Jose, CA. April 2010.
Sources of Instability in Data Center Multicast. Dmitry Basin, Ken Birman, Idit Keidar, Ymir Vigfusson. ACM Principles of Distributed Computing (PODC), Zurich, Aug. 2010. LADIS 2010 Proceedings of the 4th International Workshop on Large Scale Distributed Systems and Middleware.
Dr. Multicast: Rx for Data Center Communication Scalability. Ymir Vigfusson, Hussam Abu-Libdeh, Mahesh Balakrishnan, Ken Birman, Robert Burgess, Haoyuan Li, Gregory Chockler, Yoav Tock
Eurosys, April 2010 (Paris, France). ACM SIGOPS 2010, pp. 349-362.
Quilt: A Patchwork of Multicast Regions. Qi Huang, Ken Birman, Ymir Vigfusson, Haoyuan Li. 4th ACM International Conference on Distributed Event0Based Systems (DEBS2010). Cambridge, United Kingdom. July 2010.
Reliable Distributed Systems: Technologies, Web Services, and Applications. Kenneth P. Birman. Springer. 2010.

2009

Self-Replicating Objects for Multicore Platform. Krzysztof Ostrowski, Chuck Sakoda, and Ken Birman. 24th European Conference on Object-Oriented Programming (ECOOP 2010).LNCS Volume 6183/2010, 452-477 .
History of the Virtual Synchrony Replication Model. Ken Birman. Appears in Replication:Theory and Practice. B. Charron-Bost, F. Pedone, A. Schiper (Eds) Springer Verlag, 2010. Replication, LNCS 5959, pp. 91–120, 2010.
Code-Partitioning Gossip. Lonnie Princehouse and Ken Birman. 5th Workshop on Programming Languages and Operating Systems (PLOS 09). Big Sky, MT. 11 October 2009. ACM SIGOPS Operating Systems Review. Volume 43 Issue 4, January 2010.
Cloudifying Source Code Repositories: How Much Does it Cost? Michael Siegenthaler, Hakim Weatherspoon. Large-Scale Distributed Systems and Middleware (LADIS 2009). Big Sky, MT. 10-11 October 2009. ACM SIGOPS Operating Systems Review. Volume 44, Issue 2, April 2010.
Affinity in Distributed Systems. Ymir Vigfusson, PhD dissertaton. Cornell University, Sept. 2009. (Degree conferred Feb. 2010)
GO: Platform Support For Gossip Applications. Ymir Vigfusson, Ken Birman, Qi Huang, Deepak P. Nataraj. IEEE P2P 2009. Seattle, WA. September 9 - 11. pp: 222-231.
Storing and Accessing Live Mashup Content in the Cloud. Krzysztof Ostrowski and Ken Birman. 3rd ACM SIGOPS International Workshop on Large Scale Distributed Systems and Middleware (LADIS 2009). Volume 44, Issue 2, April 2010.
Adaptively Parallelizing Distributed Range Queries. Ymir Vigfusson, Adam Silberstein, Brian F. Cooper and Rodrigo Fonseca. PVLDB 2(1-2), 2009. VLDB Conference. Lyon, France. August 2009.
Programming Live Distributed Objects with Distributed Data Flows. Krzysztof Ostrowski, Ken Birman, and Danny Dolev. Technical Report, March 2009.
Implementing Reliable Event Streams in Large Systems via Distributed Data Flows and Recursive Delegation. Krzysztof Ostrowski, Ken Birman, DannyDolev, and Chuck Sakoda. 3rd ACM International Conference on Distributed Event-Based Systems (DEBS 2009). Nashville, TN, USA. July 6-9, 2009.
WS-OBJECTS: Extending Service-Oriented Architecture with Hierarchical Composition of Client-Side Asynchronous Event-Processing Logic. Krzysztof Ostrowski and Ken Birman. 7th IEEE International Conference on Web Services (ICWS 2009). Los Angeles, CA, USA. July 9-10, 2009. pp: 25-34.
Live Distributed Objects for Service Oriented Collaboration. Ken Birman, Jared Cantwell, Daniel Freedman, Qi Huang, Petko Nikolov, Krzysztof Ostrowski. Third International Conference on Intelligent Technologies for Interactive Entertainment (Intetain '09), Demo Track. Amsterdam, The Netherlands. June 22, 2009.
Slicing Distributed Systems. Vincent Gramoli, Ymir Vigfusson, Ken Birman, Anne-Marie Kermarrec, Robbert van Renesse. IEEE Transactions on Computers, Special Issue on Autonomic Network Computing. Volume 58, Issue 11, pp 1444-1455. June 2009.
Towards A Cloud Computing Research Agenda. Ken Birman, Gregory Chockler, Robbert van Renesse. ACM SIGACT News Distributed Computing Column. Volume 40, Issue 2, pp 68-80. June 2009.
Edge Mashups for Service-Oriented Collaboration. Ken Birman, Jared Cantwell, Daniel Freedman, Qi Huang, Petko Nikolov, and Krzysztof Ostrowski. IEEE Computer. Volume 42, No 5, pp 90-94. May 2009
Building Collaboration Applications That Mix Web Services Hosted Content with P2P Protocols. Ken Birman, Jared Cantwell, Daniel Freedman, Qi Huang, Petko Nikolov, Krzysztof Ostrowski. In the proceedings of IEEE International Conference on Web Services (ICWS). Los Angeles, CA. July 6-10, 2009.
Sharing Private Information Across Distributed Databases. Siegenthaler, M. and Birman, K. IEEE International Symposium on Network Computing and Applications (IEEE NCA09), Boston, MA, 9-11 July 2009.
Privacy Enforcement for Distributed Healthcare Queries. Siegenthaler, M. and Birman, K. PervasiveHealth 2009, London, UK, 1-3 April 2009.
Adaptive Gravitational Gossip: A Gossip-Based Communication Protocol with User-Selectable Rates. Kenneth Hopkinson, Kate Jenkins, Kenneth Birman, James Thorp, Gregory Toussaint, and Manu Parashar. IEEE Transactions on Parallel and Distributed Systems. Volume 20, No. 12 , pp 1830 - 1843. February 2009.
FWP: Featherweight User-Mode Processes with Fast Reflexes. Tudor Marian, Hakim Weatherspoon, Mahesh Balakrishnan (Microsoft Research, Silicon Valley), Ken Birman, Robbert van Renesse. Technical Report. 2009.
Smoke and Mirrors: Reflecting Files at a Geographically Remote Location Without Loss of Performance. Hakim Weatherspoon, Lakshmi Ganesh, Tudor Marian, Mahesh Balakrishnan (MSR), and Ken Birman. In Proceedings of 7th USENIX Conference on File and Storage Technologies (FAST '09). San Francisco, CA. February 24-27, 2009.
The Monoculture Risk Put into Context. Fred B. Schneider and Ken Birman. IEEE Security & Privacy. Volume 7, No. 1, pp 14-17. January/February 2009.
RPC Chains: Efficient Client-Server Communication in Geodistributed Systems. Yee Jiun Song, Marcos K. Aguilera, Ramakrishna Kotla, Dahlia Malkhi. In the proceedings of USENIX Symposium on Networked System Design and Implementation (NSDI 09). Boston, MA. April 2009.
Program Committee Overload in Systems. Ken Birman and Fred B. Schneider. Comm. of the ACM, Volume 52, No. 5, pp 34-37. February 2009

2008

SOLO: Self Organizing Live Objects. Qi Huang (Huazhong University of Science and Technology), Ken Birman. Technical Report. December 2008.
Ajil: Distributed Rate-limiting for Multicast Networks. Hussam Abu-Libdeh, Ymir Vigfusson, Ken Birman, and Mahesh Balakrishnan (Microsoft Research, Silicon Valley). Technical Report. December 2008.
Using Live Distributed Objects for Office Automation. Jong Hoon Ahnn, Ken Birman, Krzysztof Ostrowski, Robbert van Renesse. In proceedings of the ACM/IFIP/USENIX 9th International Middleware Conference. Leuven, Belgium. December 2008.
Dr. Multicast: Rx for Data Center Communication Scalability. Ymir Vigfusson, Hussam Abu-Libdeh, Mahesh Balakrishnan, Ken Birman, and Yoav Tock. Cornell University Technical Report (TR 1813\11587). November 2008.
Dr. Multicast: Rx for Datacenter Communication Scalability. Ymir Vigfusson, Hussam Abu-Libdeh, Mahesh Balakrishnan, Ken Birman, Yoav Tock. HotNets VII: Seventh ACM Workshop on Hot Topics in Networks. October 6-7, 2008. Calgary, Canada.
Challenges Facing Tomorrow's Datacenter: Summary of the LADiS Workshop. Robbert van Renesse, Rodrigo Rodrigues, Mike Spreitzer, Christopher Stewart, Doug Terry, and Franco Travostino. Large-Scale Distributed Systems and Middleware (LADIS 2008). September 2008.
Efficient Reconciliation and Flow Control for Anti-Entropy Protocols. Robbert van Renesse, Dan Dumitriu, Valient Gough, and Chris Thomas. Large-Scale Distributed Systems and Middleware (LADIS 2008). September 2008.
Smoke and Mirrors: Shadowing Files at a Geographically Remote Location Without Loss of Performance. Hakim Weatherspoon, Lakshmi Ganesh, Tudor Marian, Mahesh Balakrishnan, and Ken Birman. Large-Scale Distributed Systems and Middleware (LADIS). September 15-17, 2008. Yorktown, NY.
Bosco: One-Step Byzantine Aysnchronous Consensus. Yee Jiun Song, Robbert van Renesse. The 22nd International Symposium on Distributed Computing (DISC 2008), Arcachon, France, September, 2008.
Sliver: A Fast Distributed Slicing Algorithm (Brief Announcement). Vincent Gramoli, Ymir Vigfusson, Ken Birman, Anne-Marie Kermarrec, Robbert van Renesse. Principles of Distributed Computing (PODC). Toronto, Canada. August 2008.
QuickSilver Scalable Multicast (QSM). Krzysztof Ostrowski, Ken Birman, Danny Dolev. 7th IEEE International Symposium on Network Computing and Applications (IEEE NCA 2008). Cambridge, MA. July 2008.
Programming with Live Distributed Objects. Krzysztof Ostrowski, Ken Birman, Danny Dolev, and Jong Hoon Ahnn. In Proceedings of the 22nd European Conference on Object-Oriented Programming (ECOOP 2008). Cyprus. July 2008. J. Vitek, Ed. Lecture Notes In Computer Science, vol. 5142. Springer-Verlag, Berlin, Heidelberg, 463-489.
Supporting Scalability and Adaptability via ADAptive Middleware And Network Transports (ADAMANT)
Joe Hoffert, Douglas Schmidt, Mahesh Balakrishnan, Ken Birman. OMG Workshop on Distributed Object Computing for Real-time and Embedded Systems. July 2008, Washington DC.
SENSTRAC: Scalable Querying of SENSor Networks from Mobile Platforms Using TRACking-Style Queries. Stefan Pleisch and Ken Birman. International Journal of Sensor Networks. Volume 3 , Issue 4, pp 266-280. June 2008.
Nysiad: Practical Protocol Transformation to Tolerate Byzantine Failures. Chi Ho, Robbert van Renesse, Mark Bickford, and Danny Dolev. USENIX Symposium on Networked System Design and Implementation (NSDI 08). San Francisco, CA. April 2008.
Gossip-based Distribution Estimation in Peer-to-Peer Networks. Maya Haridasan, Robbert van Renesse. In Proceedings of The 7th International Workshop on Peer-to-Peer Systems (IPTPS '08). Tampa Bay, FL. February 25-26, 2008.
Tempest: Soft State Replication in the Service Tier. Tudor Marian, Mahesh Balakrishnan, Ken Birman, Robbert van Renesse. In Proceedings of the 38th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN-DCCS 2008), June 2008, Anchorage, AL.
The Building Blocks of Consensus. Yee Jiun Song, Robbert van Renesse, Fred B. Schneider, Danny Dolev. 9th International Conference on Distributed Computing and Networking (ICDCN '08), Kolkata, India. January, 2008.
Enforcing Fairness in a Live-Streaming System. Maya Haridasan, Ingrid Jansch-Porto, Robbert van Renesse. Multimedia Computing and Networking (MMCN 2008), San Jose, CA.
Maelstrom: Transparent Error Correction for Lambda Networks. Mahesh Balakrishnan, Tudor Marian, Ken Birman, Hakim Weatherspoon, Einar Vollset. USENIX Symposium on Networked System Design and Implementation (NSDI 08). April 2008.

2007

Sliver: A Fast Distributed Slicing Algorithm. Vincent Gramoli, Ymir Vigfusson, Ken Birman, Anne-Marie Kermarrec, Robbert van Renesse. Technical Report. December 2007.
SecureStream: An Intrusion-Tolerant Protocol for Live-Streaming Dissemination. Maya Haridasan, Robbert van Renesse. Journal of Computer Communications. Special issue on Foundation of Peer-to-Peer Computing. Elsevier.
Indexing in Peer-To-Peer Systems. Prakash Linga. Doctoral Thesis. May 2007
Declarative Reliable Multi-Party Protocols Krzysztof Ostrowski, Ken Birman, Danny Dolev. Cornell University Technical Report (TR2007-2088). April, 2007.
Implementing High-Performance Multicast in a Managed Environment Krzysztof Ostrowski, Ken Birman, Danny Dolev. Cornell University Technical Report (TR2007-2088). April, 2007.
The promise, and limitations, of gossip protocols.K.P. Birman.  SIGOPS Oper. Syst. Rev. 41, 5 (October 2007), 8-13. DOI=http://dx.doi.org/10.1145/1317379.1317382
Exploiting Gossip for Self-Management in Scalable Event Notification Systems. Ken Birman, Anne-Marie Kermarrec, Krzysztof Ostrowski, Marin Bertier, Danny Dolev, Robbert Van Renesse. Distributed Event Processing Systems and Architecture Workshop (DEPSA). June 2007.
Live Distributed Objects: Enabling the Active Web Krzysztof Ostrowski, Ken Birman, and Danny Dolev. IEEE Internet Computing, volume 11, issue 6, pages 72-78. November-December 2007
Optimizing Power Consumption in Large Scale Storage Systems. Lakshmi Ganesh, Hakim Weatherspoon, Mahesh Balakrishnan and Ken Birman. In Proceedings of the 11th Workshop on Hot Topics in Operating Systems (HotOS XI). San Diego, CA. May 7-9, 2007.
Ricochet: Lateral Error Correction for Time-Critical Multicast. Mahesh Balakrishnan, Ken Birman, Amar Phanishayee, and Stefan Pleisch. In Proceedings of the 4th USENIX Symposium on Networked Systems Design & Implementation (NSDI 07). Cambridge, MA. April 2007.
Active and Passive Techniques for Group Size Estimation in Large-Scale and Dynamic Distributed Systems. Dionysios Kostoulas, Dimitrios Psaltoulis, Indranil Gupta, Kenneth P. Birman, Al Demers. Journal of Systems and Software. Volume 80, Issue 10, pp 1639-1658. October 2007.
Scalable Multicast Platforms for a New Generation of Robust Distributed Applications. Ken Birman, Mahesh Balakrishnan, Danny Dolev, Tudor Marian, Krzysztof Ostrowski, Amar Phanishayee. In Proceedings of the Second IEEE/Create-Net/ICST International Conference on Communication System software and Middleware (COMSWARE). Bangalore, India. January 7-12, 2007.
Extensible Architecture for High-Performance, Scalable, Reliable Publish-Subscribe Eventing and Notification. Krzysztof Ostrowski, Ken Birman, and Danny Dolev. International Journal of Web Services Research. Volume 4, No. 4, pp 18-58. October-December 2007.

2006

Scalable Publish-Subscribe in a Managed Framework. Krzysztof Ostrowski, Ken Birman. Cornell Technical Report (TR2007-2086). October, 2006.
The QuickSilver Properties Framework. Krzysztof Ostrowski, Ken Birman, Danny Dolev. Abstract, presented at the OSDI’06 poster session, Seattle, WA, November 2006.
A Scalable Services Architecture. Tudor Marian, Ken Birman, and Robbert van Renesse. In Proceedings of the IEEE Symposium on Reliable Distributed Systems (SRDS 2006). Leeds, UK. October 2006.
Defense Against Intrusion in a Live Streaming Multicast System. Maya Haridasan, Robbert van Renesse. In Proceedings of the 6th IEEE International Conference on Peer-to-Peer Computing (P2P2006), Cambridge, UK, September 2006.
Properties Framework and Typed Endpoints for Scalable Group Communication. Krzysztof Ostrowski, Ken Birman, Danny Dolev. Cornell University Technical Report TR2006-2062 (July, 2006).
Scalable Group Communication System for Scalable Trust. Krzysztof Ostrowski, Ken Birman. In Proceedings of The First ACM Workshop on Scalable Trusted Computing (ACM STC 2006). Fairfax, VA. November 3, 2006.
PLATO:Predictive Latency-Aware Total Ordering. Mahesh Balakrishnan, Ken Birman, and Amar Phanishayee. In Proceedings of the SRDS 2006: 25th IEEE Symposium on Reliable Distributed Systems, Leeds, UK. October 2006.
Cognitive Adaptive Radio Teams. Richard Lau, Stephanie Demers, Yibei Ling, Bruce Siegell, Einar Vollset, Ken Birman, Robbert vanRenesse, Howie Shrobe, Jonathan Bachrach, Lester Foster. In Proceedings of the 2006 International Workshop on Wireless Ad-hoc and Sensor Networks, (IWWAN 2006). New York, NY. June 2006.
Network-Aware Adaptation Techniques for Mobile File Systems. Benjamin Atkin, Ken Birman. In Proceedings of the The 5th IEEE International Symposium on Network Computing and Applications (IEEE NCA06). Cambridge, MA. June 2006.
QuickSilver Scalable Multicast. Krzysztof Ostrowski, Ken Birman, and Amar Phanishayee. Cornell University Technical Report TR2006-2063 (April, 2006).
Reliable Multicast for Time-Critical Systems. Mahesh Balakrishnan and Ken Birman. In Proceedings of the First IEEE Workshop on Applied Software Reliability (WASR 2006), Philadelphia, PA. June 2006.
How the Hidden Hand Shapes the Market for Software Reliability. Ken Birman, Coimbatore Chandersekaran, Danny Dolev, and Robbert van Renesse. In Proceedings of the First IEEE Workshop on Applied Software Reliability, Philadelphia, PA. June 2006.
Extensible Web Services Architecture for Notification in Large-Scale Systems. Krzysztof Ostrowski and Ken Birman. In Proceedings of the 2006 IEEE International Conference on Web Services (ICWS 2006). Chicago, IL, September 2006.
A general algebra and implementation for monitoring event streams. A. Demers, J. Gehrke, M. Hong, M. Riedewald, and W. White. Technical report, Cornell University, 2005
Towards Expressive Publish/Subscribe Systems. Alan Demers, Johannes Gehrke, Mingsheng Hong, Mirek Riedewald, and Walker White. In Proceedings of the 10th International Conference on Extending Database Technology (EDBT 2006), Munich, Germany, March 2006.
Chunkyspread: Multi-tree Unstructured End System Multicast. Vidhyashankar Venkataraman, Paul Francis. IPTPS 2006, February 2006
On Heterogeneous Overlay Construction and Random Node Selection in Unstructured P2P Networks. Vivek Vishnumurthy, Paul Francis. IEEE INFOCOM 2006, April 2006
The Untrustworthy Services Revolution. Ken Birman. IEEE Computer (ISSN 0018-9162). Volume 39, No. 2, pp 98-100. February 2006.
Navigating in the Storm: Using Astrolabe to Adaptively Configure Web Services and Their Clients. Ken Birman, Robbert van Renesse, and Werner Vogels. Cluster Computing Special Issue: Autonomic Computing. (ISSN 1386-7857 (Paper) 1573-7543 (Online)). Volume 9, No. 2, pp 127-139. April 2006.
Mistral: Efficient Flooding in Mobile Ad-hoc Networks. S. Pleisch, M. Balakrishnan, K. Birman, and R. van Renesse. In Proceedings of the Seventh ACM International Symposium on Mobile Ad Hoc Networking and Computing (ACM MobiHoc 2006). Florence, Italy May 2006.
Autonomic Computing - A System-Wide Perspective. Robbert van Renesse and Kenneth P. Birman. "Autonomic Computing: Concepts, Infrastructure, and Applications". pp 35-48. ed. Manish Parashar and Salim Hariri, CRC press. January 2006.
SENSTRAC: Scalable Querying of SENSor Networks from Mobile Platforms Using TRACking-Style Queries. Stefan Pleisch and Ken Birman. In Proceedings of The Third IEEE International Conference on Mobile Ad-hoc and Sensor Systems. Vancouver, Canada. October, 2006.
EPOCHS: Integrated Off the Shelf Software For Agent-Based Electric Power And Communication Simulation . Hopkinson, K.M.; Giovanini, R.; Wang, X.; Birman, K.P.; Coury, D.V.;Thorp, J.S. Proceedings of the 2003 Winter Simulation Conference, later published in IEEE Transactions on Power Systems. Volume 21, No. 2, pp 548 - 558. February 2006.
Fireflies: Scalable Support for Intrusion-Tolerant Overlay Networks. Robbert van Renesse and Havard Johansen. EuroSys 2006, Leuven, Belgium, April 2006.

2005

Peer-to-Peer Systems IV: 4th International Workshop, IPTPS 2005, Revised Selected Papers. Miguel Castro and Robbert van Renesse. Lecture Notes in Computer Science 3640. No. ISBN 3-540-29068-0. Ithaca, NY, USA. February 2005.
Using Randomized Techniques to Build Scalable Intrusion-Tolerant Overlay Networks. Robbert van Renesse. StoDis 2005 -- Workshop on Stochasticity in Distributed Systems, December 2005, San Jose, CA.
The Power of Indirection: Achieving Multicast Scalability by Mapping Groups to Regional Underlays. Krzysztof Ostrowski, Ken Birman, and Amar Phanishayee. Cornell University Technical Report TR2006-2064 (November, 2005).
Ricochet: Low-Latency Multicast for Scalable Time-Critical Services. Mahesh Balakrishnan, Ken Birman, Amar Phanishayee, and Stefan Pleisch. Cornell University Technical Report.
Can Web Services Scale Up? Ken Birman. IEEE Computer. Volume 38, Number 10, pp 107-110. October 2005.
Slingshot: Time-Critical Multicast for Clustered Applications. Mahesh Balakrishnan, Stefan Pleisch, Ken Birman. IEEE Network Computing and Applications 2005 (NCA 05). Boston, MA
Decentralized Schemes for Size Estimation in Large and Dynamic Groups. Dionysios Kostoulas, Dimitrios Psaltoulis, Indranil Gupta, Ken Birman, Al Demers. IEEE Network Computing and Applications 2005 (NCA 05). October, 2005, Boston, MA.
Reliable Distributed Systems Technologies, Web Services, and Applications. Birman, Kenneth P. 2005, XXXVI, 668 p. 145 illus., Hardcover ISBN: 0-387-21509-3
Building network-centric military applications over service oriented architectures. Kenneth Birman, Robert Hillman, Stefan Pleisch. SPIE Defense and Security Symposium 2005. March 29-31, 2005. Orlando, Florida.
APSS: Proactive Secret Sharing in Asynchronous Systems. Lidong Zhou, Fred B. Schneider, and Robbert van Renesse. ACM Transactions on Information and System Security (TISSEC). Vol 8, Issue 3, August 2005
Overcoming Communications Challenges in Software for Monitoring and Controlling Power Systems. Kenneth P. Birman, Jie Chen, Kenneth M. Hopkinson, Robert J. Thomas, James S. Thorp, Robbert van Renesse, and Werner Vogels. Proceedings of the IEEE. Vol. 9, No. 5. May 2005.
JiST: An Efficient Approach to Simulation using Virtual Machines. Rimon Barr, Zygmunt Haas, and Robbert van Renesse. Software--Practice and Experience, 2004. Reprinted in "Handbook on Theoretical and Algorithmic Aspects of Sensor, Ad Hoc Wireless, and Peer-to-Peer Networks", Jie Wu, editor. CRC Press, 2005.

2004

Bringing Autonomic, Self-Regenerative Technology into Large Data Centers. Kenneth Birman. New Developments in Software Development Workshop, (NDIST 04), Dec. 7-10, 2004, St. John, US Virgin Islands.
Efficient Reliable Internet Storage. Robbert van Renesse. Workshop on Dependable Distributed Data Management. October, 2004. Florianopolis, Brazil.
Environment Mobility - Moving the Desktop Around. Dag Johansen, Håvard Johansen, Robbert van Renesse. Second International Workshop on Middleware for Pervasive and Ad-Hoc Computing (MPAC'04). October 2004, Toronto, Canada.
Chain Replication for Supporting High Throughput and Availability. Sixth Symposium on Operating Systems Design and Implementation Robbert van Renesse, Fred. B. Schneider. Sixth Symposium on Operating Systems Design and Implementation (OSDI 04). December 2004, San Francisco, CA.
JiST: An Efficient Approach to Simulation using Virtual Machines. Rimon Barr, Zygmunt Haas, and Robbert van Renesse. Software--Practice and Experience, 2004.
SSCH: Slotted Seeded Channel Hopping for Capacity Improvement in IEEE 802.11 Ad-Hoc Wireless Networks. Paramvir Bahl, Ranveer Chandra, and J. Dunagan. ACM Mobicom 2004, Philadelphia
Architecture and Techniques for Diagnosing Faults in IEEE 802.11 Infrastructure Networks. Atul Adya, Paramvir Bahl, Ranveer Chandra, and Lili Qiu. ACM Mobicom 2004, Philadelphia
"Overcoming Communication, Distributed System, and Simulation Challenges: A Case Study Involving the Protection and Control of the Electric Power Grid Using a Utility Intranet Based on Internet Technology". Ken Hopkinson, Doctoral Thesis, July 2004
P6P: A Peer-to-Peer Approach to Internet Infrastructure. Lidong Zhou, Robbert van Renesse. Proceedings of the International Workshop on Peer-to-Peer Systems (IPTPS '04). February 2004, San Diego, CA.
Willow: DHT, Aggregation, and Publish/Subscribe in One Protocol. Robbert van Renesse, Adrian Bozdog. Proceedings of the International Workshop on Peer-to-Peer Systems (IPTPS '04). February 2004, San Diego, CA.
"A Routing Infrastructure for Wide-Area Multicast Applications", Adrian Bozdog, August 2004.
Scalable, Self-Organizing Technology for Sensor Networks. Kenneth P. Birman, Saikat Guha, Rohan Murty. Advances in Pervasive Computing and Networking, Bulent Yeler, ed. Springer Science+Business Media, Inc. New York, NY, Pg. 1-15.
Kache: Peer-to-Peer Web Caching Using Kelips. Prakash Linga, Indranil Gupta, and Ken Birman. June 2004
On the Placement of Internet Taps in Wireless Neighborhood Networks. Ranveer Chandra, Kamal Jain, Mohammad Mahdian and Lili Qiu. 12th IEEE International Conference on Network Protocols, (ICNP 04). Berlin, Germany, October 5-8, 2004.
MultiNet: Connecting to Multiple IEEE 802.11 Networks Using a Single Wireless Card. Ranveer Chandra, Paramvir Bahl and Pradeep Bahl. Proceedings of IEEE Infocom 2004, Hong Kong, March 7-11, 2004.
Like it or not, Web Services are Distributed Objects! K.P. Birman, Communications of the ACM, December 2004, Vol.47, No.12, pg 60-62.
The Performance of SelectCast - Scalable and Self-Repairing Multicast Overlay Routing. Adrian Bozdog, Robbert van Renesse, Dan Dumitriu. April 2004.
Practical algorithms for Size estimation in Large and Dynamic groups. D. Psaltoulis, D. Kostoulas, I. Gupta, K. Birman, A. Demers. February 2004.
Adding High Availability and Autonomic Behavior to Web Services. Ken Birman, Robbert van Renesse, Werner Vogels. In the Proceedings of the 26th Annual International Conference on Software Engineering (ICSE 2004). May 23 - 28, 2004. Edinburgh, Scotland.
Building Scalable Solutions to Distributed Computing Problems using Probabilistic Components. Kenneth P. Birman and Indranil Gupta. Cornell Technical Report.

2003

MFS: an Adaptive Distributed File System for Mobile Hosts. Benjamin Atkin and Kenneth P. Birman. Cornell University Technical Report  
SelectCast -- A Scalable and Self-Repairing Multicast Overlay Routing Facility. Adrian Bozdog, Robbert van Renesse, Dan Dumitriu. Proceedings of the First ACM Workshop on Survivable and Self-Regenerative Systems. October 31, 2003. Fairfax, VA.  
The League of SuperNets, Ken Birman, IEEE Internet Computing, vol. 7, no. 5, 2003, pp. 92-96.  
Architectural Challenges for Global Information Systems. Werner Vogels. In the Proceedings of the High Performance Transaction Systems Workshop, Asilomar, CA, October 2003.
HPC.NET - Are CLI based Virtual Machines Suitable for High Performance Computing? Werner Vogels. In the Proceedings of the 15th Supercomputing Conference (SC2003), Phoenix, Arizona, November 2003.  
Benchmarking CLI for High Performance Computing. Werner Vogels, IEEE Proc.-Softw., Vol. 150., No.5, October 2003.
Tracking service availability in long running business activities. Werner Vogels. The First International Conference on Service Oriented Computing (ICSOC03), Trento, Italy, December 15-18, 2003.
WS-Membership - Failure Management in a Web-Services World. Werner Vogels , Chris Re. 12th International World Wide Web Conference , May 2003 (Budapest, Hungary).  
A Churn-Resistant Peer-to-Peer Web Caching System. Prakash Linga, Indranil Gupta, Ken Birman. ACM Workshop on Survivable and Self-Regenerative Systems, October 2003.  
EPOCHS: Integrated Commercial Off the Shelf Software For Agent-Based Electric Power And Communication Simulation Hopkinson, K.M.; Giovanini, R.; Wang, X.; Birman, K.P.; Coury, D.V.;Thorp, J.S. Proceedings of the 2003 Winter Simulation Conference, later published in IEEE Transactions on Power Systems, Vol 21, No. 2 (Feb 2006, pp 548 - 558).  
Navigating in the Storm: Using Astrolabe for Distributed Self-Configuration, Monitoring and Adaptation Ken Birman , Robbert van Renesse, Werner Vogels. 5th Annual International Active Middleware Workshop (AMS 2003), Seattle , WA June 2003.  
Heterogeneity-Aware Peer-to-Peer Multicast. Robbert van Renesse, Ken Birman, Adrian Bozdog, Dan Dumitriu, Manpreet Singh and Werner Vogels. Proceedings of the 17th International Symposium on Distributed Computing (DISC 2003). October 2003. Sorrento, Italy  
Kelips: Building an Efficient and Stable P2P DHT Through Increased Memory and Background Overhead. Indranil Gupta, Ken Birman, Prakash Linga, Al Demers and Robbert van Renesse. 2nd International Workshop on Peer-to-Peer Systems (IPTPS '03); February 20-21, 2003. Claremont Hotel, Berkeley, CA, USA.  
Evaluation of an Adaptive Transport Protocol. Benjamin Atkin and Kenneth P. Birman. ACM INFOCOM 2003, April 1-3 2003, San Francisco.  
User-specified Adaptive Scheduling in a Streaming Media Network. Michael Hicks, Adithya Nagarjan, Robbert van Renesse. Proc. of OpenARCH'03, San Francisco, CA. April 2003  
Web Services are not Distributed Objects. Werner Vogels, IEEE Internet Computing, Vol. 7, No. 6, pp 59-66, November/December 2003.  
WAIF: Web of Asynchronous Information Filters Dag Johansen, Robbert van Renesse, and Fred B. Schneider. Springer-Verlag Lecture Notes in Computer Science volume 2584 "Future Directions in Distributed Computing". A. Schiper, A. A. Shvartsman, H. Weatherspoon, and B. Y. Zhao, editors. Springer-Verlag, Heidelberg, April 2003  
The Importance of Aggregation. Robbert van Renesse. Springer-Verlag Lecture Notes in Computer Science volume 2584 "Future Directions in Distributed Computing". A. Schiper, A. A. Shvartsman, H. Weatherspoon, and B. Y. Zhao, editors. Springer-Verlag, Heidelberg, April 2003  
Astrolabe: A Robust and Scalable Technology for Distributed System Monitoring, Management, and Data Mining. Robbert van Renesse, Kenneth Birman and Werner Vogels. ACM Transactions on Computer Systems, May 2003, Vol.21, No. 2, pp 164-206  

2002

The Power of Epidemics: Robust Communication for Large-Scale Distributed Systems. Werner Vogels, Robbert van Renesse and Ken Birman. In Proceedings of HotNets-I '02: First Workshop on Hot Topics in Networks, special issue of the ACM SIGCOMM Computer Communication Review, Princeton, NJ. October 2002.
Power-Aware Epidemics. Robbert van Renesse. In Proceedings of the International Workshop on Reliable Peer-to-Peer Systems, Osaka, Japan. October 2002.
Collaborative Computing in an Uncooperative Internet. Robbert van Renesse. In the Proceedings of the Symposium on Reliable Distributed Systems (SRDS 2002), Osaka, Japan, October 2002.
Implementing IPv6 as a Peer-to-Peer Overlay Network. Lidong Zhou, Robbert van Renesse, and Michael Marsh. In the Proceedings of the Symposium on Reliable Distributed Systems (SRDS 2002), Osaka, Japan, October 2002
Fighting fire with fire: using randomized gossip to combat stochastic scalability limits. Indranil Gupta, Kenneth P. Birman, Robbert van Renesse. In Special Issue Journal Quality and Reliability Engineering International: Secure, Reliable Computer and Network Systems (ed. Nong Ye), vol. 18, no. 3, pp. 165-184, May/June 2002
Statistical Analysis of Connectivity in Unidirectional Mobile Ad Hoc Networks. Venugopalan Ramasubramanian and Daniel Mosse. Proceedings of the International Workshop on Ad Hoc Networking 2002, Vancouver. August 18-21, 2002.
The Surprising Power of Epidemic Communication. Kenneth Birman. Proceedings, Workshop on Future Directions in Distributed Computing (FuDiCo 2002). Bertinoro, Italy (June 2002). Springer-Verlag.
The Importance of Aggregation. Robbert van Renesse. In Proceedings of the International Workshop on Future Directions in Distributed Computing, Bertinoro, Italy. June 2002.
Holistic Operations in Large-Scale Sensor Network Systems: a Probabilistic Peer-to-Peer Approach. Indranil Gupta & Kenneth Birman. In Proceedings, International Workshop on Future Directions in Distributed Computing (FuDiCo). June 2002. pp. 1-4.
TAF: A Temporal Adaptive Framework for Hybrid Routing in Mobile Ad Hoc Networks. Venugopalan Ramasubramanian and Emin Gun Sirer. Technical Report, TR2000-1862, Department of Computer Science, Cornell University. March 2002.
Scalable Management and Data Mining Using Astrolabe. van Renesse, Robbert, Birman, Kenneth P., Dumitriu, Dan and Vogel, Werner. Proceedings of the First International Workshop on Peer-to-Peer Systems (IPTPS). Cambridge, Massachusetts. March 2002.
A Collaborative Infrastructure for Scalable and Robust News Delivery. Werner Vogels, Chris Re, Robbert van Renesse and Ken Birman. In the Proceedings of the IEEE Workshop on Resource Sharing in Massively Distributed Systems (RESH'02), Vienna, Austria, July 2002.
Scalable Data Fusion Using Astrolabe. Ken Birman, Robbert van Renesse and Werner Vogels. In proceedings of the Fifth International Conference on Information Fusion 2002 (IF 2002), July 2002.
A Mesh-Based Robust Topology Discovery Algorithm for Hybrid Wireless Networks. Ranveer Chandra, Christof Fetzer, Karin Hogstedt. AT&T Labs Technical Report.
Providing a Bi-directional Abstraction for Unidirectional Ad Hoc Networks. Venugopalan Ramasubramanian, Ranveer Chandra and Daniel Mosse. Proceedings of the INFOCOM 2002, June 23-27, New York.
Optimizing Buffer Management for Reliable Multicast. Zhen Xiao, Robbert van Renesse, Kenneth Birman. Proceedings of the International Conference on Dependable Systems and Networks (DSN ’02), June 2002.
SWIM: Scalable Weakly-consistent Infection-style Process Group Membership Protocol. Abhinandan Das, Indranil Gupta, Ashish Motivala. In Proceedings of the International Conference on Dependable Systems and Networks 2002 (DSN 2002), pp 303-312. June 2002.
Efficient Epidemic-Style Protocols for Reliable and Scalable Multicast. Indranil Gupta, Anne-Marie Kermarrec, Ayalvadi J. Ganesh. Proceedings of the 21st Symposium on Reliable Distributed Systems (SRDS 02), Osaka, Japan. October 2002. pp. 180-189.
An Agent-based Current Differential Relay for use with a Utility Intranet. D.V. Coury, J.S. Thorp, K.M. Hopkinson, K.P. Birman. IEEE Transactions on Power Delivery, January 22, 2002, Vol. 17, No 1, pp 47-53.

2001

The Architecture and Performance of the Security Protocols in the Ensemble Group Communication System. Ohad Rodeh, Ken Birman, Danny Dolev. Journal of ACM Transactions on Information Systems and Security (TISSEC). Vol. 4, No 3, pp 289-319, Aug 2001
Using AVL Trees for Fault-Tolerant Group Key Management. Ohad Rodeh, Kenneth P. Birman, Danny Dolev. International Journal of Information Security (IJIS), Vol. 1, No 2, pp 84-99, February 2002; Published online: October 26, 2001.
GulfStream - a System for Dynamic Topology Management in Multi-Domain Server Farms. Sameh A. Fakhouri, German Goldszmidt, Indranil Gupta, Michael Kalantar, John Pershing, In Proc. IEEE International Conference on Cluster Computing (Cluster 2001), October 2001.
Proving Hybrid Protocols Correct, Mark Bickford. Christoph Kreitz, Robbert van Renesse, Xiaoming Liu. In the International Conference on Theorem Proving and Higher Order Logic 2001. Nijmegen, The Netherlands. August 2001.  
On Scalable and Efficient Distributed Failure Detectors. Indranil Gupta, Tushar D. Chandra, German Goldszmidt. In 20th Symposium on Principles of Distributed Computing (PODC 2001), pp. 170-179, Newport, RI, August, 2001.  
Scalable Fault-tolerant Aggregation in Large Process Groups. Indranil Gupta, Robbert van Renesse, Kenneth P. Birman. International Conference on Dependable Systems and Networks (DSN ’01) Gothenberg, Sweden, July 2001.
Technology Requirements for Virtual Overlay Networks. Ken Birman. IEEE Systems, Man and Cybernetics: Special issue on Information Assurance, Vol. 31, No 4, pp 319-327, July 2001.
Spinglass: Secure and Scalable Communications Tools for Mission-Critical Computing. Kenneth P. Birman, Robbert van Renesse and Werner Vogels. International Survivability Conference and Exposition. DARPA DISCEX-2001, Anaheim, California, June 2001.
An Experiment in Formal Design using Meta-Properties. Mark Bickford, Christoph Kreitz, Robbert van Renesse, Robert Constable. In the DARPA Information Survivability Conference and Exposition II (DISCEX 2001), IEEE Computer Society Press. June 2001
A Gossip Protocol for Subgroup Multicast. Kate Jenkins, Ken Hopkins and Ken Birman. International Workshop on Applied Reliable Group Communication (WARGC 2001), Phoenix, Arizona, April 2001.  
Providing Efficient, Robust Error Recovery Through Randomization. Zhen Xiao and Ken Birman. International Workshop on Applied Reliable Group Communication (WARGC 2001), Phoenix, Arizona, April 2001.  
Protocol Switching: Exploiting Meta Properties. Xiaoming Liu, Robbert van Renesse, Mark Bickford, Christoph Kreitz, Robert Constable. In the International Workshop on Applied Reliable Group Communication at the International Conference on Distributed Computing Systems (ICDCS), Phoenix, AZ, April 2001.  
Anonymous Gossip: Improving Multicast Reliability in Ad-Hoc Networks. Ranveer Chandra, Venugopalan Ramasubramanian, Ken Birman. International Conference on Distributed Computing Systems (ICDCS 2001), Phoenix, Arizona, April 2001.
A Randomized Error Recovery Algorithm for Reliable Multicast. Zhen Xiao and Ken Birman. IEEE Infocom 2001, April 2001, Alaska.  
Improving the Protection of EHV Teed Feeders Using Local Agents. Coury, D.V.; Thorp, J.S.; Hopkinson, K.M. & Birman, K.P. IEEE Seventh International Conference on Developments in Power System Protection, 9 - 12 April 2001, Amsterdam, The Netherlands.
Minimal CDMA Recoding Strategies in Power-controlled Ad-hoc Wireless Networks. Indranil Gupta. Proc. 1st International Workshop on Parallel and Distributed Computing Issues in Wireless Networks and Mobile Computing, San Francisco, April, 2001  
Using Epidemic Techniques for Building Ultra-Scalable Reliable Communications Systems. Werner Vogels, Robbert van Renesse, and Ken Birman. Workshop on New visions for Large-Scale Networks: Research and Applications, Vienna, VA, March 2001.  

2000

An Overview of the Galaxy Management Framework for Scalable Enterprise Cluster Computing. Werner Vogels and Dan Dumitriu. In the Proc. of the IEEE International Conference on Cluster Computing: Cluster-2000, Chemnitz, Germany, December 2000.
A Probabilistically Correct Leader Election Protocol for Large Groups. Indranil Gupta, Robbert Van Renesse, Ken Birman, DISC 2000, Toledo, Spain, October 4-6, 2000.
Scalability, Throughput Stability and Efficient Buffering in Reliable Multicast Protocols. Oznur Ozkasap. Technical Report, TR2000-1827, Department of Computer Science, Cornell University. December 2000.
Next Generation Internet: Unsafe at Any Speed? Ken Birman. IEEE Computer, Special Issue on Infrastructure Protection, Vol. 33, No 8, pp 54-88, August 2000.
Throughput Stability of Reliable Multicast Protocols. Oznur Ozkasap, Ken Birman. ADVIS’ 2000, Dokuz Eylul University, Izmir, Turkey, October 25-27, 2000.
Tree Saturation Control in the AC3 Cluster Interconnection. Werner Vogels, David Follet, Jen Wei, David Lifka and David Stern. Proc. of the 8th IEEE Hot Interconnects Symposium, Stanford, CA, August 2000.
A Dynamic Light-Weight Group Service. Luis Rodrigues, Katherine Guo, Paulo Verissimo, and Kenneth P. Birman. Journal of Parallel and Distributed Computing, 60, 1449-1479 (2000).
Design and Implementation of Programmable Media Gateways. Wei Tsang Ooi, Robbert van Renesse, Brian Smith. In the 10th International Workshop on Network and Operating System Support for Digital Audio and Video (NOSSDAV 2000), Chapel Hill, NC. June 26-28, 2000.
A Simulation Model for an Epidemic Multicast Protocol. Oznur Ozkasap and Ken Birman. BAS2000 Conference (5th Computer Networks Symposium), Bilkent University, Ankark, Turkey, June 15-16, 2000.
Technology Challenges for Virtual Overlay Networks. Ken Birman. IEEE Systems, Man, and Cybernetics Information Assurance and Security Workshop, June 6-7, 2000, West Point, New York.
Fast Protocol Transition in A Distributed Environment. Xiaoming Liu, Robbert van Renesse. (short paper). In the Proc. of 19th ACM Conference on Principles of Distributed Computing (PODC 2000). Portland, OR, July 2000.
A Study of Group Rekeying. Ohad Rodeh, Ken Birman, Danny Dolev. Cornell University, Computer Science TR2000-1791, March 2000.
Agent Technology Applied to Adaptive Relay Settings for Multi-Terminal Lines. D.V. Coury, J.S. Thorp, K.M. Hopkinson, K.P. Birman, 2000 IEEE PES Summer Meeting, 16 - 20 of July 2000, Seattle, WA, USA.
Optimized Group Rekey for Group Communication Systems. Ohad Rodeh, Ken Birman, and Danny Dolev, Network and Distributed System Security 2000, February 2000, San Diego, California. (Extended version available as Cornell University, Computer Science TR99-1764.)
The Horus and Ensemble Projects: Accomplishments and Limitations. Ken Birman, Robert Constable, Mark Hayden, Christopher Kreitz, Ohad Rodeh, Robbert van Renesse, Werner Vogels. Proc. of the DARPA Information Survivability Conference & Exposition (DISCEX '00), January 25-27 2000 in Hilton Head, South Carolina.
An Adaptive Protocol for Locating Media GatewaysWei Tsang Ooi, Robbert van Renesse. In the 8th ACM International Multimedia Conference, Los Angeles, CA, 2000.
Scalable and Secure Resource Location. Robbert van Renesse. In Proc. of the 33rd Hawaii International Conference on System Sciences, Maui, Hawaii, January 2000.
A New Strategy for Improving the Effectiveness of Resource Reclaiming Algorithms in Multiprocessor Real-time Systems. Indranil Gupta, G. Manimaran, C. Siva Ram Murthy. Journal of Parallel and Distributed Computing, Vol. 60, No. 1, pp. 113-133, January, 2000.

1999

Building Reliable, High-Performance Communication Systems from Components. Xiaoming Liu, Christoph Kreitz, Robbert van Renesse, Jason Hickey, Mark Hayden, Ken Birman, and Robert Constable. In Proc. of the 17th ACM Symposium on Operating System Principles, Kiawah Island Resort, SC, December 1999.
File System Usage in Windows NT 4.0. Werner Vogels. Proc. of the 17th ACM Symposium on Operating Systems Principles, Kiawah Island, SC, December 1999.
Efficient Buffering in Reliable Multicast Protocols. Ozkasap, Oznur, van Renesse, Robbert, Birman, Kenneth and Xiao, Zhen Lecture notes in Computer Science 1736, Springer Verlag, pp 159-169. Proceedings of the First Workshop on Networked Group Commun­ication.(NGC99) Pisa, Italy. (November 1999).
A Review of Experiences with Reliable Multicast. K. P. Birman Software Practice and Experience Vol. 29, No. 9, pp, 741-774, July 1999.
Virtual Synchrony. The Encyclopedia of Distributed Computing. K. Birman. Joseph Urban and Partha Dasgupta, eds. Kluwer Academic Publishers.
Casually Ordered Multicast: The Conservative Approach. Michael Kalantar and Ken Birman. International Conference on Distributed Computing Systems (ICDCS ’99), July 1999.
PEX: A Partitionable Execution Service for a Network of Heterogeneous Processors. Takako M. Hickey, and Robbert van Renesse. In Proc. of the 29th International Symposium on Fault-Tolerant Computing, Madison, Wisconsin. June 1999.
Bimodal Multicast. Kenneth P. Birman, Mark Hayden, Oznur Ozkasap, Zhen Xiao, Mihai Budiu and Yaron Minsky. ACM Transactions on Computer Systems, Vol. 17, No. 2, pp 41-88, May, 1999.
What TACOMA Taught Us. Dag Johansen, Fred B. Schneider and Robbert van Renesse. Mobility: Processes, Computers, and Agents, edited by Dejan S. Milojicic, Frederick Douglis and Richard G. Wheeler, Addison Wesley Publishing Company and the ACM Press, April 1999.
Fault-Tolerant Dynamic Scheduling of Object-Based Tasks in Multiprocessor Real-Time Systems. Indranil Gupta, G. Manimaran, C. Siva Ram Murthy. In Annual IEEE Workshop on Fault-Tolerant Parallel and Distributed Systems, pp.83-107, Puerto Rico, April 16, 1999.
Specifications and Proofs for Ensemble layers. Jason Hickey, Nancy Lynch, and Robbert van Renesse. In R. Cleaveland, ed., 5th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, LNCS 1579, pp. 119-133, Springer Verlag. March 1999.
The Hierarchical Daisy Architecture for Causal Delivery. Roberto Baldoni, Roy Friedman, and Robbert van Renesse, Distributed Systems Engineering Journal, Vol. 6, pp, 71-81, 1999.
Windows 2000 Research Edition, Where the Academic White Knights meet the Evil Empire. Werner Vogels, Informatik/Informatique, Swiss Computer Society, February 1999.
A Multicast Flow Control Protocol. Mark Hayden and Zhen Xiao. TR99-1739, Cornell University
Scalability of Two Reliable Multicast Protocols. Oznur Ozkasap, Zhen Xiao, and Kenneth P. Birman. TR99-1748, Cornell University.

1998

Quintet, Tools for Reliable Enterprise Computing. Werner Vogels, Dan Dumitriu, Mike Panitz, Kevin Chipalowsky and Jason Pettis, Proceedings of the 2nd International Enterprise Distributed Object Computing Conference, San Diego, November, 1998.
Evolution of the Virtual Interface Architecture. Thorsten von Eicken and Werner Vogels. IEEE Computer. November 1998.
Six Misconceptions about Reliable Distributed Computing. K. Birman, W. Vogels, R. van Renesse. Proceedings of the Eighth ACM SIGOPS European Workshop. Sintra, Portugal, September 1998.
Goal-oriented programming, or composition using events, or threads considered harmful. Robbert van Renesse. In Proc. of the Eighth ACM SIGOPS European Workshop. Sintra, Portugal. September 1998.
A Gossip-Based Failure Detection Service. Robbert van Renesse, Yaron Minsky, and Mark Hayden. In Proc. of Middleware '98, the IFIP International Conference on Distributed Systems Platforms and Open Distributed Processing, pp. 55--70. England. September 1998.
Building Adaptive Systems Using Ensemble. Robbert van Renesse, Kenneth P. Birman, Mark Hayden, Alexey Vaysburd, and David Karr. Software--Practice and Experience. Vol28, No. 9, pp, 963—979, August 1998.
Scalability of the Microsoft Cluster Service. Werner Vogels, Dan Dumitriu, Anand Agrawal, T. Chia, and Katerine Guo, Proc. of the Second Usenix Windows NT Symposium, Seattle, WA, August 1998.
The Maestro Approach to Building Reliable Interoperable Distributed Applications with Multiple Execution Styles. Alexey Vaysburd and Ken Birman. Theory and Practice of Object Systems. 1998. 4:2.
The Design and Architecture of the Microsoft Cluster Service -- A Practical Approach to High-Availability and Scalability. K. Birman, W. Vogels, D. Dumitriu, R. Gamache, R. Short, J. Vert, M. Massa, J. Barrera, J. Gray. Proc. of the 28th symposium on Fault-Tolerant Computing, Munich, Germany, June 1998.
Building Reliable Distributed Components -- or the case for anti-transparent reliability tools. Werner Vogels, Dan Dumitriu and Mike Panitz, Usenix COOTS 1998 Advanced Workshop on Scalable Object Systems, May 1998.
Reliable Multicast Goes Mainstream. Kenneth P. Birman IEEE TCOS Spring 1998 Bulletin, Vol. 10, No 1, pp. 12-26, Feb 1998
Middleware Support for Distributed Multimedia and Collaborative Computing. K. Birman, R. Friedman, M. Hayden, I. Rhee. ACM Multimedia Computing and Networking Conference, 1998.
Operating System Support for Mobile Agents. Dag Johansen, Robbert van Renesse, and Fred B. Schneider. Readings on Agents, edited by Michael N. Hunhns and Munindar P. Singh, Morgan-Kaufmann Publishers Inc. 1998.

1997

GSGC: An Efficient Gossip-Style Garbage Collection Scheme for Scalable Reliable Multicast. Katherine Guo, Mark Hayden, Werner Vogels, Robbert van Renesse, and Ken Birman. Technical Report Department of Computer Science Cornell University CS-TR-97-1656, December 1997.
Building Reliable Adaptive Distributed Objects with the Maestro Tools. Alexey Vaysburd and Ken Birman. Workshop on Dependable Distributed Object Systems, OOPSLA'97
Fast Replicated State Machines Over Partitionable Networks. Roy Friedman and Alexey Vaysburd. In Proc. of the IEEE 16th International Symposium on Reliable Distributed Systems October 1997.
Object Oriented GroupWare using the Ensemble System. Werner Vogels. In the Proc. of the 5th European Conference on Computer Supported Collaborative Work, Workshop on Object Oriented Groupware Platforms, Lancaster, UK, September 1997.
Hierarchical Message Stability Tracking Protocols. Katherine Guo, Werner Vogels, Robbert van Renesse, and Ken Birman. Technical Report Department of Computer Science Cornell University, CS-TR-971647, September 1997.
Moving the Ensemble Groupware System to Windows NT and Wolfpack. K. Birman, W. Vogels, K. Guo, M. Hayden, T. Hickey, R. Friedman, S. Maffeis, R. van Renesse, A. Vaysburd. Proc. of USENIX Windows NT Workshop, Seattle, WA. August 11-13, 1997.
Optimizing Layered Communication Protocols. Mark Hayden and Robbert van Renesse. 6th IEEE Int. Symp. On High Performance Distributed Computing. Portland, Oregon. August 1997.
Packing Messages as a Tool for Boosting the Performance of Total Ordering Protocols. Roy Friedman and Robbert van Renesse. 6th IEEE Int. Symp. On High Performance Distributed Computing. Portland, Oregon August 1997.
Performance Issues in TACOMA. Dag Johansen, Nils P. Sudmann and Robbert van Renesse. 3rd. Workshop on Mobile Object Systems, 11th European Conference on Object-Oriented Programming, Jyvaskyla, Finland. 9-13 June 1997.
Dynamic Light-Weight Groups. K. Birman & K. Guo. ICDCS 97.

1996

Building Secure and Reliable Network Applications. Ken Birman. (book) Manning Publications and Prentice Hall. Dec 1996.
Group Communication Technology to Implement a Reliable and Scalable Distributed IN Coprocessor. K. Birman & R. Friedman. TINA '96, (Sept).
A transparent light-weight group service. L. Rodrigues, K. Guo, A. Sargento, R. van Renesse, B. Glade, P. Verissimo and K.P. Birman. In Proc. of the 16th IEEE Symp. On Reliable Distributed Systems. Niagara-on-the-Lake, Canada, Ontario. . October 1996.
Strong and Weak Synchrony in Horus. Roy Friedman and Robbert van Renesse. In Proc. of the 16th IEEE Symp. On Reliable Distributed Systems. Niagara-on-the-Lake, Canada, Ontario. October 1996.
World-Wide Failures. Werner Vogels. In the Proceedings of the 1996 ACM SIGOPS Workshop, Connemora, Ireland, September 1996.
Structured Virtual Synchrony: Exploring the bounds of Virtual Synchronous Group Communication. Katherine Guo, Robbert van Renesse and Werner Vogels. In the Proc. of the 1996 ACM SIGOPS Workshop, Connemora, September 1996.
Cryptographic Support for Fault-Tolerant Distributed Computing. Yaron Minsky, Robbert van Renesse, Fred B. Schneider, and Scott Stoller. Proc. of the 7th ACM SIGOPS European Workshop. September 1996.
Supporting Broadband Internet Access. Dag Johansen, Robbert van Renesse, and Fred B. Schneider. In Proceedings of the Seventh ACM SIGOPS European Workshop, Connemara, Ireland, (9-11 September 1996), pp. 55-58.
Masking the Overhead of Layering. Robbert van Renesse. Proc. of the 1996 ACM SIGCOMM Conf. Stanford University. August 1996.
Software for Reliable Networks. K. Birman and R. van Renesse. Scientific American, May 1996, 274(5): 64-69.
Horus: A Flexible Group Communications System. R. van Renesse, S. Maffeis, and K. Birman. Communications of the ACM. 39(4):76-83. Apr 1996.

1995

U-Net: A User-Level Network Interface for Parallel and Distributed Computing. Thorsten von Eicken, Anindya Basu, Vineet Buch and Werner Vogels. In Proceedings of the 15th ACM Symposium on Operating Systems Principles, Copper Mountain, December 1995,
Supporting Agents in a Heterogeneous, Faulty and Insecure Network. Abstract: Work in Progress Session. Dag Johansen, Robbert van Renesse and Fred B. Schneider. 15th ACM SOSP. Copper Mountain, Colorado. 4th December, 1995
The Design and Implementation of a Private Message Service for Mobile Computers. D. Cooper and K. Birman. WINET: Journal of Wireless Network; Issue - Recent Advances in Wireless Networking Technology, 1(3), 297-309, Oct 1995.
Delivering High-Performance Communication to the Application-Level. Werner Vogels and Thorsten von Eicken. In the Proceedings of the Third IEEE Workshop on the Architecture and Implementation of High Performance Communication Subsystems (HPCS’95), August 1995.

David A. Cooper and Kenneth P. Birman. 1995. The design and implementation of a private message service for mobile computers. Wirel. Netw. 1, 3 (August 1995), 297-309. DOI=http://dx.doi.org/10.1007/BF01200848

A Framework for Protocol Composition in Horus. Robbert van Renesse, Kenneth P. Birman, Roy Friedman, Mark Hayden, Mark and David A. Karr. Proc. of the 14th ACM Conf. on Principles of Distributed Computing. 80-89. August 1995.
Theory and Practice in Distributed Systems: International Workshop, Dagstuhl Castle, Germany, September 5 - 9, 1994. Selected Papers (Lecture Notes in Computer Science). Kenneth P. Birman, Friedemann Mattern and Andre Schiper (Eds.) Springer. 1995.
Reliability Through Consistency. Bradford Glade. K. Birman. IEEE Software (Special Issue on Safety and Reliability), May 1995.
Preserving Privacy in Network of Mobile Computers. Cooper and Birman. Proceedings of the 1995 IEEE Symposium on Research in Security and Privacy. Oakland, CA.

1994

A Group Communication Approach for Mobile Computing. K. Birman & K. Cho. Workshop on Mobile Computing Systems and Applications. Santa Cruz, California, Dec 8-9, 1994.
A Security Architecture for Fault-Tolerant Systems. M. Reiter, K. Birman and R. van Renesse. ACM Transactions on Computer Systems, 12 (4):340-371, Nov 1994.
A Response to Cheriton and Skeen's Criticism of Causal and Totally Ordered Communication. K. Birman. Operating Systems Review, Jan 1994, Vol. 28, No. 1.
Fault-Tolerant Programming using Process Groups. Distributed Open Systems, R. van Renesse and K. Birman. Jan 1994, 96-112
Reliable Distributed Computing with the Isis Toolkit. Kenneth P. Birman and Robbert Van Renesse. IEEE Computer Society Press. Los Alamitos, Ca. 1994.
Light-Weight Process Groups in the ISIS System. B. Glade, R. Cooper, R. van Renesse and K. Birman. Distributed Systems Engineering. Mar 1994. 1:29-36.
How to Securely Replicate Services. M. Reiter and K. Birman. ACM Transactions on Programming Languages and Systems, May 1994, 16(3): 986-1009.
Integrating Runtime Consistency Models for Distributed Systems. Kenneth Birman. Journal of Parallel and Distributed Systems, Nov 1994, 23:158-176. Currently Technical Report 91-1240 at Cornell University.
Uniform Actions in Asynchronous Distributed Systems. D. Malki, A. Ricciardi, and A. Schiper. Thirteenth Annual ACM Symposium on the Principles of Distributed Computing.

1993

The Changing Face of Technology in Distributed Systems. Paulo Verissimo and Werner Vogels. Proceedings of the 4th Workshop on Future Trends in Distributed Computing, Lisboa, Portugal, 1993.
Group Orientation: a Paradigm for Modern Distributed Systems. Paulo Verissimo, Luis Rodrigues and Werner Vogels. First Year Report of the Broadcast ESPRIT/BRA project, Newcastle upon Tyne, United Kingdom, 1993.
Lightweight process groups in the Isis system . Brad B. Glade, Kenneth P. Birman, Robbert C.B. Cooper and Robbert van Renesse. Distributed Systems Engineering Journal. July 1993.
Causal controversy at Le Mont St. Michel . Robbert van Renesse. Operating Systems Review, 27(2):44-53. April 1993.
High availability in a real-time system. Carlos Almeida, Brad Glade, Keith Marzullo and Robbert van Renesse. Operating Systems Review, 27(2):82-87. April 1993.
FLIP: An Internetwork Protocol for Supporting Distributed Systems. M. F. Kaashoek, R. van Renesse, H. van Staveren, and A. S. Tanenbaum. ACM Trans. on Computer Systems. 11(1):73-106. February 1993.
A Framework for Structuring group support in LSDC's, First Year Report of the Broadcast ESPRIT/BRA project. Werner Vogels, Luis Rodrigues and Paulo Verissimo. Newcastle upon Tyne, United Kingdom, 1993
Infrastructure Support for ESPRIT Basic Research Networks of Excellence. Werner Vogels. CaberNet Research Network Report, Newcastle upon Tyne, United Kingdom, 1993.
The Process Group Approach to Reliable Distributed Computing. Kenneth Birman. Communications of the ACM, Dec 1993, 36(12):37-53.
Reliable Group Communication in Internetworks using LAN-oriented Protocols. Werner Vogels and Paulo Verissimo. Fifth European Workshop on Dependable Computing, Lisboa, Portugal, 1993.
Reliable Enterprise Computing Systems. Workshop on Hardware and Software Architectures for Fault-Tolerance: Perspectives Towards a Synthesis, Le Mont Saint-Michel, France, June 1993.

1992

Requirements for High-Performance group Support in Distributed Systems. Werner Vogels, Luis Rodrigues and Paulo Verissimo, , proceedings of the 1992 ACM SIGOPS European workshop, Mont Saint Michel, France, 1992.
The Cost of Order in Asynchronous Systems. K. Birman, A. Ricciardi and P. Stephenson. Springer-Verlag Lecture Notes in Computer Science, 1992.
Reliable Multicast between Microkernels. K. Birman, R. van Renesse, R. Cooper, B. Glade and P. Stephenson. Proceedings of the USENIX Workshop on Micro-Kernels and Other Kernel Architectures, Seattle, Washington, Apr 27-28, 1992, 269-283.
Lightweight process groups. Brad B. Glade, Kenneth P. Birman, Robert C. Cooper, and Robbert van Renesse. In Proc. of the Open Forum ’92 Technical Conf. pp. 323-336, Utrecht, The Netherlands. November 1992.
A RISC approach to process group . Robbert van Renesse, Robert Cooper, Brad Glade and Patrick Stephenson. Proc. of the 5th ACM SIGOPS Workshop, IRISA INRIA. September 1992.
Reliable multicast between microkernels . Robbert van Renesse, Kenneth P. Birman, Robert Cooper, Brad Glade and Patrick Stephenson. In Proc. of the USENIX workshop on Micro-kernels and Other Kernel Architectures. pp. 269-284, Seattle, WA. April 1992.
Integrating Security in a Group Oriented Distributed System. K. Birman, M. Reiter and L. Gong. 1992 IEEE Symposium on Research in Security and Privacy, Oakland, California, May 4-6, 1992, 18-32.
Fast Group Communication for Standard Workstations. Werner Vogels, Luis Rodrigues and Paulo Verissimo. Proceedings of the OpenForum'92 Technical Conference, Utrecht, The Netherlands, 1992.

1991

Lightweight Causal and Atomic Group Multicast. K. Birman, A. Schiper and P. Stephenson. ACM Transactions on Computer Systems, Aug 1991, (3):272-314.
Tools for Distributed Application Management. K. Marzullo, M. Wood, K. Birman and R. Cooper. IEEE Computer, Aug. 1991, 24(8):42-51.
"The Amoeba Distributed Operating System-A Status Report." Tanenbaum, A.S., Kaashoek, M.F., Renesse, R. van, and Bal, H. Computer Communications, vol. 14, pp. 324-335. July/August 1991.
The ISIS Project: Real Experience with a Fault Tolerant Programming System. K. Birman and R. Cooper. Operating Systems Review, Apr 1991, 103-107,
Supporting process groups in Internetworks with lightweight reliable multicast protocols. Werner Vogels and Paulo Verissimo. Proceedings of the ERCIM Workshop on Distributed System, Lisboa, Portugal, 1991
Amaze on ISIS: Implementation of a distributed state machine using process groups. Werner Vogels and Paulo Verissimo. Technical Report RT/67-91, INESC, Lisboa, Portugal, 1991.
The Delta-4 Inter Link specification. Paulo Verissimo, Luis Rodrigues and Werner Vogels. Technical Report Delta-4 Project, INESC, Lisboa, Portugal, 1991.

1990

Communication Support for Reliable Distributed Computing Lecture Notes in Computer Science. K. Birman and T. Joseph. 124-137, (1990)
Experiences with the Amoeba distributed operating system. Andy Tanenbaum, Robbert van Renesse, Hans van Staveren, Greg Sharp, Sape Mullender, Jack Jansen and Guido van Rossum. Communications of the ACM. 33(12):46-63. December 1990.
Amoeba – a distributed operating system for the 1990’s. Sape J. Mullender, Guido van Rossum, Andrew S. Tanenbaum, Robbert van Renesse and Hans van Staveren. IEEE Computer. 23(5):44-53. May 1990.
The ISIS Project: Real Experience with a Fault Tolerant Programming System. K. Birman, R. Cooper. ACM/SIGOPS European Workshop on Fault-Tolerance Techniques in Operating Systems, Bologna, Italy, 1990.

1989

A Brief Overview of The ISIS Distributed Programming Toolkit and The Meta Distributed Operating System. K. Birman and K. Marzullo. 1989 Workshop on Operating Systems for Mission Critical Computing, for the Institute for Defense Analyses, University of Maryland, College Park, Maryland, Sep 1989.
Amoeba on a Multiprocessor. L.J. van Moergestel, H.D. Bal, M.F. Kaashoek, R. van Renesse, G.G. Sharp, H. van Staveren, and A.S. Tanenbaum. Proc. of Force File. December 1989.
The Evolution of the Amoeba Distributed Operating System. R. van Renesse, A.S. Tanenbaum, and S.J. Mullender. Progress in Distributed Operating Systems and Distributed Systems Management. Lecture Notes in Computer Science. Springer-Verlag. Berlin, W. Germany. April 1989.
The performance of the Amoeba distributed operating system . Robbert van Renesse, Hans van Staveren and Andrew S. Tanenbaum. Software – Practice and Experience. 19(3):223-234. March 1989.
Supporting Large Scale Applications on Networks of Workstations. K. Birman and R. Cooper. Second Workshop on Workstation Operating Systems, Asilomar, California, Sep 1989.

1988

Functional Specialization in Distributed Operating Systems. R. van Renesse, A.S. Tanenbaum and G.J. Sharp. Proc. of the SIGOPS European Workshop 1988. Cambridge, UK. 18-21 September 1988.
Voting with Ghosts. R. van Renesse and A.S. Tanenbaum. Proc. of the 8th International Conf. on Dist. Computing Systems. pp. 456-461, San Jose, CA. 13-17 June 1988.
A critique of the remote procedure call paradigm. Andrew S. Tanenbaum and Robbert van Renesse. R. Speth, editor. Proc. of the EUTECO ’88 Conf. pages 775-783, Vienna, Austria. April 1988.
An Approach to Monitoring in Distributed Systems. D. Holden et. al. Proc. of the EUTECO 88 Conf. R. Speth (ed.) pp. 811-821, Vienna. 20-22 April 1988.
MANDIS/Amoeba: A Widely Dispersed Object-Oriented Operating System. R. van Renesse et. al. Proc. of the EUTECO 88 Conf. R. Speth (ed.) pp. 823-831 Vienna. 20-22 April 1988.
The Performance of the World’s Fastest Distributed Operating System R. van Renesse, J.M. van Staveren and A.S. Tanenbaum. ACM Operating Systems Review. 22(4):25-34. October 1988.

1987

Reliable communication in presence of failures. Kenneth P..Birman, Thomas.A.Joseph. ACM Transactions on Computer Systems, Vol. 5, No. 1, Feb. 1987
Protocols in Large Workstation Networks: A Position Statement. K. Birman and A. Gopal. Workshop on Workstation Operation Systems, Boston, Massachusetts, Nov 1987.
The Workstation: Computing Resource or Just a Terminal? R. van Renesse, A.S. Tanenbaum and G.J. Sharp. Proc. of the Workshop on Workstation Operating Systems. Cambridge, MA. 5-6 November 1987.
Connecting RPC-Based Distributed Systems Using Wide-Area Networks. R. van Renesse, A.S. Tanenbaum, J.M. van Staveren and J. Hall. Proc. of the 7th International Conference on Distributed Computing Systems. pp. 28-34, West Berlin. 22-24 September 1987.
Gateways and Management in an Internet Environment. J. Hall, R. van Renesse and J.M. van Staveren. Proc. of the IFIP TC6 WG6.4A International Workshop on LAN Management. Hahn-Meitner Institute, West Berlin. July 1987.
Implementing distributed algorithms using remote procedure call. Henri E. Bal, Robbert van Renesse and Andrew S. Tanenbaum. In Proc. of the 1987 National Computer Conf. pp. 499-506, Chicago, IL. June 1987.
Reliability issues in Distributed Operating Systems. A.S. Tanenbaum and R. van Renesse. Proc. of the 6th Symp. on Reliability in Distributed Software and Database Systems. pp. 3-11, Kingsmill-Williamsburg, VA17-19 March 1987.
Naming and Protection in Amoeba. J.M. van Staveren, A.S. Tanenbaum and R. van Renesse. Proc. of the COST11ter Seminar, GMD-Gesellschaft fur Mathematik and Datenverarbeitung. St Augustin, Germany. 16-17 March 1987.
Fault-Tolerant Process Groups - A Tool for Building Effective Distributed Software. K. Birman and T. A. Joseph. Workshop on Workstation Operation Systems, Boston, Massachusetts, Nov 1987.
RNFS - A Highly Available Network File Service. K. Birman with S. Armstrong et. al. Workshop on Workstation Operation Systems, Boston, Massachusetts, November 1987.
Exploiting Virtual Synchrony in Distributed Systems. K. Birman and T. Joseph. 11th ACM Symposium on Operating Systems Principles, Dec 1987,

1986

Low Cost Management of Replicated Data in Fault-Tolerant Distributed Systems. T. Joseph and K. Birman. ACM Transactions on Computer Systems 4, 1 Feb.1986.
Communication Support for Reliable Distributed Computing. Ken Birman and T. Joseph. Proc. Asilomar Workshop on Fault Tolerant Distributed Computing, March 1986,
Research Issues in Distributed Operating Systems. A.S. Tanenbaum and R. van Renesse. Computing in High Energy Physics. L.O. Hertzberger and W. Hoogland (eds.) pp. 35-46, Amsterdam. December 1986
From UNIX to a Usable Distributed Operating System. R. van Renesse. Proc. of the EUUG Autumn ’86 Conference. pp. 15-21, Manchester, UK. 22-25 September 1986.
Making Distributed Systems Palatable. A.S. Tanenbaum and R. van Renesse. Proc. Of the 2nd SIGOPS European Workshop “Making Distributed Systems Work.” Amsterdam. 8-10 September 1986.
Using Sparse Capabilities in a Distributed Operating System. A.S. Tanenbaum, S.J. Mullender and R. van Renesse. Proc. of the 6th International Conf. on Distr. Comp. Systems. pp. 558-563, Cambridge, Massachusetts. 20-22 May 1986.
Parallel Alpha-Beta Search. H.E. Bal and R. van Renesse. Proc. of the 4th NGI-SION Symposium Stimulerende Informatica. pp. 379-385, Jaarbeurs Utrecht. 2-3 April 1986.
The Design of a Real-time Distributed System. R. van Renesse, L.O. Hertzberger et al. Computing in High Energy Physics. L.O. Hertzberger and W. Hoogland (eds.) pp. 271-274, Amsterdam December 1986.
A Summary of Parallel Alpha-Beta Search Results. H.E. Bal and R. van Renesse. ICCA Journal. 9:146-149. September 1986.

1985

Distributed operating systems. Andrew S. Tanenbaum and Robbert van Renesse. ACM Computing Surveys. 17(4):419-470. December 1985.
Accommodating Heterogeneity in the Amoeba Distributed System. S.J. Mullender and R. van Renesse. Proc. of the SIGOPS Workshop on Heterogeneity. Orcas Island, Washington. December 1985.
Replication and Fault-Tolerance in the ISIS System. K. Birman. 10th ACM Symposium on Operating Systems Principles, Dec 1985, 79-86.

1984

Implementing Fault-Tolerant Distributed Objects. K. Birman, T. Joseph, T. Raeuchle, and A. El Abbadi. 4th Symposium on Reliability in Distributed Systems and Database Systems, Silver Springs, Maryland, Oct 1984, SE-11, 6, 502-508,
A Programming Environment for Multichannel Signal Processing. K. Birman. Proc. Computers in Cardiology, Utah, Sep 1984, 189-200.
MDB-1: A New System for Data Management in Medical Environments. K. Birman, G. Joskowicz, et. Al. Proc. Computers in Cardiology, Utah, Sep 1984, 309-312,
Capability-based Protection in Distributed Operating Systems. A.S. Tanenbaum, R. van Renesse and S.J. Mullender. Proceedings of the Symposium Certificering van Software. pp. 29-35, Amsterdam, The Netherlands. 8 October 1984.
A Secure High-Speed Transaction Protocol. S. J. Mullender and R. van Renesse. Proc. of the European UNIX Systems User Group Autumn Meeting. Cambridge, UK. 19-21 September 1984.
Connecting UNIX Systems Using a Token Ring. R. van Renesse, A.S. Tanenbaum and S.J. Mullender. Proc. of the European UNIX Systems User Group Autumn Meeting. pages 58-66, Cambridge, UK. 19-21 September 1984.

1981

The Relationship Between Signal Representation and Learning in ECG Analysis. Ph.D. Thesis, University of California, Berkeley, June 1981.
The Relationship Between Signal Representation and Learning in ECG Analysis. K. Birman. Proc. Computers in Cardiology, Oct 1981, 355-358.