Project Parfait Publications
 The Parfait Bug Checker
Cristina Cifuentes, October 2, 2009.
Presentation for the general meeting of LLVM Developers and Users about The Parfait Bug Checker with a demo against open source code bases.
Finding Bugs in Open Source Kernels using Parfait
Daniel Dawson, Nathan Hawes, Christian Hoermann, Nathan Keynes and Cristina Cifuentes.
Kernel Conference Australia, July 15-17, 2009, Brisbane, Australia.
Static Bug Checking Tools and Why You Should Care
Nathan Keynes, Lian Li and Cristina Cifuentes.
20th Australian Software Engineering Conference, April 14-17, 2009, Gold Coast, Australia.
Program Analysis for Bug Detection using Parfait -- Invited Talk
Cristina Cifuentes, Nathan Keynes, Lian Li and Bernhard Scholz.
ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, January 19-20, 2009, Savannah, Georgia. (ACM Digital Library entry)
User-Input Dependence Analysis via Graph Reachability
Bernhard Scholz, Chenyi Zhang and Cristina Cifuentes.
Eighth IEEE International Working Conference on Source Code Analysis and Manipulation, September 28-29, 2008, Beijing, China. (IEEE Digital Library entry)
Parfait -- Designing a Scalable Bug Checker
Cristina Cifuentes and Bernhard Scholz.
ACM SIGPLAN Static Analysis Workshop, June 12, 2008, Tucson, Arizona. (ACM Digital Library entry)
User-Input Dependence Analysis via Graph Reachability
Bernhard Scholz, Chenyi Zhang and Cristina Cifuentes.
Technical Report 2007-171, Sun Microsystems Laboratories, March 2008, Menlo Park, California.
|
Project Parfait Videos
Project Parfait's Graphical Reporting Tool
|
