Paulo Barros - UFPE

Paulo Barros

Master's Student
Centro de Informática
Federal University of Pernambuco

Curriculum Vitae

Working under the supervision of Prof. Marcelo d'Amorim.
Our group aims to improve software quality through program analysis and systematic software testing.


  • ASE'15 - Static analysis of implicit control flow: Resolving Java reflection and Android intents (.pdf)
    by Paulo Barros, René Just, Suzanne Millstein, Paul Vines, Werner M. Dietl, Marcelo d'Amorim, and Michael D. Ernst.
    In ASE 2015: Proceedings of the 30th Annual International Conference on Automated Software Engineering (accpt. 21% [60/289])
    Lincoln, NE, USA, November 11-13, 2015.

  • CCS'14 - Collaborative verification of information flow for a high-assurance app store (.pdf)
    by Michael D. Ernst, René Just, Suzanne Millstein, Werner M. Dietl, Stuart Pernsteiner, Franziska Roesner, Karl Koscher, Paulo Barros, Ravi Bhoraskar, Seungyeop Han, Paul Vines, and Edward X. Wu.
    In Proceedings of the 21st ACM Conference on Computer and Communications Security (CCS 2014) (accpt. 20% [114/585])
    Scottsdale, AZ, USA, November 2014.

  • ESEC/FSE'13 - SPLat: Lightweight Dynamic Analysis for Reducing Combinatorics in Testing Configurable System (.pdf)
    by Chang Hwan Peter Kim, Darko Marinov, Sarfraz Khurshid, Don Batory, Sabrina Souto, Paulo Barros, and Marcelo d'Amorim.
    In ESEC/FSE 2013: European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (accpt. 20% [51/251])
    pages 257-267, Saint Petersburg, Russia, August 2013.