Marek Chalupa @ FI MU

Marek Chalupa

I am currently a Ph.D. candidate at the Faculty of Informatics of Masaryk University in Brno. My supervisor is Jan Strejček. My research interests are program analysis and verification.

-- Contact --

Office: C408
E-mail: chalupa@fi.muni.cz
ORCID: https://orcid.org/0000-0003-1132-5516
Google Scholar
DBLP
Github: https://github.com/mchalupa

-- Projects I work on --

Symbiotic -- a tool for faster verification of LLVM bitcode. I am the main developer of dg library which implements various program analyses and contains a static program slicer for LLVM bitcode that is used in Symbiotic.

-- Teaching --

IA169 - System Verification and Assurance (tutorials, 2017-2020)
IB002 - Automata and Grammars (tutorials, 2017)
PB161 - Programming in C++ (correcting homeworks, 2016-2020)

-- Publications --

M. Chalupa, T. Jašek, L. Tomovič, M. Hruška, V. Šoková, P. Ayaziová, J. Strejček, and T. Vojnar: Symbiotic 7: Integration of Predator and More (Competition Contribution), in Proceedings of TACAS 2020, volume 12079 of LNCS, pages 413-417. Springer, 2020. [DOI link]
M. Chalupa, M. Vitovská, T. Jašek, M. Šimáček, and J. Strejček: Symbiotic 6: generating test cases by slicing and symbolic execution, in International Journal on Software Tools for Technology Transfer, 2020. [DOI link]
M. Chalupa, J. Strejcek, and M. Vitovska: Joint Forces For Memory Safety Checking Revisited, in International Journal on Software Tools for Technology Transfer, 2019. [DOI link, preprint PDF]
M. Chalupa, J. Strejcek, and M. Vitovska: Joint Forces For Memory Safety Checking, in Proceedings of SPIN 2018, volume 10869 of LNCS, pages 115-132. Springer, 2018. [DOI link, preprint PDF]
M. Chalupa, M. Vitovska, and J. Strejcek: Symbiotic 5: Boosted Instrumentation (Competition Contribution), in Proceedings of TACAS 2018, volume 10806 of LNCS, pages 442-226. Springer, 2018. [DOI link, preprint PDF]
M. Chalupa, K. Chatterjee, A. Pavlogiannis, N. Sinha, K. Vaidya: Data-centric Dynamic Partial Order Reduction. in Proceedings of Symposium on Principles of Programming Languages 2018. [DOI link]
M. Chalupa, M. Vitovska, M. Jonas, J. Slaby, and J. Strejcek: Symbiotic 4: Beyond Reachability (Competition Contribution), in Proceedings of TACAS 2017, volume 10206 of LNCS, pages 385-389. Springer, 2017. [DOI link, preprint PDF]
M. Chalupa, M. Jonas, J. Slaby, J. Strejcek, and M. Vitovska: Symbiotic 3: New Slicer and Error-Witness Generation (Competition Contribution), in Proceedings of TACAS 2016, volume 9636 of LNCS, pages 946-949. Springer, 2016. [DOI link, preprint PDF]