Ilya Sergey

Cited by

	All	Since 2018
Citations	2792	2402
h-index	25	22
i10-index	33	30

500

250

125

375

201120122013201420152016201720182019202020212022202310 16 39 40 63 75 127 209 412 462 482 419 408

Public access

View all

21 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Dave ClarkeIndependentVerified email at storytel.com
Aleksandar NanevskiIMDEA Software InstituteVerified email at imdea.org
Aquinas HoborAssociate Professor, University College LondonVerified email at ucl.ac.uk
Anindya BanerjeeProfessor, IMDEA Software InstituteVerified email at imdea.org
Amrit KumarResearch Fellow, National University of SingaporeVerified email at inria.fr
Ivica NikolićNational University of SingaporeVerified email at nus.edu.sg
Prateek SaxenaNational University of SingaporeVerified email at comp.nus.edu.sg
Aashish KolluriPhD student NUSVerified email at u.nus.edu
George PîrleaPhD student at NUSVerified email at u.nus.edu
Nadia PolikarpovaUCSDVerified email at eng.ucsd.edu
Germán DelbiancoNomadic LabsVerified email at nomadic-labs.com
Elvira AlbertComplutense University of SpainVerified email at sip.ucm.es
Albert RubioProfessor of Computer Science, Complutense University of Madrid (UCM)Verified email at ucm.es
Zachary TatlockUniversity of WashingtonVerified email at cs.washington.edu
Pablo GordilloPhD in Computer Science, Universidad Complutense de Madrid, https://orcid.org/0000-0001-6189-4667Verified email at ucm.es
Peter O'HearnLacework and University College LondonVerified email at ucl.ac.uk
Kiran GopinathanNational University of SingaporeVerified email at comp.nus.edu.sg
Jan MidtgaardTaridesVerified email at janmidtgaard.dk
Frank PiessensProfessor of Computer Science, Katholieke Universiteit LeuvenVerified email at cs.kuleuven.be
Matthew MightHugh Kaul Precision Medicine Institute, University of Alabama at BirminghamVerified email at uab.edu

Ilya Sergey

Associate Professor, National University of Singapore

Verified email at nus.edu.sg - Homepage

Programming Languages Concurrency Static analysis Program Verification Program Synthesis


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
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	605	2018
A concurrent perspective on smart contracts I Sergey, A Hobor Financial Cryptography and Data Security: FC 2017 International Workshops …, 2017	144	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	141	2015
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	140	2014
Programming and proving with distributed protocols I Sergey, JR Wilcox, Z Tatlock 45th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2018), 2018	135	2018
EthIR: A Framework for High-Level Analysis of Ethereum Bytecode E Albert, P Gordillo, B Livshits, A Rubio, I Sergey ATVA, 2018	127	2018
Scilla: a smart contract intermediate-level language I Sergey, A Kumar, A Hobor arXiv preprint arXiv:1801.00687, 2018	114	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	109	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	107	2013
RacerD: Compositional Static Race Detection S Blackshear, N Gorogiannis, PW O’Hearn, I Sergey Proc. ACM Program. Lang 2 (OOPSLA), 2018	96	2018
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	94	2019
Mechanising Blockchain Consensus G Pîrlea, I Sergey 7th ACM SIGPLAN International Conference on Certified Programs and Proofs …, 2018	81	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	73	2019
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	69	2012
Specifying and Verifying Concurrent Algorithms with Histories and Subjectivity. I Sergey, A Nanevski, A Banerjee 24th European Symposium on Programming (ESOP), 333-358, 2015	67	2015
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	64*	2019
Gradual Ownership Types I Sergey, D Clarke ESOP 2012: 21st European Symposium on Programming, 579–599, 2012	61	2012
Structuring the Synthesis of Heap-Manipulating Programs N Polikarpova, I Sergey Proc. ACM Program. Lang 3 (POPL), 2019	50	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	48	2013
Paxos Consensus, Deconstructed and Abstracted Á García-Pérez, A Gotsman, Y Meshman, I Sergey 27th European Symposium on Programming (ESOP 2018), 2018	38*	2018

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors