2024
-
Dynamic Symbolic Execution: Between Testing and Verification
16th International Conference on Verified Software: Theories, Tools, and Experiments (VSTTE 2024)
2023
-
GrayC: Greybox Fuzzing of Compilers and Analysers for C
Talk @ ISSTA 2023
-
KDAlloc: The KLEE Deterministic Allocator: Deterministic Memory Allocation during Symbolic Execution and Test Case Replay
Tool Talk @ ISSTA 2023
-
Addressing the Saturation Effect in Compiler Testing
National University of Singapore
-
Dynamic Symbolic Execution for Evolving Software
Edinburgh University
-
Constraint-Based Testing for Floating-Point Code: Challenges and Opportunities
Talk @ CSE 2023 Minisymposium "Bridging the Gap from HPC Software Engineering to Academic Research"
2022
-
CsmithEdge: More Effective Compiler Testing by Handling Undefined Behaviour Less Conservatively
Talk @ ASE JF 2022
-
Pending Constraints in Symbolic Execution for Better Exploration and Seeding
Talk @ KLEE 2022
-
A Deterministic Memory Allocator for Dynamic Symbolic Execution
Talk @ KLEE 2022
-
Combining Static Analysis Error Traces with Dynamic Symbolic Execution (Experience Paper)
Talk @ ISSTA 2022
-
A Deterministic Memory Allocator for Dynamic Symbolic Execution
Talk @ ECOOP 2022
2021
-
Running Symbolic Execution Forever
Talk @ KLEE 2021
2020
-
Toward More Scalable Symbolic Execution via Code Chopping
Keynote @ 11th Workshop on Tools for Automatic Program Analysis (TAPAS)
-
Closer to the Edge: Testing Compilers More Thoroughly by Being Less Conservative About Undefined Behaviour
Talk @ ASE NIER 2020
-
Pending Constraints in Symbolic Execution for Better Exploration and Seeding
Talk @ ASE 2020
-
Running Symbolic Execution Forever
Talk @ ISSTA 2020
-
Compiler Fuzzing: How Much Does It Matter?
Talk @ Seminar of the Verimag Lab, Université Grenoble Alpes
-
Compiler Fuzzing: How Much Does It Matter?
Talk @ Papers We Love London - CREST/PWL Special Event
-
Compiler Fuzzing: How Much Does It Matter?
Talk @ Seminar of the Software Safety and Security Lab, CEA LIST institute
2019
-
Fine-grain Memory Object Representation in Symbolic Execution
Talk @ ASE 2019
-
Compiler Fuzzing: How Much Does It Matter?
Talk @ SPLASH 2019 OOPSLA
-
Constraints in Dynamic Symbolic Execution: Bitvectors or Integers?
Talk @ TAP 2019
-
Compiler Fuzzing: How Much Does It Matter?
Talk @ MTV2 Workshop (co-located with IFIP-ICTSS 2019)
-
Summaries of C String Loops for Better Symbolic Execution (and Refactoring)
Talk @ Shonan meeting on Fuzzing and Symbolic Execution
-
A Segmented Memory Model for Symbolic Execution
Talk @ ESEC/FSE 2019
-
Computing Summaries of String Loops in C for Better Testing and Refactoring
Talk @ PLDI 2019
2018
-
Chopping Code for More Modular and Scalable Symbolic Execution
Invited talk @ Facebook Testing and Verification Symposium (FaceTAV 2018)
-
Compiler Fuzzing: How Much Does It Matter?
Talk @ S-REPLS 10
-
An Introduction to Dynamic Symbolic Execution and the KLEE Infrastructure
Invited talk @ International Summer School on Training And Research On Testing (TAROT 2018)
2017
-
A Segmented Memory Model for Symbolic Execution
Talk @ ASE 2017
-
Floating-Point Symbolic Execution: A Case Study in N-version Programming
IEEE/ACM International Conference on Automated Software Engineering (ASE 2017)
-
Accelerating Array Constraints in Symbolic Execution
David M. Perry
International Symposium on Software Testing and Analysis (ISSTA 2017)
-
A DSL Approach to Reconcile Equivalent Divergent Program Executions
USENIX Annual Technical Conference
2016
-
An Introduction to Dynamic Symbolic Execution and the KLEE Infrastructure
Invited talk @ International Symposium on Software Testing and Analysis (ISSTA 2016)
-
Shadow of a Doubt: Testing for Divergences Between Software Versions
Conference talk @ International Conference on Software Engineering (ICSE 2016)
-
Deploying Dynamic Analyses and Preventing Compiler Backdoors with Multi-Version Execution
Invited talk @ Runtime Verification beyond Monitoring (ArVi) - ICT COST Action IC1402
2015
-
Targeted Program Transformations for Symbolic Execution
Conference talk @ ESEC/FSE NI 2015
-
Symbolic Execution for Evolving Software
Seminar talk @ UMD College Park
-
Constraint Solving in Symbolic Execution
Invited talk @ 13th International Workshop on Satisfiability Modulo Theories (SMT)
-
Symbolic Execution for Evolving Software
Seminar talk @ ETH Zurich
-
Varan and Mx: Safe Software Updates via Multi-version Execution
Seminar talk @ Hong Kong University of Science and Technology (HKUST)
2014
-
Docovery: Toward Generic Automatic Document Recovery
Conference talk @ International Conference on Automated Software Engineering (ASE 2014)
-
Covrig: A Framework for the Analysis of Code, Test, and Coverage Evolution in Real Software
Conference talk @ International Symposium on Software Testing and Analysis (ISSTA 2014)
-
Combining DSE and SBST
Keynote @ International Workshop on Search-Based Software Testing (SBST 2014)
-
Shadow Symbolic Execution for Better Testing of Evolving Software
Conference talk @ ICSE New Ideas and Emerging Results track (NIER 2014)
2013
-
KATCH: High-Coverage Testing of Software Patches
Conference talk @ European Software Engineering Conference / Symposium on the Foundations of Software Engineering (ESEC/FSE 2013)
-
Dynamic Symbolic Execution
Invited tutorial @ International Conference on Computer Aided Verification (CAV 2013)
-
Testing Your Code with Symbolic Execution
Invited talk @ UPMARC Summer School on Multicore Computing (UPMARC 2013)
-
Safe Software Updates via Multi-version Execution
Invited talk @ Workshop on Hot Topics in Software Upgrades (HotSWUp 2013)
-
Safe Software Updates via Multi-version Execution
Conference talk @ International Conference on Software Engineering (ICSE 2013)
-
Safe Software Updates via Multi-version Execution
Seminar talk @ Stanford University
2012
-
Symbolic Execution
Cristian Cadar, Koushik Sen
Invited tutorial @ International Conference on Runtime Verification (RV 2012)
-
Testing Software via Dynamic Symbolic Execution
Invited talk @ International Summer School on Training And Research On Testing (TAROT 2012)
-
How to Crash Your Code using Dynamic Symbolic Execution
Invited tutorial @ International SPIN Workshop on Model Checking of Software (SPIN 2012)
-
Multi-Version Software Updates
Conference talk @ Workshop on Hot Topics in Software Upgrades (HotSWUp 2012)
-
make test-zesti: A Symbolic Execution Solution for Improving Regression Testing
Conference talk @ International Conference on Software Engineering (ICSE 2012)
-
Symbolic Execution
Keynote @ International Symposium on Engineering Secure Software and Systems (ESSoS 2012)
2011
-
SafeWeb: A Middleware for Securing Ruby-based Web Applications
Conference talk @ ACM/IFIP/USENIX 12th International Middleware Conference (Middleware 2011)
-
Constraint Solving Challenges in Dynamic Symbolic Execution
Invited talk @ International SAT/SMT Summer School (SAT/SMT School 2011)