Jeanne Ferrante
Publications by Year
Research Areas
Parallel Computing and Optimization Techniques, Distributed and Parallel Computing Systems, Advanced Data Storage Technologies, Embedded Systems Design Techniques, Software Testing and Debugging Techniques
Most-Cited Works
- → The program dependence graph and its use in optimization(1987)2,726 cited
- → Efficiently computing static single assignment form and the control dependence graph(1991)2,232 cited
- → An efficient method of computing static single assignment form(1989)460 cited
- → The Computational Complexity of Logical Theories(1979)203 cited
- → Automatic construction of sparse data flow evaluation graphs(1991)190 cited
- → A Decision Procedure for the First Order Theory of Real Addition with Order(1975)186 cited
- → An overview of the PTRAN analysis system for multiprocessing(2014)184 cited