Cristian Cadar

95 papers A* 20A 20B 2Journal 25Unranked 25

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	PatchGuru: Patch Oracle Inference from Natural Language Artifacts with Large Language Models. CoRR Thanh Le-Cong, Bach Le, Toby Murray, Michael Pradel, Cristian Cadar
2025	A	`conf`	Code, Test, and Coverage Evolution in Mature Software Systems: Changes Over the Past Decade. ICST Thomas Bailey, Cristian Cadar
2025	A	`conf`	Generating and Contributing Test Cases for C Libraries from Client Code: A Case Study. SANER Ahmed Zaki, Arindam Sharma, Cristian Cadar
2025	J	`jnl`	Grammar Mutation for Testing Input Parsers - RCR Report. ACM Trans. Softw. Eng. Methodol. Bachir Bendrissou, Cristian Cadar, Alastair F. Donaldson
2025	J	`jnl`	Grammar Mutation for Testing Input Parsers. ACM Trans. Softw. Eng. Methodol. Bachir Bendrissou, Cristian Cadar, Alastair F. Donaldson
2025	J	`jnl`	P³: Reasoning about Patches via Product Programs. Proc. ACM Program. Lang. Arindam Sharma, Daniel Schemmel, Cristian Cadar
2025	A	`conf`	Scalable SMT Sampling for Floating-Point Formulas via Coverage-Guided Fuzzing. ICST Manuel Carrasco, Cristian Cadar, Alastair F. Donaldson
2025	J	`jnl`	Software Security Analysis in 2030 and Beyond: A Research Roadmap. ACM Trans. Softw. Eng. Methodol. Marcel Böhme, Eric Bodden, Tevfik Bultan, Cristian Cadar, Yang Liu, Giuseppe Scanniello
2025	A	`conf`	Understanding API Usage and Testing: An Empirical Study of C Libraries. EASE Ahmed Zaki, Cristian Cadar
2025	J	`jnl`	Understanding API Usage and Testing: An Empirical Study of C Libraries. CoRR Ahmed Zaki, Cristian Cadar
2025	—	`conf`	When You Have a Fuzzer, Everything Looks Like a Reachability Problem. RP Alastair F. Donaldson, Cristian Cadar, Manuel Carrasco, Dan Iorga, Daniel Liew, John Wickerson
2024	—	`conf`	Effective Fuzzing within CI/CD Pipelines (Registered Report). FUZZING Arindam Sharma, Cristian Cadar, Jonathan Metzman
2024	J	`jnl`	Software Security Analysis in 2030 and Beyond: A Research Roadmap. CoRR Marcel Böhme, Eric Bodden, Tevfik Bultan, Cristian Cadar, Yang Liu, Giuseppe Scanniello
2024	—	`conf`	Sparse Symbolic Loop Execution (Registered Report). FUZZING Frank Busse, Martin Nowack, Cristian Cadar
2023	—	`conf`	Grammar Mutation for Testing Input Parsers (Registered Report). FUZZING Bachir Bendrissou, Cristian Cadar, Alastair F. Donaldson
2023	A	`conf`	GrayC: Greybox Fuzzing of Compilers and Analysers for C. ISSTA Karine Even-Mendoza, Arindam Sharma, Alastair F. Donaldson, Cristian Cadar
2023	A	`conf`	KDAlloc: The KLEE Deterministic Allocator: Deterministic Memory Allocation during Symbolic Execution and Test Case Replay. ISSTA Daniel Schemmel, Julian Büning, Frank Busse, Martin Nowack, Cristian Cadar
2023	—	`conf`	Patch Specifications via Product Programs. FormaliSE Cristian Cadar, Daniel Schemmel, Arindam Sharma
2023	—	`conf`	Three Colours of Fuzzing: Reflections and Open Challenges (Keynote). FUZZING Cristian Cadar
2022	J	`jnl`	A Deterministic Memory Allocator for Dynamic Symbolic Execution (Artifact). Dagstuhl Artifacts Ser. Daniel Schemmel, Julian Büning, Frank Busse, Martin Nowack, Cristian Cadar
2022	A	`conf`	A Deterministic Memory Allocator for Dynamic Symbolic Execution. ECOOP Daniel Schemmel, Julian Büning, Frank Busse, Martin Nowack, Cristian Cadar
2022	A	`conf`	Combining static analysis error traces with dynamic symbolic execution (experience paper). ISSTA Frank Busse, Pritam M. Gharat, Cristian Cadar, Alastair F. Donaldson
2022	J	`jnl`	CsmithEdge: more effective compiler testing by handling undefined behaviour less conservatively. Empir. Softw. Eng. Karine Even-Mendoza, Cristian Cadar, Alastair F. Donaldson
2022	—	`ed.`	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 ESEC/SIGSOFT FSE Abhik Roychoudhury, Cristian Cadar, Miryung Kim
2022	J	`jnl`	SaBRe: load-time selective binary rewriting. Int. J. Softw. Tools Technol. Transf. Paul-Antoine Arras, Anastasios Andronidis, Luís Pina, Karolis Mituzas, Qianyi Shu, Daniel Grumberg, Cristian Cadar
2022	J	`jnl`	SnapFuzz: An Efficient Fuzzing Framework for Network Applications. CoRR Anastasios Andronidis, Cristian Cadar
2022	A	`conf`	SnapFuzz: high-throughput fuzzing of network applications. ISSTA Anastasios Andronidis, Cristian Cadar
2021	A	`ed.`	EuroSys '21: Sixteenth European Conference on Computer Systems, Online Event, United Kingdom, April 26-28, 2021 EuroSys Antonio Barbalace, Pramod Bhatotia, Lorenzo Alvisi, Cristian Cadar
2021	J	`jnl`	Fuzzing: Challenges and Reflections. IEEE Softw. Marcel Böhme, Cristian Cadar, Abhik Roychoudhury
2021	A	`ed.`	ISSTA '21: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, Denmark, July 11-17, 2021. ISSTA Cristian Cadar, Xiangyu Zhang
2021	J	`jnl`	KLEE symbolic execution engine in 2019. Int. J. Softw. Tools Technol. Transf. Cristian Cadar, Martin Nowack
2020	A*	`conf`	Closer to the Edge: Testing Compilers More Thoroughly by Being Less Conservative About Undefined Behaviour. ASE Karine Even-Mendoza, Cristian Cadar, Alastair F. Donaldson
2020	—	`conf`	Past-sensitive pointer analysis for symbolic execution. ESEC/SIGSOFT FSE David Trabish, Timotej Kapus, Noam Rinetzky, Cristian Cadar
2020	A*	`conf`	Pending Constraints in Symbolic Execution for Better Exploration and Seeding. ASE Timotej Kapus, Frank Busse, Cristian Cadar
2020	A	`conf`	Running symbolic execution forever. ISSTA Frank Busse, Martin Nowack, Cristian Cadar
2019	J	`jnl`	A Systematic Impact Study for Fuzzer-Found Compiler Bugs. CoRR Michaël Marcozzi, Qiyi Tang, Alastair F. Donaldson, Cristian Cadar
2019	—	`conf`	A segmented memory model for symbolic execution. ESEC/SIGSOFT FSE Timotej Kapus, Cristian Cadar
2019	J	`jnl`	Bringing CP, SAT and SMT together: Next Challenges in Constraint Solving (Dagstuhl Seminar 19062). Dagstuhl Reports Sébastien Bardin, Nikolaj S. Bjørner, Cristian Cadar
2019	J	`jnl`	Compiler fuzzing: how much does it matter? Proc. ACM Program. Lang. Michaël Marcozzi, Qiyi Tang, Alastair F. Donaldson, Cristian Cadar
2019	A*	`conf`	Computing summaries of string loops in C for better testing and refactoring. PLDI Timotej Kapus, Oren Ish-Shalom, Shachar Itzhaky, Noam Rinetzky, Cristian Cadar
2019	—	`conf`	Constraints in Dynamic Symbolic Execution: Bitvectors or Integers? TAP@FM Timotej Kapus, Martin Nowack, Cristian Cadar
2019	J	`jnl`	Fuzzing and Symbolic Execution: Reflections, Challenges, and Opportunities (NII Shonan Meeting 160). NII Shonan Meet. Rep. Marcel Böhme, Cristian Cadar, Abhik Roychoudhury
2019	—	`conf`	Just fuzz it: solving floating-point constraints using coverage-guided fuzzing. ESEC/SIGSOFT FSE Daniel Liew, Cristian Cadar, Alastair F. Donaldson, J. Ryan Stinnett
2019	A*	`conf`	MVEDSUA: Higher Availability Dynamic Software Updates via Multi-Version Execution. ASPLOS Luís Pina, Anastasios Andronidis, Michael Hicks, Cristian Cadar
2018	A*	`conf`	Chopped symbolic execution. ICSE David Trabish, Andrea Mattavelli, Noam Rinetzky, Cristian Cadar
2018	J	`jnl`	On the correctness of electronic documents: studying, finding, and localizing inconsistency bugs in PDF readers and files. Empir. Softw. Eng. Tomasz Kuchta, Thibaud Lutellier, Edmund Wong, Lin Tan, Cristian Cadar
2018	A*	`conf`	PARTI: a multi-interval theory solver for symbolic execution. ASE Oscar Soria Dustmann, Klaus Wehrle, Cristian Cadar
2018	J	`jnl`	Shadow Symbolic Execution for Testing Software Patches. ACM Trans. Softw. Eng. Methodol. Tomasz Kuchta, Hristina Palikareva, Cristian Cadar
2017	—	`conf`	A DSL Approach to Reconcile Equivalent Divergent Program Executions. USENIX ATC Luís Pina, Daniel Grumberg, Anastasios Andronidis, Cristian Cadar
2017	A	`conf`	Accelerating array constraints in symbolic execution. ISSTA David Mitchel Perry, Andrea Mattavelli, Xiangyu Zhang, Cristian Cadar
2017	A*	`conf`	Automatic testing of symbolic execution engines via program generation and differential testing. ASE Timotej Kapus, Cristian Cadar
2017	A*	`conf`	Floating-point symbolic execution: a case study in n-version programming. ASE Daniel Liew, Daniel Schemmel, Cristian Cadar, Alastair F. Donaldson, Rafael Zähl, Klaus Wehrle
2016	—	`conf`	Analysing the program analyser. ICSE (Companion Volume) Cristian Cadar, Alastair F. Donaldson
2016	A	`ed.`	Proceedings of the Eleventh European Conference on Computer Systems, EuroSys 2016, London, United Kingdom, April 18-21, 2016 EuroSys Cristian Cadar, Peter R. Pietzuch, Kimberly Keeton, Rodrigo Rodrigues
2016	A*	`conf`	Shadow of a doubt: testing for divergences between software versions. ICSE Hristina Palikareva, Tomasz Kuchta, Cristian Cadar
2016	A	`conf`	Symbooglix: A Symbolic Execution Engine for Boogie Programs. ICST Daniel Liew, Cristian Cadar, Alastair F. Donaldson
2015	—	`conf`	Targeted program transformations for symbolic execution. ESEC/SIGSOFT FSE Cristian Cadar
2015	—	`conf`	Towards deployment-time dynamic analysis of server applications. WODA@SPLASH Luís Pina, Cristian Cadar
2015	A*	`conf`	VARAN the Unbelievable: An Efficient N-version Execution Framework. ASPLOS Petr Hosek, Cristian Cadar
2014	A	`conf`	Covrig: a framework for the analysis of code, test, and coverage evolution in real software. ISSTA Paul Dan Marinescu, Petr Hosek, Cristian Cadar
2014	A*	`conf`	Docovery: toward generic automatic document recovery. ASE Tomasz Kuchta, Cristian Cadar, Miguel Castro, Manuel Costa
2014	—	`conf`	Multi-solver Support in Symbolic Execution. SMT Hristina Palikareva, Cristian Cadar
2014	—	`conf`	Shadow symbolic execution for better testing of evolving software. ICSE Companion Cristian Cadar, Hristina Palikareva
2014	J	`jnl`	SymbexNet: Testing Network Protocol Implementations with Symbolic Execution and Rule-Based Specifications. IEEE Trans. Software Eng. JaeSeung Song, Cristian Cadar, Peter R. Pietzuch
2014	J	`jnl`	Symbolic Crosschecking of Data-Parallel Floating-Point Code. IEEE Trans. Software Eng. Peter Collingbourne, Cristian Cadar, Paul H. J. Kelly
2014	J	`jnl`	Symbolic Execution and Constraint Solving (Dagstuhl Seminar 14442). Dagstuhl Reports Cristian Cadar, Vijay Ganesh, Raimondas Sasnauskas, Koushik Sen
2013	—	`ed.`	5th Workshop on Hot Topics in Software Upgrades, HotSWUp'13, San Jose, CA, USA, June 28, 2013 HotSWUp Cristian Cadar, Jeff Foster
2013	—	`conf`	Constraints in Software Testing, Verification and Analysis CSTVA'2013. ICST Workshops Cristian Cadar, Frédéric Dadeau
2013	—	`conf`	KATCH: high-coverage testing of software patches. ESEC/SIGSOFT FSE Paul Dan Marinescu, Cristian Cadar
2013	A*	`conf`	Multi-solver Support in Symbolic Execution. CAV Hristina Palikareva, Cristian Cadar
2013	A*	`conf`	Safe software updates via multi-version execution. ICSE Petr Hosek, Cristian Cadar
2013	J	`jnl`	Symbolic execution for software testing: three decades later. Commun. ACM Cristian Cadar, Koushik Sen
2012	A*	`conf`	Efficient Argumentation for Medical Decision-Making. KR Robert Craven, Francesca Toni, Cristian Cadar, Adrian Hadad, Matthew Williams
2012	—	`conf`	High-Coverage Symbolic Patch Testing. SPIN Paul Dan Marinescu, Cristian Cadar
2012	—	`conf`	Multi-version software updates. HotSWUp Cristian Cadar, Petr Hosek
2012	B	`conf`	Symbolic Execution. RV Cristian Cadar, Koushik Sen
2012	A*	`conf`	make test-zesti: A symbolic execution solution for improving regression testing. ICSE Paul Dan Marinescu, Cristian Cadar
2011	A	`conf`	High coverage testing of Haskell programs. ISSTA Tristan Oliver Richard Allwood, Cristian Cadar, Susan Eisenbach
2011	B	`conf`	Rule-Based Verification of Network Protocol Implementations Using Symbolic Execution. ICCCN JaeSeung Song, Tiejun Ma, Cristian Cadar, Peter R. Pietzuch
2011	—	`conf`	Symbolic Testing of OpenCL Code. Haifa Verification Conference Peter Collingbourne, Cristian Cadar, Paul H. J. Kelly
2011	A	`conf`	Symbolic crosschecking of floating-point and SIMD code. EuroSys Peter Collingbourne, Cristian Cadar, Paul H. J. Kelly
2011	A*	`conf`	Symbolic execution for software testing in practice: preliminary assessment. ICSE Cristian Cadar, Patrice Godefroid, Sarfraz Khurshid, Corina S. Pasareanu, Koushik Sen, Nikolai Tillmann, Willem Visser
2010	—	`conf`	Multiplicity computing: a vision of software engineering for next-generation computing platform applications. FoSER Cristian Cadar, Peter R. Pietzuch, Alexander L. Wolf
2009	—	`—`	Symbolic execution for testing complex software. Cristian Cadar
2008	J	`jnl`	EXE: Automatically Generating Inputs of Death. ACM Trans. Inf. Syst. Secur. Cristian Cadar, Vijay Ganesh, Peter M. Pawlowski, David L. Dill, Dawson R. Engler
2008	A*	`conf`	KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs. OSDI Cristian Cadar, Daniel Dunbar, Dawson R. Engler
2008	A*	`conf`	Preventing Memory Error Exploits with WIT. SP Periklis Akritidis, Cristian Cadar, Costin Raiciu, Manuel Costa, Miguel Castro
2008	A	`conf`	RWset: Attacking Path Explosion in Constraint-Based Test Generation. TACAS Peter Boonstoppel, Cristian Cadar, Dawson R. Engler
2006	—	`conf`	Automatically Generating Malicious Disks using Symbolic Execution. S&P Junfeng Yang, Can Sar, Paul Twohey, Cristian Cadar, Dawson R. Engler
2006	A*	`conf`	EXE: automatically generating inputs of death. CCS Cristian Cadar, Vijay Ganesh, Peter M. Pawlowski, David L. Dill, Dawson R. Engler
2006	J	`jnl`	NEC's Simple Middlebox Configuration (SIMCO) Protocol Version 3.0. RFC Martin Stiemerling, Jürgen Quittek, Cristian Cadar
2005	—	`conf`	Execution Generated Test Cases: How to Make Systems Code Crash Itself. SPIN Cristian Cadar, Dawson R. Engler
2005	—	`conf`	Exploring the acceptability envelope. OOPSLA Companion Martin C. Rinard, Cristian Cadar, Huu Hai Nguyen
2004	A	`conf`	A Dynamic Technique for Eliminating Buffer Overflow Vulnerabilities (and Other Memory Errors). ACSAC Martin C. Rinard, Cristian Cadar, Daniel Dumitran, Daniel M. Roy, Tudor Leu
2004	A*	`conf`	Enhancing Server Availability and Security Through Failure-Oblivious Computing. OSDI Martin C. Rinard, Cristian Cadar, Daniel Dumitran, Daniel M. Roy, Tudor Leu, William S. Beebee