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 2022	Steering Committee Member in Steering Committee Program Chair in Organizing Committee
PLDI 2021	Committee Member in Program Committee within the PLDI Research Papers-track
TAPAS 2020	Author of Toward More Scalable Symbolic Execution via Code Chopping within the TAPAS-track
ESEC/FSE 2021	Committee Member in Steering Committee Committee Member in Program Committee within the Research Papers-track
ECOOP and ISSTA 2021	ISSTA General Chair in Organizing Committee
ISSTA 2021	General Chair in Organizing Comittee
SOAP 2020	Presenter of Tool Talk: KLEE within the SOAP 2020-track
ASE 2020	Author 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 2021	Committee Member in Program Committee within the Research Papers-track
ISSTA 2020	Author of Running Symbolic Execution Forever within the Technical Papers-track
ESEC/FSE 2020	Author 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 2020	Committee Member in Program Committee within the Research Papers-track
PLDI 2020	Session Chair of Session 14 (part of Ask Me Anything)
SPLASH 2019	Author 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 2019	Author of Computing Summaries of String Loops in C for Better Testing and Refactoring within the PLDI Research Papers-track
ICSE 2020	Program Board in Program Board within the Technical Papers-track
ICSE 2019	Committee Member in Program Board within the Technical Track-track
ESEC/FSE 2018	Author 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 2017	Author 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 2018	Doctoral Symposium Co-Chair in Organizing Committee
ISSTA 2018	Committee 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 2018	Doctoral 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 2016	Committee Member in Program Committee
WODA 2015	Author of Towards Deployment-Time Dynamic Analysis of Server Applications within the WODA-track
SPLASH 2012	Committee Member in Program Committee within the OOPSLA Research Papers-track Committee Member in Program Committee
SPLASH 2011	Committee Member in External Reviewers within the OOPSLA-track