ACM

Communications of the ACM

Latest Research

From Communications of the ACM

Technical Perspective: Program Synthesis Using Stochastic Techniques

The authors of "Stochastic Program Optimization" have developed a stochastic search technique and applied it to program optimization. Sumit Gulwani
From Communications of the ACM | February 2016

From Communications of the ACM

Continuity and Robustness of Programs

Computer scientists have long believed that software is different from physical systems in one fundamental way: while the latter have continuous dynamics, the former... Swarat Chaudhuri, Sumit Gulwani, Roberto Lublinerman
From Communications of the ACM | August 2012