Gregory Malecha | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Steve Zdancewic
13 publications
Benjamin C. Pierce
13 publications
Ramana Kumar
12 publications
James Koppel
6 publications
Paul He
5 publications
Chung-Kil Hur
5 publications
Li-yao Xia
4 publications
Yannick Zakowski
3 publications
Patrick Schultz
2 publications
Philip Zucker
2 publications
Gopal Sarma
1 publication

research

∙ 04/01/2021

Formal Methods for the Informal Engineer: Workshop Recommendations

Formal Methods for the Informal Engineer (FMIE) was a workshop held at t...

12 Gopal Sarma, et al. ∙

research

∙ 05/31/2019

Interaction Trees: Representing Recursive and Impure Programs in Coq (Work In Progress)

We present "interaction trees" (ITrees), a general-purpose data structur...

0 Li-yao Xia, et al. ∙