Extraction of Program Dependencies and Applications, Marcelo d'Amorim, Minicourse at CBSoft 2011, Sao Paulo-SP, Brazil.
Optimized Delta Execution for Efficient Mutation Testing, Marcelo d'Amorim, SOTA 2011, Mountain View-CA, USA, Jul. 2011.
CORAL: Solving Complex Constraints for Symbolic PathFinder, Marcelo d'Amorim, NFM 2011, Pasadena-CA, USA, Apr. 2011.
Program Slicing and Debugging, Elton Alves, EBTS, Recife-PE, Brazil, April 2011.
Ongoing projects at PAN (by December 2010), Marcelo d'Amorim, UFMG, Minas Gerais, Brazil, Dec. 2010
Randomized Constraint Solving of Floating Point Constraints, Marcelo d'Amorim, (visiting) NASA Ames, Mountain View-CA, USA. Aug. 2010
Randomized Constraint Solving, Marcelo d'Amorim, CCEN-UFPE, Recife-PE, Brazil, May 2010.
Evolution-Aware Automated Debugging, Elton Alves, CIn-UFPE, Recife-PE, Brazil, April 2010.
-- since 2010