1
0
0
(1 - 22 from 26
)
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
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...
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, ...
SEIP : Software Engineering in Practice « Guide 2 Research
www.guide2research.com
Raghavan Komondoor, Indian Institute of Science, Bangalore, India Philippe Kruchten, University of British Columbia, Canada Jenny Li, Kean ...
[Haskell] APLAS 2014: Call for Participation
mail.haskell.org
... China Gerwin Klein NICTA and UNSW, Australia Raghavan Komondoor Indian Institute of Science, Bangalore Paddy Krishnan Oracle, ...
[erlang-questions] Announce: Software Engineering for...
erlang.org
... Denmark Yue Jia, CREST Centre, SSE Group, Department of Computer Science, UCL, UK Raghavan Komondoor, Indian Institute of Science ...
[Haskell-cafe] Announce: Software Engineering for Systems...
mail.haskell.org
... Denmark Yue Jia, CREST Centre, SSE Group, Department of Computer Science, UCL, UK Raghavan Komondoor, Indian Institute of Science ...
All web results to the name "Raghavan V. Komondoor"
Related search requests for Raghavan V. Komondoor
Girish Maskeri Susan Horwitz Abraham Silberschatz | Indrajit Bhattacharya Suan Yong Miquel Nicolau | Rainer Koschke |
People Forename "Raghavan" (134) Name "Komondoor" (2) |
sorted by relevance / date