Author of the publication

Fast Graph Simplification for Interleaved-Dyck Reachability.

, , and . ACM Trans. Program. Lang. Syst., 44 (2): 11:1-11:28 (2022)

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

Static Program Analysis via 3-Valued Logic.. APPIA-GULP-PRODE, page 5. Facultad de Informática, Universidad Politécnica de Madrid, (2002)Physical type checking for C., and . ACM SIGSOFT Softw. Eng. Notes, 24 (5): 66-75 (1999)A Dataset of Dockerfiles., , , and . MSR, page 528-532. ACM, (2020)Identifying Modules via Concept Analysis., and . IEEE Trans. Software Eng., 25 (6): 749-768 (1999)Finite differencing of logical formulas for static analysis., , and . ACM Trans. Program. Lang. Syst., 32 (6): 24:1-24:55 (2010)An Incremental Algorithm for Maintaining the Dominator Tree of a Reducible Flowgraph., and . POPL, page 287-296. ACM Press, (1994)Shape Analysis as a Generalized Path Problem.. PEPM, page 1-11. ACM Press, (1995)Optimal-Time Incremental Semantic Analysis for Syntax-Directed Editors.. POPL, page 169-176. ACM Press, (1982)Model-assisted machine-code synthesis., , and . Proc. ACM Program. Lang., 1 (OOPSLA): 61:1-61:26 (2017)Tuning Models of Code with Compiler-Generated Reinforcement Learning Feedback., , , , and . CoRR, (2023)