Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.

Bhargav S. Gulavani

2010 – today

see FAQ

What is the meaning of the colors in the publication list?

2011
[j2]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/toplas/GulavaniCRN11
- ask others
Bhargav S. Gulavani, Supratik Chakraborty, G. Ramalingam, Aditya V. Nori: Bottom-up shape analysis using LISF. ACM Trans. Program. Lang. Syst. 33(5): 17 (2011)
2010
[j1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/ipl/GulavaniCNR10
- ask others
Bhargav S. Gulavani, Supratik Chakraborty, Aditya V. Nori, Sriram K. Rajamani: Refining abstract interpretations. Inf. Process. Lett. 110(16): 666-671 (2010)

2000 – 2009

see FAQ

What is the meaning of the colors in the publication list?

2009
[c5]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/sas/GulavaniCRN09
- ask others
Bhargav S. Gulavani, Supratik Chakraborty, Ganesan Ramalingam, Aditya V. Nori: Bottom-Up Shape Analysis. SAS 2009: 188-204
2008
[c4]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/cav/GulavaniG08
- ask others
Bhargav S. Gulavani, Sumit Gulwani: A Numerical Abstract Domain Based on Expression Abstraction and Max Operator with Application in Timing Analysis. CAV 2008: 370-384
[c3]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/tacas/GulavaniCNR08
- ask others
Bhargav S. Gulavani, Supratik Chakraborty, Aditya V. Nori, Sriram K. Rajamani: Automatically Refining Abstract Interpretations. TACAS 2008: 443-458
2006
[c2]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/sigsoft/GulavaniHKNR06
- ask others
Bhargav S. Gulavani, Thomas A. Henzinger, Yamini Kannan, Aditya V. Nori, Sriram K. Rajamani: SYNERGY: a new algorithm for property checking. SIGSOFT FSE 2006: 117-127
[c1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/tacas/GulavaniR06
- ask others
Bhargav S. Gulavani, Sriram K. Rajamani: Counterexample Driven Refinement for Abstract Interpretation. TACAS 2006: 474-488