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.
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.
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.
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.
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.
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.