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
Research interests:Software Engineering, Testing and Verification, Computer Systems, Security

Contributions

ICSE 2024 Area Co-Chair for Testing and Analysis in Research Track within the Research Track-track
FormaliSE 2023 Author of Patch Specifications via Product Programs within the FormaliSE 2023-track
ISSTA 2023 PC Member in Technical Papers within the Technical Papers-track
ICSE 2023 Program Committee Member in Technical Track within the Technical Track-track
ESEC/FSE 2022 Session Chair of Opening session + Distinguished paper awards (part of Plenary Events)
Author of Past-Sensitive Pointer Analysis for Symbolic Execution within the ESEC/FSE 2020-track
Session Chair of Keynote II - Impact Paper Award by Gail Murphy (part of Plenary Events)
Committee Member in Test of Time Award Committee
Program Co-Chair in Program Committee within the Research Papers-track
Steering Committee Member in Steering Committee
Program Co-Chair in Organizing Committee
Session Chair of ESEC/FSE 20 Services & APIs (part of ESEC/FSE 2020)
ASE 2022 Author of CSMITHEDGE: More Effective Compiler Testing by Handling Undefined Behaviour Less Conservatively within the Journal-first Papers-track
ISSTA 2022 Author of SnapFuzz: High-Throughput Fuzzing of Network Applications within the Technical Papers-track
Author of Combining Static Analysis Error Traces with Dynamic Symbolic Execution (Experience Paper) within the Technical Papers-track
ECOOP 2022 Author of A Deterministic Memory Allocator for Dynamic Symbolic Execution within the Research Papers-track
ICSE 2022 Committee Member in Mentors within the SMeW - Student Mentoring Workshop-track
Session Chair of Papers 3: Reliability and Safety (part of Technical Track)
Session Chair of Reliability and Safety 1 (part of Technical Track)
Panelist of Funding strategies within the NFS - New Faculty Symposium-track
Committee Member in Program Committee within the Technical Track-track
ESEC/FSE 2021 Co-chair in Test of Time Award Committee
Committee Member in Steering Committee
Committee Member in Program Committee within the Research Papers-track
ECOOP and ISSTA 2021 ISSTA General Chair of Opening Session within the ECOOP and ISSTA Opening-track
ISSTA General Chair in Organizing Committee
Organizer in Organizers within the Discussions with Experts-track
ISSTA 2021 General Chair in Organizing Comittee
Session Chair of Celebrating 30 Editions of ISSTA (part of Keynotes)
Session Chair of Celebrating 30 Editions of ISSTA (part of Keynotes)
Session Chair of ISSTA Impact Paper Award Talk (part of Keynotes)
PLDI 2021 Committee Member in Program Committee within the PLDI-track
ICST 2021 Committee Member in Program Committee within the Research Papers-track
TAPAS 2020 Author of Toward More Scalable Symbolic Execution via Code Chopping within the TAPAS-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
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
ISSTA 2020 Author of Running Symbolic Execution Forever within the Technical Papers-track
ICSE 2020 Program Board in Program Board within the Technical Papers-track
PLDI 2020 Session Chair of Session 14 (part of Ask Me Anything)
SOAP 2020 Presenter of Tool Talk: KLEE within the SOAP 2020-track
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 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
ECOOP 2018 Doctoral Symposium Co-Chair in Organizing Committee
ECOOP and ISSTA 2018 Doctoral Symposium Co-Chair in Organizing Committee
Doctoral Symposium Co-Chair in Organizing Committee within the Doc Symposium-track
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)
* 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
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
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