Autor der Publikation

HAMPI: A solver for word equations over strings, regular expressions, and context-free grammars.

, , , , , und . ACM Trans. Softw. Eng. Methodol., 21 (4): 25:1-25:28 (2012)

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

Opportunistic Programming: Writing Code to Prototype, Ideate, and Discover., , , , und . IEEE Software, 26 (5): 18-24 (2009)Proactive wrangling: mixed-initiative end-user programming of data transformation scripts., , , und . UIST, Seite 65-74. ACM, (2011)Parse that data! Practical tips for preparing your raw data for analysis.. Perspectives on Data Science for Software Engineering, Academic Press, (2016)Seq2Parse: neurosymbolic parse error repair., , , , und . Proc. ACM Program. Lang., 6 (OOPSLA2): 1180-1206 (2022)Improv: Teaching Programming at Scale via Live Coding., und . L@S, Seite 9:1-9:10. ACM, (2019)Paradise unplugged: identifying barriers for female participation on stack overflow., , , und . SIGSOFT FSE, Seite 846-857. ACM, (2016)Mismatch of Expectations: How Modern Learning Resources Fail Conversational Programmers., , , und . CHI, Seite 511. ACM, (2018)Wait-learning: leveraging conversational dead time for second language education., , , und . CHI Extended Abstracts, Seite 2239-2244. ACM, (2014)CDE: Using System Call Interposition to Automatically Create Portable Software Packages., und . USENIX Annual Technical Conference, USENIX Association, (2011)Using automatic persistent memoization to facilitate data analysis scripting., und . ISSTA, Seite 287-297. ACM, (2011)