Dynamic Instrumentation of Large-Scale MPI and OpenMP Applications. - Christian Thiffault; Michael Voss; Steven T. Healey; Seon Wook Kim (IPDPS, 2003)

Solving Non-clausal Formulas with DPLL search. - Christian Thiffault; Fahiem Bacchus; Toby Walsh (SAT, 2004)