Welcome to my webpage
Parallel Flow-Sensitive Pointer Analysis by Graph-Rewriting -- Vaivaswatha Nagaraj, R. Govindarajan. Appeared in Proceedings of The 22nd International Conference on Parallel Architectures and Compilation Techniques (PACT), Edinburgh, Scotland, Sept 7-11 2013
Approximating Flow-Sensitive Pointer Analysis Using Frequent Itemset Mining [Best Paper Award] -- Vaivaswatha Nagaraj, R. Govindarajan Appeared in Proceedings of the 2015 International Symposium on Code Generation and Optimization, San Francisco, USA, Feb 7-11 2015
Dynamic Code Generation and Execution for Monte Carlo Simulations -- Vaivaswatha Nagaraj and Steve Karmesin, at The GPU Technology Conference, 2017, Munich.
Safer Smart Contract Programming with Scilla SPLASH (OOPSLA) 2019 at Athens, Greece. Joint work by the Scilla team @ Zilliqa.
Compiling a Higher-Order Smart Contract Language to LLVM: Presented as a poster at the 2020 LLVM developers meeting, with the submission write-up available on arXiv.
I served on the program committee for the OCaml workshop at ICFP ‘21.
Guides / Tutorials / Articles