R. C. Holt
List
of Supervised Theses
|
Name |
Degree,
Yr, University |
Thesis
Title |
University
Where Is/Was Faculty |
|
Yves Verner |
M.Sc. 1971,
U of |
On Process Communication and Process Synchronization |
|
|
Stephen Rolf Perrin |
M.Sc. 1972,
U of |
The Resource Management Module of the SUE Multiprogramming System |
|
|
Gabor G. |
M.Sc. 1972,
U of |
An Implementation Language for Minicomputers. |
|
|
Eirene K. Economou |
M.Sc. 1973,
U of |
A Sequence of PL/I Subsets for Educational Purposes |
|
|
Henry J. Pasko |
M.Sc. 1974,
U of |
A Pseudo-Machine for Code Generation |
|
|
Philip Khaiat |
M.Sc. 1974,
U of |
A Well-Structured Minicomputer Operating System |
|
|
Ira E. Greenblatt |
M.Sc. 1975,
U of |
Experience with Techniques for the Development of Computer Operating Systems |
|
|
James R. Cordy |
M.Sc. 1976,
U of |
A Diagrammatic Approach to Programming Language Semantics |
|
|
Reinhard G. Menzel |
M.Sc. 1976,
U of |
Concurrent SP/k: A Language Supporting Concurrent Processes |
|
|
D. Hugh Redelmeier |
M.Sc. 1976,
U of |
A Code Generator for Sue.8 |
|
|
Kevin Fysh |
M.Sc. 1977,
U of |
The Design of An Optimizing Chart-Driven Code Emitter |
|
|
James J. Miceli |
M.Sc. 1979,
U of |
Some Experiences With A One-Man Language |
|
|
John C. Rylaarsdam |
M.Sc. 1979,
U of |
An Experiment in Code Generation: Production Of PDP-11 Code For Concurrent Pascal |
|
|
David Charles Kirsch |
M.Sc. 1979,
U of |
An Experiment in Compiler Portability |
|
|
Patrick Cardozo |
M.Sc. 1980,
U of |
Tunis-2: A Unix-Like Portable Operating System. |
|
|
J. Alan Rosselet |
M.Sc. 1980,
U of |
PT: A Pascal Subset |
|
|
Barry A. Spinney |
M.Sc. 1981,
U of |
A Technique For The Construction Of Portable Production-Quality Code Generators |
|
|
David T. Barnard |
Ph.D. 1981, U of |
Hierarchic Syntax Error Repair |
Queen’s U ( |
|
Ian John Davis |
M.Sc. 1982,
U of |
Towards Reliable File Systems |
|
|
Philip A. Matthews |
M.Sc. 1982,
U of |
Concurrent |
|
|
Harold E. Briscoe |
M.Sc. 1982,
U of |
Memory Management On Paging Hardware: An
Experiment Involving |
|
|
Chris Lewis |
M.Sc. 1982,
U of |
Some Early Results And Documentation For Concurrent
|
|
|
Greg Dudek (sp’d with Carl Hamacher) |
M.Sc. 1982,
U of |
The Design of a
Microcomputer Based |
|
|
Janice Cynthia Weber |
M.Sc. 1983,
U of |
Interactive Debugging Of Concurrent
Programs |
|
|
Mark P. Mendell |
M.Sc. 1983,
U of |
Structure Of A Portable Operating System |
|
|
Frank J. Budinsky |
M.Sc. 1984,
U of |
SRE: A Syntax Recognizing Editor
(co-supervised with |
|
|
Stephen Perelgut |
M.Sc. 1984,
U of |
Structured Device Management In Operating Systems |
|
|
D. Hugh Redelmeier |
Ph.D. 1984, U of |
Towards Practical Functional Programming |
|
|
Alexander D. Stoyenko |
M.Sc. 1984,
U of |
Real-Time Systems: Scheduling And Structure |
|
|
A. Peter Ewens |
M.Sc. 1985,
U of |
Symmetric |
|
|
David R. Blythe |
M.Sc. 1986,
U of |
Master-Slave |
|
|
Alan J. Rosselet |
Ph.D. 1986, U of |
Definition and Implementation of Context Conditions for Programming Languages |
U |
|
James R. Cordy |
Ph.D. 1986, U of |
An Orthogonal Model for Code Generation |
Queen’s U [Head of Dept] |
|
Peter J. Ashwood-Smith |
M.Sc. 1987,
U of |
The Source Level Optimization of Turing Plus |
|
|
David A. Penny |
M.Sc. 1987,
U of |
A High Level Approach to Writing Software that Controls Pheripal Devices |
|
|
Alexander D. Stoyenko |
Ph.D. 1987, U of |
A Real Time Language with a Schedulability Analyzer (co-supervised with Carl Hamacher) |
NJ Instit Tech |
|
Michael W. Godfrey |
M.Sc. 1988,
U of |
Toward Formal Specification of Operating System Modules |
|
|
Guy-Laval Grenier |
M.Sc. 1988,
U of |
Towards Secure |
|
|
David V. Mason |
M.Sc. 1990,
U of |
Middleweight Processes |
|
|
Jian Wang Chang |
M.Sc. 1991,
U of |
An Intelligent Concurrent Debugger System |
|
|
Spiros Mancoridis |
M.Sc. 1992,
U of |
A Visual Programming Environment for Object Oriented Turing |
|
|
Charles Halpern |
Ph.D. 1992, U of |
Direct Telemanipulation |
|
|
David A. Penny |
Ph.D. 1993, U of |
The Software Landscape: A Visual Formalism for Programming-in-the-Large |
U of
|
|
William Monhemius |
M.Sc. 1994,
U of |
Modifying an Interpreter to Emit and Execute RISC Instructions |
|
|
Arthur Tateishi |
M.Sc. 1994,
U of |
Filtering Run-Time Artifacts Using Software Landscapes |
|
|
Vassilios Tzerpos |
M.Sc. 1995,
U of |
Visualizing the Source File Structure of Software Written in C |
|
|
Spiros Mancoridis |
Ph.D. 1996, U of |
Controlling Interactions of Architectural Design Components Using Scoping Rules |
Drexel
U |
|
Jason Pak |
M.Sc. 1996,
U of |
Towards Visualizing the Evolution of Software Architecture |
|
|
Michael W. Godfrey |
Ph.D. 1997, U of |
A Framework for Visual System Configuration |
Cornell U, U of |
|
Susan Sim |
M.Sc. 1998,
U of |
Supporting Multiple Program Comprehension Strategies During Software Maintenance |
UC Irvine |
|
Ivan Bowman |
MMath 1999,
U of |
Architecture Recovery in Object-Oriented Systems |
|
|
John Tran |
MMath 1999,
U of |
Software Architecture Repair as a Form of Preventative Maintenance |
|
|
Eric Lee |
MMath 2001,
U of |
Software Comprehension Across Levels of Abstraction |
|
|
Vassilios Tzerpos |
Ph.D.
2001, U of |
Comprehension-Driven Software Clustering |
|
|
Ahmed Hassan |
MMath 2001,
U of |
Architecture Recovery of Web Applications |
|
|
Aalim Lakhani |
MMath 2002,
U of |
Research Paper |
|
|
Susan Sim, sp’d with S. Easterbrook |
Ph.D. 2003, U of |
A Theory of Benchmarking with Applications to Software Reverse Engineering |
UC Irvine |
|
Thomas Parry |
MMath 2004,
U of |
Automatic Repair of Software Architecture Using Natural Permissions Systems |
|
|
Ahmed Hassan |
Ph.D. 2005, U of |
Mining Software Repositories to Assist Developers and Support Managers |
UVic (BC). |
|
Jingwei Wu |
Ph.D. 2006, U of |
Open Source Software Evolution and its
Dynamics |
|
|
Zinqing (Ken) Zhang |
MMath 2006,
U of |
Crystallizing Application Configurations |
|
|
Mina Askari |
MMath 2006,
U of |
Information Theoretic Evaluation of Change Prediction
Models for Large-Scale Software |
|
|
Jack Jiang |
MMath 2006, U of
Waterloo, sp’d with Ahmed Hassan |
Visualizing and Understanding Code
Duplication in Large Software Systems |
|
|
Yuan Lin |
Ph.D. 2008, U of |
Completeness of Fact Extractors |
|
|
Sarah Nadi |
MMath 2009, U |
DRACA: Decision-support for Root Cause
Analysis and Change Impact Analysis |
|
|
Abram Hindle |
Ph.D. 2010, U of Waterloo, sp’d with M Godfrey |
Evidence-based Software Process Recovery |
|
|
Raymond Nguyen |
MMath 2012, U of
Waterloo |
Evolution and Architecture of Open Source
Collections: A Case Study of Debian |
|
In
Progress
|
Michael Wexler |
MMath 2014 |
(expected) |
|
Raihan Al-Ekram |
Ph.D. 2014, U of |
(expected) |
|
Sarah Nadi |
Ph.D. 2014, U |
(expected) |