Saurabh Sinha Research Scientist II College of Computing Georgia Institute of Technology 801 Atlantic Drive Atlanta, GA 30332-0280 (404) 385-6445 sinha@cc.gatech.edu

Research

My research addresses the development of, and experimentation with, program-analysis techniques that can be used to automate software-engineering tasks. My current research focuses on the effects of arbitrary interprocedural control flow on program-analysis techniques such as control-flow analysis, control-dependence analysis, and program slicing. My research involves investigating the effects of such control flow on analysis techniques, developing new techniques to perform correct analyses in their presence, and empirically evaluating the effectiveness of the new techniques. My current research also focuses on developing techniques for verifying the exceptional behavior of programs. Finally, my current research includes developing techniques for understanding data dependences, especially in the presence of pointers, and evaluating the usefulness of those techniques for applications of data dependences such as program slicing, data-flow testing, and program comprehension. I am also interested in evaluation of code-based testing techniques and analysis and testing of software components.

Publications

• Effects of Pointers on Data Dependences. Alex Orso, Saurabh Sinha, and Mary Jean Harrold. Proceedings of the 9th International Workshop on Program Comprehension, pp. 39-49, Toronto, Canada, May 2001.
• Interprocedural Control Dependence. Saurabh Sinha, Mary Jean Harrold, and Gregg Rothermel, ACM Transactions on Software Engineering and Methodology, vol. 10, no. 2, pp. 209-254, April 2001.
• Analysis and Testing of Programs with Exception-Handling Constructs. Saurabh Sinha and Mary Jean Harrold. IEEE Transactions on Software Engineering, vol. 26, no. 9, pp. 849-871, September 2000.
  
• Criteria for Testing Programs With Exception-Handling Constructs. Saurabh Sinha and Mary Jean Harrold. Proceedings of the International Conference on Software Maintenance, pp. 265-274, Oxford, England, August-September 1999.
• System-Dependence-Graph-Based Slicing of Programs with Abritrary Interprocedural Control Flow. Saurabh Sinha, Mary Jean Harrold, and Gregg Rothermel. Proceedings of the 21st IEEE International Conference on Software Engineering, pp. 432-441, Los Angeles, CA, May 1999.
• An Approach To Analyzing and Testing Component-Based Systems. Mary Jean Harrold, Donglin Liang, and Saurabh Sinha. Proceedings of the First International ICSE Workshop on Testing Distributed Component-Based Systems, Los Angeles, CA, May 1999.
• A Case Study: Productivity and Quality Gains Using an Object-Oriented Framework. Sandra A. Mamrak and Saurabh Sinha. Software--Practice and Experience, vol. 29, no. 6, pp. 501-518, May 1999.
• Analysis of Programs With Exception Handling Constructs. Saurabh Sinha and Mary Jean Harrold. Proceedings of the International Conference on Software Maintenance, pp. 348-357, Bethesda, MD, November 1998.
• Computation of Interprocedural Control Dependence. Mary Jean Harrold, Gregg Rothermel, and Saurabh Sinha. Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis, pp. 11-20, Clearwater Beach, FL, March 1998.

See my personal web page at http://www.cc.gatech.edu/~sinha