| Safer smart contract programming with Scilla I Sergey, V Nagaraj, J Johannsen, A Kumar, A Trunov, KCG Hao Proceedings of the ACM on Programming Languages 3 (OOPSLA), 1-30, 2019 | 133 | 2019 |
| Parallel flow-sensitive pointer analysis by graph-rewriting V Nagaraj, R Govindarajan Proceedings of the 22nd international conference on Parallel architectures …, 2013 | 36 | 2013 |
| Safer smart contract programming with Scilla. PACMPL 3, OOPSLA (2019), 185: 1–185: 30 I Sergey, V Nagaraj, J Johannsen, A Kumar, A Trunov, KCG Hao | 6 | 2019 |
| Approximating flow-sensitive pointer analysis using frequent itemset mining V Nagaraj, R Govindarajan 2015 IEEE/ACM International Symposium on Code Generation and Optimization …, 2015 | 4 | 2015 |
| Compiling a Higher-Order Smart Contract Language to LLVM V Nagaraj, J Johannsen, A Trunov, G Pîrlea, A Kumar, I Sergey arXiv preprint arXiv:2008.05555, 2020 | 1 | 2020 |