| Name |
Advisor |
Year |
Current Affiliation |
Thesis |
| Gogul Balakrishnan |
Reps |
2007 |
NEC Laboratories America, Inc. |
WYSINWYX: What You See Is Not What You eXecute
(abstract,
pdf)
|
| Denis Gopan |
Reps |
2007 |
GrammaTech, Inc. |
Program analysis techniques with applications to array
analysis and library summarization
(abstract, pdf)
|
| Alexey Loginov |
Reps |
2006 |
IBM Hawthorne Research Center |
Refinement-based program verification via three-valued-logic analysis
(pdf)
|
| Shai Rubin |
Jha, Miller |
2006 |
MSR |
Formal Models and Tools to Improve NIDS Accuracy
|
| Suan Hsi Yong |
Horwitz |
2004 |
GrammaTech, Inc. |
Runtime Monitoring of C Programs for Security and Correctness
(pdf,
ps)
|
| Subramanya Sastry |
Smith,
Bodik |
2003 |
|
Techniques for Transparent Program Specialization In Dynamic
Optimizers (pdf) |
| Raghavan Komondoor |
Horwitz |
2003 |
IBM Hawthorne Research Center
|
Automated duplicated-code detection and procedure extraction
(pdf) |
| Glenn Ammons |
Bodik |
2003 |
IBM Hawthorne Research Center |
Strauss: A specification miner
(pdf,
ps)
|
| David Melski |
Reps |
2002 |
GrammaTech, Inc. |
Interprocedural path profiling and the interprocedural express-lane transformation
(ps, pdf) |
| Eric Schnarr |
Larus |
2000 |
TomoTherapy, Inc. |
Applying Programming Language Implementation Techniques To Processor Simulation (pdf) |
| Zhichen Xu |
Miller, Reps |
2000 |
HP Laboratories |
Safety-Checking of Machine Code (ps) |
| Trishul Chilimbi |
Larus |
1999 |
Microsoft Research |
Cache-Conscious Data Structures - Design and Implementation.
(ps)
|
| Manuvir Das |
Reps |
1998 |
Microsoft Research |
Partial Evaluation Using Dependence Graphs.
(ps)
|
| Michael Siff |
Reps |
1998 |
Sarah Lawrence College |
Techniques for software renovation.(ps) |
| Satish Chandra |
Larus |
1997 |
IBM India Research Lab |
Software Techniques for Customizable Distributed Shared Memory. |
| Steve Kurlander |
Fischer |
1996 |
|
Approaches to Interprocedural Register Allocation. |
| Harish Patil |
Fischer |
1996 |
Compaq's Alpha Development Group |
Efficient Program Monitoring Techniques. |
| Bradley Richards |
Larus |
1996 |
University of Puget Sound |
Memory Systems for Parallel Programming. (ps) |
| Guhan Viswanathan |
Larus |
1996 |
Oracle |
New Techniques for Compiling Data Parallel Languages. |
| Thomas Ball |
Horwitz |
1993 |
Microsoft Research |
The Use of Control-Flow and Control Dependence in Software Tools. |
| Lorenz Huelsbergen |
Larus |
1993 |
Lucent Technologies, Bell Labs. |
Dynamic Language Parallelization.
|
| G. Ramalingam |
Reps |
1993 |
IBM Hawthorne Research Center |
Bounded incremental computation. |
| Todd A. Proebsting |
Fischer |
1992 |
Microsoft Research |
Code Generation Techniques. |
| Phil Pfeiffer |
Reps |
1991 |
East Tennessee State University |
Dependence-based representations for programs with reference variables. |
| David Binkley |
Reps |
1991 |
Loyola College |
Multi-procedure program integration. |
| Wuu Yang |
Horwitz, Reps |
1990 |
National Chiao-Tung University |
A new algorithm for semantics-based program integration. |
| G A Venkatesh |
Fischer |
1989 |
|
A Framework for Specification and Implementation of Program Analysis Algorithms. |
| William H. Winsborough |
Fischer |
1988 |
University of Texas at San
Antonio |
Automatic, Transparent Parallelization of Logic Programs at Compile Time. |
| Anil Pal |
Fischer |
1986 |
|
Generating Execution Facilities for Integrated Programming Environments. |
| Gregory F. Johnson |
Fischer |
1983 |
|
Context Sensitive Attribute Flow. |
| Jon Mauney |
Fischer |
1983 |
|
Least-cost Syntactic Error Correction Using Extended Right Context. |
| Vimal Begwami |
Fischer |
1982 |
|
A New Approach for Attribute Evaluation and Error Correction in Compilers. |
| Mahadevan Ganapathi |
Fischer |
1980 |
|
Retargetable Code Generation and Optimization Using Attribute Grammars. |
| Bernard A. Dion |
Fischer |
1978 |
|
Locally Least-Cost Error Correctors for Context-Free and Context-Sensitive Parsers. |
| Stephen K. Skedzielewski |
Fischer |
1978 |
Intel |
Definition and Use of Attribute Reevaluation in Attributed Grammars |
| Donn R. Milton |
Fischer |
1977 |
|
Syntactic Specification and Analysis with Attributed Grammars. |
| Bruce R. Rowland |
Fischer |
1977 |
|
Semantic Attribute Evaluation During Syntactic Analysis. |
