» Daniel Dawson, Nathan Hawes, Christian Hoermann, Nathan Keynes and Cristina Cifuentes. Finding Bugs in Open Source Kernels using Parfait, Kernel Conference Australia, July 15-17, 2009, Brisbane, Australia.

» Nathan Keynes, Lian Li and Cristina Cifuentes. Static Bug Checking Tools and Why You Should Care, 20th Australian Software Engineering Conference, April 14-17, 2009, Gold Coast, Australia.

» Cristina Cifuentes, Nathan Keynes, Lian Li and Bernhard Scholz. Program Analysis for Bug Detection using Parfait -- Invited Talk, ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, January 19-20, 2009, Savannah, Georgia. (ACM Digital Library entry)

» Bernhard Scholz, Chenyi Zhang and Cristina Cifuentes. User-Input Dependence Analysis via Graph Reachability, Eighth IEEE International Working Conference on Source Code Analysis and Manipulation, September 28-29, 2008, Beijing, China. (IEEE Digital Library entry)

» Cristina Cifuentes and Bernhard Scholz. Parfait -- Designing a Scalable Bug Checker, ACM SIGPLAN Static Analysis Workshop, June 12, 2008, Tucson, Arizona. (ACM Digital Library entry)

» Bernhard Scholz, Chenyi Zhang and Cristina Cifuentes. User-Input Dependence Analysis via Graph Reachability, Technical Report 2007-171, Sun Microsystems Laboratories, March 2008, Menlo Park, California.