Bio

Dr. Marcelo Frias is a Professor in the Computer Science Department at the University of Texas at El Paso. His research interests are in the area of Automated Software Engineering, with focus on fault detection, test generation, automated program repair and synthesis of specifications.

Awards and Honors

• Amazon Research Award - Amazon Web Services (03/01/2021-03/31/2021)
• Best paper award - IEEE/ACM (05/23/2017)
• Best paper award - Brazilian Society for Computer Science (11/25/2016)
• Best Paper Award - European Association for Software Science and Technology (EASST) (03/28/2007)
• Bernardo Houssay Award to Scientific and Technological Research (young researcher in Computer Science) - Argentinean Secretary of Science and Technology (05/01/2003-05/31/2003)

• Ph D in Computer Science, Pontifcia Universidade Catolica in Rio de Janeiro (1998)
• BS in Computer Science, Universidad de Buenos Aires (1992)

Publications

• Precise Lazy Initialization for Programs with Complex Heap Inputs 34th IEEE International Symposium on Software Reliability Engineering, ISSRE 2023 34th (2023), Juan M. Copia, Facundo Molina, Nazareno M. Aguirre, Marcelo Frias, Alessandra Gorla, Pablo Ponzio.
• A Study of the Electrum and DynAlloy Dynamic Behavior Notations IEEE Transactions on Software Engineering 49 11 (2023), Cesar Cornejo, German Regis, Nazareno M. Aguirre, Marcelo F. Frias.
• EvoSpex: A Search-Based Tool for Postcondition Inference Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2023, Seattle, WA, USA, July 17-21, 2023. ACM 2023 32nd (2023), Facundo Molina, Pablo Ponzio, Nazareno M. Aguirre, Marcelo Frias.
• Efficient Bounded Exhaustive Input Generation from Program APIs Fundamental Approaches to Software Engineering - 26th International Conference, FASE 2023 13991 26th (2023), Mariano Politano, Valeria S. Bengolea, Facundo Molina, Nazareno M. Aguirre, Marcelo Frias, Pablo Ponzio.

Presentations

No info available.

• Modular Bounded Verification with Expressive Contracts