Ilya Sergey

Cited by

	All	Since 2019
Citations	3232	2633
h-index	26	23
i10-index	38	32

500

250

125

375

2011201220132014201520162017201820192020202120222023202410 15 36 48 61 75 124 205 416 463 495 416 468 373

Public access

View all

25 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Aleksandar NanevskiIMDEA Software InstituteVerified email at imdea.org
Dave ClarkeIndependentVerified email at storytel.com
Aquinas HoborAssociate Professor, University College LondonVerified email at ucl.ac.uk
George PîrleaPhD student at NUSVerified email at u.nus.edu
Anindya BanerjeeProfessor, IMDEA Software InstituteVerified email at imdea.org
Amrit KumarResearch Fellow, National University of SingaporeVerified email at inria.fr
Nadia PolikarpovaUCSDVerified email at eng.ucsd.edu
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
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
Kiran GopinathanNational University of SingaporeVerified email at comp.nus.edu.sg
Germán DelbiancoNomadic LabsVerified email at nomadic-labs.com
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'HearnUniversity College LondonVerified email at ucl.ac.uk
Jan MidtgaardTaridesVerified email at janmidtgaard.dk
Frank PiessensProfessor of Computer Science, Katholieke Universiteit LeuvenVerified email at cs.kuleuven.be
James R. WilcoxUniversity of WashingtonVerified email at cs.washington.edu

Ilya Sergey

Associate Professor, National University of Singapore

Verified email at nus.edu.sg - Homepage

Programming Languages Concurrency Distributed Systems 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	728	2018
A concurrent perspective on smart contracts I Sergey, A Hobor Financial Cryptography and Data Security: FC 2017 International Workshops …, 2017	157	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	154	2015
EthIR: A Framework for High-Level Analysis of Ethereum Bytecode E Albert, P Gordillo, B Livshits, A Rubio, I Sergey ATVA, 2018	153	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	152	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	143	2014
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	129	2019
Scilla: a smart contract intermediate-level language I Sergey, A Kumar, A Hobor arXiv preprint arXiv:1801.00687, 2018	123	2018
RacerD: Compositional Static Race Detection S Blackshear, N Gorogiannis, PW O’Hearn, I Sergey Proc. ACM Program. Lang 2 (OOPSLA), 2018	120	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	117	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	115	2013
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	94	2019
Mechanising Blockchain Consensus G Pîrlea, I Sergey 7th ACM SIGPLAN International Conference on Certified Programs and Proofs …, 2018	90	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	76*	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	67	2012
Structuring the Synthesis of Heap-Manipulating Programs N Polikarpova, I Sergey Proc. ACM Program. Lang 3 (POPL), 2019	66	2019
Gradual Ownership Types I Sergey, D Clarke ESOP 2012: 21st European Symposium on Programming, 579–599, 2012	66	2012
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	53	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	47	2021

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