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)

  • Safe Software Updates via Multi-version Execution

    Petr Hosek

    Invited talk @ Workshop on Hot Topics in Software Upgrades (HotSWUp 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

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

  • Safe Software Updates via Multi-version Execution

    Cristian Cadar

    Seminar talk @ Stanford University

2012

  • Symbolic Execution

    Cristian Cadar, Koushik Sen

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

  • How to Crash Your Code using Dynamic Symbolic Execution

    Cristian Cadar

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

  • Testing Software via Dynamic Symbolic Execution

    Cristian Cadar

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

  • Multi-Version Software Updates

    Petr Hosek

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

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

    Paul Dan Marinescu

    Conference talk @ International Conference on Software Engineering (ICSE 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)