Author of the publication

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

Software Engineering for Infrastructure and Configuration (SEConfig) - Workshop Report., and . ACM SIGSOFT Softw. Eng. Notes, 45 (2): 23-24 (2020)Designing a community to support long-term interest in programming for middle school children., , , , , , , and . IDC, page 304-307. ACM, (2012)Synthesizing functional reactive programs., , , and . Haskell@ICFP, page 162-175. ACM, (2019)Programming by Example: Efficient, but Not "Helpful"., , , and . PLATEAU@SPLASH, volume 67 of OASIcs, page 3:1-3:10. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2018)Grammar Filtering for Syntax-Guided Synthesis., , , , and . AAAI, page 1611-1618. AAAI Press, (2020)Version space learning for verification on temporal differentials.. ISSTA, page 428-431. ACM, (2017)cardComposer: A Functional Programming Card Game., and . ITiCSE (2), page 635-636. ACM, (2021)Can reactive synthesis and syntax-guided synthesis be friends?, , , and . PLDI, page 229-243. ACM, (2022)The FMCAD 2021 Student Forum.. FMCAD, page 1. IEEE, (2021)Probabilistic Automated Language Learning for Configuration Files., , and . CAV (2), volume 9780 of Lecture Notes in Computer Science, page 80-87. Springer, (2016)