conf.researchr.org / Timotej Kapus
Timotej Kapus

Registered user since Tue 5 Dec 2017

Name: Timotej Kapus

Affiliation: Imperial College London, UK

Contributions

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