Imperial College London

ProfessorCristianCadar

Faculty of EngineeringDepartment of Computing

Professor of Software Reliability
 
 
 
//

Contact

 

c.cadar Website

 
 
//

Location

 

435Huxley BuildingSouth Kensington Campus

//

Summary

 

Summary

Cristian Cadar is a Reader (US equiv. Associate Professor) in the Department of Computing at Imperial College London where he leads the Software Reliability Group. His research interests involve building practical tools for improving the reliability and security of software systems. Cristian received a PhD in Computer Science from Stanford University, an M.Eng. in Computer Science from the Massachusetts Institute of Technology, and a B.S. in Computer Science and one in Mathematics also from MIT.

Selected Publications

Journal Articles

Cadar C, Sen K, 2013, Symbolic Execution for Software Testing: Three Decades Later, Communications of the ACM, Vol:56, ISSN:0001-0782, Pages:82-90

Cadar C, Ganesh V, Pawlowski PM, et al., 2008, EXE: Automatically Generating Inputs of Death, ACM Transactions on Information and System Security, Vol:12, ISSN:1094-9224

Conference

Marinescu PD, Cadar C, 2012, make test-zesti: A Symbolic Execution Solution for Improving Regression Testing, 34th International Conference on Software Engineering (ICSE), IEEE, Pages:716-726, ISSN:0270-5257

Collingbourne P, Cadar C, Kelly PHJ, 2011, Symbolic crosschecking of floating-point and SIMD code, ACM, New York, NY, USA, Pages:315-328

Cadar C, Dunbar D, Engler D, 2008, KLEE: unassisted and automatic generation of high-coverage tests for complex systems programs, 8th USENIX Symposium on Operating Systems Design and Implementation, USENIX Association, Berkeley, CA, USA, Pages:209-224

More Publications