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
FlashRelate: extracting relational data from semi-structured spreadsheets using examples.

, , , and . PLDI, page 218-228. ACM, (2015)

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

Program Synthesis., , and . Foundations and Trends in Programming Languages, 4 (1-2): 1-119 (2017)Interactive Program Synthesis., , , , , and . CoRR, (2017)Bound Analysis of Imperative Programs with the Size-change Abstraction (extended version), , , and . CoRR, (2012)Cover Algorithms and Their Combination., and . ESOP, volume 4960 of Lecture Notes in Computer Science, page 193-207. Springer, (2008)Programming by Examples: PL Meets ML., and . APLAS, volume 10695 of Lecture Notes in Computer Science, page 3-20. Springer, (2017)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 using Natural Language., , , , , , , and . CoRR, (2015)Learning Semantic String Transformations from Examples., and . PVLDB, 5 (8): 740-751 (2012)