Program analysis for bug detection using parfait: invited talk

Cristina Cifuentes, Nathan Keynes, Lian Li, Bernhard Scholz. Program analysis for bug detection using parfait: invited talk. In Germán Puebla, Germán Vidal, editors, Proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, PEPM 2009, Savannah, GA, USA, January 19-20, 2009. pages 7-8, ACM, 2009. [doi]

Authors

Cristina Cifuentes

This author has not been identified. Look up 'Cristina Cifuentes' in Google

Nathan Keynes

This author has not been identified. Look up 'Nathan Keynes' in Google

Lian Li

This author has not been identified. Look up 'Lian Li' in Google

Bernhard Scholz

This author has not been identified. Look up 'Bernhard Scholz' in Google