David R. Cok | DeepAI

DeepAI

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

Featured Co-authors

Hridesh Rajan
25 publications
Gary T. Leavens
2 publications
John L. Singleton
1 publication
Scott C. Johnson
1 publication

research

∙ 05/16/2019

Inferring Concise Specifications of APIs

Modern software relies on libraries and uses them via application progra...

0 John L. Singleton, et al. ∙

research

∙ 04/26/2014

SPEEDY: An Eclipse-based IDE for invariant inference

SPEEDY is an Eclipse-based IDE for exploring techniques that assist user...

0 David R. Cok, et al. ∙