License: Creative Commons Attribution 3.0 Unported license (CC BY 3.0)
When quoting this document, please refer to the following
DOI: 10.4230/DagRep.3.4.91
URN: urn:nbn:de:0030-drops-41698
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2013/4169/
Lhotak, Ondrej ;
Smaragdakis, Yannis ;
Sridharan, Manu
Weitere Beteiligte (Hrsg. etc.): Ondrej Lhotak and Yannis Smaragdakis and Manu Sridharan
Pointer Analysis (Dagstuhl Seminar 13162)
Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 13162 ``Pointer Analysis''. The seminar had 27 attendees, including both pointer analysis experts and researchers developing clients in need of better pointer analysis. The seminar came at a key point in time, with pointer analysis techniques acquiring sophistication but still being just beyond the edge of wide practical deployment. The seminar participants presented recent research results, and identified key open problems and future directions for the field. This report
presents abstracts of the participants' talks and summaries of the breakout sessions from the seminar.
BibTeX - Entry
@Article{lhotak_et_al:DR:2013:4169,
author = {Ondrej Lhotak and Yannis Smaragdakis and Manu Sridharan},
title = {{Pointer Analysis (Dagstuhl Seminar 13162)}},
pages = {91--113},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2013},
volume = {3},
number = {4},
editor = {Ondrej Lhotak and Yannis Smaragdakis and Manu Sridharan},
publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
address = {Dagstuhl, Germany},
URL = {http://drops.dagstuhl.de/opus/volltexte/2013/4169},
URN = {urn:nbn:de:0030-drops-41698},
doi = {10.4230/DagRep.3.4.91},
annote = {Keywords: pointer analysis, points-to analysis, alias analysis, static analysis, programming languages}
}
Keywords: |
|
pointer analysis, points-to analysis, alias analysis, static analysis, programming languages |
Collection: |
|
Dagstuhl Reports, Volume 3, Issue 4 |
Issue Date: |
|
2013 |
Date of publication: |
|
02.09.2013 |