Marcelo d'Amorim

Service Upcoming: ICSE-NIER'22, ESEC/FSE'22, ICSE'23, ESEC/FSE'24 (General Chair)    Teaching Now: Software Engineering My research interests are in the areas of Software Engineering and Programming Languages, with a focus on improving software reliability through program analysis and systematic testing. Software bugs are expensive and inevitable as software is mostly written by humans or automatically synthesized via ML. My research focuses at improving various software quality assurance tasks, including bug prevention, bug finding, bug diagnosis, and code repair. As part of my research, I develop tools to automate software testing and debugging activities. The tools I developed revealed many bugs and vulnerabilities in code. These tools are publicly available on GitHub. I have been working on the following topics recently: Regression testing [ICSME'21] Security [TR'21] Fault localization (debugging) [ICSE'18] Testing of configurable software [ICSE'17] Runtime Verification [ICST'21]

Associate Professor, UFPE PhD UIUC, 2007 Publications Software CV Students  (Advice) Contact