31 citations · 39 across the 3 of their papers we have counts for
3 papers
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-…
cs.PL2004★ 4 cited
Roles Are Really Great!
Viktor Kuncak, Patrick Lam, Martin Rinard
We present a new role system for specifying changing referencing relationships of heap objects. The role of an object depends, in large part, on its aliasing relationships with oth…