Current Ph.D.students:
- Jing Yang, expected graduation 2011
- Kristen Walcott, expected graduation 2011
- Jason Mars, expected graduation 2011
- Lingjia Tang, expected graduation 2013
- Tanima Dey, expected graduation, 2013
- Wei Wang, expected graduation, 2013
Ph.D. Graduated:
| 2010 | Wei Le, Towards A Practical, Path-Based Framework for Detecting and Diagnosing Faults, Assistant professor, Rochester Institute of Technology |
| 2010 | Apala Guha, Memory Optimization of Dynamic Binary Translators for Embedded Systems, Intel, Santa Clara |
| 2008 | Naveen Kumar, Source Level Debugging of Dynamically Translated Programs, Intel |
| Gregory Kapfhammer, A Framework for Testing Data Centric Applications, Assistant Professor, Allegheny College | |
| 2007 | Min Zhao, Model Driven Optimization, HP Labs |
| 2001 | Atif Memon, A Comprehensive Framework for Testing Graphical User Interface Associate Professor, University of Maryland |
| Tarun Nakra, A Framework for Performing Prediction on VLIW Architectures, Research Scientist, Starcore/Agere System | |
| 2000 | Clara Jaramillo, Source Level Debugging Techniques and Tools for Optimized Code, Assistant Professor, Chatham College |
| 1999 | Rastislav Bodik, Path-Sensitive, Value-Flow Optimizations of Programs, Associate Professor, University of California, Berkeley, SIGPLAN Award for Best Dissertation in Programming Languages |
| Neelam Gupta, Automated Test Data Generation using Relaxation Methods, Assistant Professor, University of Arizona | |
| 1998 | Jodi Tims, Automatic Generation of Data Distributions for Distributed Memory Machines, Full Professor, Baldwin Wallace College |
| 1997 | Tia Watts, Integrating Parallelizing Transformations and Compiler-based Scheduling Methods, Associate Professor, Sonoma State University |
| 1996 | David Berson, Unification of Register Allocation and Instruction Scheduling in Compilers for Fine-Grained Parallel Architectures, Snyopsys, Portland |
| Evelyn Duesterwald, A Demand Driven Approach for Efficient Interprocedural Data Flow Analysis, Research Scientist, IBM Research Labs | |
| 1994 | Chy-Ren Dow, A Visualization System for Transformed Parallelized Programs, Assistant Professor, Feng-Chia University, Taiwan |
| 1993 | Pat Pineo, Value Tracking in Code Transformed for Parallelism, Associate Professor, Edinboro University, Pennsylvania |
| 1991 | Deborah Whitfield, A Unifying Framework for Optimizing Transformations, Slippery Rock University of Pennsylvania |
| Brian Malloy, A Fine-Grained Approach to Scheduling Asynchronous Execution on Multiprocessors, Associate Professor, Clemson University | |
| 1990 | Ravi Sharma, Data Partitioning: An Approach to Parallel Storage Reclamation, Lucent Technologies |
| 1988 | Mary Jean Harrold, An Approach to Incremental Testing, Advanced Professor, Georgia Tech |
| 1987 | Mary Bivens, Generation of High -Quality Target Code, Full Professor, Allegheny College, retired |
| Rajiv Gupta, Design of a Highly Parallel System, Professor, University of California at Riverside | |
| 1986 | Lori Pollock, An Approach to Incremental Compilation of Optimized Code, Full Professor, University of Delaware |
| 1983 | George Logothetis, On the Automatic Generation of Error-Repairing LL- and LR-based Parsers, AT&T Labs |
| Ching-Chy Wang, An Axiomatic Approach to Control Description, CEO, Leverage Design Acceleration Corporation | |
19Recent M.S.
Recent Undergraduate
82 |
Fernando Lafora-Garcia, The Design and Implementation of Debugging Systems for Languages with Advanced Control Structures, DEC Corporation, Madrid, Spain |