Working under the supervision of Prof. Marcelo d'Amorim.
Our group aims to improve
software quality through program analysis and systematic software
testing.
Publications:
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.
Curriculum Vitae