|COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring.|
A few lessons that I learnt about interprocedural program analyses
If you have a question about this talk, please contact Jonathan Hayman.
Handling procedures effectively is one of the most basic problems in static program analyses. A good method for analysing procedures can improve the precision and performance of a static analysis substantially. However, obtaining such a method is nontrivial and requires new insights into the type of the analysis and target programs.
In this talk, I will describe a few lessons that I recently learnt about interprocedural program analyses, while working with colleagues in the US and Korea. We found a new relationship between popular approaches for analysing procedures, which helped us to form a big picture about these approaches. We also came up with new ways of combining or adjusting existing interprocedural analyses, which led to the improvement in precision or performance in our experiments. I will explain these findings.
This is joint work with Mayur Naik, Ravi Mangal, Xin Zhang in Georgia Tech and Wonchan Lee, Hakjoo Oh, Kwangkeun Yi in Seoul National University.
This talk is part of the Logic and Semantics Seminar (Computer Laboratory) series.
This talk is included in these lists:
Note that ex-directory lists are not shown.
Other lists2013 UK~IRC Innovation Summit Division F Financial Modelling Group Genetics Seminar Series
Other talksArtificial Magnetic Materials and Chiral Spin Textures (Prof. Robert L. Stamps, University of Glasgow) Pickwick in the Trenches: Dickens and Dickensians in the Great War Mixed race: the future of identity politics in Britain Search for extra-terrestrial integrity - SETi. A Neuroscientific Study of ‘Theory of Mind’ with a Nonverbal Task Employing Algorithmically Generated Sounds of Varying Dissonance Level. Endogenous risk and price-mediated contagion Get registered - Upgrade your membership event