Concepedia

Ilya Sergey

IS

24

Publications

1K

Citations

17

H-Index

2009

Active since

Affiliations

National University of Singapore(Current)

Yale-NUS College

University College London

IMDEA Software Institute

Madrid Institute for Advanced Studies

Ilya Sergey is an author at National University of Singapore specializing in formal methods, computer science, and engineering.

Top concepts

EngineeringComputer ScienceFormal MethodsFormal VerificationProgram AnalysisSoftware AnalysisVerificationSoftware EngineeringSystem SoftwareAutomated Reasoning

Publications per year

2009–2023

24

Publications

24

Finding The Greedy, Prodigal, and Suicidal Contracts at Scale

Ivica Nikolić, Aashish Kolluri, Ilya Sergey et al. · 2018 · 120 citations · Full text

Software Maintenance, Engineering, Infamous Parity Bug +25

Programming and proving with distributed protocols

Ilya Sergey, James R. Wilcox, Zachary Tatlock · Proceedings of the ACM on Programming Languages · 2017 · 101 citations · Full text

Engineering, Verification, Automated Proof +21

Safer smart contract programming with Scilla

Ilya Sergey, Vaivaswatha Nagaraj, Jacob Johannsen et al. · Proceedings of the ACM on Programming Languages · 2019 · 99 citations · Full text

Blockchain Consensus Protocol, Engineering, Information Security +22

Mechanized verification of fine-grained concurrent programs

Ilya Sergey, Aleksandar Nanevski, Anindya Banerjee · 2015 · 98 citations

Engineering, Verification, Concurrent System +16

RacerD: compositional static race detection

Sam Blackshear, Nikos Gorogiannis, Peter W. O’Hearn et al. · Proceedings of the ACM on Programming Languages · 2018 · 80 citations · Full text

Engineering, Verification, Software Systems +22

Rows per page

1–5 of 24