thesis published Amir Kafshdar Goharshady author 391365CE-F248-11E8-B48F-1D18A9856A870000-0003-1702-6584 Krishnendu Chatterjee supervisor KrCh department GradSch department Quantitative Analysis of Probabilistic Systems with a focus on Crypto-Currencies project Quantitative Game-theoretic Analysis of Blockchain Applications and Smart Contracts project 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. https://research-explorer.ista.ac.at/download/8934/8969/Thesis-pdfa.pdf application/pdf2021-12-22no https://research-explorer.ista.ac.at/download/8934/8970/source.zip application/zip Institute of Science and Technology Austria2021 eng 2663-337X10.15479/AT:ISTA:8934 278 https://research-explorer.ista.ac.at/record/6490 https://research-explorer.ista.ac.at/record/6780 https://research-explorer.ista.ac.at/record/7158 https://research-explorer.ista.ac.at/record/66 https://research-explorer.ista.ac.at/record/6378 https://research-explorer.ista.ac.at/record/311 https://research-explorer.ista.ac.at/record/6175 https://research-explorer.ista.ac.at/record/6340 https://research-explorer.ista.ac.at/record/7014 https://research-explorer.ista.ac.at/record/6009 https://research-explorer.ista.ac.at/record/1437 https://research-explorer.ista.ac.at/record/8728 https://research-explorer.ista.ac.at/record/8089 https://research-explorer.ista.ac.at/record/6380 https://research-explorer.ista.ac.at/record/5977 https://research-explorer.ista.ac.at/record/6056 https://research-explorer.ista.ac.at/record/639 https://research-explorer.ista.ac.at/record/1386 https://research-explorer.ista.ac.at/record/6918 https://research-explorer.ista.ac.at/record/7810 https://research-explorer.ista.ac.at/record/949 Goharshady AK. Parameterized and algebro-geometric advances in static program analysis. 2021. doi:<a href="https://doi.org/10.15479/AT:ISTA:8934">10.15479/AT:ISTA:8934</a> A.K. Goharshady, Parameterized and Algebro-Geometric Advances in Static Program Analysis, Institute of Science and Technology Austria, 2021. Goharshady AK. 2021. Parameterized and algebro-geometric advances in static program analysis. Institute of Science and Technology Austria. Goharshady, A. K. (2021). <i>Parameterized and algebro-geometric advances in static program analysis</i>. Institute of Science and Technology Austria. <a href="https://doi.org/10.15479/AT:ISTA:8934">https://doi.org/10.15479/AT:ISTA:8934</a> Goharshady, Amir Kafshdar. “Parameterized and Algebro-Geometric Advances in Static Program Analysis.” Institute of Science and Technology Austria, 2021. <a href="https://doi.org/10.15479/AT:ISTA:8934">https://doi.org/10.15479/AT:ISTA:8934</a>. A. K. Goharshady, “Parameterized and algebro-geometric advances in static program analysis,” Institute of Science and Technology Austria, 2021. Goharshady, Amir Kafshdar. <i>Parameterized and Algebro-Geometric Advances in Static Program Analysis</i>. Institute of Science and Technology Austria, 2021, doi:<a href="https://doi.org/10.15479/AT:ISTA:8934">10.15479/AT:ISTA:8934</a>. 89342020-12-10T12:17:07Z2026-04-16T10:07:18Z