Anish Tondwalkar

According to our database, Anish Tondwalkar authored at least 4 papers between 2018 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

mist: Refinements of Futures Past (Artifact).

Anish Tondwalkar, Matthew Kolosick, Ranjit Jhala

Dagstuhl Artifacts Ser., 2021

Refinements of Futures Past: Higher-Order Specification with Implicit Refinement Types (Extended Version).

Anish Tondwalkar, Matthew Kolosick, Ranjit Jhala

CoRR, 2021

Refinements of Futures Past: Higher-Order Specification with Implicit Refinement Types.

Anish Tondwalkar, Matthew Kolosick, Ranjit Jhala

Proceedings of the 35th European Conference on Object-Oriented Programming, 2021

2018

Refinement reflection: complete verification with SMT.

Niki Vazou, Anish Tondwalkar, Vikraman Choudhury, Ryan G. Scott, Ryan R. Newton, Philip Wadler, Ranjit Jhala

Proc. ACM Program. Lang., 2018