What is a Secure Programming Language?
Cristina Cifuentes, Gavin Bierman, The 3rd Summit on Advances of Programming Languages (SNAPL), to be held at Brown University on 16-17 May 2019. URL: https://snapl.org/2019/index.html
What is a Secure Programming Language? (lecture + tutorial)
Cristina Cifuentes, Programming Language Implementation Summer School (PLISS) 2019: https://pliss2019.github.io
It's Time for Secure Languages
Cristina Cifuentes, SPLASH-I, Vancouver: https://2017.splashcon.org/track/splash-2017-SPLASH-I#program
It's Time for Secure Languages (talk abstract)
Cristina Cifuentes, SPLASH-I, Vancouver, Canada.
Machine Learning For Finding Bugs: An Initial Report
Timothy Chappell, Cristina Cifuentes, Padmanabhan Krishnan, Shlomo Geva, MaLTeSQuE: Workshop on Machine Learning Techniques for Software Quality Evaluation
(See http://saner.aau.at/maltesque-workshop-on-machine-learning-techniques-for-software-quality-evaluation/ for more details)
Machine Learning for Finding Bugs: An Initial Report
Timothy Chappell, Cristina Cifuentes, Paddy Krishnan, Shlomo Geva, IEEE Workshop on Machine Learning Techniques for Software Quality Evaluation (MaLTeSQuE), Klagenfurt, Austria.
Machine Learning for Finding Bugs: An Initial Report
Cristina Cifuentes, Paddy Krishnan, Slides presented at the Workshop on Machine Learning Techniques for Software Quality Evaluation (MaLTeSQuE), 21 February 2017, Klagenfurt, Austria.
An Experience Report: Efficient Analysis using Souffle
Bernhard Scholz, Pavle Subotic, Herbert Jordan, Padmanabhan Krishnan, Raghavendra Kagalavadi Ramesh, Cristina Cifuentes, Designing Code Analysis Frameworks (DECAF @ ISSTA'16) http://karimali.ca/decaf
Are We Ready For Secure Languages?
Cristina Cifuentes, CurryOn
Are We Ready for Secure Languages? (video)
Cristina Cifuentes, CurryOn 2016, Rome, Italy.
Biscotti and Cannoli: An Initial Exploration into Machine Learning for the Purposes of Finding Bugs in Source Code
Cristina Cifuentes, Timothy Chappell, Padmanabhan Krishnan, Slides to be discussed with Professors who work on Machine Learning.
Efficient analysis using Soufflé - An experience report
Cristina Cifuentes, DECAF workshop: http://karimali.ca/decaf
Machine Learning For Finding Bugs in Source Code: An Initial Report
Timothy Chappell, Cristina Cifuentes, Padmanabhan Krishnan, Shlomo Geva, MaLTeSQuE: Workshop on Machine Learning Techniques for Software Quality Evaluation
Parfait Lessons Learnt
Cristina Cifuentes, Nathan Keynes, Manuel Valdiviezo Basauri, Kevin Gough, Diane Corney, DECAF (DEsigning Code Analysis Frameworks) workshop, co-located with ISSTA, Sunday 17th July 2016, Saarland University, Saarbrucken, Germany. URL: http://karimali.ca/decaf
The Parfait Static Code Analysis Framework -- Lessons Learnt
Cristina Cifuentes, Nathan Keynes, Kevin Gough, Diane Corney, Manuel Valdiviezo Basauri, Designing Code Analysis Frameworks (DECAF) workshop, co-located with ISSTA
Translating Java into LLVM IR to Detect Security Vulnerabilities
Cristina Cifuentes, Nathan Keynes, John Gough, Diane Corney, Lin Gao, Manuel Valdiviezo, Andrew Gross, 2014 LLVM Developers' Meeting
Finding Java Vulnerabilities with the Parfait Static Code Analysis Tool
Andrew Gross, Cristina Cifuentes, Diane Corney, John Gough, Lin Gao, Manuel Valdiviezo, Nathan Keynes, Asian Symposium on Programming Languages and Systems (APLAS) 2013.
Transitioning Parfait into a Development Tool
Cristina Cifuentes, Nathan Keynes, Lian Li, Nathan Hawes, Manuel Valdiviezo, Article, (2012)
BegBunch: Benchmarking for C Bug Detection Tools
Cristina Cifuentes, Christian Hoermann, Nathan Keynes, Lian Li, Simon Long, Erica Mealy, Michael Mounteney, Bernhard Scholz, In Proceedings, (2009)
Benchmarking Static C Bug-Checking Tools
Cristina Cifuentes, In Proceedings, (2009)
Improving Software Quality with Parfait
Cristina Cifuentes, Misc, (2009)
Parfait - Designing a Scalable Bug Checker
Cristina Cifuentes, Bernhard Scholz, In Proceedings, (2008)
Parfait - Designing a Scalable Bug Checker.
Cristina Cifuentes, Bernhard Scholz, Scalable Program Analysis 2008
User-Input Dependence Analysis via Graph Reachability
Bernard Scholz, Chenyi Zhang, Cristina Cifuentes, Technical Report, (2008)
Partitioning of Code for a Massively Parallel Machine
Michael Ball, Cristina Cifuentes, Deepankar Bairagi, Technical Report, (2004)
Partitioning of Code for a Massively Parallel Machine.
Michael Ball, Cristina Cifuentes, Deepankar Bairagi, IEEE PACT 2004:225-236
A Transformational Approach to Binary Translation of Delayed Branches with Applications to SPARC® and PA-RISC Instructions Sets
Cristina Cifuentes, Norman Ramsey, Technical Report, (2002)
Experience in the Design, Implementation and Use of a Retargetable Static Binary Translation Framework
Cristina Cifuentes, Mike Van Emmerik, Brian T. Lewis, Norman Ramsey, Technical Report, (2002)
Walkabout-A Retargetable Dynamic Binary Translation Framework
Brian T. Lewis, David Ung, Cristina Cifuentes, Technical Report, (2002)
Interprocedural data flow decompilation.
Cristina Cifuentes, J. Prog. Lang. (JPL) 4(2):77-99 (1996)