Finding the greedy, prodigal, and suicidal contracts at scale I Nikolic, A Kolluri, I Sergey, P Saxena, A Hobor ACSAC 2018: 34th Annual Computer Security Applications Conference, 653-663, 2018 | 671 | 2018 |
A concurrent perspective on smart contracts I Sergey, A Hobor Financial Cryptography and Data Security: FC 2017 International Workshops …, 2017 | 155 | 2017 |
Mechanized Verification of Fine-grained Concurrent Programs I Sergey, A Nanevski, A Banerjee 36th ACM SIGPLAN International Conference on Programming Language Design and …, 2015 | 149 | 2015 |
EthIR: A Framework for High-Level Analysis of Ethereum Bytecode E Albert, P Gordillo, B Livshits, A Rubio, I Sergey ATVA, 2018 | 146 | 2018 |
Programming and proving with distributed protocols I Sergey, JR Wilcox, Z Tatlock 45th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2018), 2018 | 143 | 2018 |
Communicating State Transition Systems for Fine-Grained Concurrent Resources A Nanevski, R Ley-Wild, I Sergey, GA Delbianco ESOP 2014: 23rd European Symposium on Programming, 290–310, 2014 | 141 | 2014 |
Scilla: a smart contract intermediate-level language I Sergey, A Kumar, A Hobor arXiv preprint arXiv:1801.00687, 2018 | 123 | 2018 |
Exploiting the laws of order in smart contracts A Kolluri, I Nikolic, I Sergey, A Hobor, P Saxena Proceedings of the 28th ACM SIGSOFT international symposium on software …, 2019 | 119 | 2019 |
Ownership types: A survey D Clarke, J Östlund, I Sergey, T Wrigstad Aliasing in Object-Oriented Programming. Types, Analysis and Verification, 15-58, 2013 | 113 | 2013 |
Safer Smart Contract Programming with Scilla I Sergey, V Nagaraj, J Johannsen, A Kumar, A Trunov, KCG Hao Proc. ACM Program. Lang 3 (OOPSLA), 2019 | 112 | 2019 |
RacerD: Compositional Static Race Detection S Blackshear, N Gorogiannis, PW O’Hearn, I Sergey Proc. ACM Program. Lang 2 (OOPSLA), 2018 | 111 | 2018 |
QED at large: A survey of engineering of formally verified software T Ringer, K Palmskog, I Sergey, M Gligoric, Z Tatlock Foundations and Trends® in Programming Languages 5 (2-3), 102-281, 2019 | 87 | 2019 |
Mechanising Blockchain Consensus G Pîrlea, I Sergey 7th ACM SIGPLAN International Conference on Certified Programs and Proofs …, 2018 | 87 | 2018 |
Running on Fumes - Preventing Out-of-Gas Vulnerabilities in Ethereum Smart Contracts Using Static Resource Analysis E Albert, P Gordillo, A Rubio, I Sergey VECoS, 63-78, 2019 | 75* | 2019 |
Specifying and Verifying Concurrent Algorithms with Histories and Subjectivity. I Sergey, A Nanevski, A Banerjee 24th European Symposium on Programming (ESOP), 333-358, 2015 | 70 | 2015 |
Introspective pushdown analysis of higher-order programs C Earl, I Sergey, M Might, D Van Horn Proceedings of the 17th ACM SIGPLAN international conference on Functional …, 2012 | 68 | 2012 |
Gradual Ownership Types I Sergey, D Clarke ESOP 2012: 21st European Symposium on Programming, 579–599, 2012 | 64 | 2012 |
Structuring the Synthesis of Heap-Manipulating Programs N Polikarpova, I Sergey Proc. ACM Program. Lang 3 (POPL), 2019 | 61 | 2019 |
Monadic Abstract Interpreters I Sergey, D Devriese, M Might, J Midtgaard, D Darais, D Clarke, ... 34th ACM SIGPLAN International Conference on Programming Language Design and …, 2013 | 51 | 2013 |
Practical Smart Contract Sharding with Ownership and Commutativity Analysis G Pîrlea, A Kumar, I Sergey 42nd ACM SIGPLAN International Conference on Programming Language Design and …, 2021 | 45 | 2021 |