Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Timotej Kapus
conf.researchr.org general profile
ASE 2020 profile
ECOOP and ISSTA 2018 profile
ESEC/FSE 2020 profile
ESEC/FSE 2022 profile
PLDI 2019 profile
PLDI 2020 profile
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
x
Thu 9 Feb 04:14