2023

  • GrayC: Greybox Fuzzing of Compilers and Analysers for C

    Arindam Sharma

    Talk @ ISSTA 2023

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

    Daniel Schemmel

    Tool Talk @ ISSTA 2023

  • Addressing the Saturation Effect in Compiler Testing

    Cristian Cadar

    National University of Singapore

  • Constraint-Based Testing for Floating-Point Code: Challenges and Opportunities

    Daniel Schemmel

    Talk @ CSE 2023 Minisymposium "Bridging the Gap from HPC Software Engineering to Academic Research"

  • Dynamic Symbolic Execution for Evolving Software

    Cristian Cadar

    Edinburgh University

2022

  • CsmithEdge: More Effective Compiler Testing by Handling Undefined Behaviour Less Conservatively

    Karine Even-Mendoza

    Talk @ ASE JF 2022

  • A Deterministic Memory Allocator for Dynamic Symbolic Execution

    Daniel Schemmel

    Talk @ KLEE 2022

  • Pending Constraints in Symbolic Execution for Better Exploration and Seeding

    Frank Busse

    Talk @ KLEE 2022

  • Combining Static Analysis Error Traces with Dynamic Symbolic Execution (Experience Paper)

    Frank Busse

    Talk @ ISSTA 2022

  • A Deterministic Memory Allocator for Dynamic Symbolic Execution

    Daniel Schemmel

    Talk @ ECOOP 2022

2021

  • Running Symbolic Execution Forever

    Frank Busse

    Talk @ KLEE 2021

2020

  • Toward More Scalable Symbolic Execution via Code Chopping

    Cristian Cadar

    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

    Karine Even-Mendoza

    Talk @ ASE NIER 2020

  • Pending Constraints in Symbolic Execution for Better Exploration and Seeding

    Timotej Kapus

    Talk @ ASE 2020

  • Running Symbolic Execution Forever

    Frank Busse

    Talk @ ISSTA 2020

  • Compiler Fuzzing: How Much Does It Matter?

    Michael Marcozzi

    Talk @ Seminar of the Verimag Lab, Université Grenoble Alpes

  • Compiler Fuzzing: How Much Does It Matter?

    Michael Marcozzi

    Talk @ Seminar of the Software Safety and Security Lab, CEA LIST institute

  • Compiler Fuzzing: How Much Does It Matter?

    Michael Marcozzi

    Talk @ Papers We Love London - CREST/PWL Special Event

2019

  • Fine-grain Memory Object Representation in Symbolic Execution

    Martin Nowack

    Talk @ ASE 2019

  • Compiler Fuzzing: How Much Does It Matter?

    Michael Marcozzi

    Talk @ SPLASH 2019 OOPSLA

  • Compiler Fuzzing: How Much Does It Matter?

    Michael Marcozzi

    Talk @ MTV2 Workshop (co-located with IFIP-ICTSS 2019)

  • Constraints in Dynamic Symbolic Execution: Bitvectors or Integers?

    Timotej Kapus

    Talk @ TAP 2019

  • Summaries of C String Loops for Better Symbolic Execution (and Refactoring)

    Cristian Cadar

    Talk @ Shonan meeting on Fuzzing and Symbolic Execution

  • A Segmented Memory Model for Symbolic Execution

    Timotej Kapus

    Talk @ ESEC/FSE 2019

  • Computing Summaries of String Loops in C for Better Testing and Refactoring

    Timotej Kapus

    Talk @ PLDI 2019

2018

  • Chopping Code for More Modular and Scalable Symbolic Execution

    Cristian Cadar

    Invited talk @ Facebook Testing and Verification Symposium (FaceTAV 2018)

  • Compiler Fuzzing: How Much Does It Matter?

    Michael Marcozzi

    Talk @ S-REPLS 10

  • An Introduction to Dynamic Symbolic Execution and the KLEE Infrastructure

    Cristian Cadar

    Invited talk @ International Summer School on Training And Research On Testing (TAROT 2018)

2017

  • A Segmented Memory Model for Symbolic Execution

    Timotej Kapus

    Talk @ ASE 2017

  • Floating-Point Symbolic Execution: A Case Study in N-version Programming

    Daniel Liew

    IEEE/ACM International Conference on Automated Software Engineering (ASE 2017)

  • A DSL Approach to Reconcile Equivalent Divergent Program Executions

    Luís Pina

    USENIX Annual Technical Conference

  • Accelerating Array Constraints in Symbolic Execution

    David M. Perry

    International Symposium on Software Testing and Analysis (ISSTA 2017)

2016

  • An Introduction to Dynamic Symbolic Execution and the KLEE Infrastructure

    Cristian Cadar

    Invited talk @ International Symposium on Software Testing and Analysis (ISSTA 2016)

  • Shadow of a Doubt: Testing for Divergences Between Software Versions

    Tomasz Kuchta

    Conference talk @ International Conference on Software Engineering (ICSE 2016)

  • Deploying Dynamic Analyses and Preventing Compiler Backdoors with Multi-Version Execution

    Luís Pina

    Invited talk @ Runtime Verification beyond Monitoring (ArVi) - ICT COST Action IC1402

2015

  • Targeted Program Transformations for Symbolic Execution

    Cristian Cadar

    Conference talk @ ESEC/FSE NI 2015

  • Constraint Solving in Symbolic Execution

    Cristian Cadar

    Invited talk @ 13th International Workshop on Satisfiability Modulo Theories (SMT)

  • Symbolic Execution for Evolving Software

    Cristian Cadar

    Seminar talk @ UMD College Park

  • Symbolic Execution for Evolving Software

    Cristian Cadar

    Seminar talk @ ETH Zurich

  • Varan and Mx: Safe Software Updates via Multi-version Execution

    Cristian Cadar

    Seminar talk @ Hong Kong University of Science and Technology (HKUST)

2014

  • Docovery: Toward Generic Automatic Document Recovery

    Tomasz Kuchta

    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

    Paul Dan Marinescu

    Conference talk @ International Symposium on Software Testing and Analysis (ISSTA 2014)

  • Combining DSE and SBST

    Cristian Cadar

    Keynote @ International Workshop on Search-Based Software Testing (SBST 2014)

  • Shadow Symbolic Execution for Better Testing of Evolving Software

    Cristian Cadar

    Conference talk @ ICSE New Ideas and Emerging Results track (NIER 2014)

2013

  • KATCH: High-Coverage Testing of Software Patches

    Paul Dan Marinescu

    Conference talk @ European Software Engineering Conference / Symposium on the Foundations of Software Engineering (ESEC/FSE 2013)

  • Dynamic Symbolic Execution

    Cristian Cadar

    Invited tutorial @ International Conference on Computer Aided Verification (CAV 2013)

  • Testing Your Code with Symbolic Execution

    Cristian Cadar

    Invited talk @ UPMARC Summer School on Multicore Computing (UPMARC 2013)

  • Safe Software Updates via Multi-version Execution

    Petr Hosek

    Invited talk @ Workshop on Hot Topics in Software Upgrades (HotSWUp 2013)

  • Safe Software Updates via Multi-version Execution

    Cristian Cadar

    Seminar talk @ Stanford University

  • Safe Software Updates via Multi-version Execution

    Petr Hosek

    Conference talk @ International Conference on Software Engineering (ICSE 2013)

2012

  • Symbolic Execution

    Cristian Cadar, Koushik Sen

    Invited tutorial @ International Conference on Runtime Verification (RV 2012)

  • Testing Software via Dynamic Symbolic Execution

    Cristian Cadar

    Invited talk @ International Summer School on Training And Research On Testing (TAROT 2012)

  • How to Crash Your Code using Dynamic Symbolic Execution

    Cristian Cadar

    Invited tutorial @ International SPIN Workshop on Model Checking of Software (SPIN 2012)

  • make test-zesti: A Symbolic Execution Solution for Improving Regression Testing

    Paul Dan Marinescu

    Conference talk @ International Conference on Software Engineering (ICSE 2012)

  • Multi-Version Software Updates

    Petr Hosek

    Conference talk @ Workshop on Hot Topics in Software Upgrades (HotSWUp 2012)

  • Symbolic Execution

    Cristian Cadar

    Keynote @ International Symposium on Engineering Secure Software and Systems (ESSoS 2012)

2011

  • SafeWeb: A Middleware for Securing Ruby-based Web Applications

    Petr Hosek

    Conference talk @ ACM/IFIP/USENIX 12th International Middleware Conference (Middleware 2011)

  • Constraint Solving Challenges in Dynamic Symbolic Execution

    Cristian Cadar

    Invited talk @ International SAT/SMT Summer School (SAT/SMT School 2011)