Author of the publication

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

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

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.

 

Other publications of authors with the same name

Practitioners Teaching Data Science in Industry and Academia: Expectations, Workflows, and Challenges., and . CHI, page 263. ACM, (2019)How adults ages 60+ are learning to code.. Commun. ACM, 60 (8): 10-11 (2017)Hack.edu: Examining How College Hackathons Are Perceived By Student Attendees and Non-Attendees., and . ICER, page 254-262. ACM, (2017)Older Adults Learning Computer Programming: Motivations, Frustrations, and Design Opportunities.. CHI, page 7070-7083. ACM, (2017)Sloppy Python: using dynamic analysis to automatically add error tolerance to ad-hoc data processing scripts.. WODA, page 35-40. ACM, (2011)DS.js: Turn Any Webpage into an Example-Centric Live Programming Environment for Learning Data Science., and . UIST, page 691-702. ACM, (2017)End-User Programmers Repurposing End-User Programming Tools to Foster Diversity in Adult End-User Programming Education., and . VL/HCC, page 65-74. IEEE Computer Society, (2019)The Design Space of Computational Notebooks: An Analysis of 60 Systems in Academia and Industry, , , and . 2020 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC), page 1--11. (August 2020)The difficulty of teaching programming languages, and the benefits of hands-on learning., and . Commun. ACM, 57 (7): 10-11 (2014)Wrex: A Unified Programming-by-Example Interaction for Synthesizing Readable Code for Data Scientists., , , , and . CHI, page 1-12. ACM, (2020)