Ph.D. Theses Supervised
Vreugdenhil G.,,
A Framework for Partial Evaluation,
Waterloo (1996).
Clarke C. L. A.,
An Algebra for Structured Text Search,
Waterloo (1996).
Shen J., Parametric Polymorphism, Higher-order Modules and
Dynamic Dispatch: an Ada-based Approach, Waterloo (1993).
[co-supervisor: D. Duggan]
Salomon D., Parser and metalanguage enhancements for unifying
lexical and syntax analysis. Waterloo (1989).
Strothotte T., Temporal constructs for an algorithmic
language, McGill (1985).
Independent Studies Theses Supervised
Ziegler D., Adding "Overloading Polymorphism" to C, Waterloo (1992).
Moen D., Goal - A Small, Elegant, Powerful Language Designed
on Semantic Principles. Waterloo (1988).
Masters Theses Supervised
Kurzyna L., Automatic robust storage management for a distributed
information retrieval system (2000).
Ho K., WateVer: An efficient and effective Web notification protocol
(1999).
Van Biesbrouck M., Compiling GCL Query Evaluators (1999).
To, S. S. L.
Passage-Based Chinese Text Retrieval (1998).
Cox, A. M. Simulated
Overloading using Generic Functions in Scheme (1997).
Krasic, C. Parametric
Overloading in ML, Waterloo (1996).
Good, R. The design and implementation of a robust storage
system architecture, Waterloo (1995).
[co-supervisor: D. Taylor]
Clarke, C. Language and compiler support for synchronous
message passing architectures, Waterloo (1990).
Vreugdenhil, G. Memory management and light-weight tasks on
loosely coupled multiprocessors, Waterloo (1990).
Rogers, J. Distributing Sylvan: Distributed kernel primitives
for a fast message-passing multiprocessor, Waterloo (1990).
Scian, A. Software Reusability Paradigms, Waterloo (1990).
Enns, R. Semantic Interval Analysis, Waterloo (1988)
Wright A.K., Design of the programming language ForceOne,
Waterloo (1986)
Neudoerffer D.E., Microcode Design for a Coprocessor
Implementation of a Message Passing Kernel, Waterloo (1986)
Urlocker M., Principles of programming environments, Waterloo
(1986).
Vadura D., A proposed design for the Sylvan kernel, Waterloo (1985).
Judd M., A view of types and parameters in programming
languages, McGill (1985).
Reich E., The use of context in text compression, McGill (1984).
[completed under N. Madhavji]
Leclerc D., Implementation considerations for the programming
language L, McGill (1984).
Karasick M., An improved context-free parsing algorithm,
McGill (1983).
Kaiserswerth M., Binding and run-time support for remote procedure
call, McGill (1983).
Masters Essays Supervised
Hamilton J. Montana Smart
Pointers - They're Smart and They're Pointers, Waterloo (1997). [co-supervisor:
J. Slonim]
Jana, D., Overcoming Limitations of Synchronous Process Communication, Waterloo (1989).
Olsson J.R., General purpose and binary image data compression, Waterloo (1989).
Harrington J., Error recovery using a suffix parser for Pascal, Waterloo (1986).