From post

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.

 

Другие публикации лиц с тем же именем

Unleashing the Giants: Enabling Advanced Testing for Infrastructure as Code., , и . ICSE Companion, стр. 300-301. ACM, (2024)The PIPr Dataset of Public Infrastructure as Code Programs., , и . MSR, стр. 498-503. IEEE, (2024)Automatic Cross Validation of Multiple Specifications: A Case Study., , и . FASE, том 6013 из Lecture Notes in Computer Science, стр. 233-247. Springer, (2010)Debugging reactive programming with reactive inspector., и . ICSE (Companion Volume), стр. 728-730. ACM, (2016)Programming language support to context-aware adaptation: a case-study with Erlang., , и . SEAMS, стр. 59-68. ACM, (2010)Change Is the Only Constant: Dynamic Updates for Workflows., , и . ICSE, стр. 350-362. ACM, (2022)Lattice based modularization of static analyses., , , , , и . ISSTA/ECOOP Workshops, стр. 113-118. ACM, (2018)Enclave-Based Secure Programming with JE., , , и . SecDev, стр. 71-78. IEEE, (2021)Versatile event correlation with algebraic effects., , , , , и . Proc. ACM Program. Lang., 2 (ICFP): 67:1-67:31 (2018)Real-time Collaboration in Linked Data Systems., , , и . ISWC (Posters/Demos/Industry), том 3632 из CEUR Workshop Proceedings, CEUR-WS.org, (2023)