58 citations · 66 across the 3 of their papers we have counts for
4 papers
Scilla: a Smart Contract Intermediate-Level LAnguage
Ilya Sergey, Amrit Kumar, Aquinas Hobor
This paper outlines key design principles of Scilla---an intermediate-level language for verified smart contracts. Scilla provides a clean separation between the communication aspe…
A Concurrent Perspective on Smart Contracts
Ilya Sergey, Aquinas Hobor
In this paper, we explore remarkable similarities between multi-transactional behaviors of smart contracts in cryptocurrencies such as Ethereum and classical problems of shared-mem…
Operational Aspects of C/C++ Concurrency
Anton Podkopaev, Ilya Sergey, Aleksandar Nanevski
In this work, we present a family of operational semantics that gradually approximates the realistic program behaviors in the C/C++11 memory model. Each semantics in our framework…
Introspective Pushdown Analysis of Higher-Order Programs
Christopher Earl, Ilya Sergey, Matthew Might +1
In the static analysis of functional programs, pushdown flow analysis and abstract garbage collection skirt just inside the boundaries of soundness and decidability. Alone, each me…