Follow
Vaivaswatha Nagaraj
Vaivaswatha Nagaraj
Fuel Labs
Verified email at fuel.sh - Homepage
Title
Cited by
Cited by
Year
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
1142019
Parallel flow-sensitive pointer analysis by graph-rewriting
V Nagaraj, R Govindarajan
Proceedings of the 22nd international conference on Parallel architectures†…, 2013
342013
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
52019
Approximating flow-sensitive pointer analysis using frequent itemset mining
V Nagaraj, R Govindarajan
2015 IEEE/ACM International Symposium on Code Generation and Optimization†…, 2015
42015
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
12020
The system can't perform the operation now. Try again later.
Articles 1–5