Cristian Cadar

Registered user since Thu 6 Aug 2015

Name: Cristian Cadar

Bio: Cristian Cadar is Professor of Software Reliability in the Department of Computing at Imperial College London, where he leads the Software Reliability Group, working on automatic techniques for increasing the reliability and security of software systems. Cristian’s research has been recognised by several prestigious awards, including the EuroSys Jochen Liedtke Award, the HVC Award, the BCS Roger Needham Award, the ACM SIGOPS Hall of Fame Award, and the ACM CCS Test of Time Award. He also received an ERC Consolidator Grant and an EPSRC Early-Career Fellowship. Many of the research techniques he co-authored have been open-sourced and used by several groups in both academia and industry. In particular, he is co-author and the principal maintainer of the KLEE symbolic execution system, a popular system with a large user base. Cristian has a PhD in Computer Science from Stanford University, and undergraduate and Master’s degrees from the Massachusetts Institute of Technology.

Country: United Kingdom

Affiliation: Imperial College London, UK

Personal website: https://www.doc.ic.ac.uk/~cristic

Research interests: Software Engineering, Testing and Verification, Computer Systems, Security

Contributions

SPLASH 2010
ESEC/FSE 2022Steering Committee Member in Steering Committee
Program Chair in Organizing Committee
PLDI 2021Committee Member in Program Committee within the PLDI Research Papers-track
TAPAS 2020Author of Invited Talk (Title TBD) within the TAPAS-track
ESEC/FSE 2021Committee Member in Steering Committee
Committee Member in Program Committee within the Research Papers-track
ECOOP and ISSTA 2021ISSTA General Chair in Organizing Committee
ISSTA 2021General Chair in Organizing Comittee
SOAP 2020Presenter of Tool Talk: KLEE within the SOAP 2020-track
ASE 2020Author of Closer to the Edge: Testing Compilers More Thoroughly by Being Less Conservative About Undefined Behaviour within the NIER track-track
Author of Pending Constraints in Symbolic Execution for Better Exploration and Seeding within the Research Papers-track
ICST 2021Committee Member in Program Committee within the Research Papers-track
ISSTA 2020Author of Running Symbolic Execution Forever within the Technical Papers-track
ESEC/FSE 2020Author of Past-Sensitive Pointer Analysis for Symbolic Execution within the Research Papers-track
Committee Member in Program Committee within the Test of Time Paper Award-track
ICST 2020Committee Member in Program Committee within the Research Papers-track
PLDI 2020Session Chair of Session 14 (part of Ask Me Anything)
SPLASH 2019Author of Compiler Fuzzing: How Much Does It Matter? within the OOPSLA-track
Author of Compiler Fuzzing: How Much Does It Matter? within the OOPSLA Artifacts-track
PLDI 2019Author of Computing Summaries of String Loops in C for Better Testing and Refactoring within the PLDI Research Papers-track
ICSE 2020Program Board in Program Board within the Technical Papers-track
ICSE 2019Committee Member in Program Board within the Technical Track-track
ESEC/FSE 2018Author of On the correctness of electronic documents: studying, finding, and localizing inconsistency bugs in PDF readers and files within the Journal-First-track
Committee Member in Program Committee within the New Ideas and Emerging Results-track
ISSTA 2017Author of Accelerating Array Constraints in Symbolic Execution within the Technical Papers-track
Session Chair of Improving Testing (part of Technical Papers)
Committee Member in Program Committee
ECOOP 2018Doctoral Symposium Co-Chair in Organizing Committee
ISSTA 2018Committee Member in Program Committee within the ISSTA Technical Papers-track
Doctoral Symposium Co-Chair in Organizing Committee
Session Chair of Secure and Sound (part of ISSTA Technical Papers)
ECOOP and ISSTA 2018Doctoral Symposium Co-Chair in Organizing Committee
Doctoral Symposium Co-Chair in Organizing Committee within the Doc Symposium-track
* ICSE 2018 *Author of Chopped Symbolic Execution within the Technical Papers -track
Author of Poster T18: FreeDA: Deploying Incompatible Stock Dynamic Analyses in Production via Multi-Version Execution within the Posters -track
PLDI 2016Committee Member in Program Committee
WODA 2015Author of Towards Deployment-Time Dynamic Analysis of Server Applications within the WODA-track
SPLASH 2012Committee Member in Program Committee within the OOPSLA Research Papers-track
Committee Member in Program Committee
SPLASH 2011Committee Member in External Reviewers within the OOPSLA-track