Thomas Reps
University of Wisconsin–Madison(US)
Publications by Year
Research Areas
Software Testing and Debugging Techniques, Formal Methods in Verification, Logic, programming, and type systems, Software Engineering Research, Software Reliability and Analysis Research
Most-Cited Works
- → Interprocedural slicing using dependence graphs(1990)1,478 cited
- → Precise interprocedural dataflow analysis via graph reachability(1995)1,142 cited
- → Parametric shape analysis via 3-valued logic(2002)782 cited
- → The Cornell program synthesizer(1981)708 cited
- → Integrating noninterfering versions of programs(1989)419 cited
- → Analyzing Memory Accesses in x86 Executables(2004)370 cited
- → The synthesizer generator(1984)370 cited