Cristian Cadar

Registered user since Thu 6 Aug 2015

Name: Cristian Cadar

Bio: I am a Reader (US equiv. Associate Professor) in the Department of Computing at Imperial College London, where I lead the Software Reliability Group. 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.

I have received the Jochen Liedtke Young Researcher Award in 2015 and an EPSRC Early-Career Fellowship in 2013. Our research has received a Best Artifact Award at ISSTA 2014, Distinguished Artifact Award at ESEC/FSE 2013, and the Jay Lepreau Best Paper Award at OSDI 2008.

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.

Country: United Kingdom

Affiliation: Imperial College London

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

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

Contributions

ECOOP and ISSTA 2021ISSTA General Chair in Organizing Committee
ISSTA 2021General Chair in Organizing Comittee
ICST 2020Committee Member in Program Committee within the Research Papers-track
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