Amitava Datta, Automated Adaptations of Programs, Ph. D.
Dissertation, Wright State U, June 92.
Chen Ding, A Formal Framework and a Prototype System for Drawing
Conceptual Line Diagrams, Ph. D. Dissertation, Case Western
Reserve University, 23 August 90.
Kouakou Diby, Foundations of Hierarchical Design Methods for Software,
Ph. D. Dissertation, Wright State U, June 90.
MS Students
Munushree Thummala, Bibliography Tools in the Context of WWW and LaTeX,
M.S. Thesis, November 13, 2007.
Saikrishna V. Dasari, MS Thesis, Cloning Tools for Linux System Images,
March 2005.
Karthik Mohanasundaram, Security Hardening of the Process init
of Linux, MS Thesis, September 17, 2004.
Sowgandh S. Gadi, Security Hardened Kernels for Linux Servers, MS
Thesis, April 12, 2004.
Sripriya Subramanian, Sniffing the Ethernet with High Quality Tools,
M. S. Thesis April 11, 2003.
Pothamsetty, Venkata Rama Krishna Reddy, Laboratory Setup For Courses
On Internet Security, M. S. Thesis July 26, 2000.
Laura Daniels, Transforming Sequential Programs into RPC-based
Clients and Servers, M.S. Thesis, Sept 1995.
Richard L. Hollenbach II, A Distributed Shell that can use Idle Unix
Workstations, M. S. Thesis, June 1995.
C. N. Ravikiran, Design and Implementation of Distributed Programming
Primitives on SCRAMNet, M. S. Thesis, July 1994. (Defended in my absence
with R. Shock chairing the examination committee.)
David G. Ferguson, Object-Oriented Design of Data Communications
Software in Ada, M. S. Thesis, June 1993.
Yain Miou Chen, Translation of Detailed CaseDL Designs into Programs
in C, M.S. Thesis, Dec 1988.
Himanshu Rawell, A Model Example Catalog of Reusable Software
Components, M.S. Thesis, Dec 1988.
Joy Kung, A Design of CaseDL Interpreter Expressed in CaseDL,
M.S. Thesis, Dec 1988.
Bo Liu, GWEB: A Generalization of Knuth's WEB System, M.S.
Thesis, Dec 1988.
Kan Zhao, The Integration and Enhancement of make
into a Development Environment, M.S. Thesis, Dec 1988.
Ilies Bougambouz, Evaluation of Generalized Breakpoint Expressions,
M.S. Thesis, Dec 1987.
Kouakou Diby, The Specification of the Unix Symbolic Debugger dbx,
M.S. Thesis, January 1987.
Joseph Warzecha, Towards Device Independent Generation of Data
Structure Diagrams, M.S. Thesis, January 1987.
Mohammed Boumaza, Breakpoint Expression Editor, M.S. Thesis,
August 1986.
Ravi Manghirmalani, On A Semantic Approach to Recursive Algorithms
and Limited Problem Domain Verification Decidability, M.S. Thesis,
August 1985.
Fransisco Ojeda, DDS: A Subsystem for Displaying Data Structures for
Interactive Debugging, M.S. Thesis, August 1985.
Yoshiharu Kato, An Inexpensive Workstation Environment Based on
Editing, M.S. Thesis, August 1985.
Charles Heller, A Compiler for a Second Generation Assembly Language
for the Intel 8086, M.S. Thesis, Jan 1984.
Jay Patel, The Design and Implementation of a Language that Clings to
the Architecture of 68000, M.S. project, Jan 1984.
Joxan Jaffar, A Calculus of Array Segments, M.S. Thesis,
University of Melbourne, Dec 1980.
