[{"publication_identifier":{"issn":[]},"month":"01","project":[{"_id":"267066CE-B435-11E9-9278-68D0E5697425","name":"Quantitative Analysis of Probablistic Systems with a focus on Crypto-currencies"},{"_id":"266EEEC0-B435-11E9-9278-68D0E5697425","name":"Quantitative Game-theoretic Analysis of Blockchain Applications and Smart Contracts"}],"tmp":{"short":"CC0 (1.0)","image":"/images/cc_0.png","legal_code_url":"https://creativecommons.org/publicdomain/zero/1.0/legalcode","name":"Creative Commons Public Domain Dedication (CC0 1.0)"},"oa":1,"language":[{}],"supervisor":[{"full_name":"Chatterjee, Krishnendu","first_name":"Krishnendu","last_name":"Chatterjee","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-4561-241X"}],"degree_awarded":"PhD","message":"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.\r\nFinally, 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.","creator":{"id":"391365CE-F248-11E8-B48F-1D18A9856A87","login":"akafshda"},"file_date_updated":"2021-12-23T23:30:04Z","department":[{"tree":[{"_id":"ResearchGroups"},{"_id":"IST"}],"_id":"KrCh"},{"tree":[{"_id":"Various"},{"_id":"IST"}],"_id":"GradSch"}],"publication_status":"published","acknowledgement":"The research was partially supported by an IBM PhD fellowship, a Facebook PhD fellowship, and DOC fellowship #24956 of the Austrian Academy of Sciences (OeAW).","dini_type":"doc-type:doctoralThesis","date_created":"2020-12-10T12:17:07Z","date_updated":"2023-09-22T10:03:21Z","related_material":{"record":[{"relation":"part_of_dissertation","status":"public","id":"1386"},{"status":"public","relation":"part_of_dissertation","id":"1437"},{"status":"public","relation":"part_of_dissertation","id":"311"},{"relation":"part_of_dissertation","status":"public","id":"6056"},{"relation":"part_of_dissertation","status":"public","id":"6380"},{"status":"public","relation":"part_of_dissertation","id":"639"},{"relation":"part_of_dissertation","status":"public","id":"66"},{"status":"public","relation":"part_of_dissertation","id":"6780"},{"relation":"part_of_dissertation","status":"public","id":"6918"},{"status":"public","relation":"part_of_dissertation","id":"7810"},{"id":"6175","status":"public","relation":"part_of_dissertation"},{"id":"6378","relation":"part_of_dissertation","status":"public"},{"relation":"part_of_dissertation","status":"public","id":"6490"},{"relation":"part_of_dissertation","status":"public","id":"7014"},{"id":"8089","relation":"part_of_dissertation","status":"public"},{"id":"8728","status":"public","relation":"part_of_dissertation"},{"status":"public","relation":"part_of_dissertation","id":"7158"},{"id":"5977","status":"public","relation":"part_of_dissertation"},{"id":"6009","relation":"part_of_dissertation","status":"public"},{"relation":"part_of_dissertation","status":"public","id":"6340"},{"id":"949","relation":"part_of_dissertation","status":"public"}]},"author":[{"id":"391365CE-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0003-1702-6584","first_name":"Amir Kafshdar","last_name":"Goharshady"}],"dc":{"creator":["Goharshady, Amir Kafshdar"],"description":["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.\r\nWe 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."],"identifier":["https://research-explorer.ista.ac.at/record/8934","https://research-explorer.ista.ac.at/download/8934/8969"],"type":["info:eu-repo/semantics/doctoralThesis","doc-type:doctoralThesis","text","http://purl.org/coar/resource_type/c_46ec"],"language":["eng"],"date":["2021"],"subject":["ddc:005"],"relation":["info:eu-repo/semantics/altIdentifier/doi/10.15479/AT:ISTA:8934","info:eu-repo/semantics/altIdentifier/issn/2663-337X"],"publisher":["Institute of Science and Technology Austria"],"title":["Parameterized and algebro-geometric advances in static program analysis","ISTA Thesis"],"rights":["https://creativecommons.org/publicdomain/zero/1.0/","info:eu-repo/semantics/openAccess"],"source":["Goharshady AK. Parameterized and algebro-geometric advances in static program analysis. 2021. doi:10.15479/AT:ISTA:8934"]},"article_processing_charge":"No","uri_base":"https://research-explorer.ista.ac.at","has_accepted_license":"1","day":"01","page":"278","citation":{"ista":"Goharshady AK. 2021. Parameterized and algebro-geometric advances in static program analysis. Institute of Science and Technology Austria.","ieee":"A. K. Goharshady, “Parameterized and algebro-geometric advances in static program analysis,” Institute of Science and Technology Austria, 2021.","apa":"Goharshady, A. K. (2021). Parameterized and algebro-geometric advances in static program analysis. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:8934","mla":"Goharshady, Amir Kafshdar. Parameterized and Algebro-Geometric Advances in Static Program Analysis. Institute of Science and Technology Austria, 2021, doi:10.15479/AT:ISTA:8934.","short":"A.K. Goharshady, Parameterized and Algebro-Geometric Advances in Static Program Analysis, Institute of Science and Technology Austria, 2021.","chicago":"Goharshady, Amir Kafshdar. “Parameterized and Algebro-Geometric Advances in Static Program Analysis.” Institute of Science and Technology Austria, 2021. https://doi.org/10.15479/AT:ISTA:8934."},"date_published":"2021-01-01T00:00:00Z","alternative_title":[],"type":"dissertation","abstract":[{"lang":"eng"}],"status":"public","ddc":[],"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","_id":"8934","file":[{"checksum":"d1b9db3725aed34dadd81274aeb9426c","date_updated":"2021-12-23T23:30:04Z","date_created":"2020-12-22T20:08:44Z","embargo":"2021-12-22","file_id":"8969","relation":"main_file","creator":"akafshda","content_type":"application/pdf","file_size":5251507,"access_level":"open_access","file_name":"Thesis-pdfa.pdf"},{"file_size":10636756,"content_type":"application/zip","creator":"akafshda","embargo_to":"open_access","file_name":"source.zip","access_level":"closed","date_updated":"2021-03-04T23:30:04Z","date_created":"2020-12-22T20:08:50Z","checksum":"1661df7b393e6866d2460eba3c905130","relation":"source_file","file_id":"8970"}],"oa_version":"Published Version"}]