Monal Narasimhamurthy | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Catalin Hritcu
15 publications
Aseem Rastogi
12 publications
Danel Ahman
10 publications
Jonathan Protzenko
6 publications
Nikhil Swamy
5 publications
Guido Martínez
5 publications
Jana Dunfield
3 publications
Clément Pit--Claudel
3 publications
Matthew A. Hammer
2 publications
Kyle Headley
2 publications
Dimitrios J. Economou
2 publications

research

∙ 08/20/2018

Fungi: Typed incremental computation with names

Incremental computations attempt to exploit input similarities over time...

0 Matthew A. Hammer, et al. ∙

research

∙ 03/17/2018

Meta-F*: Proof Automation with SMT, Tactics, and Metaprograms

Scripting proofs with tactics has been a tradition in interactive theore...

0 Guido Martínez, et al. ∙

research

∙ 03/17/2018

Meta-F*: Metaprogramming and Tactics in an Effectful Program Verifier

Verification tools for effectful programming languages often rely on aut...

0 Guido Martínez, et al. ∙