I am a Reader (US equiv. Associate Professor) in the Department of Computing at Imperial College London, where I lead the Software Reliability Group and hold an EPSRC Early-Career Fellowship.

My research interests span the areas of software engineering, computer systems and software security, with a focus on building practical techniques for improving the reliability and security of software systems.

Previously, I received a Ph.D. in Computer Science from Stanford University, an M.Eng. in Computer Science from MIT, and a B.S. in Computer Science and one in Mathematics also from MIT.

Visit my webpage at http://www.doc.ic.ac.uk/~cristic/.

Recent Publications

  • Floating-Point Symbolic Execution: A Case Study in N-version Programming

    Daniel Liew, Daniel Schemmel, Cristian Cadar, Alastair Donaldson, Rafael Zähl, Klaus Wehrle

    IEEE/ACM International conference on Automated Software Engineering (ASE 2017)

  • Automatic Testing of Symbolic Execution Engines via Program Generation and Differential Testing

    Timotej Kapus, Cristian Cadar

    IEEE/ACM International conference on Automated Software Engineering (ASE 2017)

  • Accelerating Array Constraints in Symbolic Execution

    David M. Perry, Andrea Mattavelli, Xiangyu Zhang, Cristian Cadar

    International Symposium on Software Testing and Analysis (ISSTA 2017)

  • A DSL Approach to Reconcile Equivalent Divergent Program Executions

    Luís Pina, Daniel Grumberg, Anastasios Andronidis, Cristian Cadar

    2017 USENIX Annual Technical Conference (USENIX ATC 2017)

  • Analysing the Program Analyser

    Cristian Cadar, Alastair Donaldson

    International Conference on Software Engineering, Visions of 2025 and Beyond Track (ICSE V2025)

  • Shadow of a Doubt: Testing for Divergences Between Software Versions

    Hristina Palikareva, Tomasz Kuchta, Cristian Cadar

    International Conference on Software Engineering (ICSE 2016)

  • Symbooglix: A Symbolic Execution Engine for Boogie Programs

    Daniel Liew, Cristian Cadar, Alastair Donaldson

    IEEE International Conference on Software Testing, Verification, and Validation (ICST 2016)

  • Towards Deployment-Time Dynamic Analysis of Server Applications

    Luís Pina, Cristian Cadar

    Proceedings of the 13th International Workshop on Dynamic Analysis (WODA 2015)

  • Targeted Program Transformations for Symbolic Execution

    Cristian Cadar

    European Software Engineering Conference / Symposium on the Foundations of Software Engineering New Ideas Track (ESEC/FSE NI 2015)

  • Varan the Unbelievable: An Efficient N-version Execution Framework

    Petr Hosek, Cristian Cadar

    20th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS'15)

  • Docovery: Toward Generic Automatic Document Recovery

    Tomasz Kuchta, Cristian Cadar, Miguel Castro, Manuel Costa

    International Conference on Automated Software Engineering (ASE 2014)

  • Covrig: A Framework for the Analysis of Code, Test, and Coverage Evolution in Real Software

    Paul Dan Marinescu, Petr Hosek, Cristian Cadar

    International Symposium on Software Testing and Analysis (ISSTA 2014)

  • Symbolic Crosschecking of Data-Parallel Floating-Point Code

    Peter Collingbourne, Cristian Cadar, Paul H. J. Kelly

    IEEE Transactions on Software Engineering (TSE 2014)

  • SymbexNet: Testing Network Protocol Implementations with Symbolic Execution and Rule-Based Specifications

    JaeSeung Song, Cristian Cadar, Peter Pietzuch

    IEEE Transactions on Software Engineering (TSE 2014)

  • Shadow Symbolic Execution for Better Testing of Evolving Software

    Cristian Cadar, Hristina Palikareva

    International Conference on Software Engineering, New Ideas and Emerging Results (ICSE NIER 2014)

  • KATCH: High-Coverage Testing of Software Patches

    Paul Dan Marinescu, Cristian Cadar

    European Software Engineering Conference / ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2013)

  • Multi-solver Support in Symbolic Execution

    Hristina Palikareva, Cristian Cadar

    International Conference on Computer Aided Verification (CAV 2013)

  • Safe Software Updates via Multi-version Execution

    Petr Hosek, Cristian Cadar

    International Conference on Software Engineering (ICSE 2013)

  • Symbolic Execution for Software Testing: Three Decades Later

    Cristian Cadar, Koushik Sen

    Communications of the Association for Computing Machinery (CACM 2013)

  • High-Coverage Symbolic Patch Testing

    Paul Dan Marinescu, Cristian Cadar

    International SPIN Workshop on Model Checking of Software (SPIN 2012)

  • Multi-Version Software Updates

    Cristian Cadar, Petr Hosek

    Workshop on Hot Topics in Software Upgrades (HotSWUp 2012)

  • make test-zesti: A Symbolic Execution Solution for Improving Regression Testing

    Paul Dan Marinescu, Cristian Cadar

    International Conference on Software Engineering (ICSE 2012)

  • Efficient Argumentation for Medical Decision-Making

    Matthew Williams, Robert Craven, Francesca Toni, Cristian Cadar, Adrian Hadad

    International Conference on Principles of Knowledge Representation and Reasoning (KR 2012)

  • Safe Software Updates via Multi-version Execution

    Petr Hosek, Cristian Cadar

    Imperial College London

  • Rule-based Verification of Network Protocol Implementations using Symbolic Execution

    JaeSeung Song, Tiejun Ma, Cristian Cadar, Peter Pietzuch

    IEEE International Conference on Computer Communications and Networks (ICCCN 2011)

  • High Coverage Testing of Haskell Programs

    Tristan Allwood, Cristian Cadar, Susan Eisenbach

    International Symposium on Software Testing and Analysis (ISSTA 2011)

  • Symbolic Execution for Software Testing in Practice - Preliminary Assessment

    Cristian Cadar, Patrice Godefroid, Sarfraz Khurshid, Corina Pasareanu, Koushik Sen, Nikolai Tillmann, Willem Visser

    International Conference on Software Engineering, Impact Project (ICSE Impact 2011)

  • Symbolic Crosschecking of Floating-Point and SIMD Code

    Peter Collingbourne, Cristian Cadar, Paul H. J. Kelly

    European Conference on Computer Systems (EuroSys 2011)

  • Symbolic Testing of OpenCL Code

    Peter Collingbourne, Cristian Cadar, Paul H. J. Kelly

    Haifa Verification Conference (HVC 2011)

  • Multiplicity Computing: A Vision of Software Engineering for Next-Generation Computing Platform Applications

    Cristian Cadar, Peter Pietzuch, Alexander Wolf

    Software Engineering Research (FoSER 2010)