conf.researchr.org / Timotej Kapus
Timotej Kapus

Registered user since Tue 5 Dec 2017

Name: Timotej Kapus

Affiliation: Imperial College London

Contributions

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 ISSTAAuthor of Improving Symbolic Flat Memory Models with Pointer Alias Analysis within the Doc Symposium-track