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

PLDI 2019Author of Computing Summaries of String Loops in C for Better Testing and Refactoring within the PLDI Research Papers-track
ICSE 2020Author 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 ISSTADoctoral 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