1
0
0
News
Event Details
www.cs.ucl.ac.uk
Raghavan Komondoor, Indian Institute of Science, India Raghavan Komondoor, Indian Institute of Science, India. Alan Mycroft, Computer ...
ISEC : 8th ACM India Software Engineering Conference
www.wikicfp.com
ISEC : 8th ACM India Software Engineering Conference
Etaps programme: TACAS.html
www.etaps05.inf.ed.ac.uk
Raghavan Komondoor (IBM T.J. Watson Research Center, Yorktown Heights, USA), G. Ramalingam (IBM India, Bangalore, India), Satish Chandra (IBM India ...
New England Programming Languages and Systems Symposium Series...
nepls.org
Raghavan Komondoor (IBM). 12:30-01:30, Lunch. 01:30-01:50, A Model of Substructural State Matthew Fluet (Harvard University). 01:50-02:
Telephone & Addresses
Raghavan V Komondoor, 43, Amherst, US, N Pleasant St, Apt 15
View Raghavan's social profiles and photos on Facebook, MySpace, and +40 Networks.
Raghavan V Komondoor, 43, Baltimore, US, N Calvert St, Apt 2
View Raghavan's social profiles and photos on Facebook, MySpace, and +40 Networks.
Raghavan V Komondoor, 43, Madison, US, Harvey St
View Raghavan's social profiles and photos on Facebook, MySpace, and +40 Networks.
Raghavan V Komondoor, 43, Madison, US, N Randall Ave, Apt 3
View Raghavan's social profiles and photos on Facebook, MySpace, and +40 Networks.
Network Profiles
Raghavan Komondoor | Semantic Scholar
www.semanticscholar.org
Semantic Scholar profile for Raghavan Komondoor, with 79 highly influential citations and 41 scientific research papers.
Etaps programme: TACAS.html - Verimagwww-verimag.imag.fr › PEOPLE › halbwach › tacasprog
www-verimag.imag.fr
Raghavan Komondoor (IBM T.J. Watson Research Center, Yorktown Heights, USA), G. Ramalingam (IBM India, Bangalore, India), Satish Chandra (IBM India ...
Interests
Raghavan Komondoor - Patents
www.freshpatents.com
Raghavan Komondoor patents. Recent bibliographic sampling of Raghavan Komondoor patents listed/published in the public domain by the USPTO (USPTO ...
Business Profiles
patentbuddy: Raghavan Komondoor
INTERNATIONAL BUSINESS MACHINES CORPORATION, New Delhi, IN, US
patentbuddy: Raghavan V Komondoor
LUCENT TECHNOLOGIES INC., Madison, WI, US
Employees
ICSE Austin :: Other Committees
2016.icse.cs.txstate.edu
ICSE is the premier software engineering conference, providing a forum for researchers, practitioners and educators to present and discuss the most recent...
Projects
Publications - WalaWiki
wala.sourceforge.net
... Ravichandhran Madhavan and Raghavan Komondoor Null dereference verification via over-approximated weakest pre-conditions ...
Books & Literature
Model Checking Software: 10th International SPIN Workshop. Portland,...
books.google.co.uk
This book constitutes the refereed proceedings of the 10th International SPIN workshop on Model Checking of Software, SPIN 2003, held in Portland, OR, USA in...
Programming Languages and Systems: 10th European Symposium on...
books.google.co.uk
Using. Program. Dependences. Raghavan Komondoor and Susan Horwitz Computer Sciences Department, University of Wisconsin-Madison {raghavan, ...
Programming Languages and Systems: 12th Asian Symposium, APLAS
books.google.co.uk
This book constitutes the refereed proceedings of the 12th Asian Symposium on Programming Languages and Systems, APLAS 2014, held in Singapore, Singapore in...
Static Analysis: 20th International Symposium, SAS 2013, Seattle, WA,...
books.google.de
This book constitutes the thoroughly refereed proceedings of the 20th International Symposium on Static Analysis, SAS 2013, held in Seattle, WA, USA, in June...
Related Documents
Raghavan Komondoor - researchr alias
researchr.org
Publications by 'Raghavan Komondoor' ... Precise Slicing in Imperative Programs via Term-Rewriting and Abstract InterpretationRaghavan Komondoor.
[ v1] A Case Study in Matching Service Descriptions to...
arxiv.org
Authors: Hari S. Gupta (1), Deepak D'Souza (1), Raghavan Komondoor (1), Girish M. Rama (2) ((1) Indian Institute of Science, Bangalore, India, ...
CiteSeerX — Semantics-Preserving Procedure Extraction
citeseerx.ist.psu.edu
BibTeX. @MISC{Komondoor00semantics-preservingprocedure, author = {Raghavan Komondoor and Susan Horwitz}, title = {Semantics-Preserving Procedure ...
Scientific Publications
dblp: Raghavan Komondoor
dblp.uni-trier.de
List of computer science publications by Raghavan Komondoor
CiteSeerX — Effective, Automatic Procedure Extraction
citeseer.ist.psu.edu
@MISC{Komondoor03effective,automatic, author = {Raghavan Komondoor and Susan Horwitz}, title = {Effective, Automatic Procedure Extraction}, year = {2003} } ...
DBLP - Raghavan Komondoor
dblp.cloudmining.net
... of citations, relevance, year. Pages: 1 2 · Raghavan Komondoor,
Susan Horwitz Raghavan Komondoor, Rajeev Rastogi, S. Seshadri, Abraham
LandOfFree - Scientist - Raghavan Komondoor
science.landoffree.com
Check out Raghavan Komondoor. Rate and share your experience with other people.
Publications
Checking Liveness Properties of Presburger Counter Systems Using...
link.springer.com
Counter systems are a well-known and powerful modeling notation for specifying infinite-state systems. In this paper we target the problem of checking liveness...
Using Slicing to Identify Duplication in Source Code | SpringerLink
link.springer.com
Programs often have a lot of duplicated code, which makes both understanding and maintenance more difficult. This problem can be alleviated by detecting...
Miscellaneous
Raghavan Komondoor - Google Scholar Citations
scholar.google.co.uk
新しい引用をフォロー. アラートを作成 キャンセル. Raghavan Komondoor. Indian Institute of Science, Bangalore · Programming Languages, Software Engineering, ...
Raghavan Komondoor - Google Scholar Citationsscholar.google.com › citations
scholar.google.com
Raghavan Komondoor. Indian Institute of Science, Bangalore. ยืนยันอีเมลแล้วที่ csa.iisc.ernet.in - หน้าแรก · Programming LanguagesSoftware EngineeringFormal ...
Debugging - asergrp - Google Sitessites.google.com › site › asergrp › bibli › debugging
sites.google.com
Null Dereference Verification via Over-approximated Weakest Pre-conditions Analysis, Ravichandhran Madhavan and Raghavan Komondoor, OOPSLA
A survey of techniques for precise program slicing Komondoor ...slideplayer.com › slide
slideplayer.com
An example Raghavan Komondoor, Precise slicing3.
Yahoo! Groups
groups.yahoo.com
Purandar Bhaduri (IIT Guwahati) Raghavan Komondoor (IISc) Rajeev Gupta (IBM Research) Sachindra Joshi (IBM Research) Sanjeev K Aggarwal (IIT Kanpur)
DBLP: Raghavan Komondoor
vldbarc.org
Raghavan Komondoor, G. Ramalingam: Recovering Data Models via Guarded Dependences. WCRE 2007: , Electronic Edition · pubzone.org ...
Ravichandhran Madhavan - Google Scholar Citations
scholar.google.ch
Co-authorsView all… Viktor Kuncak,; Ganesan Ramalingam,; Raghavan Komondoor,; Sumit Gulwani,; Mikaël Mayer ...
mypublications - prahladsampath
sites.google.com
Formal Methods in Software Engineering, IISc, jointly with Deepak D'Souza and Raghavan Komondoor, Jan – Apr 2011; Science of Programming, Pune ...
Raghavan Komondoor - The Mathematics Genealogy Project
www.mathgenealogy.org
A service of the NDSU Department of Mathematics, in association with the American Mathematical Society. Raghavan Komondoor. MathSciNet. Ph.D. University ...
Raghavan Komondoor - UW Computer Sciences User Pagespages.cs.wisc.edu › ~raghavan
pages.cs.wisc.edu
Raghavan Komondoor, and G. Ramalingam. "Recovering data models via guarded dependences". In Proc. 14th Working Conf. on Reverse Engg. (WCRE), ...
au:Komondoor_R in:cs - SciRate Search
scirate.com
Counter systems are a well-known and powerful modeling notation for specifying infinite-state systems. In this paper we target the problem of checking temporal ...
ACCEPTED TOOL DEMONSTRATIONS
etaps.org
Finding Duplicated Code Using Program Dependences: Raghavan Komondoor, Susan Horwitz (University of Wisconsin) Date Friday ABSTRACT.
Accepted Papers - WCRE
wcre.wikidot.com
Using Relationships for Matching Textual Domain Models with Existing Code Raghavan Komondoor, Indrajit Bhattacharya, Deepak D'Souza, and Sachin Kale.
Centre for Research in Evolution, Search & Testing: The 32nd COW ::...
crest.cs.ucl.ac.uk
Raghavan Komondoor, Indian Institute of Science, India. 16:00 Discussion. 16:15 Higher Order Mutation Testing (Videos: 240p, 360p). Yue Jia ...
DUPLICATED CODE DEMO
etaps.org
Raghavan Komondoor, Susan Horwitz (University of Wisconsin). Programs often have a lot of duplicated code, which makes both understanding and ...
: Principles Of Compiler Design V Raghavan PDFoxukyrileg.ml › ...
oxukyrileg.ml
... techniques, Steven S. Muchnick, Advanced compiler design and implementation, Raghavan Komondoor, Susan Horwitz, Tool Demonstration: Finding.
BibSLEIGH — Precise Slicing in Imperative Programs via ...bibtex.github.io › SAS Komondoor
bibtex.github.io
@inproceedings{SAS Komondoor, author = "Raghavan Komondoor", booktitle = "{Proceedings of the 20th International Static Analysis Symposium}", doi ...
Awards - WCRE
wcre.wikidot.com
Distinguished Reviewer Awards. Raghavan Komondoor, Indian Institute of Science India; David Lo, Singapore Management University Singapore ...
Checking Observational Purity of Procedures ...www.springerprofessional.de › checking-observational-purity-of-proc...
www.springerprofessional.de
Checking Observational Purity of Procedures. Authors: Himanshu Arora, Raghavan Komondoor, G. Ramalingam. Publisher: Springer International Publishing.
CiteSeerX — Active Bibliography: Effective, Automatic Procedure...
citeseer.uark.edu
... Monitor Changes. by Raghavan Komondoor , Susan Horwitz Eliminating Duplication ...
Raghavan Komondoor, Susan Horwitz Semantics-Preserving ...
Raghavan Komondoor, Susan Horwitz
Related search requests for Raghavan Komondoor
| John Field Paddy Krishnan Susan Horwitz | Gerwin Klein Indrajit Bhattacharya |
People Forename "Raghavan" (135) Name "Komondoor" (2) |
sorted by relevance / date