Markus Kusano

Identifiers

No identifiers captured yet.

Papers (3)

1. Flow-Sensitive Composition of Thread-Modular Abstract Interpretation cs.PL · 2017 · author #1
2. Modular Verification of Interrupt-Driven Software cs.PL · 2017 · author #2
3. Thread-Modular Static Analysis for Relaxed Memory Models cs.PL · 2017 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Chao Wang 3 shared papers
• Chungha Sung 1 shared papers