 |
Cristian Cadar
Professor
|
@c_cadar
|
| Software Reliability Group | Publications | Talks | Teaching | Service | Software | Contact |
Cristian Cadar is a Professor in the Department of Computing at Imperial College London and a Programme Director at Imperial Global Singapore. Cristian leads the Software Reliability Group, which focuses on building practical techniques for improving the reliability and security of software systems.
Cristian's research has been recognised by several prestigious awards, including the Humboldt Research Award in 2024, IEEE New Directions Award (jointly with Prof Abhik Roychoudhury) in 2022, BCS Roger Needham Award in 2019, a SIGOPS Hall of Fame award in 2018, an ERC Consolidator Grant in 2018, the HVC Award in 2017, the ACM Computer and Communications Security (CCS) Test of Time Award in 2016, a BCS Fellowship in 2016, the Jochen Liedtke Young Researcher Award in 2015 and an EPSRC Early-Career Fellowship in 2013. Many of the research techniques he co-authored have been used in both academia and industry. In particular, he is co-author and maintainer of the KLEE symbolic execution system, a popular system with a large user base.
Cristian received a Ph.D. in Computer Science from Stanford University, and undergraduate and Master's degrees from MIT.
I am always looking for bright and motivated PhD students and postdocs interested in developing novel techniques and tools for improving software reliability. I am particularly interested in students and postdocs having a strong background in systems programming and compilers, and experience with building and working with large software systems. Please send me email if you are interested in working together, and attach a CV to your email. If your background matches our research interests, I will try to send a reply soon. We advertise open positions here.
Publications
For my list of publications, see:Selected Talks
Recent talks are available on the Software Reliability Group website. Some older talks are included below:-
KLEE: Effective Testing of Systems Programs
Available in PPSX and PDF format
Versions of this talk were presented at:- Stanford Security Workshop 2009, Stanford, CA, USA, April 16, 2009
- USENIX Symposium on Operating Systems Design and Implementation (OSDI 2008), San Diego, CA, USA, December 9, 2008
- Workshop on State-space Exploration for Automated Testing (SSEAT 2008), Seattle, WA, USA, July 24, 2008
-
RWset: Attacking Path Explosion in Constraint-Based Test Generation
Available in PPSX and PDF format
ETAPS Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2008)
Budapest, Hungary, April 2, 2008
-
EXE: Automatically Generating Inputs of Death
Available in PPSX and PDF format
ACM Conference on Computer and Communications Security (CCS 2006)
Alexandria, Virginia, USA, November 2, 2006
-
A Dynamic Technique for Eliminating Buffer Overflow Vulnerabilities (and Other Memory Errors)
Available in PPSX and PDF format
Annual Computer Security Applications Conference (ACSAC 2004)
Tucson, AZ, December 8, 2004
Teaching
- Software Reliability (4th year/MSc): Since 2015-16
Past Teaching
- Operating Systems (2nd year): Spring 09-10, Spring 10-11, Spring 11-12, Spring 12-13, Spring 13-14, Spring 14-15, Spring 15-16
- Software Engineering Practice (MSc): Spring 09-10, Spring 10-11, Spring 11-12, Spring 12-13
- MSc Group Project Coordinator: Spring 10-11, Spring 11-12
- Networks and Communications (2nd year): Autumn 10-11, Autumn 11-12
Service
Please consider submitting papers to the following conferences and workshops:
2026:
2025:
2024:
2023:
2022:
2021:
2020:
2019:
2018:
2017:
2016:
2015:
2014:
2013:
2012
2011
2010
Software
- KLEE is open source! Please go to the new KLEE website for more details
- Other software is available through the SRG Projects page
Contact and social media
- Email: c.cadar@imperial.ac.uk
- Bluesky: @ccadar.bsky.social
-
Twitter: @c_cadar
- Blog: ccadar.blogspot.co.uk
- Address:
Department of Computing
Imperial College London
180 Queen's Gate
London SW7 2AZ, UK
© Cristian Cadar 2000-2026. Last updated: April 2026