Publication AMAST’91 Banquet Talk Yuri Gurevich Bulletin of the European Association for Theoretical Computer Science | October 1993
Publication Directions in Software Development and Maintenance Ted J. Biggerstaff MSR-TR-93-16 | September 1993
Publication A New Presumed Commit Optimization for Two Phase Commit Butler Lampson, David Lomet 19th International Conference on Very Large Data Bases (VLDB ’93) | August 1993 ISBN 1-55860-152-X
Publication Factoring an Adequacy Proof (Preliminary Report) Roy L. Crole, Andy Gordon Proceedings of the 1993 Glasgow Workshop on Functional Programming, Ayr, Scotland, 5-7 July 1993 | July 1993 ISBN: 978-3-540-19879-6 (Print) 978-1-4471-3236-3 (Online)
Publication Randomizing Reductions of Search Problems Andreas Blass, Yuri Gurevich SIAM J. on Computing | July 1993, Vol 22(5): pp. 949-975
Publication An Operational Semantics for I/O in a Lazy Functional Language Andy Gordon FPCA ’93: Conference on Functional Programming Languages and Computer Architecture, Copenhagen | June 1993 ISBN: 0-89791-595-X
Publication Processing transactions on GRIP, a parallel graph reducer G Akerholt, K Hammond, P Trinder, SL Peyton Jones, Simon Peyton Jones Proc Parallel Architectures and Languages Europe (PARLE), Munich | 1993 | Proc Parallel Architectures and Languages Europe (PARLE), Munich edition
Publication Alice and DIVER: A software architecture for building virtual environments Randy Pausch, Matthew Conway, Robert DeLIne, Rich Gossweiler, Steve Miale CHI ’93 INTERACT ’93 and CHI ’93 Conference Companion on Human Factors in Computing Systems | April 1993 ISBN: 0-89791-574-7
Publication Mike: A Distributed Object-Oriented Programming Platfrom on top of the Mach Micro-kernal Miguel Castro, Nuno Neves, Pedro Trancoso, Pedro Sousa USENIX Mach Conference (MACHNIX’93) | April 1993