Patrick Lam | DeepAI

DeepAI

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

Featured Co-authors

Jens Dietrich
11 publications
David J. Pearce
2 publications
Dakota Wong
1 publication
Austin Kothig
1 publication

research

∙ 09/05/2022

Exploring the Verifiability of Code Generated by GitHub Copilot

GitHub's Copilot generates code quickly. We investigate whether it gener...

0 Dakota Wong, et al. ∙

research

∙ 08/17/2020

Putting the Semantics into Semantic Versioning

The long-standing aspiration for software reuse has made astonishing str...

0 Patrick Lam, et al. ∙