Sumit Gulwani
Author Archives
Research For Practice: Tracing and Debugging Distributed Systems; Programming By Examples
Expert-curated guides to the best of CS research.
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.
Inductive Programming Meets the Real World
Inductive programming can liberate users from performing tedious and repetitive tasks.
Example-Based Learning in Computer-Aided STEM Education
Example-based reasoning techniques developed for programming languages also help automate repetitive tasks in education.
Spreadsheet Data Manipulation Using Examples
Millions of computer end users need to perform tasks over large spreadsheet data, yet lack the programming knowledge to do such tasks automatically. We present a methodology that allows end users to automate such repetitive tasks.
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 do not. In this paper, we argue that notions of continuity from mathematical analysis are relevant and interesting even for software.
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