Items where author is "Stefanovic, Darko"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 5.

Article

Marron, Mark and Hermenegildo, Manuel V. and Kapur, Deepak and Stefanovic, Darko (2008). Efficient Context-Sensitive Shape Analysis with Graph Based Heap Models. "Lecture Notes In Computer Science", v. 4959 ; pp. 245-259. ISSN 0302-9743. https://doi.org/10.1007/978-3-540-78791-4_17.

Presentation at Congress or Conference

Marron, Mark and Stefanovic, Darko and Kapur, Deepak and Hermenegildo, Manuel V. (2008). Identification of Heap-Carried Data Dependence Via Explicit Store Heap Models. In: "21th international workshop, Languages and compilers for parallel computing, LCPC 2008", 31/07/2008-02/08/2008, Edmonton, Alberta, Canadá. ISBN 978-3-540-89739-2.

Marron, Mark and Méndez-Lojo, Mario and Hermenegildo, Manuel V. and Stefanovic, Darko and Kapur, Deepak (2008). Sharing analysis of arrays, collections, and recursive structures. In: "8th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering", November 9-10, 2008, Atlanta, GA, USA. ISBN 978-1-60558-382-2.

Marron, Mark and Kapur, Deepak and Stefanovic, Darko and Hermenegildo, Manuel V. (2007). A static heap analysis for shape and connectivity: Unified memory analysis: The base framework. In: "19th International Workshop, LCPC 2006", November 2-4, 2006, New Orleans, LA, USA. ISBN 978-3-540-72520-6.

Marron, Mark and Stefanovic, Darko and Hermenegildo, Manuel V. and Kapur, Deepak (2007). Heap analysis in the presence of collection libraries. In: "7th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering", June 13 - 14, 2007, San Diego, CA, USA. ISBN 978-1-59593-595-3.

  • Logo InvestigaM (UPM)
  • Logo GEOUP4
  • Logo Open Access
  • Open Access
  • Logo Sherpa/Romeo
    Check whether the anglo-saxon journal in which you have published an article allows you to also publish it under open access.
  • Logo Dulcinea
    Check whether the spanish journal in which you have published an article allows you to also publish it under open access.
  • Logo de Recolecta
  • Logo del Observatorio I+D+i UPM
  • Logo de OpenCourseWare UPM