Blue Ribbon Envelope and Key

Join the Blue Ribbon Free Speech and Golden Key Pro-privacy, Pro-encryption Campaigns.

Head Shot

MIT Logo

I will receive my PhD from MIT in February 2005. I was a member of the MIT Computer Science and Artificial Intelligence Laboratory. and Professor Nancy Lynch's Theory of Distributed Systems research group. I have developed a strategy for compiling distributed systems specified in IOA into Java programs running on a group of networked workstations. IOA is a formal language for describing distributed systems as I/O automata. The translation works node-by-node, translating IOA programs into Java classes that communicate using the Message Passing Interface (MPI). The resulting system runs without any global synchronization. The IOA compiler has been implemented at MIT as part of the IOA toolkit. The toolkit supports algorithm design, development, testing, and formal verification using automated tools.

While a member of Professor Frans Kaashoek's Parallel and Distributed Operating Systems research group, I earned a Master of Science in Electrical Engineering and Computer Science in May 1996. My thesis describes the Rover Application Toolkit.

Matsushita Logo

Before coming to MIT, I was a software engineer with the Mobios Project at the Matsushita Information Technology Laboratory (now known as PINTL). My principal interest is in distributed computing systems. My most recent work focussed on system software for mobile computers. I developed approaches to provide consistent service as a computer roams among various resource domains.

In my initial assignment at MITL, I worked with the Carbon Project. I designed the Carbon PanaMark Archive. The Archive stores electronic versions of computer-generated paper documents in a distributed database. Each physical piece of paper receives a machine-readable name for reference into the Archive, allowing one to use paper as a computer interface.

Cornell Seal

I received Bachelor of Science and Bachelor of Arts degrees from Cornell University. The former is in Computer Science. while the latter is in Government and International Relations.

Available Publications

Doctoral Thesis

Joshua A. Tauber, Verifiable Compilation of I/O Automata without Global Synchronization, (compressed), Massachusetts Institute of Technology, Cambridge, MA. 17 September 2004.

Master's Thesis

Joshua A. Tauber, Issues in Building Mobile-Aware Applications with the Rover Toolkit, (compressed), Massachusetts Institute of Technology, Cambridge, MA. 28 May 1996.

Technical Reports

Joshua A. Tauber, Stehen J. Garland, Definition and Expansion of Composite Automata in IOA, MIT-LCS-TR-959. Massachusetts Institute of Technology, Cambridge, MA. July 2004.

Joshua A. Tauber, Mandana Vaziri, Michael J. Tsai, Nancy A. Lynch, Systematic Removal of Nondeterminism for Code Generation in I/O Automata,, (compressed), MIT-LCS-TR-960. Massachusetts Institute of Technology, Cambridge, MA. July 2004.

Refereed Journals

Anthony D. Joseph, Joshua A. Tauber, and M. Frans Kaashoek. Mobile Computing with the Rover Toolkit, (compressed), IEEE Transactions on Computers: Special issue on Mobile Computing, 46(3), March 1997.

Refereed Conferences

Joshua A. Tauber, Nancy A. Lynch, Michael J. Tsai, Compiling IOA without Global Synchronization,, (compressed), (pdf). Proceedings of the The 3rd IEEE International Symposium on Network Computing and Applications, (IEEE NCA04), September 2004, pp. 121-130.

Anthony D. Joseph, Joshua A. Tauber, and M. Frans Kaashoek. Reliable Mobile-Aware Applications using the Rover Toolkit,, (compressed), Proceedings of the Second ACM International Conference on Mobile Computing and Networking, (MobiCom'96), November 1996.

Anthony D. Joseph, Alan F. deLespinasse, Joshua A. Tauber, David K. Gifford, and M. Frans Kaashoek. Rover: A Toolkit for Mobile Information Access, (compressed), Proceedings of the Fifteenth Symposium on Operating Systems Principles (SOSP-15), December 1995.

Fred Douglis, Ramón Cáceres, M. Frans Kaashoek, Kai Li, Brian Marsh, and Joshua A. Tauber. Storage alternatives for Mobile Computers, (compressed), First Symposium on Operating Design and Implementation (OSDI).

M. Frans Kaashoek, Tom Pinckney, and Joshua A. Tauber. Dynamic Documents: Extensibility and Adaptability in the WWW, (compressed), HTML version, Second International WWW Conference '94: Mosaic and the Web, October 1994..


Freed, M., Bear, T., Goldman, H., Hyatt, G., Reber, P., Sylvan, A., and Tauber, J.. Towards More Human-Like Computer Opponents., (compressed), (pdf) Working Notes of the AAAI Spring Symposium on Artificial Intelligence and Interactive Entertainment (2000), 22-26.

M. Frans Kaashoek, Tom Pinckney, and Joshua A. Tauber. Dynamic Documents: Mobile Wireless Access to the WWW, (compressed), HTML abstract, Workshop on Mobile Computing Systems and Applications (WMCSA), December 1994.


My area exam report. Joshua A. Tauber. Location Systems for Pervasive Computing, (compressed), (pdf). 8 August 2002.

My prize winning contest entry. Why? Because.

Visit Steph's site too. No additional cost.

Contact Information

Last modified: Wed Dec 22 15:18:24 EST 2004