ePrints@IIScePrints@IISc Home | About | Browse | Latest Additions | Advanced Search | Contact | Help

Browse by Author

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 10.

Conference Proceedings

Medicherla, Raveendra Kumar and Komondoor, Raghavan (2015) Precision vs. Scalability: Context Sensitive Analysis with Prefix Approximation. In: International Conference on Software Analysis, Evolution, and Reengineering (SANER), MAR 02-06, 2015, Montreal, CANADA, pp. 281-290.

Medicherla, Raveendra Kumar and Komondoor, Raghavan and Narendran, S (2015) Program Specialization and Verification using File Format Specifications. In: IEEE 31st International Conference on Software Maintenance and Evolution (ICSME), SEP 29-OCT 01, 2015, Bremen, GERMANY, pp. 191-200.

Lakshmi, Vasanta K and Acharya, Aravind and Komondoor, Raghavan (2014) Checking Liveness Properties of Presburger Counter Systems Using Reachability Analysis. In: 19th International Symposium on Formal Methods (FM), MAY 12-16, 2014, Natl Univ Singapore, Singapore, SINGAPORE, pp. 335-350.

Komondoor, Raghavan (2013) Precise Slicing in Imperative Programs via Term-Rewriting and Abstract Interpretation. In: 20th International Static Analysis Symposium (SAS), JUN 20-22, 2013, Seattle, WA, pp. 259-282.

Komondoor, Raghavan and Bhattacharya, Indrajit and D'Souza, Deepak and Kale, Sachin (2013) Using Relationships for Matching Textual Domain Models with Existing Code. In: 20th Working Conference on Reverse Engineering, OCT 14-17, 2013, Univ Koblenz, Koblenz, GERMANY, pp. 371-380.

Conference Paper

Komondoor, Raghavan and Nandivada, Krishna V and Sinha, Saurabh and Field, John (2012) Identifying services from Legacy batch applications. In: ISEC '12 Proceedings of the 5th India Software Engineering Conference, Feb, 2012, Kanpur, UP, India.

Komondoor, Raghavan and Lakshmi, Vasanta K and Seetharam, Deva P and Balodia, Sudha (2012) Packet flow analysis in IP networks using data-flow analysis. In: ISEC '12 Proceedings of the 5th India Software Engineering Conference, Feb, 2012, Kanpur, UP, India.

Gupta, Hari S and D'Souza, Deepak and Komondoor, Raghavan and Rama, Girish M (2010) A Case Study in Matching Service Descriptions to Implementations in an Existing System. In: International Conference on Software Maintenance, SEP 12-18, 2010 , Timisoara, ROMANIA.

Journal Article

Margoor, Amogh and Komondoor, Raghavan (2015) Two techniques to improve the precision of a demand-driven null-dereference verification approach. In: SCIENCE OF COMPUTER PROGRAMMING, 98 (4). pp. 645-679.

Madhavan, Ravichandhran and Komondoor, Raghavan (2011) Null Dereference Verification via Over-approximated Weakest Pre-conditions Analysis. In: ACM Sigplan Notices, 46 (10). pp. 1033-1052.

This list was generated on Sun Sep 24 15:29:36 2017 IST.