E-LIB Suche - Ergebnisse für: Kafshdar Goharshady, Amir - Sprache DE

Personensuche X

Sortierung: Relevanz

Sortierung: Jahr

1

Alleviating High Gas Costs by Secure and Trustless Off-chai..:

, In: Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing,

Farokhnia, Soroush ; Kafshdar Goharshady, Amir - p. 258-261 , 2023

Link: https://dl.acm.org/doi/1..

2

Quantitative Bounds on Resource Usage of Probabilistic Prog..:

Chatterjee, Krishnendu ; Goharshady, Amir Kafshdar ; Meggendorfer, Tobias.
Proceedings of the ACM on Programming Languages. 8 (2024) OOPSLA1 - p. 362-391 , 2024

Link: https://doi.org/10.1145/..

3

Asparagus: Automated Synthesis of Parametric Gas Upper-Boun..:

Cai, Zhuo ; Farokhnia, Soroush ; Goharshady, Amir Kafshdar.
Proceedings of the ACM on Programming Languages. 7 (2023) OOPSLA2 - p. 882-911 , 2023

Link: https://doi.org/10.1145/..

4

PureLottery: Fair Leader Election without Decentralized Ran..:

, In: 2023 IEEE International Conference on Blockchain (Blockchain),

Ballweg, Jonas ; Cai, Zhuo ; Goharshady, Amir Kafshdar - p. 273-280 , 2023

Link: https://doi.org/10.1109/..

5

Algebro-geometric Algorithms for Template-Based Synthesis o..:

Goharshady, Amir Kafshdar ; Hitarth, S. ; Mohammadi, Fatemeh.
Proceedings of the ACM on Programming Languages. 7 (2023) OOPSLA1 - p. 727-756 , 2023

Link: https://doi.org/10.1145/..

6

Trustless and Bias-resistant Game-theoretic Distributed Ran..:

, In: 2023 IEEE International Conference on Blockchain and Cryptocurrency (ICBC),

Cai, Zhuo ; Goharshady, Amir Kafshdar - p. 1-3 , 2023

Link: https://doi.org/10.1109/..

7

Efficient Interprocedural Data-Flow Analysis Using Treedept..:

, In: Lecture Notes in Computer Science; Verification, Model Checking, and Abstract Interpretation,

Goharshady, Amir Kafshdar ; Zaher, Ahmed Khaled - p. 177-202 , 2023

Link: https://doi.org/10.1007/..

8

Reducing the Gas Usage of Ethereum Smart Contracts without ..:

, In: 2023 IEEE International Conference on Blockchain and Cryptocurrency (ICBC),

Farokhnia, Soroush ; Goharshady, Amir Kafshdar - p. 1-3 , 2023

Link: https://doi.org/10.1109/..

9

Exploiting the Sparseness of Control-Flow and Call Graphs f..:

Conrado, Giovanna Kobus ; Goharshady, Amir Kafshdar ; Kochekov, Kerim..
Proceedings of the ACM on Programming Languages. 7 (2023) OOPSLA2 - p. 1993-2022 , 2023

Link: https://doi.org/10.1145/..

10

The Bounded Pathwidth of Control-Flow Graphs:

Conrado, Giovanna Kobus ; Goharshady, Amir Kafshdar ; Lam, Chun Kit
Proceedings of the ACM on Programming Languages. 7 (2023) OOPSLA2 - p. 292-317 , 2023

Link: https://doi.org/10.1145/..

11

Automated Tail Bound Analysis for Probabilistic Recurrence ..:

, In: Computer Aided Verification; Lecture Notes in Computer Science,

Sun, Yican ; Fu, Hongfei ; Chatterjee, Krishnendu. - p. 16-39 , 2023

Link: https://doi.org/10.1007/..

12

Optimal Mining: Maximizing Bitcoin Miners' Revenues from Tr..:

, In: 2022 IEEE International Conference on Blockchain (Blockchain),

Meybodi, Mohsen Alambardar ; Goharshady, Amir Kafshdar ; Hooshmandasl, Mohammad Reza. - p. 266-273 , 2022

Link: https://doi.org/10.1109/..

13

Efficient approximations for cache-conscious data placement:

, In: Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation,

Ahmadi, Ali ; Daliri, Majid ; Goharshady, Amir Kafshdar. - p. 857-871 , 2022

Link: https://dl.acm.org/doi/1..

14

Sound and Complete Certificates for Quantitative Terminatio..:

, In: Computer Aided Verification; Lecture Notes in Computer Science,

Chatterjee, Krishnendu ; Goharshady, Amir Kafshdar ; Meggendorfer, Tobias. - p. 55-78 , 2022

Link: https://doi.org/10.1007/..

15

Polynomial reachability witnesses via Stellensätze:

, In: Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation,

Asadi, Ali ; Chatterjee, Krishnendu ; Fu, Hongfei.. - p. 772-787 , 2021

Link: https://dl.acm.org/doi/1..

1-15