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
2022
ESEC/FSE
Author of Past-Sensitive Pointer Analysis for Symbolic Execution within the ESEC/FSE 2020-track
2020
ESEC/FSE
Author of Past-Sensitive Pointer Analysis for Symbolic Execution within the Research Papers-track
ASE
Author of Pending Constraints in Symbolic Execution for Better Exploration and Seeding within the Research Papers-track
PLDI
Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
2019
PLDI
Author of Computing Summaries of String Loops in C for Better Testing and Refactoring within the PLDI Research Papers-track
2018
ECOOP/ISSTA
Author of Improving Symbolic Flat Memory Models with Pointer Alias Analysis within the Doc Symposium-track
ISSTA
Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
Share
x
Sat 24 May 14:00
