This talk will describe how a number of program-analysis problems can be solved by transforming them to special kinds of graph-reachability problems. (These reachability problems can also be viewed as inference problems, where solving a problem involves inferring the presence or absence of certain kinds of paths in the graph.) Some of the program-analysis problems that are amenable to this treatment include:
His collaboration with Tim Teitelbaum at Cornell University from 1978 to 1985 led to the creation of two systems --- the Cornell Program Synthesizer and the Synthesizer Generator --- that explored how to build interactive programming tools that incorporate knowledge about the programming language being supported. Reps is the inventor of the attribute-grammar paradigm for incremental static-semantic analysis of programs, which is used in the Synthesizer Generator. Reps is President of GrammaTech, Inc., which he and Teitelbaum founded in 1988 to commercialize this work.
Since 1985, Professor Reps has led a research group at the University of Wisconsin investigating program slicing and its applications in software engineering. As part of this effort, Reps has been the principal investigator for three DARPA-supported projects. His work has also been funded by the National Science Foundation continuously since 1986.
Recently, Reps served as a consultant to DARPA to help them plan a project aimed at reducing the impact of the Year 2000 Problem on the Department of Defense.
Professor Reps's Ph.D. dissertation won the 1983 ACM Doctoral Dissertation Award. He received an IBM Faculty Development Award in 1986, an NSF Presidential Young Investigator Award in 1986, and a David and Lucile Packard Foundation Fellowship for Science and Engineering in 1988.