Raghavan V. Komondoor and India - Free people check

(1 - 29 from 33

)

Event Details

www.cs.ucl.ac.uk

Raghavan Komondoor, Indian Institute of Science, India Raghavan Komondoor, Indian Institute of Science, India. Alan Mycroft, Computer Laboratory, University of

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 Research ... › Programme › TACAS

ISEC : 8th ACM India Software Engineering Conference

www.wikicfp.com

ISEC : 8th ACM India Software Engineering Conference

Etaps programme: TACAS.html

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 ...

FM 2014: Formal Methods: 19th International Symposium, ...

books.google.be

... of Presburger Counter Systems Using Reachability Analysis K. Vasanta Lakshmi, Aravind Acharya, and Raghavan Komondoor Indian Institute of Science, ...

Static Analysis: 20th International Symposium, SAS 2013, ...

books.google.be

Precise Slicing in Imperative Programs via Term-Rewriting and Abstract Interpretation Raghavan Komondoor Indian Institute of Science, ...

Raghavan Komondoor - ISSTA 2017

conf.researchr.org

Name: Raghavan Komondoor. Country: India. Affiliation: Indian Institute of Science, Bangalore. Personal website: http://drona.csa.iisc.ac.in/~raghavan/ Contributions

[ ] Checking Observational Purity of Procedures

arxiv.org

Authors:Himanshu Arora (1), Raghavan Komondoor (1), G. Ramalingam (2) ((1) Indian Institute of Science, Bangalore, (2) Microsoft Research).

A survey of techniques for precise program slicing

dokumen.tips

Precise slicing via term-rewriting and abstract interpretation A survey of techniques for precise program slicing Komondoor V. Raghavan Indian Institute of...

Download PDF - Microsoft

www.microsoft.com

Raghavan Komondoor. IBM India Research Lab .com. G. Ramalingam. Microsoft Research India∗ . Abstract.

Schloss Dagstuhl : Participant List

www.dagstuhl.de

... CA); Ahmed E. Hassan (University of Waterloo, CA); Andy Kellens (Free University of Brussels, BE); Raghavan Komondoor (IBM India Research Lab.

K Vasanta Lakshmi

sites.google.com

Raghavan Komondoor, K. Vasanta Lakshmi, Deva P. Seetharam, Sudha Balodia: Packet flow analysis in IP networks using data-flow analysis. India Software Engineering ...

ASE 2018

ase2018.com

Raghavan Komondoor, Indian Institute of Science, India; Tien N. Nguyen, University of Texas - Dallas, USA; Christoph Reichenbach, Lund University, Sweden;

Centre for Research in Evolution, Search & Testing: The 32nd COW ::...

crest.cs.ucl.ac.uk

CREST Open Workshop (COW) Past Events. Comments. Register. CREST's on-going Collaborations with China. GDPR ... Raghavan Komondoor, Indian Institute of Science, India.

Software Engineering authors/titles Aug 2010

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, (2) ...

SCAM 2018

www.ieee-scam.org

SCAM also features an engineering paper track for papers that report on the design and implementation of tools ... Raghavan Komondoor, Indian Institute of ...

SPLASH OOPSLA - SPLASH 2018

2018.splashcon.org

SPLASH OOPSLA. About; Program; Instructions for Authors; ... Girish Maskeri Rama Infosys Limited, Raghavan Komondoor Indian Institute of Science, Bangalore, ...

Awards - WCRE

wcre.wikidot.com

Distinguished Reviewer Awards. Raghavan Komondoor, Indian Institute of Science India; David Lo, Singapore Management University Singapore ...

Program committee - WCRE

wcre.wikidot.com

Raghavan Komondoor, Indian Institute of Science, India Rainer Koschke, University of Bremen, Germany Sonia Haiduc, Wayne State University, USA

Members of ICSM Organizing Committee

conferences.computer.org

... Hong Kong University of Science and Technology, China; Raghavan Komondoor, Indian Institute of Science, India; Rainer Koschke, University of Bremen, ... › icsm › ICSM_2012_C...

Program committee - ISSTA'22

issta22.hotcrp.com

Raghavan Komondoor, Indian Institute of Science, Bengaluru, India. Rahul Purandare, IIITD. Rene Just, University of Washington. › users

Program Committees | IEEE CSMR-WCRE

ansymore.uantwerpen.be

... Eindhoven University of Technology, The Netherlands; Raghavan Komondoor, Indian Institute of Science, India; Dharmalingam Ganesan, Fraunhofer IESE, ...

Program committee - popl15

popl15.hotcrp.com

Peter Thiemann, University of Freiburg. Philip Wadler, University of Edinburgh. Pierre Geneves, CNRS. Raghavan Komondoor, Indian Institute of Science.

Program committee - ASE'18 Tool Demonstrations Track

ase18tools.hotcrp.com

Raghavan Komondoor, Indian Institute of Science. Robert Dyer, Bowling Green State University. Romain Rouvoy, Univ. Lille / Inria. Sara Sprenkle, Washington and Lee University. Shing-Chi Cheung, The Hong Kong University of Science and Technology. Steven P. Reiss, Brown University. Tegawendé F. Bissyandé, SnT, ...

Indrajit Bhattacharya
Suan Yong
Miquel Nicolau

Rainer Koschke

People
Forename "Raghavan" (134)
Name "Komondoor" (2)

sorted by relevance / date

Advanced Search

Search name: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Raghavan V. Komondoor and India Free People Check

Event Details

Etaps programme: TACAS.html

ISEC : 8th ACM India Software Engineering Conference

Etaps programme: TACAS.html

FM 2014: Formal Methods: 19th International Symposium, ...

Static Analysis: 20th International Symposium, SAS 2013, ...

Raghavan Komondoor - ISSTA 2017

[ ] Checking Observational Purity of Procedures

A survey of techniques for precise program slicing

Download PDF - Microsoft

Schloss Dagstuhl : Participant List

K Vasanta Lakshmi

ASE 2018

Centre for Research in Evolution, Search & Testing: The 32nd COW ::...

Software Engineering authors/titles Aug 2010

SCAM 2018

SPLASH OOPSLA - SPLASH 2018

Awards - WCRE

Program committee - WCRE

Members of ICSM Organizing Committee

Program committee - ISSTA'22

Program Committees | IEEE CSMR-WCRE

Program committee - popl15

Program committee - ASE'18 Tool Demonstrations Track

SEIP : Software Engineering in Practice « Guide 2 Research

Software Engineering Academic Genealogy

[Haskell] APLAS 2014: Call for Participation

[erlang-questions] Announce: Software Engineering for...

[Haskell-cafe] Announce: Software Engineering for Systems...

All web results to the name "Raghavan V. Komondoor"