Timotej Kapus
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2019–2024
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | ICSE | PrivacyCAT: Privacy-Aware Code Analysis at Scale. | Ke Mao, Cons T. hs, Sopot Cela, Dino Distefano, Nick Gardner, Radu Grigore, Per Gustafsson, kos Hajdu, Timotej Kapus, Matteo Marescotti, Gabriela Cunha Sampaio, Thibault Suzanne |
| 2022 | ICST | FAUSTA: Scaling Dynamic Analysis with Traffic Generation at WhatsApp. | Ke Mao, Timotej Kapus, Lambros Petrou, kos Hajdu, Matteo Marescotti, Andreas Lscher, Mark Harman, Dino Distefano |
| 2019 | PLDI | Computing summaries of string loops in C for better testing and refactoring. | Timotej Kapus, Oren Ish-Shalom, Shachar Itzhaky, Noam Rinetzky, Cristian Cadar |
| 2019 | TAP | Constraints in Dynamic Symbolic Execution: Bitvectors or Integers? | Timotej Kapus, Martin Nowack, Cristian Cadar |