Timotej Kapus -

Registered user since Tue 5 Dec 2017

Name:Timotej Kapus

Affiliation:Imperial College London, UK

Contributions

ASE 2020	Author of Pending Constraints in Symbolic Execution for Better Exploration and Seeding within the Research Papers-track
ESEC/FSE 2020	Author of Past-Sensitive Pointer Analysis for Symbolic Execution 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
ISSTA 2018	Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
ECOOP and ISSTA 2018	Author of Improving Symbolic Flat Memory Models with Pointer Alias Analysis within the Doc Symposium-track