Ilya Sergey

Citado por

	Total	Desde 2019
Citas	2990	2389
Índice h	25	22
Índice i10	35	29

500

250

125

375

2011201220132014201520162017201820192020202120222023202410 16 36 44 61 75 126 207 420 464 491 407 459 146

Acceso público

Ver todo

23 artículos

0 artículos

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Dave ClarkeIndependentDirección de correo verificada de storytel.com
Aleksandar NanevskiIMDEA Software InstituteDirección de correo verificada de imdea.org
Aquinas HoborAssociate Professor, University College LondonDirección de correo verificada de ucl.ac.uk
George PîrleaPhD student at NUSDirección de correo verificada de u.nus.edu
Anindya BanerjeeProfessor, IMDEA Software InstituteDirección de correo verificada de imdea.org
Amrit KumarResearch Fellow, National University of SingaporeDirección de correo verificada de inria.fr
Nadia PolikarpovaUCSDDirección de correo verificada de eng.ucsd.edu
Ivica NikolićNational University of SingaporeDirección de correo verificada de nus.edu.sg
Prateek SaxenaNational University of SingaporeDirección de correo verificada de comp.nus.edu.sg
Aashish KolluriPhD student NUSDirección de correo verificada de u.nus.edu
Elvira AlbertComplutense University of SpainDirección de correo verificada de sip.ucm.es
Albert RubioProfessor of Computer Science, Complutense University of Madrid (UCM)Dirección de correo verificada de ucm.es
Germán DelbiancoNomadic LabsDirección de correo verificada de nomadic-labs.com
Zachary TatlockUniversity of WashingtonDirección de correo verificada de cs.washington.edu
Pablo GordilloPhD in Computer Science, Universidad Complutense de Madrid, https://orcid.org/0000-0001-6189-4667Dirección de correo verificada de ucm.es
Kiran GopinathanNational University of SingaporeDirección de correo verificada de comp.nus.edu.sg
Peter O'HearnLacework and University College LondonDirección de correo verificada de ucl.ac.uk
Jan MidtgaardTaridesDirección de correo verificada de janmidtgaard.dk
Frank PiessensProfessor of Computer Science, Katholieke Universiteit LeuvenDirección de correo verificada de cs.kuleuven.be
James R. WilcoxUniversity of WashingtonDirección de correo verificada de cs.washington.edu

Seguir

Ilya Sergey

Associate Professor, National University of Singapore

Dirección de correo verificada de nus.edu.sg - Página principal

Programming Languages Concurrency Static Analysis Program Verification Program Synthesis


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
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	654	2018
A concurrent perspective on smart contracts I Sergey, A Hobor Financial Cryptography and Data Security: FC 2017 International Workshops …, 2017	152	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	148	2015
EthIR: A Framework for High-Level Analysis of Ethereum Bytecode E Albert, P Gordillo, B Livshits, A Rubio, I Sergey ATVA, 2018	142	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	141	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	140	2018
Scilla: a smart contract intermediate-level language I Sergey, A Kumar, A Hobor arXiv preprint arXiv:1801.00687, 2018	121	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	115	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	111	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	108	2019
RacerD: Compositional Static Race Detection S Blackshear, N Gorogiannis, PW O’Hearn, I Sergey Proc. ACM Program. Lang 2 (OOPSLA), 2018	106	2018
Mechanising Blockchain Consensus G Pîrlea, I Sergey 7th ACM SIGPLAN International Conference on Certified Programs and Proofs …, 2018	83	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	80	2019
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	74*	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	68	2012
Gradual Ownership Types I Sergey, D Clarke ESOP 2012: 21st European Symposium on Programming, 579–599, 2012	64	2012
Structuring the Synthesis of Heap-Manipulating Programs N Polikarpova, I Sergey Proc. ACM Program. Lang 3 (POPL), 2019	56	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	51	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	39	2021

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores