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

Automatic discovery of API-level exploits., , , , and . ICSE, page 312-321. ACM, (2005)Analysis of SPKI/SDSI Certificates Using Model Checking., and . CSFW, page 129-. IEEE Computer Society, (2002)Exact and approximate methods for proving unrealizability of syntax-guided synthesis problems., , , and . PLDI, page 1128-1142. ACM, (2020)Identifying Modules via Concept Analysis., and . IEEE Trans. Software Eng., 25 (6): 749-768 (1999)Static Program Analysis via 3-Valued Logic.. APPIA-GULP-PRODE, page 5. Facultad de Informática, Universidad Politécnica de Madrid, (2002)Component-based synthesis for complex APIs., , , , and . POPL, page 599-612. ACM, (2017)A Dataset of Dockerfiles., , , and . MSR, page 528-532. ACM, (2020)Physical type checking for C., and . ACM SIGSOFT Softw. Eng. Notes, 24 (5): 66-75 (1999)Model-assisted machine-code synthesis., , and . Proc. ACM Program. Lang., 1 (OOPSLA): 61:1-61:26 (2017)Speeding up Slicing., , , and . SIGSOFT FSE, page 11-20. ACM, (1994)