dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Deepak Kapur (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


146Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMark Marron, Deepak Kapur, Manuel V. Hermenegildo: Identification of logically related heap regions. ISMM 2009: 89-98
139Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMark Marron, Manuel V. Hermenegildo, Deepak Kapur, Darko Stefanovic: Efficient Context-Sensitive Shape Analysis with Graph Based Heap Models. CC 2008: 245-259
138Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMark Marron, Darko Stefanovic, Deepak Kapur, Manuel V. Hermenegildo: Identification of Heap-Carried Data Dependence Via Explicit Store Heap Models. LCPC 2008: 94-108
137Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMark Marron, Mario Méndez-Lojo, Manuel V. Hermenegildo, Darko Stefanovic, Deepak Kapur: Sharing analysis of arrays, collections, and recursive structures. PASTE 2008: 43-49
134Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMark Marron, Darko Stefanovic, Manuel V. Hermenegildo, Deepak Kapur: Heap analysis in the presence of collection libraries. PASTE 2007: 31-36
130Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMark Marron, Deepak Kapur, Darko Stefanovic, Manuel V. Hermenegildo: A Static Heap Analysis for Shape and Connectivity: Unified Memory Analysis: The Base Framework. LCPC 2006: 345-363

Selection of 6 from 165 records - Deepak Kapur has 92 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page