I am currently a Ph.D. candidate at the Faculty of Informatics of Masaryk University in Brno.
My Superviser is Jan Strejček. My research interests are program analysis and verification.
-- 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.
- IA169 - System Verification and Assurance (tutorials, 2017-now)
- IB002 - Automata and Grammars (tutorials, 2017)
- PB161 - Programming in C++ (correcting homeworks, 2016-now)
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. to appear
- 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.
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.