( en | de | ru )

 

Disambiguierung von "Gulwani, Sumit"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Synthesizing switching logic using constraint solving.

, , und . Int. J. Softw. Tools Technol. Transf., 13 (6): 519-535 (2011)

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 Kumar

Sumit Paul

 

Weitere Publikationen von Autoren mit dem selben Namen

Computing Procedure Summaries for Interprocedural Analysis., und . ESOP, Volume 4421 von Lecture Notes in Computer Science, Seite 253-267. Springer, (2007)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)Semantic programming by example with pre-trained models., , und . Proc. ACM Program. Lang., 5 (OOPSLA): 1-25 (2021)Computer-Aided Personalized Education., , , , , , , , , und 3 andere Autor(en). CoRR, (2020)Assessing GPT4-V on Structured Reasoning Tasks., , , , und . CoRR, (2023)From Words to Code: Harnessing Data for Program Synthesis from Natural Language., , , , , , , , , und 2 andere Autor(en). CoRR, (2023)FormaT5: Abstention and Examples for Conditional Table Formatting with Natural Language., , , , , , , und . Proc. VLDB Endow., 17 (3): 497-510 (November 2023)Bound Analysis of Imperative Programs with the Size-change Abstraction (extended version), , , und . CoRR, (2012)Automated Feedback Generation for Introductory Programming Assignments, , und . SIGPLAN Not., 48 (6): 15--26 (Juni 2013)