Anish Tondwalkar

Publication Activity (10 Years)

Years Active: 2017-2021
Publications (10 Years): 5

Top Topics

Formal Verification

Top Venues

Proc. ACM Program. Lang.

Dagstuhl Artifacts Ser.

Publications

Anish Tondwalkar, Matthew Kolosick, Ranjit Jhala
Refinements of Futures Past: Higher-Order Specification with Implicit Refinement Types. ECOOP (2021)
Anish Tondwalkar, Matthew Kolosick, Ranjit Jhala
mist: Refinements of Futures Past (Artifact). Dagstuhl Artifacts Ser. 7 (2) (2021)
Anish Tondwalkar, Matthew Kolosick, Ranjit Jhala
Refinements of Futures Past: Higher-Order Specification with Implicit Refinement Types (Extended Version). CoRR (2021)
Niki Vazou, Anish Tondwalkar, Vikraman Choudhury, Ryan G. Scott, Ryan R. Newton, Philip Wadler, Ranjit Jhala
Refinement reflection: complete verification with SMT. Proc. ACM Program. Lang. 2 (POPL) (2018)
Niki Vazou, Anish Tondwalkar, Vikraman Choudhury, Ryan G. Scott, Ryan R. Newton, Philip Wadler, Ranjit Jhala
Refinement Reflection: Complete Verification with SMT. CoRR (2017)