Cristian Cadar

Publication Activity (10 Years)

Years Active: 2004-2023
Publications (10 Years): 42

Top Topics

Static Analysis

Presburger Arithmetic

Electronic Documents

Execution Engine

Top Venues

ESEC/SIGSOFT FSE

Publications

Karine Even-Mendoza, Arindam Sharma, Alastair F. Donaldson, Cristian Cadar
GrayC: Greybox Fuzzing of Compilers and Analysers for C. ISSTA (2023)
Daniel Schemmel, Julian Büning, Frank Busse, Martin Nowack, Cristian Cadar
KDAlloc: The KLEE Deterministic Allocator: Deterministic Memory Allocation during Symbolic Execution and Test Case Replay. ISSTA (2023)
Cristian Cadar
Three Colours of Fuzzing: Reflections and Open Challenges (Keynote). FUZZING (2023)
Cristian Cadar, Daniel Schemmel, Arindam Sharma
Patch Specifications via Product Programs. FormaliSE (2023)
Bachir Bendrissou, Cristian Cadar, Alastair F. Donaldson
Grammar Mutation for Testing Input Parsers (Registered Report). FUZZING (2023)
Anastasios Andronidis, Cristian Cadar
SnapFuzz: high-throughput fuzzing of network applications. ISSTA (2022)
Daniel Schemmel, Julian Büning, Frank Busse, Martin Nowack, Cristian Cadar
A Deterministic Memory Allocator for Dynamic Symbolic Execution (Artifact). Dagstuhl Artifacts Ser. 8 (2) (2022)
Paul-Antoine Arras, Anastasios Andronidis, Luís Pina, Karolis Mituzas, Qianyi Shu, Daniel Grumberg, Cristian Cadar
SaBRe: load-time selective binary rewriting. Int. J. Softw. Tools Technol. Transf. 24 (2) (2022)
Daniel Schemmel, Julian Büning, Frank Busse, Martin Nowack, Cristian Cadar
A Deterministic Memory Allocator for Dynamic Symbolic Execution. ECOOP (2022)
Frank Busse, Pritam Gharat, Cristian Cadar, Alastair F. Donaldson
Combining static analysis error traces with dynamic symbolic execution (experience paper). ISSTA (2022)
Karine Even-Mendoza, Cristian Cadar, Alastair F. Donaldson
CsmithEdge: more effective compiler testing by handling undefined behaviour less conservatively. Empir. Softw. Eng. 27 (6) (2022)
Anastasios Andronidis, Cristian Cadar
SnapFuzz: An Efficient Fuzzing Framework for Network Applications. CoRR (2022)
Marcel Böhme, Cristian Cadar, Abhik Roychoudhury
Fuzzing: Challenges and Reflections. IEEE Softw. 38 (3) (2021)
Cristian Cadar, Martin Nowack
KLEE symbolic execution engine in 2019. Int. J. Softw. Tools Technol. Transf. 23 (6) (2021)
Frank Busse, Martin Nowack, Cristian Cadar
Running symbolic execution forever. ISSTA (2020)
David Trabish, Timotej Kapus, Noam Rinetzky, Cristian Cadar
Past-sensitive pointer analysis for symbolic execution. ESEC/SIGSOFT FSE (2020)
Timotej Kapus, Frank Busse, Cristian Cadar
Pending Constraints in Symbolic Execution for Better Exploration and Seeding. ASE (2020)
Karine Even-Mendoza, Cristian Cadar, Alastair F. Donaldson
Closer to the Edge: Testing Compilers More Thoroughly by Being Less Conservative About Undefined Behaviour. ASE (2020)
Marcel Böhme, Cristian Cadar, Abhik Roychoudhury
Fuzzing and Symbolic Execution: Reflections, Challenges, and Opportunities (NII Shonan Meeting 160). NII Shonan Meet. Rep. 2019 (2019)
Michaël Marcozzi, Qiyi Tang, Alastair F. Donaldson, Cristian Cadar
A Systematic Impact Study for Fuzzer-Found Compiler Bugs. CoRR (2019)
Timotej Kapus, Cristian Cadar
A segmented memory model for symbolic execution. ESEC/SIGSOFT FSE (2019)
Luís Pina, Anastasios Andronidis, Michael Hicks, Cristian Cadar
MVEDSUA: Higher Availability Dynamic Software Updates via Multi-Version Execution. ASPLOS (2019)
Daniel Liew, Cristian Cadar, Alastair F. Donaldson, J. Ryan Stinnett
Just fuzz it: solving floating-point constraints using coverage-guided fuzzing. ESEC/SIGSOFT FSE (2019)
Timotej Kapus, Oren Ish-Shalom, Shachar Itzhaky, Noam Rinetzky, Cristian Cadar
Computing summaries of string loops in C for better testing and refactoring. PLDI (2019)
Sébastien Bardin, Nikolaj Bjørner, Cristian Cadar
Bringing CP, SAT and SMT together: Next Challenges in Constraint Solving (Dagstuhl Seminar 19062). Dagstuhl Reports 9 (2) (2019)
Timotej Kapus, Martin Nowack, Cristian Cadar
Constraints in Dynamic Symbolic Execution: Bitvectors or Integers? TAP@FM (2019)
Michaël Marcozzi, Qiyi Tang, Alastair F. Donaldson, Cristian Cadar
Compiler fuzzing: how much does it matter? Proc. ACM Program. Lang. 3 (OOPSLA) (2019)
Tomasz Kuchta, Hristina Palikareva, Cristian Cadar
Shadow Symbolic Execution for Testing Software Patches. ACM Trans. Softw. Eng. Methodol. 27 (3) (2018)
David Trabish, Andrea Mattavelli, Noam Rinetzky, Cristian Cadar
Chopped symbolic execution. ICSE (2018)
Tomasz Kuchta, Thibaud Lutellier, Edmund Wong, Lin Tan, Cristian Cadar
On the correctness of electronic documents: studying, finding, and localizing inconsistency bugs in PDF readers and files. Empir. Softw. Eng. 23 (6) (2018)
Luís Pina, Anastasios Andronidis, Cristian Cadar
: deploying incompatible stock dynamic analyses in production via multi-version execution. CF (2018)
Oscar Soria Dustmann, Klaus Wehrle, Cristian Cadar
PARTI: a multi-interval theory solver for symbolic execution. ASE (2018)
Luís Pina, Daniel Grumberg, Anastasios Andronidis, Cristian Cadar
A DSL Approach to Reconcile Equivalent Divergent Program Executions. USENIX Annual Technical Conference (2017)
Timotej Kapus, Cristian Cadar
Automatic testing of symbolic execution engines via program generation and differential testing. ASE (2017)
David Mitchel Perry, Andrea Mattavelli, Xiangyu Zhang, Cristian Cadar
Accelerating array constraints in symbolic execution. ISSTA (2017)
Daniel Liew, Daniel Schemmel, Cristian Cadar, Alastair F. Donaldson, Rafael Zähl, Klaus Wehrle
Floating-point symbolic execution: a case study in n-version programming. ASE (2017)
Daniel Liew, Cristian Cadar, Alastair F. Donaldson
Symbooglix: A Symbolic Execution Engine for Boogie Programs. ICST (2016)
Cristian Cadar, Alastair F. Donaldson
Analysing the program analyser. ICSE (Companion Volume) (2016)
Hristina Palikareva, Tomasz Kuchta, Cristian Cadar
Shadow of a doubt: testing for divergences between software versions. ICSE (2016)
Cristian Cadar
Targeted program transformations for symbolic execution. ESEC/SIGSOFT FSE (2015)
Petr Hosek, Cristian Cadar
VARAN the Unbelievable: An Efficient N-version Execution Framework. ASPLOS (2015)
Luís Pina, Cristian Cadar
Towards deployment-time dynamic analysis of server applications. WODA@SPLASH (2015)
Paul Dan Marinescu, Petr Hosek, Cristian Cadar
Covrig: a framework for the analysis of code, test, and coverage evolution in real software. ISSTA (2014)
Tomasz Kuchta, Cristian Cadar, Miguel Castro, Manuel Costa
Docovery: toward generic automatic document recovery. ASE (2014)
Cristian Cadar, Vijay Ganesh, Raimondas Sasnauskas, Koushik Sen
Symbolic Execution and Constraint Solving (Dagstuhl Seminar 14442). Dagstuhl Reports 4 (10) (2014)
Hristina Palikareva, Cristian Cadar
Multi-solver Support in Symbolic Execution. SMT (2014)
JaeSeung Song, Cristian Cadar, Peter R. Pietzuch
SymbexNet: Testing Network Protocol Implementations with Symbolic Execution and Rule-Based Specifications. IEEE Trans. Software Eng. 40 (7) (2014)
Peter Collingbourne, Cristian Cadar, Paul H. J. Kelly
Symbolic Crosschecking of Data-Parallel Floating-Point Code. IEEE Trans. Software Eng. 40 (7) (2014)
Cristian Cadar, Hristina Palikareva
Shadow symbolic execution for better testing of evolving software. ICSE Companion (2014)
Cristian Cadar, Frédéric Dadeau
Constraints in Software Testing, Verification and Analysis CSTVA'2013. ICST Workshops (2013)
Petr Hosek, Cristian Cadar
Safe software updates via multi-version execution. ICSE (2013)
Paul Dan Marinescu, Cristian Cadar
KATCH: high-coverage testing of software patches. ESEC/SIGSOFT FSE (2013)
Cristian Cadar, Koushik Sen
Symbolic execution for software testing: three decades later. Commun. ACM 56 (2) (2013)
Hristina Palikareva, Cristian Cadar
Multi-solver Support in Symbolic Execution. CAV (2013)
Robert Craven, Francesca Toni, Cristian Cadar, Adrian Hadad, Matthew Williams
Efficient Argumentation for Medical Decision-Making. KR (2012)
Paul Dan Marinescu, Cristian Cadar
High-Coverage Symbolic Patch Testing. SPIN (2012)
Paul Dan Marinescu, Cristian Cadar
make test-zesti: A symbolic execution solution for improving regression testing. ICSE (2012)
Cristian Cadar, Petr Hosek
Multi-version software updates. HotSWUp (2012)
Cristian Cadar, Koushik Sen
Symbolic Execution. RV (2012)
Peter Collingbourne, Cristian Cadar, Paul H. J. Kelly
Symbolic crosschecking of floating-point and SIMD code. EuroSys (2011)
Tristan Oliver Richard Allwood, Cristian Cadar, Susan Eisenbach
High coverage testing of Haskell programs. ISSTA (2011)
Peter Collingbourne, Cristian Cadar, Paul H. J. Kelly
Symbolic Testing of OpenCL Code. Haifa Verification Conference (2011)
Cristian Cadar, Patrice Godefroid, Sarfraz Khurshid, Corina S. Pasareanu, Koushik Sen, Nikolai Tillmann, Willem Visser
Symbolic execution for software testing in practice: preliminary assessment. ICSE (2011)
JaeSeung Song, Tiejun Ma, Cristian Cadar, Peter R. Pietzuch
Rule-Based Verification of Network Protocol Implementations Using Symbolic Execution. ICCCN (2011)
Cristian Cadar, Peter R. Pietzuch, Alexander L. Wolf
Multiplicity computing: a vision of software engineering for next-generation computing platform applications. FoSER (2010)
Cristian Cadar, Vijay Ganesh, Peter M. Pawlowski, David L. Dill, Dawson R. Engler
EXE: Automatically Generating Inputs of Death. ACM Trans. Inf. Syst. Secur. 12 (2) (2008)
Periklis Akritidis, Cristian Cadar, Costin Raiciu, Manuel Costa, Miguel Castro
Preventing Memory Error Exploits with WIT. IEEE Symposium on Security and Privacy (2008)
Cristian Cadar, Daniel Dunbar, Dawson R. Engler
KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs. OSDI (2008)
Peter Boonstoppel, Cristian Cadar, Dawson R. Engler
RWset: Attacking Path Explosion in Constraint-Based Test Generation. TACAS (2008)
Junfeng Yang, Can Sar, Paul Twohey, Cristian Cadar, Dawson R. Engler
Automatically Generating Malicious Disks using Symbolic Execution. IEEE Symposium on Security and Privacy (2006)
Cristian Cadar, Vijay Ganesh, Peter M. Pawlowski, David L. Dill, Dawson R. Engler
EXE: automatically generating inputs of death. CCS (2006)
Martin Stiemerling, Jürgen Quittek, Cristian Cadar
NEC's Simple Middlebox Configuration (SIMCO) Protocol Version 3.0. RFC 4540 (2006)
Martin C. Rinard, Cristian Cadar, Huu Hai Nguyen
Exploring the acceptability envelope. OOPSLA Companion (2005)
Cristian Cadar, Dawson R. Engler
Execution Generated Test Cases: How to Make Systems Code Crash Itself. SPIN (2005)
Martin C. Rinard, Cristian Cadar, Daniel Dumitran, Daniel M. Roy, Tudor Leu, William S. Beebee
Enhancing Server Availability and Security Through Failure-Oblivious Computing. OSDI (2004)
Martin C. Rinard, Cristian Cadar, Daniel Dumitran, Daniel M. Roy, Tudor Leu
A Dynamic Technique for Eliminating Buffer Overflow Vulnerabilities (and Other Memory Errors). ACSAC (2004)