Cristian Cadar

According to our database, Cristian Cadar authored at least 75 papers between 2004 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

KDAlloc: The KLEE Deterministic Allocator: Deterministic Memory Allocation during Symbolic Execution and Test Case Replay.

Daniel Schemmel, Julian Büning, Frank Busse, Martin Nowack, Cristian Cadar

Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023

GrayC: Greybox Fuzzing of Compilers and Analysers for C.

Karine Even-Mendoza, Arindam Sharma, Alastair F. Donaldson, Cristian Cadar

Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023

Patch Specifications via Product Programs.

Cristian Cadar, Daniel Schemmel, Arindam Sharma

Proceedings of the 11th IEEE/ACM International Conference on Formal Methods in Software Engineering, 2023

Three Colours of Fuzzing: Reflections and Open Challenges (Keynote).

Cristian Cadar

Proceedings of the 2nd International Fuzzing Workshop, 2023

Grammar Mutation for Testing Input Parsers (Registered Report).

Bachir Bendrissou, Cristian Cadar, Alastair F. Donaldson

Proceedings of the 2nd International Fuzzing Workshop, 2023

2022

SaBRe: load-time selective binary rewriting.

Paul-Antoine Arras, Anastasios Andronidis, Luís Pina, Karolis Mituzas, Qianyi Shu, Daniel Grumberg, Cristian Cadar

Int. J. Softw. Tools Technol. Transf., 2022

CsmithEdge: more effective compiler testing by handling undefined behaviour less conservatively.

Karine Even-Mendoza, Cristian Cadar, Alastair F. Donaldson

Empir. Softw. Eng., 2022

A Deterministic Memory Allocator for Dynamic Symbolic Execution (Artifact).

Daniel Schemmel, Julian Büning, Frank Busse, Martin Nowack, Cristian Cadar

Dagstuhl Artifacts Ser., 2022

SnapFuzz: An Efficient Fuzzing Framework for Network Applications.

Anastasios Andronidis, Cristian Cadar

CoRR, 2022

Combining static analysis error traces with dynamic symbolic execution (experience paper).

Frank Busse, Pritam M. Gharat, Cristian Cadar, Alastair F. Donaldson

Proceedings of the ISSTA '22: 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, South Korea, July 18, 2022

SnapFuzz: high-throughput fuzzing of network applications.

Anastasios Andronidis, Cristian Cadar

Proceedings of the ISSTA '22: 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, South Korea, July 18, 2022

A Deterministic Memory Allocator for Dynamic Symbolic Execution.

Daniel Schemmel, Julian Büning, Frank Busse, Martin Nowack, Cristian Cadar

Proceedings of the 36th European Conference on Object-Oriented Programming, 2022

2021

KLEE symbolic execution engine in 2019.

Cristian Cadar, Martin Nowack

Int. J. Softw. Tools Technol. Transf., 2021

Fuzzing: Challenges and Reflections.

Marcel Böhme, Cristian Cadar, Abhik Roychoudhury

IEEE Softw., 2021

2020

Past-sensitive pointer analysis for symbolic execution.

David Trabish, Timotej Kapus, Noam Rinetzky, Cristian Cadar

Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

Pending Constraints in Symbolic Execution for Better Exploration and Seeding.

Timotej Kapus, Frank Busse, Cristian Cadar

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

Closer to the Edge: Testing Compilers More Thoroughly by Being Less Conservative About Undefined Behaviour.

Karine Even-Mendoza, Cristian Cadar, Alastair F. Donaldson

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

Running symbolic execution forever.

Frank Busse, Martin Nowack, Cristian Cadar

Proceedings of the ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2020

2019

Fuzzing and Symbolic Execution: Reflections, Challenges, and Opportunities (NII Shonan Meeting 160).

Marcel Böhme, Cristian Cadar, Abhik Roychoudhury

NII Shonan Meet. Rep., 2019

Compiler fuzzing: how much does it matter?

Michaël Marcozzi, Qiyi Tang, Alastair F. Donaldson, Cristian Cadar

Proc. ACM Program. Lang., 2019

Bringing CP, SAT and SMT together: Next Challenges in Constraint Solving (Dagstuhl Seminar 19062).

Sébastien Bardin, Nikolaj S. Bjørner, Cristian Cadar

Dagstuhl Reports, 2019

A Systematic Impact Study for Fuzzer-Found Compiler Bugs.

Michaël Marcozzi, Qiyi Tang, Alastair F. Donaldson, Cristian Cadar

CoRR, 2019

Constraints in Dynamic Symbolic Execution: Bitvectors or Integers?

Timotej Kapus, Martin Nowack, Cristian Cadar

Proceedings of the Tests and Proofs - 13th International Conference, 2019

Just fuzz it: solving floating-point constraints using coverage-guided fuzzing.

Daniel Liew, Cristian Cadar, Alastair F. Donaldson, J. Ryan Stinnett

Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019

A segmented memory model for symbolic execution.

Timotej Kapus, Cristian Cadar

Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019

Computing summaries of string loops in C for better testing and refactoring.

Timotej Kapus, Oren Ish-Shalom, Shachar Itzhaky, Noam Rinetzky, Cristian Cadar

Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

MVEDSUA: Higher Availability Dynamic Software Updates via Multi-Version Execution.

Luís Pina, Anastasios Andronidis, Michael Hicks, Cristian Cadar

Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems, 2019

2018

Shadow Symbolic Execution for Testing Software Patches.

Tomasz Kuchta, Hristina Palikareva, Cristian Cadar

ACM Trans. Softw. Eng. Methodol., 2018

On the correctness of electronic documents: studying, finding, and localizing inconsistency bugs in PDF readers and files.

Tomasz Kuchta, Thibaud Lutellier, Edmund Wong, Lin Tan, Cristian Cadar

Empir. Softw. Eng., 2018

PARTI: a multi-interval theory solver for symbolic execution.

Oscar Soria Dustmann, Klaus Wehrle, Cristian Cadar

Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

Chopped symbolic execution.

David Trabish, Andrea Mattavelli, Noam Rinetzky, Cristian Cadar

Proceedings of the 40th International Conference on Software Engineering, 2018

<i>FreeDA</i>: deploying incompatible stock dynamic analyses in production via multi-version execution.

Luís Pina, Anastasios Andronidis, Cristian Cadar

Proceedings of the 15th ACM International Conference on Computing Frontiers, 2018

2017

A DSL Approach to Reconcile Equivalent Divergent Program Executions.

Luís Pina, Daniel Grumberg, Anastasios Andronidis, Cristian Cadar

Proceedings of the 2017 USENIX Annual Technical Conference, 2017

Floating-point symbolic execution: a case study in n-version programming.

Daniel Liew, Daniel Schemmel, Cristian Cadar, Alastair F. Donaldson, Rafael Zähl, Klaus Wehrle

Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

Automatic testing of symbolic execution engines via program generation and differential testing.

Timotej Kapus, Cristian Cadar

Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

Accelerating array constraints in symbolic execution.

David Mitchel Perry, Andrea Mattavelli, Xiangyu Zhang, Cristian Cadar

Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, Santa Barbara, CA, USA, July 10, 2017

2016

Symbooglix: A Symbolic Execution Engine for Boogie Programs.

Daniel Liew, Cristian Cadar, Alastair F. Donaldson

Proceedings of the 2016 IEEE International Conference on Software Testing, 2016

Shadow of a doubt: testing for divergences between software versions.

Hristina Palikareva, Tomasz Kuchta, Cristian Cadar

Proceedings of the 38th International Conference on Software Engineering, 2016

Analysing the program analyser.

Cristian Cadar, Alastair F. Donaldson

Proceedings of the 38th International Conference on Software Engineering, 2016

2015

Targeted program transformations for symbolic execution.

Cristian Cadar

Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015

Towards deployment-time dynamic analysis of server applications.

Luís Pina, Cristian Cadar

Proceedings of the 13th International Workshop on Dynamic Analysis, 2015

VARAN the Unbelievable: An Efficient N-version Execution Framework.

Petr Hosek, Cristian Cadar

Proceedings of the Twentieth International Conference on Architectural Support for Programming Languages and Operating Systems, 2015

2014

SymbexNet: Testing Network Protocol Implementations with Symbolic Execution and Rule-Based Specifications.

JaeSeung Song, Cristian Cadar, Peter R. Pietzuch

IEEE Trans. Software Eng., 2014

Symbolic Crosschecking of Data-Parallel Floating-Point Code.

Peter Collingbourne, Cristian Cadar, Paul H. J. Kelly

IEEE Trans. Software Eng., 2014

Symbolic Execution and Constraint Solving (Dagstuhl Seminar 14442).

Cristian Cadar, Vijay Ganesh, Raimondas Sasnauskas, Koushik Sen

Dagstuhl Reports, 2014

Docovery: toward generic automatic document recovery.

Tomasz Kuchta, Cristian Cadar, Miguel Castro, Manuel Costa

Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014

Covrig: a framework for the analysis of code, test, and coverage evolution in real software.

Paul Dan Marinescu, Petr Hosek, Cristian Cadar

Proceedings of the International Symposium on Software Testing and Analysis, 2014

Shadow symbolic execution for better testing of evolving software.

Cristian Cadar, Hristina Palikareva

Proceedings of the 36th International Conference on Software Engineering, 2014

2013

Symbolic execution for software testing: three decades later.

Cristian Cadar, Koushik Sen

Commun. ACM, 2013

KATCH: high-coverage testing of software patches.

Paul Dan Marinescu, Cristian Cadar

Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013

Constraints in Software Testing, Verification and Analysis CSTVA'2013.

Cristian Cadar, Frédéric Dadeau

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

Safe software updates via multi-version execution.

Petr Hosek, Cristian Cadar

Proceedings of the 35th International Conference on Software Engineering, 2013

Multi-solver Support in Symbolic Execution.

Hristina Palikareva, Cristian Cadar

Proceedings of the Computer Aided Verification - 25th International Conference, 2013

2012

High-Coverage Symbolic Patch Testing.

Paul Dan Marinescu, Cristian Cadar

Proceedings of the Model Checking Software - 19th International Workshop, 2012

Symbolic Execution.

Cristian Cadar, Koushik Sen

Proceedings of the Runtime Verification, Third International Conference, 2012

Efficient Argumentation for Medical Decision-Making.

Robert Craven, Francesca Toni, Cristian Cadar, Adrian Hadad, Matthew Williams

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012

make test-zesti: A symbolic execution solution for improving regression testing.

Paul Dan Marinescu, Cristian Cadar

Proceedings of the 34th International Conference on Software Engineering, 2012

Multi-version software updates.

Cristian Cadar, Petr Hosek

Proceedings of the 4th International Workshop on Hot Topics in Software Upgrades, 2012

2011

High coverage testing of Haskell programs.

Tristan Oliver Richard Allwood, Cristian Cadar, Susan Eisenbach

Proceedings of the 20th International Symposium on Software Testing and Analysis, 2011

Symbolic execution for software testing in practice: preliminary assessment.

Cristian Cadar, Patrice Godefroid, Sarfraz Khurshid, Corina S. Pasareanu, Koushik Sen, Nikolai Tillmann, Willem Visser

Proceedings of the 33rd International Conference on Software Engineering, 2011

Rule-Based Verification of Network Protocol Implementations Using Symbolic Execution.

JaeSeung Song, Tiejun Ma, Cristian Cadar, Peter R. Pietzuch

Proceedings of 20th International Conference on Computer Communications and Networks, 2011

Symbolic Testing of OpenCL Code.

Peter Collingbourne, Cristian Cadar, Paul H. J. Kelly

Proceedings of the Hardware and Software: Verification and Testing, 2011

Symbolic crosschecking of floating-point and SIMD code.

Peter Collingbourne, Cristian Cadar, Paul H. J. Kelly

Proceedings of the European Conference on Computer Systems, 2011

2010

Multiplicity computing: a vision of software engineering for next-generation computing platform applications.

Cristian Cadar, Peter R. Pietzuch, Alexander L. Wolf

Proceedings of the Workshop on Future of Software Engineering Research, 2010

2009

Symbolic execution for testing complex software.

Cristian Cadar

PhD thesis, 2009

2008

EXE: Automatically Generating Inputs of Death.

Cristian Cadar, Vijay Ganesh, Peter M. Pawlowski, David L. Dill, Dawson R. Engler

ACM Trans. Inf. Syst. Secur., 2008

RWset: Attacking Path Explosion in Constraint-Based Test Generation.

Peter Boonstoppel, Cristian Cadar, Dawson R. Engler

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2008

Preventing Memory Error Exploits with WIT.

Periklis Akritidis, Cristian Cadar, Costin Raiciu, Manuel Costa, Miguel Castro

Proceedings of the 2008 IEEE Symposium on Security and Privacy (SP 2008), 2008

KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs.

Cristian Cadar, Daniel Dunbar, Dawson R. Engler

Proceedings of the 8th USENIX Symposium on Operating Systems Design and Implementation, 2008

2006

NEC's Simple Middlebox Configuration (SIMCO) Protocol Version 3.0.

Martin Stiemerling, Jürgen Quittek, Cristian Cadar

RFC, May, 2006

Automatically Generating Malicious Disks using Symbolic Execution.

Junfeng Yang, Can Sar, Paul Twohey, Cristian Cadar, Dawson R. Engler

Proceedings of the 2006 IEEE Symposium on Security and Privacy (S&P 2006), 2006

2005

Execution Generated Test Cases: How to Make Systems Code Crash Itself.

Cristian Cadar, Dawson R. Engler

Proceedings of the Model Checking Software, 2005

Exploring the acceptability envelope.

Martin C. Rinard, Cristian Cadar, Huu Hai Nguyen

Proceedings of the Companion to the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2005

2004

Enhancing Server Availability and Security Through Failure-Oblivious Computing.

Martin C. Rinard, Cristian Cadar, Daniel Dumitran, Daniel M. Roy, Tudor Leu, William S. Beebee

Proceedings of the 6th Symposium on Operating System Design and Implementation (OSDI 2004), 2004

A Dynamic Technique for Eliminating Buffer Overflow Vulnerabilities (and Other Memory Errors).

Martin C. Rinard, Cristian Cadar, Daniel Dumitran, Daniel M. Roy, Tudor Leu

Proceedings of the 20th Annual Computer Security Applications Conference (ACSAC 2004), 2004