Paul Gazzillo

Identifiers

No identifiers captured yet.

Papers (3)

1. From High-Level Types to Low-Level Monitors: Synthesizing Verified Runtime Checkers for MAVLink cs.CR · 2026 · author #2
2. Proust: A Design Space for Highly-Concurrent Transactional Data Structures cs.DC · 2017 · author #2
3. Adding Concurrency to Smart Contracts cs.DC · 2017 · author #2

Mentions

No mention provenance yet.

Frequent Coauthors

• Eric Koskinen 2 shared papers
• Maurice Herlihy 2 shared papers
• Arthur Amorim 1 shared papers
• Lance Joneckis 1 shared papers
• Max Taylor 1 shared papers
• Thomas D. Dickerson 1 shared papers
• Thomas Dickerson 1 shared papers