![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Cristian Cadar
Person information
- affiliation: Imperial College London, UK
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [c58]Cristian Cadar:
Three Colours of Fuzzing: Reflections and Open Challenges (Keynote). FUZZING 2023: 1 - [c57]Bachir Bendrissou, Cristian Cadar, Alastair F. Donaldson:
Grammar Mutation for Testing Input Parsers (Registered Report). FUZZING 2023: 3-11 - [c56]Cristian Cadar, Daniel Schemmel, Arindam Sharma
:
Patch Specifications via Product Programs. FormaliSE 2023: 39-43 - [c55]Karine Even-Mendoza, Arindam Sharma
, Alastair F. Donaldson, Cristian Cadar:
GrayC: Greybox Fuzzing of Compilers and Analysers for C. ISSTA 2023: 1219-1231 - [c54]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: 1491-1494 - 2022
- [j12]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): 13:1-13:2 (2022) - [j11]Karine Even-Mendoza
, Cristian Cadar
, Alastair F. Donaldson
:
CsmithEdge: more effective compiler testing by handling undefined behaviour less conservatively. Empir. Softw. Eng. 27(6): 129 (2022) - [j10]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): 205-223 (2022) - [c53]Daniel Schemmel
, Julian Büning, Frank Busse
, Martin Nowack, Cristian Cadar:
A Deterministic Memory Allocator for Dynamic Symbolic Execution. ECOOP 2022: 9:1-9:26 - [c52]Anastasios Andronidis, Cristian Cadar:
SnapFuzz: high-throughput fuzzing of network applications. ISSTA 2022: 340-351 - [c51]Frank Busse
, Pritam M. Gharat
, Cristian Cadar
, Alastair F. Donaldson:
Combining static analysis error traces with dynamic symbolic execution (experience paper). ISSTA 2022: 568-579 - [e5]Abhik Roychoudhury, Cristian Cadar, Miryung Kim:
Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/FSE 2022, Singapore, Singapore, November 14-18, 2022. ACM 2022, ISBN 978-1-4503-9413-0 [contents] - [i6]Anastasios Andronidis, Cristian Cadar:
SnapFuzz: An Efficient Fuzzing Framework for Network Applications. CoRR abs/2201.04048 (2022) - 2021
- [j9]Marcel Böhme
, Cristian Cadar
, Abhik Roychoudhury
:
Fuzzing: Challenges and Reflections. IEEE Softw. 38(3): 79-86 (2021) - [j8]Cristian Cadar
, Martin Nowack
:
KLEE symbolic execution engine in 2019. Int. J. Softw. Tools Technol. Transf. 23(6): 867-870 (2021) - [e4]Antonio Barbalace, Pramod Bhatotia, Lorenzo Alvisi, Cristian Cadar:
EuroSys '21: Sixteenth European Conference on Computer Systems, Online Event, United Kingdom, April 26-28, 2021. ACM 2021, ISBN 978-1-4503-8334-9 [contents] - [e3]Cristian Cadar, Xiangyu Zhang:
ISSTA '21: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, Denmark, July 11-17, 2021. ACM 2021, ISBN 978-1-4503-8459-9 [contents] - 2020
- [c50]Frank Busse
, Martin Nowack
, Cristian Cadar
:
Running symbolic execution forever. ISSTA 2020: 63-74 - [c49]Timotej Kapus
, Frank Busse
, Cristian Cadar
:
Pending Constraints in Symbolic Execution for Better Exploration and Seeding. ASE 2020: 115-126 - [c48]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: 1219-1223 - [c47]David Trabish, Timotej Kapus
, Noam Rinetzky, Cristian Cadar
:
Past-sensitive pointer analysis for symbolic execution. ESEC/SIGSOFT FSE 2020: 197-208
2010 – 2019
- 2019
- [j7]Michaël Marcozzi, Qiyi Tang
, Alastair F. Donaldson, Cristian Cadar
:
Compiler fuzzing: how much does it matter? Proc. ACM Program. Lang. 3(OOPSLA): 155:1-155:29 (2019) - [c46]Luís Pina
, Anastasios Andronidis, Michael Hicks, Cristian Cadar
:
MVEDSUA: Higher Availability Dynamic Software Updates via Multi-Version Execution. ASPLOS 2019: 573-585 - [c45]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: 874-888 - [c44]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: 521-532 - [c43]Timotej Kapus
, Cristian Cadar
:
A segmented memory model for symbolic execution. ESEC/SIGSOFT FSE 2019: 774-784 - [c42]Timotej Kapus
, Martin Nowack
, Cristian Cadar
:
Constraints in Dynamic Symbolic Execution: Bitvectors or Integers? TAP@FM 2019: 41-54 - [i5]Michaël Marcozzi, Qiyi Tang, Alastair F. Donaldson, Cristian Cadar:
A Systematic Impact Study for Fuzzer-Found Compiler Bugs. CoRR abs/1902.09334 (2019) - [i4]Sébastien Bardin, Nikolaj S. Bjørner, Cristian Cadar:
Bringing CP, SAT and SMT together: Next Challenges in Constraint Solving (Dagstuhl Seminar 19062). Dagstuhl Reports 9(2): 27-47 (2019) - [i3]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) - 2018
- [j6]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): 3187-3220 (2018) - [j5]Tomasz Kuchta
, Hristina Palikareva, Cristian Cadar
:
Shadow Symbolic Execution for Testing Software Patches. ACM Trans. Softw. Eng. Methodol. 27(3): 10:1-10:32 (2018) - [c41]Luís Pina
, Anastasios Andronidis, Cristian Cadar
:
FreeDA: deploying incompatible stock dynamic analyses in production via multi-version execution. CF 2018: 1-10 - [c40]David Trabish, Andrea Mattavelli, Noam Rinetzky, Cristian Cadar
:
Chopped symbolic execution. ICSE 2018: 350-360 - [c39]Oscar Soria Dustmann, Klaus Wehrle
, Cristian Cadar
:
PARTI: a multi-interval theory solver for symbolic execution. ASE 2018: 430-440 - 2017
- [c38]David Mitchel Perry, Andrea Mattavelli, Xiangyu Zhang, Cristian Cadar
:
Accelerating array constraints in symbolic execution. ISSTA 2017: 68-78 - [c37]Timotej Kapus
, Cristian Cadar
:
Automatic testing of symbolic execution engines via program generation and differential testing. ASE 2017: 590-600 - [c36]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: 601-612 - [c35]Luís Pina, Daniel Grumberg, Anastasios Andronidis, Cristian Cadar:
A DSL Approach to Reconcile Equivalent Divergent Program Executions. USENIX ATC 2017: 417-429 - 2016
- [c34]Cristian Cadar
, Alastair F. Donaldson:
Analysing the program analyser. ICSE (Companion Volume) 2016: 765-768 - [c33]Hristina Palikareva, Tomasz Kuchta
, Cristian Cadar
:
Shadow of a doubt: testing for divergences between software versions. ICSE 2016: 1181-1192 - [c32]Daniel Liew, Cristian Cadar
, Alastair F. Donaldson:
Symbooglix: A Symbolic Execution Engine for Boogie Programs. ICST 2016: 45-56 - [e2]Cristian Cadar, Peter R. Pietzuch, Kimberly Keeton, Rodrigo Rodrigues:
Proceedings of the Eleventh European Conference on Computer Systems, EuroSys 2016, London, United Kingdom, April 18-21, 2016. ACM 2016, ISBN 978-1-4503-4240-7 [contents] - 2015
- [c31]Petr Hosek, Cristian Cadar
:
VARAN the Unbelievable: An Efficient N-version Execution Framework. ASPLOS 2015: 339-353 - [c30]Luís Pina
, Cristian Cadar
:
Towards deployment-time dynamic analysis of server applications. WODA@SPLASH 2015: 35-36 - [c29]Cristian Cadar
:
Targeted program transformations for symbolic execution. ESEC/SIGSOFT FSE 2015: 906-909 - 2014
- [j4]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): 695-709 (2014) - [j3]Peter Collingbourne, Cristian Cadar
, Paul H. J. Kelly:
Symbolic Crosschecking of Data-Parallel Floating-Point Code. IEEE Trans. Software Eng. 40(7): 710-737 (2014) - [c28]Cristian Cadar
, Hristina Palikareva:
Shadow symbolic execution for better testing of evolving software. ICSE Companion 2014: 432-435 - [c27]Paul Dan Marinescu, Petr Hosek, Cristian Cadar
:
Covrig: a framework for the analysis of code, test, and coverage evolution in real software. ISSTA 2014: 93-104 - [c26]Tomasz Kuchta
, Cristian Cadar
, Miguel Castro, Manuel Costa:
Docovery: toward generic automatic document recovery. ASE 2014: 563-574 - [c25]Hristina Palikareva, Cristian Cadar:
Multi-solver Support in Symbolic Execution. SMT 2014: 15 - [i2]Cristian Cadar, Vijay Ganesh, Raimondas Sasnauskas, Koushik Sen:
Symbolic Execution and Constraint Solving (Dagstuhl Seminar 14442). Dagstuhl Reports 4(10): 98-114 (2014) - 2013
- [j2]Cristian Cadar
, Koushik Sen:
Symbolic execution for software testing: three decades later. Commun. ACM 56(2): 82-90 (2013) - [c24]Hristina Palikareva, Cristian Cadar
:
Multi-solver Support in Symbolic Execution. CAV 2013: 53-68 - [c23]Petr Hosek, Cristian Cadar
:
Safe software updates via multi-version execution. ICSE 2013: 612-621 - [c22]Cristian Cadar
, Frédéric Dadeau:
Constraints in Software Testing, Verification and Analysis CSTVA'2013. ICST Workshops 2013: 208-209 - [c21]Paul Dan Marinescu, Cristian Cadar
:
KATCH: high-coverage testing of software patches. ESEC/SIGSOFT FSE 2013: 235-245 - [e1]Cristian Cadar, Jeff Foster:
5th Workshop on Hot Topics in Software Upgrades, HotSWUp'13, San Jose, CA, USA, June 28, 2013. USENIX Association 2013 [contents] - 2012
- [c20]Cristian Cadar
, Petr Hosek:
Multi-version software updates. HotSWUp 2012: 36-40 - [c19]Paul Dan Marinescu, Cristian Cadar
:
make test-zesti: A symbolic execution solution for improving regression testing. ICSE 2012: 716-726 - [c18]Robert Craven, Francesca Toni, Cristian Cadar, Adrian Hadad, Matthew Williams:
Efficient Argumentation for Medical Decision-Making. KR 2012 - [c17]Cristian Cadar, Koushik Sen:
Symbolic Execution. RV 2012: 2 - [c16]Paul Dan Marinescu, Cristian Cadar
:
High-Coverage Symbolic Patch Testing. SPIN 2012: 7-21 - 2011
- [c15]Peter Collingbourne, Cristian Cadar, Paul H. J. Kelly:
Symbolic crosschecking of floating-point and SIMD code. EuroSys 2011: 315-328 - [c14]Peter Collingbourne, Cristian Cadar
, Paul H. J. Kelly:
Symbolic Testing of OpenCL Code. Haifa Verification Conference 2011: 203-218 - [c13]JaeSeung Song, Tiejun Ma, Cristian Cadar, Peter R. Pietzuch:
Rule-Based Verification of Network Protocol Implementations Using Symbolic Execution. ICCCN 2011: 1-8 - [c12]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: 1066-1071 - [c11]Tristan Oliver Richard Allwood, Cristian Cadar
, Susan Eisenbach:
High coverage testing of Haskell programs. ISSTA 2011: 375-385 - 2010
- [c10]Cristian Cadar
, Peter R. Pietzuch
, Alexander L. Wolf:
Multiplicity computing: a vision of software engineering for next-generation computing platform applications. FoSER 2010: 81-86
2000 – 2009
- 2009
- [b1]Cristian Cadar:
Symbolic execution for testing complex software. Stanford University, USA, 2009 - 2008
- [j1]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): 10:1-10:38 (2008) - [c9]Cristian Cadar, Daniel Dunbar, Dawson R. Engler:
KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs. OSDI 2008: 209-224 - [c8]Periklis Akritidis, Cristian Cadar, Costin Raiciu
, Manuel Costa, Miguel Castro:
Preventing Memory Error Exploits with WIT. SP 2008: 263-277 - [c7]Peter Boonstoppel, Cristian Cadar, Dawson R. Engler:
RWset: Attacking Path Explosion in Constraint-Based Test Generation. TACAS 2008: 351-366 - 2006
- [c6]Cristian Cadar, Vijay Ganesh
, Peter M. Pawlowski, David L. Dill, Dawson R. Engler:
EXE: automatically generating inputs of death. CCS 2006: 322-335 - [c5]Junfeng Yang, Can Sar, Paul Twohey, Cristian Cadar, Dawson R. Engler:
Automatically Generating Malicious Disks using Symbolic Execution. S&P 2006: 243-257 - [i1]Martin Stiemerling, Jürgen Quittek, Cristian Cadar:
NEC's Simple Middlebox Configuration (SIMCO) Protocol Version 3.0. RFC 4540: 1-67 (2006) - 2005
- [c4]Martin C. Rinard, Cristian Cadar
, Huu Hai Nguyen:
Exploring the acceptability envelope. OOPSLA Companion 2005: 21-30 - [c3]Cristian Cadar, Dawson R. Engler:
Execution Generated Test Cases: How to Make Systems Code Crash Itself. SPIN 2005: 2-23 - 2004
- [c2]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: 82-90 - [c1]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: 303-316
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-05 21:11 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint