PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Gulwani, Sumit"

Author of the publication

copydeleteadd this publication to your clipboard
Bound Analysis of Imperative Programs with the Size-change Abstraction (extended version)

, , , and . CoRR, (2012)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

No persons found for author name Gulwani, Sumit
add a person with the name Gulwani, Sumit
 

Other publications of authors with the same name

Programming by Example Using Least General Generalizations., , and . AAAI, page 283-290. AAAI Press, (2014)Automatically Generating Algebra Problems., , and . AAAI, AAAI Press, (2012)A practical framework for constructing structured drawings., , , and . IUI, page 311-316. ACM, (2014)Recursive Program Synthesis., , and . CAV, volume 8044 of Lecture Notes in Computer Science, page 934-950. Springer, (2013)Programming by Examples: PL Meets ML., and . APLAS, volume 10695 of Lecture Notes in Computer Science, page 3-20. Springer, (2017)Cover Algorithms and Their Combination., and . ESOP, volume 4960 of Lecture Notes in Computer Science, page 193-207. Springer, (2008)Automatic Diagnosis of Students' Misconceptions in K-8 Mathematics., , , , , and . CHI, page 264. ACM, (2018)Inferring locks for atomic sections., , and . PLDI, page 304-315. ACM, (2008)Constraint-Based Invariant Inference over Predicate Abstraction., , and . VMCAI, volume 5403 of Lecture Notes in Computer Science, page 120-135. Springer, (2009)Program Synthesis., , and . Foundations and Trends in Programming Languages, 4 (1-2): 1-119 (2017)