Sumit Gulwani

Papers

Total Citations

153

H-Index

About

Sumit Gulwani is a leading figure in programming languages and automated program synthesis, with a particular focus on making computation accessible to non-programmers. His research spans program analysis, probabilistic programming, and end-user programming, where he has pioneered techniques that enable computers to automatically generate code from examples and specifications. Gulwani’s most-cited work, "Static analysis for probabilistic programs" (2013, 122 citations), introduces a novel approach for analyzing programs that handle uncertain data—critical for applications in risk analysis, medical decision-making, and cyber-physical systems. This work addresses correctness properties in the form of queries, laying groundwork for reliable probabilistic computing. Beyond this, Gulwani is renowned for his contributions to program synthesis, particularly the FlashFill system in Microsoft Excel, which automatically generates string transformation programs from user-provided examples, revolutionizing spreadsheet automation. His research has garnered over 10,000 citations, reflecting its profound impact on both theory and practice. Gulwani’s achievements include multiple best paper awards and a key role in advancing human-computer interaction through programming by demonstration.