Ilya Sergey
Cited by
Cited by
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
A concurrent perspective on smart contracts
I Sergey, A Hobor
Financial Cryptography and Data Security: FC 2017 International Workshops†…, 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
EthIR: A Framework for High-Level Analysis of Ethereum Bytecode
E Albert, P Gordillo, B Livshits, A Rubio, I Sergey
ATVA, 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
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
Scilla: a smart contract intermediate-level language
I Sergey, A Kumar, A Hobor
arXiv preprint arXiv:1801.00687, 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
Ownership types: A survey
D Clarke, J ÷stlund, I Sergey, T Wrigstad
Aliasing in Object-Oriented Programming. Types, Analysis and Verification, 15-58, 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
RacerD: Compositional Static Race Detection
S Blackshear, N Gorogiannis, PW O’Hearn, I Sergey
Proc. ACM Program. Lang 2 (OOPSLA), 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
Mechanising Blockchain Consensus
G PÓrlea, I Sergey
7th ACM SIGPLAN International Conference on Certified Programs and Proofs†…, 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
Specifying and Verifying Concurrent Algorithms with Histories and Subjectivity.
I Sergey, A Nanevski, A Banerjee
24th European Symposium on Programming (ESOP), 333-358, 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
Gradual Ownership Types
I Sergey, D Clarke
ESOP 2012: 21st European Symposium on Programming, 579–599, 2012
Structuring the Synthesis of Heap-Manipulating Programs
N Polikarpova, I Sergey
Proc. ACM Program. Lang 3 (POPL), 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
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
The system can't perform the operation now. Try again later.
Articles 1–20