Search-based Program Synthesis
A promising, useful tool for future programming development environments.
Search-based Program Synthesis
A Differential Approach to Undefined Behavior Detection
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