Soo-Jin Moon

2 papers · 2019–2020 · 1 conference · across top CS/AI conferences

Achievements

🧭 Keyword Pioneer 🐣 Hot Topic Early Bird 🐝 Cross-Pollinator (13)

Conferences

NSDI (2)

Top co-authors

Yifei Yuan (2) Vyas Sekar (2) Ying Zhang (1) Jeffrey Helt (1) Limin Jia (1) Yves Bieri (1) Wenfei Wu (1) Sahil Uppal (1) Mihalis Yannakakis (1) Sujata Banerjee (1)

Keywords

formal verification (1) first-order logic (1) model inference (1) network verification (1) symbolic execution (1) stateful network (1) software verification (1) finite-state machine (1) policy verification (1) network function (1) symbolic model checking (1)

Papers

NetSMC: A Custom Symbolic Model Checker for Stateful Network Verification NSDI 2020

Alembic: Automated Model Inference for Stateful Network Functions NSDI 2019