Parameterized and algebro-geometric advances in static program analysis

A.K. Goharshady, Parameterized and Algebro-Geometric Advances in Static Program Analysis, IST Austria, 2021.

Download
Restricted Thesis-pdfa.pdf 5.25 MB

Thesis | Published | English
Department
Series Title
IST Austria Thesis
Abstract
In this thesis, we consider several of the most classical and fundamental problems in static analysis and formal verification, including invariant generation, reachability analysis, termination analysis of probabilistic programs, data-flow analysis, quantitative analysis of Markov chains and Markov decision processes, and the problem of data packing in cache management. We use techniques from parameterized complexity theory, polyhedral geometry, and real algebraic geometry to significantly improve the state-of-the-art, in terms of both scalability and completeness guarantees, for the mentioned problems. In some cases, our results are the first theoretical improvements for the respective problems in two or three decades.
Publishing Year
Date Published
2021-01-01
Acknowledgement
Several of the experts and administrative people at IST Austria deserve special thanks and recognition for going way above and beyond their responsibilities to help me settle in Austria, attend conferences, go on internships, and obtain grants. This includes Paul Cech, May Chan, Vlad Cozac, Elisabeth Hacker, Louise Jottrand, Niall O’Brien, Maria-Oana Rosu, Sarah Seider and Uli Seiss. Finally, I am grateful to Facebook, IBM, and the Austrian Academy of Sciences (ÖAW) who financially supported my PhD through their respective PhD Fellowship programs and to the Royal Commission for the Exhibition of 1851 who offered me a very generous research fellowship.
Page
278
ISSN
IST-REx-ID

Cite this

Goharshady AK. Parameterized and algebro-geometric advances in static program analysis. 2021. doi:10.15479/AT:ISTA:8934
Goharshady, A. K. (2021). Parameterized and algebro-geometric advances in static program analysis. IST Austria. https://doi.org/10.15479/AT:ISTA:8934
Goharshady, Amir Kafshdar. “Parameterized and Algebro-Geometric Advances in Static Program Analysis.” IST Austria, 2021. https://doi.org/10.15479/AT:ISTA:8934.
A. K. Goharshady, “Parameterized and algebro-geometric advances in static program analysis,” IST Austria, 2021.
Goharshady AK. 2021. Parameterized and algebro-geometric advances in static program analysis. IST Austria.
Goharshady, Amir Kafshdar. Parameterized and Algebro-Geometric Advances in Static Program Analysis. IST Austria, 2021, doi:10.15479/AT:ISTA:8934.
All files available under the following license(s):
Main File(s)
File Name
Thesis-pdfa.pdf 5.25 MB
Access Level
Restricted Closed Access
Date Uploaded
2020-12-22
Embargo End Date
2022-01-02
MD5 Checksum
d1b9db3725aed34dadd81274aeb9426c

Source File
File Name
source.zip 10.64 MB
Access Level
Restricted Closed Access
Date Uploaded
2020-12-22
MD5 Checksum
1661df7b393e6866d2460eba3c905130

Material in IST:
Part of this Dissertation
Part of this Dissertation
Part of this Dissertation
Part of this Dissertation
Part of this Dissertation
Part of this Dissertation
Part of this Dissertation
Part of this Dissertation
Part of this Dissertation
Part of this Dissertation
Part of this Dissertation
Part of this Dissertation
Part of this Dissertation
Part of this Dissertation
Part of this Dissertation
Part of this Dissertation
Part of this Dissertation
Part of this Dissertation
Part of this Dissertation
Part of this Dissertation
Part of this Dissertation

Export

Marked Publications

Open Data IST Research Explorer

Search this title in

Google Scholar