Ilya Sergey
National University of Singapore(SG)
Publications by Year
Research Areas
Logic, programming, and type systems, Distributed systems and fault tolerance, Formal Methods in Verification, Security and Verification in Computing, Parallel Computing and Optimization Techniques
Most-Cited Works
- → Finding The Greedy, Prodigal, and Suicidal Contracts at Scale(2018)120 cited
- → A Concurrent Perspective on Smart Contracts(2017)103 cited
- → Programming and proving with distributed protocols(2017)101 cited
- → Communicating State Transition Systems for Fine-Grained Concurrent Resources(2014)101 cited
- → Safer smart contract programming with Scilla(2019)99 cited
- → Mechanized verification of fine-grained concurrent programs(2015)98 cited
- → RacerD: compositional static race detection(2018)80 cited
- → Ownership Types: A Survey(2013)67 cited
- → Scilla: a Smart Contract Intermediate-Level LAnguage(2018)58 cited
- → Specifying and Verifying Concurrent Algorithms with Histories and Subjectivity(2015)52 cited