Mary Lou Soffa

 

 

GRADUATED PH.D STUDENTS

·          Atif Memon , 2001, Assistant Professor, University of Maryland
        Ph.D. Thesis:  A Comprehensive Framework for Testing Graphical User Interfaces

 

·        Tarun Nakra, 2001, Research Scientist, Starcore/Agere Systems
       Ph.D. Thesis: A Framework for Performing Prediction on VLIW Architectures

 

·        Clara Jaramillo,  2000, Assistant Professor, Chatham College
        Ph.D. Thesis: Source Level Debugging Techniques and Tools for Optimized Code

 

·        Rastislav Bodik, 1999, Assistant Professor, University of California at Berkeley, (2000 SIGPLAN Award for Best  Dissertation in Programming Languages)
        Ph.D. Thesis: Path-Sensitive, Value-Flow Optimizations of Programs

 

·        Neelam Gupta, 1999, Assistant Professor, University of Arizona
        Ph.D Thesis: Automated Test Data Generation using Relaxation Methods

 

·        Jodi Tim, 1998, Director and Associate Professor, Department of Computer Science, St. Francis College, Loretto, PA  Ph.D. Thesis: Automatic Generation of Data Distributions for Distributed Memory Machines

 

·        Tia Watts,1997, Associate Professor of Computer Science, Indiana University of Pennsylvania, Indiana, PA., Ph.D. Thesis: Integrating Parallelizing Transformations and Comnpiler-based Scheduling Methods

 

·        David Berson,1996, Intel Corporation, Microcomputer Research Lab, Santa Clara, Ca.
Ph.D. Thesis:  Integrating Instruction Scheduling, Register Allocation and Program           Transformations for Fine-Grained Architectures

 

·        Evelyn Duesterwald,1996, Research Scientist, Hewlett Packard Labs, Cambridge, MA. (Best Paper PLDI 1999)  Ph.D. Thesis: A Demand Driven Approach for Efficient Interprocedural Data Flow Analysis

 

·        Chy-Ren Dow, 1994,  Assistant Professor, Feng-Chia University, Taichung, Taiwan.
       Ph.D. Thesis:  A Visualization System for Transformed Parallelized Programs

 

·        Pat Pineo, 1993, Assistant Professor, Dept. of Computer Science, Edinboro University, Edinboro, PA. Ph.D. Thesis: Value Tracking in Code Transformed for Parallelism

 

·        Deborah Whitfield,19991, Professor, Dept. of Computer Science, Slippery Rock State College, Slippery Rock, PA. Ph.D. Thesis:  A Unifying Framework for Optimizing Transformations

 

·        Brian Malloy 1991,Associate Professor, Dept. of Computer Science, Clemson University, Clemson, SC. Ph.D. Thesis: A Fine-Grained Approach to Scheduling Asynchronous Execution on Multiprocessors

 

·        Ravi Sharma, 1990, Lucent Technologies
       Ph.D. Thesis: Data Partitioning:  An Approach to Parallel Storage Reclamation

 

·        Mary Jean Harrold, 1988, Advance Professor, Dept. of Computer Science, Georgia Tech, Atlanta, GA  (NSF Young Investigator Award) Ph.D. Thesis: An Approach to Incremental Testing

 

·        Mary Bivens, 1987, Professor, Allegheny College, Meadville, PA
       Ph.D. Thesis: Generation of High -Quality Target Code
 

·        Lori Pollock, 1986, Associate Professor, Dept. of Computer and Information Science, University of Delaware, Newark, DE  Ph.D. Thesis:  An Approach to Incremental Compilation of Optimized Code

 

·        Rajiv Gupta, 1986, Professor, Dept. of Computer Science, University of Arizona, (NSF Young Investigator Award) Ph.D. Thesis: Design of a Highly Parallel System

 

·        George Logothetis, 1983, AT&T Ph.D. Thesis: On the Automatic Generation of Eror-Repairing LL- and LR-based Parsers

 

·        Ching-Chy Wang,1983,  CEO, Leverage Design Acceleration Corporation, Cupertino, CA
      Ph.D. Thesis: An Axiomatic Approach to Control Description and Implementation

 

·        Fernando Lafora-Garcia, 1982,  DEC Corporation, Madrid Spain  Ph.D. Thesis: The Design and Implementation of Debugging Systems for Languages with Advanced  Control Structures.
 

 

cc

 

soffa at cs.pitt.edu

Last update: 10 January 2004