Goharshady, Amir Kafshdar
- Polynomial Invariant Generation for Non-deterministic Recursive Programs
2019/02/12 by Chatterjee, Krishnendu, Fu, Hongfei, Goharshady, Amir Kafshdar +1 · 6 citations
#FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL)
- Termination Analysis of Probabilistic Programs through\n Positivstellensatz's
2016/04/25 by Krishnendu Chatterjee, Chatterjee, Krishnendu, Hongfei Fu +3 · 7 citations
Computer Science · #Logic, Reasoning, and Knowledge #Bayesian Modeling and Causal Inference #Logic, programming, and type systems
- Irrationality, Extortion, or Trusted Third-parties: Why it is Impossible\n to Buy and Sell Physical Goods Securely on the Blockchain
2021/10/19 by Amir Kafshdar Goharshady, Goharshady, Amir Kafshdar · 1 voice · 1 citation
Computer Science · Decision Sciences · #Auction Theory and Applications #Blockchain Technology Applications and Security #Cryptography and Data Security #cs.CR #cs.DM #cs.GT
- Cost Analysis of Nondeterministic Probabilistic Programs
2019/02/12 by Peixin Wang, Hongfei Fu, Wang, Peixin +9 · 3 citations
Computer Science · #Formal Methods in Verification #Distributed systems and fault tolerance #Real-Time Systems Scheduling
- Probabilistic Smart Contracts: Secure Randomness on the Blockchain
2019/02/21 by Chatterjee, Krishnendu, Goharshady, Amir Kafshdar, Pourdamghani, Arash · 2 citations
#Computer Science and Game Theory (cs.GT) #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Programming Languages (cs.PL)
- Sound and Complete Witnesses for Template-based Verification of LTL Properties on Polynomial Programs
2024/03/08 by Chatterjee, Krishnendu, Goharshady, Amir Kafshdar, Goharshady, Ehsan Kafshdar +2 · 4 citations
#FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL)
- Quantitative Analysis of Assertion Violations in Probabilistic Programs
2020/11/30 by Wang, Jinyi, Sun, Yican, Fu, Hongfei +2 · 2 citations
#FOS: Computer and information sciences #Programming Languages (cs.PL)
- Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components
2015/10/26 by Krishnendu Chatterjee, Amir Kafshdar Goharshady, Chatterjee, Krishnendu +5 · 1 citation
Computer Science · #Formal Methods in Verification #Embedded Systems Design Techniques #Parallel Computing and Optimization Techniques
- Quantitative Analysis of Smart Contracts
2018/01/10 by Chatterjee, Krishnendu, Goharshady, Amir Kafshdar, Velner, Yaron · 1 citation
#FOS: Computer and information sciences #Programming Languages (cs.PL)
- PolyQEnt: A Polynomial Quantified Entailment Solver
2024/08/07 by Krishnendu Chatterjee, Chatterjee, Krishnendu, Amir Kafshdar Goharshady +10 · 3 citations
Mathematics · Biochemistry, Genetics and Molecular Biology · Computer Science · #Mathematics and Applications #DNA and Biological Computing #Advanced Graph Theory Research
- Optimal and Perfectly Parallel Algorithms for On-demand Data-flow Analysis
2020/01/29 by Chatterjee, Krishnendu, Goharshady, Amir Kafshdar, Ibsen-Jensen, Rasmus +1 · 1 citation
#Data Structures and Algorithms (cs.DS) #Discrete Mathematics (cs.DM) #FOS: Computer and information sciences #Software Engineering (cs.SE)