Timotej was a UROP student during the summer of 2015. He returned to the group to pursue a PhD, see here.

Group Publications

  • Past-Sensitive Pointer Analysis for Symbolic Execution

    David Trabish, Timotej Kapus, Noam Rinetzky, Cristian Cadar

    European Software Engineering Conference / ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2020)

  • Pending Constraints in Symbolic Execution for Better Exploration and Seeding

    Timotej Kapus, Frank Busse, Cristian Cadar

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

  • Constraints in Dynamic Symbolic Execution: Bitvectors or Integers?

    Timotej Kapus, Martin Nowack, Cristian Cadar

    International Conference on Tests and Proofs (TAP 2019)

  • A Segmented Memory Model for Symbolic Execution

    Timotej Kapus, Cristian Cadar

    European Software Engineering Conference / ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2019)

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

    Timotej Kapus, Oren Ish-Shalom, Shachar Itzhaky, Noam Rinetzky, Cristian Cadar

    ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2019)

  • Automatic Testing of Symbolic Execution Engines via Program Generation and Differential Testing

    Timotej Kapus, Cristian Cadar

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

Talks

  • Pending Constraints in Symbolic Execution for Better Exploration and Seeding

    Timotej Kapus

    Talk @ ASE 2020

  • Constraints in Dynamic Symbolic Execution: Bitvectors or Integers?

    Timotej Kapus

    Talk @ TAP 2019

  • 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

  • A Segmented Memory Model for Symbolic Execution

    Timotej Kapus

    Talk @ ASE 2017