Marek Chalupa

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 24

Top Topics

Static Analysis

Test Generation

Symbolic Execution

Program Slicing

Top Venues

Int. J. Softw. Tools Technol. Transf.

Publications

Marek Chalupa, Cedric Richter
Bubaak-SpLit: Split what you cannot verify (Competition contribution). TACAS (3) (2024)
Marek Chalupa, Thomas A. Henzinger
Monitoring Hyperproperties With Prefix Transducers. CoRR (2023)
Marek Chalupa, Thomas A. Henzinger
Bubaak: Runtime Monitoring of Program Verifiers - (Competition Contribution). TACAS (2) (2023)
Marek Chalupa, Fabian Muehlboeck, Stefanie Muroya Lei, Thomas A. Henzinger
Vamos: Middleware for Best-Effort Third-Party Monitoring. FASE (2023)
Marek Chalupa, Thomas A. Henzinger
Monitoring Hyperproperties with Prefix Transducers. RV (2023)
Paulína Ayaziová, Marek Chalupa, Jan Strejcek
Symbiotic-Witch: A Klee-Based Violation Witness Checker - (Competition Contribution). TACAS (2) (2022)
Marek Chalupa, Vincent Mihalkovic, Anna Rechtácková, Lukás Zaoral, Jan Strejcek
Symbiotic 9: String Analysis and Backward Symbolic Execution with Loop Folding - (Competition Contribution). TACAS (2) (2022)
Marek Chalupa, Tomás Jasek, Jakub Novák, Anna Rechtácková, Veronika Soková, Jan Strejcek
Symbiotic 8: Beyond Symbolic Execution - (Competition Contribution). TACAS (2) (2021)
Marek Chalupa, David Klaska, Jan Strejcek, Lukás Tomovic
Fast Computation of Strong Control Dependencies. CAV (2) (2021)
Marek Chalupa, Jan Strejcek
Backward Symbolic Execution with Loop Folding. SAS (2021)
Marek Chalupa, Martina Vitovská, Tomás Jasek, Michael Simácek, Jan Strejcek
Symbiotic 6: generating test cases by slicing and symbolic execution. Int. J. Softw. Tools Technol. Transf. 23 (6) (2021)
Marek Chalupa, Jakub Novák, Jan Strejcek
Symbiotic 8: Parallel and Targeted Test Generation - (Competition Contribution). FASE (2021)
Marek Chalupa, Jan Strejcek, Martina Vitovská
Joint forces for memory safety checking revisited. Int. J. Softw. Tools Technol. Transf. 22 (2) (2020)
Marek Chalupa
DG: A program analysis library. Softw. Impacts 6 (2020)
Marek Chalupa, Tomás Jasek, Lukás Tomovic, Martin Hruska, Veronika Soková, Paulína Ayaziová, Jan Strejcek, Tomás Vojnar
Symbiotic 7: Integration of Predator and More - (Competition Contribution). TACAS (2) (2020)
Marek Chalupa
DG: Analysis and Slicing of LLVM Bitcode. ATVA (2020)
Marek Chalupa, David Klaska, Jan Strejcek, Lukás Tomovic
Fast Computation of Strong Control Dependencies. CoRR (2020)
Marek Chalupa, Jan Strejcek
Evaluation of Program Slicing in Software Verification. IFM (2019)
Marek Chalupa, Martina Vitovská, Jan Strejcek
SYMBIOTIC 5: Boosted Instrumentation - (Competition Contribution). TACAS (2) (2018)
Marek Chalupa, Krishnendu Chatterjee, Andreas Pavlogiannis, Nishant Sinha, Kapil Vaidya
Data-centric dynamic partial order reduction. Proc. ACM Program. Lang. 2 (POPL) (2018)
Martina Vitovská, Marek Chalupa, Jan Strejcek
SBT-instrumentation: A Tool for Configurable Instrumentation of LLVM Bitcode. CoRR (2018)
Marek Chalupa, Jan Strejcek, Martina Vitovská
Joint Forces for Memory Safety Checking. SPIN (2018)
Marek Chalupa, Martina Vitovská, Martin Jonás, Jiri Slaby, Jan Strejcek
Symbiotic 4: Beyond Reachability - (Competition Contribution). TACAS (2) (2017)
Marek Chalupa, Martin Jonás, Jiri Slaby, Jan Strejcek, Martina Vitovská
Symbiotic 3: New Slicer and Error-Witness Generation - (Competition Contribution). TACAS (2016)