Gabriel Ryan

2 papers · 2020–2021 · 2 conferences · across top CS/AI conferences

Achievements

🌉 Interdisciplinary Bridge 🧭 Keyword Pioneer 🌍 Conference Polyglot (2) 🐝 Cross-Pollinator (3)

Conferences

ICLR (1) OSDI (1)

Top co-authors

Jianan Yao (2) Suman Jana (2) Ronghui Gu (2) Justin Wong (1) Jason Nieh (1) Awarded Best Paper! (1) Runzhou Tao (1)

Keywords

program verification (1) logic networks (1) invariant learning (1) safety property (1) smt solver (1) inductive invariant (1) automated verification (1) distributed protocol verification (1) loop invariant (1)

Papers

DistAI: Data-Driven Automated Invariant Learning for Distributed Protocols OSDI 2021

CLN2INV: Learning Loop Invariants with Continuous Logic Networks ICLR 2020