31 citations · 39 across the 3 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2022★ 4 cited
Exploring the Verifiability of Code Generated by GitHub Copilot
Dakota Wong, Austin Kothig, Patrick Lam
GitHub's Copilot generates code quickly. We investigate whether it generates good code. Our approach is to identify a set of problems, ask Copilot to generate solutions, and attemp…
cs.SE2020★ 31 cited
Putting the Semantics into Semantic Versioning
Patrick Lam, Jens Dietrich, David J. Pearce
The long-standing aspiration for software reuse has made astonishing strides in the past few years. Many modern software development ecosystems now come with rich sets of publicly-…