Georgel Calin

Identifiers

No identifiers captured yet.

Papers (2)

1. Lazy TSO Reachability cs.PL · 2015 · author #2
2. A Theory of Partitioned Global Address Spaces cs.LO · 2013 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Egor Derevenetc 2 shared papers
• Roland Meyer 2 shared papers
• Ahmed Bouajjani 1 shared papers
• Rupak Majumdar 1 shared papers