Frederico Ramos

PhD Student at Instituto Superior Técnico
Researcher at INESC-ID
CV

prof_pic.jpg

IST & INESC-ID

Lisbon, Portugal

Welcome. My name is Frederico, and I am a PhD student in Computer Science at Instituto Superior Técnico (IST), supervised by Prof. José Fragoso Santos and Prof. Pedro Adão. I also work as a researcher in the ARSR Group at INESC-ID.

My research focuses on optimizing symbolic execution through techniques such as symbolic summaries, memory models, and path merging, with a current emphasis on C and JavaScript. These approaches aim to make analyses more scalable and precise.

I am broadly interested in formal methods, and programming languages, exploring how these areas intersect to improve software reliability and security.

Selected Talks and Publications

  1. ESOP’26
    Specification-Driven Generation of Summaries for Symbolic Execution
    Rafael Gonçalves, Frederico Ramos, Pedro Adão, and 1 more author
    In Programming Languages and Systems - 35th European Symposium on Programming, ESOP 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Turin, Italy, April 11-16, 2026, Proceedings, Part I, 2026
    DOI
  2. ECOOP’23
    Toward Tool-Independent Summaries for Symbolic Execution
    Frederico Ramos, Nuno Sabino, Pedro Adão, and 2 more authors
    In 37th European Conference on Object-Oriented Programming, ECOOP 2023, July 17-21, 2023, Seattle, Washington, United States, 2023
    DOI HTML PDF
  3. ISSTA’23
    MetaData262: Automatic Test Suite Selection for Partial JavaScript Implementations
    Frederico Ramos, Diogo Costa Reis, Miguel Trigo, and 2 more authors
    In Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2023, Seattle, WA, USA, July 17-21, 2023
    DOI HTML PDF