• Sign in
  • Sign up
conf.researchr.org / Timotej Kapus
  • ASE 2020 profile
  • ECOOP and ISSTA 2018 profile
  • ESEC/FSE 2020 profile
  • ESEC/FSE 2022 profile
  • PLDI 2019 profile
  • PLDI 2020 profile
Timotej Kapus

Registered user since Tue 5 Dec 2017

Name:Timotej Kapus
Affiliation:Imperial College London, UK

Contributions

ESEC/FSE 2022 Author of Past-Sensitive Pointer Analysis for Symbolic Execution within the ESEC/FSE 2020-track
ESEC/FSE 2020 Author of Past-Sensitive Pointer Analysis for Symbolic Execution within the Research Papers-track
ASE 2020 Author of Pending Constraints in Symbolic Execution for Better Exploration and Seeding within the Research Papers-track
PLDI 2020 Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
PLDI 2019 Author of Computing Summaries of String Loops in C for Better Testing and Refactoring within the PLDI Research Papers-track
ECOOP and ISSTA 2018 Author of Improving Symbolic Flat Memory Models with Pointer Alias Analysis within the Doc Symposium-track
ISSTA 2018 Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track

Share
xThu 9 Feb 04:14
using conf.researchr.org (v1.58.0)
Support page
Sign Up