Timotej Kapus

According to our database, Timotej Kapus authored at least 11 papers between 2017 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Automated End-to-End Dynamic Taint Analysis for WhatsApp.

Sopot Cela, Andrea Ciancone, Per Gustafsson, Ákos Hajdu, Yue Jia, Timotej Kapus, Maksym Koshtenko, Will Lewis, Ke Mao, Dragos Martac

Proceedings of the Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering, 2024

Enhancing Compositional Static Analysis with Dynamic Analysis.

Dino Distefano, Matteo Marescotti, Cons Åhs, Sopot Cela, Gabriela Cunha Sampaio, Radu Grigore, Ákos Hajdu, Timotej Kapus, Ke Mao, Thibault Suzanne

Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering, 2024

PrivacyCAT: Privacy-Aware Code Analysis at Scale.

Ke Mao, Cons Åhs, Sopot Cela, Dino Distefano, Nick Gardner, Radu Grigore, Per Gustafsson, Ákos Hajdu, Timotej Kapus, Matteo Marescotti, Gabriela Cunha Sampaio, Thibault Suzanne

Proceedings of the 46th International Conference on Software Engineering: Software Engineering in Practice, 2024

2022

FAUSTA: Scaling Dynamic Analysis with Traffic Generation at WhatsApp.

Ke Mao, Timotej Kapus, Lambros Petrou, Ákos Hajdu, Matteo Marescotti, Andreas Löscher, Mark Harman, Dino Distefano

Proceedings of the 15th IEEE Conference on Software Testing, Verification and Validation, 2022

2021

Enhancing dynamic symbolic execution via loop summarisation, segmented memory and pending constraints.

Timotej Kapus

PhD thesis, 2021

2020

Past-sensitive pointer analysis for symbolic execution.

David Trabish, Timotej Kapus, Noam Rinetzky, Cristian Cadar

Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

Pending Constraints in Symbolic Execution for Better Exploration and Seeding.

Timotej Kapus, Frank Busse, Cristian Cadar

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

2019

Constraints in Dynamic Symbolic Execution: Bitvectors or Integers?

Timotej Kapus, Martin Nowack, Cristian Cadar

Proceedings of the Tests and Proofs - 13th International Conference, 2019

A segmented memory model for symbolic execution.

Timotej Kapus, Cristian Cadar

Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019

Computing summaries of string loops in C for better testing and refactoring.

Timotej Kapus, Oren Ish-Shalom, Shachar Itzhaky, Noam Rinetzky, Cristian Cadar

Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

2017

Automatic testing of symbolic execution engines via program generation and differential testing.

Timotej Kapus, Cristian Cadar

Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017