Marek Chalupa

Identifiers

• name variant Marek Chalupa 0.50 · backfill

Papers (2)

1. SBT-instrumentation: A Tool for Configurable Instrumentation of LLVM Bitcode cs.SE · 2018 · author #2
2. Data-centric Dynamic Partial Order Reduction cs.PL · 2016 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Andreas Pavlogiannis 1 shared papers
• Jan Strej\v{c}ek 1 shared papers
• Kapil Vaidya 1 shared papers
• Krishnendu Chatterjee 1 shared papers
• Martina Vitovsk\'a 1 shared papers
• Nishant Sinha 1 shared papers