Parallel flow-sensitive pointer analysis by graph-rewriting. - Vaivaswatha Nagaraj; R. Govindarajan (PACT, 2013)

Approximating flow-sensitive pointer analysis using frequent itemset mining. - Vaivaswatha Nagaraj; R. Govindarajan (CGO, 2015)

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)