Program analysis for bug detection using parfait: invited talk. - Cristina Cifuentes; Nathan Keynes; Lian Li; Bernhard Scholz (PEPM, 2009)

Practical and effective symbolic analysis for buffer overflow detection. - Lian Li; Cristina Cifuentes; Nathan Keynes (SIGSOFT FSE, 2010)

Static deep error checking in large system applications using parfait. - Cristina Cifuentes; Nathan Keynes; Lian Li; Nathan Hawes; Manuel Valdiviezo; Andrew Browne; Jacob Zimmermann; Andrew Craik; Douglas Teoh; Christian Hoermann (SIGSOFT FSE, 2011)

Boosting the performance of flow-sensitive points-to analysis using value flow. - Lian Li; Cristina Cifuentes; Nathan Keynes (SIGSOFT FSE, 2011)

Transitioning Parfait into a Development Tool. - Cristina Cifuentes; Nathan Keynes; Lian Li; Nathan Hawes; Manuel Valdiviezo (IEEE Secur. Priv., 2012)

Internal Deployment of the Parfait Static Code Analysis Tool at Oracle - (Invited Talk). - Cristina Cifuentes; Nathan Keynes (APLAS, 2013)

Path-Sensitive Data Flow Analysis Simplified. - Kirsten Winter; Chenyi Zhang 001; Ian J. Hayes; Nathan Keynes; Cristina Cifuentes; Lian Li (ICFEM, 2013)

Precise and scalable context-sensitive pointer analysis via value flow graph. - Lian Li; Cristina Cifuentes; Nathan Keynes (ISMM, 2013)

Understanding caller-sensitive method vulnerabilities: a class of access control vulnerabilities in the Java platform. - Cristina Cifuentes; Andrew Gross; Nathan Keynes (SOAP@PLDI, 2015)

The Truth, The Whole Truth, and Nothing But the Truth: A Pragmatic Guide to Assessing Empirical Evaluations. - Stephen M. Blackburn; Amer Diwan; Matthias Hauswirth; Peter F. Sweeney; José Nelson Amaral; Tim Brecht; Lubomír Bulej; Cliff Click; Lieven Eeckhout; Sebastian Fischmeister; Daniel Frampton; Laurie J. Hendren; et al. (ACM Trans. Program. Lang. Syst., 2016)

Scalable Static Analysis to Detect Security Vulnerabilities: Challenges and Solutions. - François Gauthier 001; Nathan Keynes; Nicholas Allen; Diane Corney; Padmanabhan Krishnan (SecDev, 2018)

Industrial Strength Static Detection for Cryptographic API Misuses. - Ya Xiao 002; Yang Zhao; Nicholas Allen; Nathan Keynes; Danfeng Yao; Cristina Cifuentes (SecDev, 2022)

Being the Developers' Friend: Our Experience Developing a High-Precision Tool for Secure Coding. - Danfeng Daphne Yao; Sazzadur Rahaman; Ya Xiao 002; Sharmin Afrose; Miles Frantz; Ke Tian; Na Meng 001; Cristina Cifuentes; Yang Zhao; Nicholas Allen; Nathan Keynes; Barton P. Miller; et al. (IEEE Secur. Priv., 2022)

Industrial Experience of Finding Cryptographic Vulnerabilities in Large-scale Codebases. - Ya Xiao 002; Yang Zhao; Nicholas Allen; Nathan Keynes; Danfeng (Daphne) Yao; Cristina Cifuentes (DTRAP, 2023)