Sumit Gulwani

Microsoft (United States)

Papers

2

Total Citations

153

H-Index

2

About

No biography available yet.

Research Focus

Theoretical computer science2 · 153 citations
Artificial intelligence2 · 153 citations
Assertion2 · 153 citations
Bounded function2 · 153 citations
Computation2 · 153 citations
Computer science2 · 153 citations
Correctness2 · 153 citations
Interval (graph theory)2 · 153 citations
Interval arithmetic2 · 153 citations
Mathematics2 · 153 citations
Path (computing)2 · 153 citations
Probabilistic logic2 · 153 citations

Key Achievements

2
H-Index
2
Papers
153
Total Citations
77
Avg Citations/Paper
🏆 Most Cited Paper
Static analysis for probabilistic programs
122 citations · 2013
📈 Most Prolific Year: 2013 (2 Papers)
🤝 Key Collaborators: 3
🏛 Institutions: Microsoft (United States)

Top Papers

  1. 1
    Static analysis for probabilistic programs
    122 citations · 2013
  2. 2
    Static analysis for probabilistic programs
    31 citations · 2013

Key Collaborators

ACAleksandar Chakarov2 shared papersSSSriram Sankaranarayanan1 shared papersSSSriram Sankaranarayanan1 shared papers
Not generated yet