Ilya Sergey
- Finding The Greedy, Prodigal, and Suicidal Contracts at Scale
2018/02/16 by Ivica Nikolic, Aashish Kolluri, Nikolic, Ivica +7 · 2 voices · 15 citations
#cs.CR
- Scilla: a Smart Contract Intermediate-Level LAnguage
2018/01/02 by Ilya Sergey, Amrit Kumar, Sergey, Ilya +3 · 1 voice · 5 citations
Computer Science · #Security and Verification in Computing #Formal Methods in Verification #Logic, programming, and type systems
- Specifying and Verifying Concurrent Algorithms with Histories and\n Subjectivity
2014/10/01 by Ilya Sergey, Sergey, Ilya, Aleksandar Nanevski +3 · 1 voice
Computer Science · #Logic, programming, and type systems #Formal Methods in Verification #Parallel Computing and Optimization Techniques
- A Concurrent Perspective on Smart Contracts
2017/02/17 by Ilya Sergey, Aquinas Hobor, Sergey, Ilya +1 · 1 citation
Computer Science · #Blockchain Technology Applications and Security #Distributed #Distributed systems and fault tolerance #FOS: Computer and information sciences #Parallel #Security and Verification in Computing #and Cluster Computing (cs.DC)
- Concise Read-Only Specifications for Better Synthesis of Programs with Pointers -- Extended Version
2020/01/29 by Andreea Costea, Amy Zhu, Costea, Andreea +5 · 1 citation
Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Parallel Computing and Optimization Techniques #Programming Languages (cs.PL)
- Hoare-style Specifications as Correctness Conditions for Non-linearizable Concurrent Objects
2015/09/21 by Ilya Sergey, Sergey, Ilya, Aleksandar Nanevski +5 · 1 voice
Computer Science · #D.3.1 #F.3.1 #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL) #cs.LO #cs.PL
- Greybox Fuzzing of Distributed Systems
2023/05/04 by Ruijie Meng, Meng, Ruijie, George Pîrlea +5 · 1 citation
Computer Science · #FOS: Computer and information sciences #Software Engineering (cs.SE) #Software Reliability and Analysis Research #Software System Performance and Reliability #Software Testing and Debugging Techniques