( en | de | ru )

 

Disambiguierung von "Gulwani, Sumit"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Inductive programming meets the real world.

, , , , , und . Commun. ACM, 58 (11): 90-99 (2015)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Sunand Sumithra

Sumit Khanra

Sumit Parmar

Sumit Paul

Sumit Kumar

 

Weitere Publikationen von Autoren mit dem selben Namen

Automated Feedback Generation for Introductory Programming Assignments, , und . SIGPLAN Not., 48 (6): 15--26 (Juni 2013)Bound Analysis of Imperative Programs with the Size-change Abstraction (extended version), , , und . CoRR, (2012)Assertion Checking Unified., und . VMCAI, Volume 4349 von Lecture Notes in Computer Science, Seite 363-377. Springer, (2007)Synthesizing Switching Logic Using Constraint Solving., , und . VMCAI, Volume 5403 von Lecture Notes in Computer Science, Seite 305-319. Springer, (2009)Computing Procedure Summaries for Interprocedural Analysis., und . ESOP, Volume 4421 von Lecture Notes in Computer Science, Seite 253-267. Springer, (2007)On the fly synthesis of edit suggestions., , , , , , , und . Proc. ACM Program. Lang., 3 (OOPSLA): 143:1-143:29 (2019)Semantic programming by example with pre-trained models., , und . Proc. ACM Program. Lang., 5 (OOPSLA): 1-25 (2021)Cover Algorithms and Their Combination., und . ESOP, Volume 4960 von Lecture Notes in Computer Science, Seite 193-207. Springer, (2008)Proving programs robust., , , und . SIGSOFT FSE, Seite 102-112. ACM, (2011)FormaT5: Abstention and Examples for Conditional Table Formatting with Natural Language., , , , , , , und . Proc. VLDB Endow., 17 (3): 497-510 (November 2023)