conftrace_

Shriram Krishnamurthi

2 papers · 2014–2025 · 2 conferences · across top CS/AI conferences

Achievements

Jump to papers ↓

🌍 Conference Polyglot (2) 🏃 Academic Marathon (11) 🧭 Keyword Pioneer 🐝 Cross-Pollinator (8)

Conferences

NSDI (1) OSDI (1)

Top co-authors

Andrew D. Ferguson (1) Livia Zhu (1) Michael J.G. Scheer (1) Nathan Harbison (1) Sreshtaa Rajesh (1) Mithi Jethwa (1) Malte Schwarzkopf (1) Tim Nelson (1) Justus Adam (1) Carolyn Zech (1)

Keywords

static analysis (1) information flow control (1) rust programming (1) privacy bug (1) program dependence graph (1)

Papers

Paralegal: Practical Static Analysis for Privacy Bugs OSDI 2025 Tierless Programming and Reasoning for Software-Defined Networks NSDI 2014