( 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

Static analysis for probabilistic programs: inferring whole program properties from finitely many paths., , und . PLDI, Seite 447-458. ACM, (2013)FlashFill++: Scaling Programming by Example by Cutting to the Chase., , , , , , und . Proc. ACM Program. Lang., 7 (POPL): 952-981 (Januar 2023)A Machine Learning Framework for Programming by Example., , , , und . ICML (1), Volume 28 von JMLR Workshop and Conference Proceedings, Seite 187-195. JMLR.org, (2013)FlashProfile: Interactive Synthesis of Syntactic Profiles., , , , , und . CoRR, (2017)Logical Interpretation: Static Program Analysis Using Theorem Proving., und . CADE, Volume 4603 von Lecture Notes in Computer Science, Seite 147-166. Springer, (2007)Join Algorithms for the Theory of Uninterpreted Functions., , und . FSTTCS, Volume 3328 von Lecture Notes in Computer Science, Seite 311-323. Springer, (2004)Quantitative Programming by Examples., , , , und . CoRR, (2019)Automatic Generation of Alternative Starting Positions for Simple Traditional Board Games., , und . CoRR, (2014)Prutor: A System for Tutoring CS1 and Collecting Student Programs for Analysis., , , und . CoRR, (2016)Cultivating research taste (illustrated via a journey in program synthesis research).. PLMW@POPL, Seite 10:1. ACM, (2015)