CMU Portugal researchers from Universidade de Lisboa and Carnegie Mellon University will be awarded an ACM SIGSOFT Distinguished Paper Award at the upcoming ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2021). The award distinguishes their research work on a new analysis engine for the Alloy modeling language.
The collaboration was initiated in 2019 Vasco Manquinho (INESC ID), one of the team members, participated in the CMU Portugal Visiting Faculty Program, where he worked with Ruben Martins, CMU Portugal faculty at CMU’s Computer Science Department. In 2020, the research already continued with doctoral student Pedro Orvalho (INESC-ID/IST) onboard. Furthermore, Pedro had worked previously with Ruben and Vasco under the CMU Portugal Exploratory project DeepData – Data Science in the Azores Deep Sea. This project allowed Pedro Orvalho to spend 3 months at CMU in 2018 under Ruben Martins’ supervision.
The three co-authors developed an algorithms optimization that was a good fit with the work developed by Eunsuk Kang (CMU) and Changjian Zhang, a software engineering Ph.D. student in the Institute for Software Research (ISR). The teams joined forces to publish the article “AlloyMax: Bringing Maximum Satisfaction to Relational Specifications.” Other team members include David Garlan (CMU and CMU Portugal faculty member) and Ryan Wagner (CMU).
The ESEC/FSE 2021 conference is an internationally renowned forum for researchers, practitioners, and educators to present and discuss the most recent innovations, trends, experiences, and challenges in software engineering.
More about the paper and the modeling language Alloy at the ISR website.
Paper Reference: AlloyMax: Bringing Maximum Satisfaction to Relational Specifications