The Virtual Infrastructure Project

Theory of Distributed Systems Group
Computer Science and Artificial Intelligence Laboratory

csail
logo


Home · Members · Bibliography · Talks

Papers

Click here for abstracts and more details.


2008

Self-Stabilizing Mobile Robot Formations with Virtual Nodes
by Seth Gilbert, Nancy Lynch, Sayan Mitra, and Tina Nolte
Proceedings of the Symposium on Stabilization, Safety and Security of Distributed Systems (SSS), December, 2008
To download the paper: pdf format 

Secure Communication over Radio Channels
by Shlomi Dolev, Seth Gilbert, Rachid Guerraoui, and Calvin Newport
Proceeding of the 27th Symposium on Principles of Distributed Computing (PODC), August, 2008
To download the paper: pdf format 

Virtual Infrastructure for Collision-Prone Wireless Networks
by Gregory Chockler, Seth Gilbert, and Nancy Lynch
Proceeding of the 27th Symposium on Principles of Distributed Computing (PODC), August, 2008
To download the paper: pdf format 
To download talk slides: ppt format 

Consensus and Collision Detectors in Radio Networks
by Gregory Chockler, Murat Demirbas, Seth Gilbert, Nancy Lynch, Calvin Newport, and Tina Nolte
Distributed Computing, 55–84, June, 2008

Of Malicious Motes and Suspicious Sensors: On the Efficiency of Malicious Interference in Wireless Networks
by Seth Gilbert, Rachid Guerraoui, and Calvin Newport
Theoretical Computer Science, 2008

Simulation and Evaluation of the Reactive Virtual Node Layer
by Mike Spindel
Master's Thesis, MIT, 2008
To download the paper: pdf format 

Virtual Stationary Timed Automata for Mobile Networks
by Tina Nolte
Ph. D. Thesis, MIT, 2008
To download the paper: Warning to the reader   pdf format 


2007

Secret Swarm Unit: Reactive k-Secret Sharing
by Shlomi Dolev, Limor Lahiani, and Moti Yung
Eighth International Conference on Cryptology in India, December, 2007
To download the paper: pdf format 

Self-stabilization and Virtual Node Layer Emulations
by Tina Nolte and Nancy Lynch
Ninth International Symposium on Stabilization, Safety, and Security of Distributed Systems, November, 2007
To download the paper: pdf format 

Air Traffic Control Using Virtual Stationary Automata
by Matthew D. Brown
Master's Thesis, Massachusetts Institute of Technology, September, 2007
To download the paper: pdf format 

Gossiping in a Multi-Channel Radio Network (An Oblivious Approach to Coping With Malicious Interference)
by Shlomi Dolev, Seth Gilbert, Rachid Guerraoui, and Calvin Newport
Proceedings of the the 21st International Symposium on Distributed Computing (DISC), September, 2007
To download the paper: pdf format 

A Virtual Node-Based Tracking Algorithm for Mobile Networks
by Tina Nolte and Nancy Lynch
International Conference on Distributed Computing Systems, June, 2007
To download the paper: pdf format 

The Virtual Node Layer: A Programming Abstraction for Wireless Sensor Networks
by Matthew Brown, Seth Gilbert, Nancy Lynch, Calvin Newport, Tina Nolte, and Michael Spindel
Proceedings of the the International Workshop on Wireless Sensor Network Architecture (WWSNA), April, 2007
To download the paper: ps format  pdf format 

Virtual Infrastructure for Wireless Ad Hoc Networks
by Seth Gilbert
Ph. D. Thesis, MIT, 2007
To download the paper: pdf format 


2006

Of Malicious Motes and Suspicious Sensors: On the Efficiency of Malicious Interference in Wireless Networks
by Seth Gilbert, Rachid Guerraoui, and Calvin Newport
Proceedings of the 10th International Conference On Principles Of Distributed Systems, December, 2006
To download the paper: ps format  pdf format 

Contention Resolution with Heterogeneous Job Sizes
by Michael A. Bender, Jeremy T. Fineman, and Seth Gilbert
Proceedings of the 14th Annual European Symposium on Algorithms, September, 2006
To download the paper: ps format  pdf format 
To download talk slides: ppt format 

Consensus and Collision Detectors in Wireless Ad Hoc Networks
by Calvin Newport
Masters Thesis, MIT Department of Electrical Engineering and Computer Science, Cambridge, MA, June, 2006
To download the paper: ps format 


2005

Motion Coordination Using Virtual Nodes
by Nancy Lynch, Sayan Mitra, and Tina Nolte
Forty-Fourth IEEE Conference on Decision and Control and European Control Conference, December, 2005 (Invited)
To download the paper: pdf format 

Timed Virtual Stationary Automata for Mobile Networks
by Shlomi Dolev, Seth Gilbert, Limor Lahiani, Nancy A. Lynch, and Tina Nolte
9th International Conference on Principles of Distributed Systems (OPODIS), December, 2005
To download the paper: ps format  pdf format 

GeoQuorums: Implementing Atomic Memory in Mobile Ad Hoc Networks
by Shlomi Dolev, Seth Gilbert, Nancy A. Lynch, Alex A. Shvartsman, and Jennifer Welch
Distributed Computing, 125–155, November, 2005

Self-Stabilizing Mobile Node Location Management and Message Routing
by Shlomi Dolev, Limor Lahiani, Nancy Lynch, and Tina Nolte
Seventh International Symposium on Self-Stabilizing Systems, October, 2005
To download the paper: pdf format 

A Middleware Framework for Robust Applications in Wireless Ad Hoc Networks
by Gregory Chockler, Murat Demirbas, Seth Gilbert, and Calvin Newport
Proceeding of the 43rd Allerton Conference on Communication, Control, and Computing, September, 2005 (Invited)
To download the paper: ps format  pdf format 

Autonomous Virtual Mobile Nodes
by Shlomi Dolev, Seth Gilbert, Elad Schiller, Alex A. Shvartsman, and Jennifer L. Welch
Proceeding of the 3rd Workshop on Foundations of Mobile Computing (DIAL-M-POMC), September, 2005
To download the paper: ps format  pdf format 

Timed Virtual Stationary Automata for Mobile Networks
by Shlomi Dolev, Seth Gilbert, Limor Lahiani, Nancy A. Lynch, and Tina Nolte
Proceeding of the 43rd Allerton Conference on Communication, Control, and Computing, September, 2005 (Invited)
To download the paper: ps format  pdf format 

Consensus and Collision Detectors in Wireless Ad Hoc Networks
by Gregory Chockler, Murat Demirbas, Seth Gilbert, Calvin Newport, and Tina Nolte
24th Annual Symposium on the Principles of Distributed Computing (PODC), July, 2005
To download the paper: ps format  pdf format 
To download talk slides: ppt format 

Reconciling the Theory and Practice of UnReliable Wireless Broadcast
by Gregory Chockler, Murat Demirbas, Seth Gilbert, Nancy A. Lynch, Calvin Newport, and Tina Nolte
International Workshop on Assurance in Distributed Systems and Networks (ADSN), June, 2005
To download the paper: ps format  pdf format 


2004

Virtual Mobile Nodes for Mobile Adhoc Networks
by Shlomi Dolev, Seth Gilbert, Nancy A. Lynch, Elad Schiller, Alex A. Shvartsman, and Jennifer L. Welch
Proceeding of the 18th International Conference on Distributed Computing (DISC), October, 2004
To download the paper: ps format  pdf format 
To download talk slides: ppt format 

Brief Announcement: Virtual Mobile Nodes for Mobile Adhoc Networks
by Shlomi Dolev, Seth Gilbert, Nancy A. Lynch, Elad Schiller, Alex A. Shvartsman, and Jennifer L. Welch
Proceeding of the 23rd Symposium on Principles of Distributed Computing (PODC), July, 2004


2003

GeoQuorums: Implementing Atomic Memory in Mobile Ad Hoc Networks
by Shlomi Dolev, Seth Gilbert, Nancy A. Lynch, Alex A. Shvartsman, and Jennifer Welch
Proceeding of the 17th International Conference on Distributed Computing (DISC), October, 2003
To download the paper: ps format  pdf format 
To download talk slides: ppt format 



E-mail: tds at theory dot csail dot mit dot edu Address: 6th Floor Gates, the Stata Center, 32 Vassar Street, 02114