Vaivaswatha Nagaraj

Publication Activity (10 Years)

Years Active: 2013-2020
Publications (10 Years): 2

Top Topics

Predicate Invention

Frequent Itemset Mining

Programming Education

Conjunctive Queries

Top Venues

Proc. ACM Program. Lang.

Publications

Vaivaswatha Nagaraj, Jacob Johannsen, Anton Trunov, George Pîrlea, Amrit Kumar, Ilya Sergey
Compiling a Higher-Order Smart Contract Language to LLVM. CoRR (2020)
Ilya Sergey, Vaivaswatha Nagaraj, Jacob Johannsen, Amrit Kumar, Anton Trunov, Ken Chan Guan Hao
Safer smart contract programming with Scilla. Proc. ACM Program. Lang. 3 (OOPSLA) (2019)
Vaivaswatha Nagaraj, R. Govindarajan
Approximating flow-sensitive pointer analysis using frequent itemset mining. CGO (2015)
Vaivaswatha Nagaraj, R. Govindarajan
Parallel flow-sensitive pointer analysis by graph-rewriting. PACT (2013)