Safer smart contract programming with Scilla. - Ilya Sergey; Vaivaswatha Nagaraj; Jacob Johannsen; Amrit Kumar 001; Anton Trunov; Ken Chan Guan Hao (Proc. ACM Program. Lang., 2019)

Compiling a Higher-Order Smart Contract Language to LLVM. - Vaivaswatha Nagaraj; Jacob Johannsen; Anton Trunov; George Pîrlea; Amrit Kumar 001; Ilya Sergey (CoRR, 2020)

Random testing of a higher-order blockchain language (experience report). - Tram Hoang; Anton Trunov; Leonidas Lampropoulos; Ilya Sergey (Proc. ACM Program. Lang., 2022)