Automated synthesis of program fragments from specifications can make programs easier to write and easier to reason about. To integrate synthesis into programming…
Viktor Kuncak
Author Archives
Shape the Future of Computing
ACM encourages its members to take a direct hand in shaping the future of the association. There are more ways than ever to get involved.
Get Involved