Theo dõi
Ilya Sergey
Tiêu đề
Trích dẫn bởi
Trích dẫn bởi
Năm
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
7782018
EthIR: A Framework for High-Level Analysis of Ethereum Bytecode
E Albert, P Gordillo, B Livshits, A Rubio, I Sergey
ATVA, 2018
1722018
A concurrent perspective on smart contracts
I Sergey, A Hobor
Financial Cryptography and Data Security: FC 2017 International Workshops …, 2017
1652017
Programming and proving with distributed protocols
I Sergey, JR Wilcox, Z Tatlock
45th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2018), 2018
1622018
Mechanized Verification of Fine-grained Concurrent Programs
I Sergey, A Nanevski, A Banerjee
36th ACM SIGPLAN International Conference on Programming Language Design and …, 2015
1612015
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
1522014
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
1402019
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
1332019
RacerD: Compositional Static Race Detection
S Blackshear, N Gorogiannis, PW O’Hearn, I Sergey
Proc. ACM Program. Lang 2 (OOPSLA), 2018
1272018
Scilla: a smart contract intermediate-level language
I Sergey, A Kumar, A Hobor
arXiv preprint arXiv:1801.00687, 2018
1242018
Ownership types: A survey
D Clarke, J Östlund, I Sergey, T Wrigstad
Aliasing in Object-Oriented Programming. Types, Analysis and Verification, 15-58, 2013
1232013
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
1062019
Mechanising Blockchain Consensus
G Pîrlea, I Sergey
7th ACM SIGPLAN International Conference on Certified Programs and Proofs …, 2018
892018
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
83*2019
Structuring the Synthesis of Heap-Manipulating Programs
N Polikarpova, I Sergey
Proc. ACM Program. Lang 3 (POPL), 2019
742019
Specifying and Verifying Concurrent Algorithms with Histories and Subjectivity.
I Sergey, A Nanevski, A Banerjee
24th European Symposium on Programming (ESOP), 333-358, 2015
732015
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
672012
Gradual Ownership Types
I Sergey, D Clarke
ESOP 2012: 21st European Symposium on Programming, 579–599, 2012
662012
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
542021
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
542013
Hệ thống không thể thực hiện thao tác ngay bây giờ. Hãy thử lại sau.
Bài viết 1–20