Mateus Borges

PhD Student

Imperial College London

I’m a PhD student at the Department of Computing, Imperial College London, under the supervision of Antonio Filieri. My research interests span the areas of Software Engineering and Program Analysis, with a focus on improving the accuracy, scalability and effectiveness of testing, debugging and verification techniques.

Interests

Software Engineering
Program Analysis
Testing and Verification

Education

PhD in Computing, 2020 (expected)

Imperial College London
M.S. in Computer Science, 2015

Federal University of Pernambuco
B.S. in Computer Science, 2012

Federal University of Pernambuco

Recent Publications

Mateus Borges, Quoc-Sang Phan, Antonio Filieri, Corina S. Pasareanu. Model-counting Approaches For Nonlinear Numerical Constraints. In NFM, 2017.

Details PDF Code

Mateus Borges, Antonio Filieri, Marcelo d’Amorim, Corina S. Pasareanu. Iterative Distribution-Aware Sampling for Probabilistic Symbolic Execution. In ESEC/FSE, 2015.

Details PDF Code

Mateus Borges, Antonio Filieri, Marcelo d’Amorim, Corina S. Pasareanu, Willem Visser. Compositional Solution Space Quantification for Probabilistic Software Analysis. In PLDI, 2014.

Details PDF Code

Matheus Souza, Mateus Borges, Marcelo d’Amorim, Corina S. Pasareanu. CORAL: Solving Complex Constraints for Symbolic PathFinder. In NFM, 2012.

Details PDF Code

Mateus Borges, Marcelo d’Amorim, Saswat Anand, David Bushnell, Corina S. Pasareanu. Symbolic Execution with Interval Solving and Meta-heuristic Search. In ICST, 2012.

Details PDF Code

Contact

[email protected]
Email me for appointments