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

A Robust Theory of Series Parallel Graphs., , and . Proc. ACM Program. Lang., 7 (POPL): 1058-1088 (January 2023)DiffStream: differential output testing for stream processing programs., , , and . Proc. ACM Program. Lang., 4 (OOPSLA): 153:1-153:29 (2020)Modular quantitative monitoring., , and . Proc. ACM Program. Lang., 3 (POPL): 50:1-50:31 (2019)Automata-Based Stream Processing., , and . ICALP, volume 80 of LIPIcs, page 112:1-112:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)Stream Processing With Dependency-Guided Synchronization., , , and . CoRR, (2021)Incremental Dead State Detection in Logarithmic Time., and . CAV (2), volume 13965 of Lecture Notes in Computer Science, page 241-264. Springer, (2023)Data-trace types for distributed stream processing systems., , , , and . PLDI, page 670-685. ACM, (2019)Streamable regular transductions., , , , and . Theor. Comput. Sci., (2020)Symbolic Boolean derivatives for efficiently solving extended regular expression constraints., , and . PLDI, page 620-635. ACM, (2021)FP4: Line-rate Greybox Fuzz Testing for P4 Switches., , , , and . CoRR, (2022)