INESC-ID

Tag: ICSE

  • INESC-ID researchers receive ACM SIGSOFT Distinguished Paper Award at ICSE 2025

    INESC-ID researchers receive ACM SIGSOFT Distinguished Paper Award at ICSE 2025

    João F. Ferreira, INESC-ID researcher and professor at the Department of Computer Science and Engineering (DEI) at Instituto Superior Técnico, and Nuno Saavedra, PhD student and INESC-ID researcher, have received the prestigious ACM SIGSOFT Distinguished Paper Award at the International Conference on Software Engineering (ICSE) 2025—the premier global event in software engineering.

    The award-winning paper, titled “Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification,” presents a novel approach to proof synthesis using machine learning and large language models (LLMs), enhanced by retrieval augmentation techniques. Rango introduces a dynamic, adaptive system that identifies and integrates relevant proofs and premises at each stage of the software verification process. This allows the tool to tailor its reasoning to both the specific project and the evolving state of the proof itself.

    The effectiveness of Rango was demonstrated using a newly curated dataset, CoqStoq, which contains more than 2,200 open-source Coq projects. The tool successfully synthesized proofs for 32% of theorems, marking a 29% improvement over previous state-of-the-art systems—an impressive leap forward that could help make formal software verification more accessible and practical for developers.

    This significant achievement is the result of a strong international collaboration with the research including researchers from the University of California San Diego, the University of Massachusetts and Pedro Carrott, a former MSc student at Técnico, supervised by João F. Ferreira and presently at Imperial College London.

    The ACM SIGSOFT Distinguished Paper Award is reserved for papers of exceptional quality presented at ICSE, and this recognition reflects both the scientific impact and collaborative excellence behind the work.

  • In the Media: Rui Maranhão talks with Exame Informática about ICSE24’s Impact on Software Engineering and AI Innovations

    In the Media: Rui Maranhão talks with Exame Informática about ICSE24’s Impact on Software Engineering and AI Innovations

    INESC-ID researcher and full professor at Faculdade de Engenharia da Universidade do Porto (FEUP), Rui Maranhão*, has recently talked to Exame Informática, from Trust in News Group, about the upcoming 2024 edition of the International Conference on Software Engineering (ICSE), which will take place in Lisbon. 

    The interview was an opportunity for Rui Maranhão, chair of the conference, to share some exciting news and thoughts about the event. This included the record numbers of participants from African countries, and emphasised the fundamental role ICSE has in the software engineering community. ICSE not only highlights recent innovations and research in the field but ethical and environmental concerns as well, while also defining future tendencies and fostering collaboration between academia and industry. 

    ICSE is considered the premier international software engineering conference. This year, it will be held at Centro Cultural de Belém, in Lisbon, from April 14 to April 20. Registrations have reached record numbers, and the conference will focus on the link between software engineering and artificial intelligence (AI), with a particular emphasis on Large Language Models.

    Read the full article (in PT) here.

     

    *Rui Maranhão is a researcher at INESC-ID within the Automated Reasoning and Software Reliability researcher area, and full professor at Faculdade de Engenharia da Universidade do Porto. His research focuses on software quality, emphasising automating the testing and debugging phases of the software development life-cycle as well as self-adaptation.