Pedro Adão -

Registered user since Thu 5 May 2022

Name:Pedro Adão

Country:Portugal

Affiliation:IST-ULisboa and Instituto de Telecomunicações

Contributions

ECOOP 2023	Author of Toward Tool-Independent Summaries for Symbolic Execution within the Research Papers-track
ISSTA 2023	Committee Member in Tool Demonstrations within the Tool Demonstrations-track
ISSTA 2022	Author of Maestro: A Platform for Benchmarking Automatic Program Repair Tools on Software Vulnerabilities within the Tool Demonstrations-track
ECOOP 2022	Author of Concolic Execution for WebAssembly within the Research Papers-track