Amir Kafshdar Goharshady
Orcid: 0000-0003-1702-6584Affiliations:
- Institute of Science and Technology Austria
According to our database1,
Amir Kafshdar Goharshady
authored at least 53 papers
between 2016 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Proc. ACM Program. Lang., 2024
Sound and Complete Witnesses for Template-based Verification of LTL Properties on Polynomial Programs.
CoRR, 2024
Proceedings of the 22nd International Symposium on Experimental Algorithms, 2024
Proceedings of the LPAR 2024: Proceedings of 25th Conference on Logic for Programming, 2024
2023
Proc. ACM Program. Lang., October, 2023
Exploiting the Sparseness of Control-Flow and Call Graphs for Efficient and On-Demand Algebraic Program Analysis.
Proc. ACM Program. Lang., October, 2023
Proc. ACM Program. Lang., October, 2023
Proc. ACM Program. Lang., April, 2023
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2023
Alleviating High Gas Costs by Secure and Trustless Off-chain Execution of Smart Contracts.
Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, 2023
Proceedings of the Mathematical Research for Blockchain Economy: 4th International Conference MARBLE 2023, 2023
Proceedings of the IEEE International Conference on Blockchain and Cryptocurrency, 2023
Proceedings of the IEEE International Conference on Blockchain and Cryptocurrency, 2023
Proceedings of the Computer Aided Verification - 35th International Conference, 2023
Proceedings of the IEEE International Conference on Blockchain, 2023
Proceedings of the Fifth International Conference on Blockchain Computing and Applications, 2023
2022
Proceedings of the PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13, 2022
Proceedings of the 42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2022
Sound and Complete Certificates for Quantitative Termination Analysis of Probabilistic Programs.
Proceedings of the Computer Aided Verification - 34th International Conference, 2022
Proceedings of the IEEE International Conference on Blockchain, 2022
2021
Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021
Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021
Irrationality, Extortion, or Trusted Third-parties: Why it is Impossible to Buy and Sell Physical Goods Securely on the Blockchain.
Proceedings of the 2021 IEEE International Conference on Blockchain, 2021
2020
Parameterized and Algebro-geometric Advances in Static Program Analysis. (Progrès paramétriques et algébro-géométriques dans l'analyse statique des programmes).
PhD thesis, 2020
Reliab. Eng. Syst. Saf., 2020
Concentration-Bound Analysis for Probabilistic Programs and Probabilistic Recurrence Relations.
CoRR, 2020
Faster Algorithms for Quantitative Analysis of Markov Chains and Markov Decision Processes with Small Treewidth.
CoRR, 2020
Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020
Proceedings of the Programming Languages and Systems, 2020
Proceedings of the Automated Technology for Verification and Analysis, 2020
2019
Faster Algorithms for Dynamic Algebraic Queries in Basic RSMs with Constant Treewidth.
ACM Trans. Program. Lang. Syst., 2019
ACM Trans. Program. Lang. Syst., 2019
Proc. ACM Program. Lang., 2019
CoRR, 2019
Hybrid mining: exploiting blockchain's computational power for distributed problem solving.
Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2019
Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2019
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019
Proceedings of the IEEE International Conference on Blockchain and Cryptocurrency, 2019
2018
Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components.
ACM Trans. Program. Lang. Syst., 2018
Proceedings of the IEEE International Conference on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, 2018
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018
Proceedings of the Programming Languages and Systems, 2018
Proceedings of the 29th International Conference on Concurrency Theory, 2018
2017
A Short Note on Parameterized Computation of Network Reliability with respect to Treewidth.
CoRR, 2017
Proceedings of the Automated Technology for Verification and Analysis, 2017
2016
Discret. Appl. Math., 2016
A combinatorial approach to certain topological spaces based on minimum complement S-approximation spaces.
CoRR, 2016
Proceedings of the Computer Aided Verification - 28th International Conference, 2016