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

Incremental Dead State Detection in Logarithmic Time., and . CAV (2), volume 13965 of Lecture Notes in Computer Science, page 241-264. Springer, (2023)Automata-Based Stream Processing., , and . ICALP, volume 80 of LIPIcs, page 112:1-112:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)Stream Types., , , , , , and . Proc. ACM Program. Lang., 8 (PLDI): 1412-1436 (2024)Data-trace types for distributed stream processing systems., , , , and . PLDI, page 670-685. ACM, (2019)Symbolic Boolean derivatives for efficiently solving extended regular expression constraints., , and . PLDI, page 620-635. ACM, (2021)Counterexamples in Safe Rust., and . ASE Workshops, page 128-135. ACM, (2024)Interfaces for Stream Processing Systems., , , and . Principles of Modeling, volume 10760 of Lecture Notes in Computer Science, page 38-60. Springer, (2018)Correctness in Stream Processing: Challenges and Opportunities., , and . CIDR, www.cidrdb.org, (2022)GlucOS: Security, correctness, and simplicity for automated insulin delivery., , , , and . CoRR, (2024)Synchronization Schemas., , , , , , , , and . PODS, page 1-18. ACM, (2021)