Ilya Sergey

Citée par

	Toutes	Depuis 2019
Citations	3351	2746
indice h	26	23
indice i10	39	34

500

250

125

375

2011201220132014201520162017201820192020202120222023202410 15 36 48 61 75 124 206 416 464 498 417 468 476

Accès public

Tout afficher

25 articles

0 article

disponibles

non disponibles

Sur la base des exigences liées au financement

Coauteurs

Aleksandar NanevskiIMDEA Software InstituteAdresse e-mail validée de imdea.org
Dave ClarkeIndependentAdresse e-mail validée de storytel.com
Aquinas HoborAssociate Professor, University College LondonAdresse e-mail validée de ucl.ac.uk
George PîrleaPhD student at NUSAdresse e-mail validée de u.nus.edu
Anindya BanerjeeProfessor, IMDEA Software InstituteAdresse e-mail validée de imdea.org
Amrit KumarResearch Fellow, National University of SingaporeAdresse e-mail validée de inria.fr
Nadia PolikarpovaUCSDAdresse e-mail validée de eng.ucsd.edu
Ivica NikolićNational University of SingaporeAdresse e-mail validée de nus.edu.sg
Prateek SaxenaNational University of SingaporeAdresse e-mail validée de comp.nus.edu.sg
Aashish KolluriPhD student NUSAdresse e-mail validée de u.nus.edu
Elvira AlbertComplutense University of SpainAdresse e-mail validée de sip.ucm.es
Albert RubioProfessor of Computer Science, Complutense University of Madrid (UCM)Adresse e-mail validée de ucm.es
Kiran GopinathanNational University of SingaporeAdresse e-mail validée de comp.nus.edu.sg
Germán DelbiancoNomadic LabsAdresse e-mail validée de nomadic-labs.com
Zachary TatlockUniversity of WashingtonAdresse e-mail validée de cs.washington.edu
Pablo GordilloPhD in Computer Science, Universidad Complutense de Madrid, https://orcid.org/0000-0001-6189-4667Adresse e-mail validée de ucm.es
Peter O'HearnUniversity College LondonAdresse e-mail validée de ucl.ac.uk
Jan MidtgaardTaridesAdresse e-mail validée de janmidtgaard.dk
Frank PiessensProfessor of Computer Science, Katholieke Universiteit LeuvenAdresse e-mail validée de cs.kuleuven.be
James R. WilcoxUniversity of WashingtonAdresse e-mail validée de cs.washington.edu

Suivre

Ilya Sergey

Associate Professor, National University of Singapore

Adresse e-mail validée de nus.edu.sg - Page d'accueil

Programming Languages Concurrency Distributed Systems Program Verification Program Synthesis


Titre Trier par citations Trier par année Trier par titre	Citée par Citée par	Année
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	754	2018
EthIR: A Framework for High-Level Analysis of Ethereum Bytecode E Albert, P Gordillo, B Livshits, A Rubio, I Sergey ATVA, 2018	163	2018
A concurrent perspective on smart contracts I Sergey, A Hobor Financial Cryptography and Data Security: FC 2017 International Workshops …, 2017	161	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	156	2015
Programming and proving with distributed protocols I Sergey, JR Wilcox, Z Tatlock 45th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2018), 2018	154	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	146	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	133	2019
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	127	2019
Scilla: a smart contract intermediate-level language I Sergey, A Kumar, A Hobor arXiv preprint arXiv:1801.00687, 2018	125	2018
RacerD: Compositional Static Race Detection S Blackshear, N Gorogiannis, PW O’Hearn, I Sergey Proc. ACM Program. Lang 2 (OOPSLA), 2018	124	2018
Ownership types: A survey D Clarke, J Östlund, I Sergey, T Wrigstad Aliasing in Object-Oriented Programming. Types, Analysis and Verification, 15-58, 2013	117	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	98	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	80*	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	72	2015
Structuring the Synthesis of Heap-Manipulating Programs N Polikarpova, I Sergey Proc. ACM Program. Lang 3 (POPL), 2019	69	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	67	2012
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	54	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	50	2021

Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.

Articles 1–20

Nombre de citations par an

Citations en double

Citations fusionnées

Ajouter les coauteursCoauteurs

Suivre

Citée par

Coauteurs