Steffen Smolka

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 15

Top Topics

Probabilistic Networks

Top Venues

Proc. ACM Program. Lang.

Publications

Mark Moeller, Jules Jacobs, Olivier Savary Bélanger, David Darais, Cole Schlesinger, Steffen Smolka, Nate Foster, Alexandra Silva
KATch: A Fast Symbolic Verifier for NetKAT. Proc. ACM Program. Lang. 8 (PLDI) (2024)
Mark Moeller, Jules Jacobs, Olivier Savary Bélanger, David Darais, Cole Schlesinger, Steffen Smolka, Nate Foster, Alexandra Silva
KATch: A Fast Symbolic Verifier for NetKAT. CoRR (2024)
Kinan Dak Albab, Jonathan DiLorenzo, Stefan Heule, Ali Kheradmand, Steffen Smolka, Konstantin Weitz, Muhammad Timarzi, Jiaqi Gao, Minlan Yu
SwitchV: automated SDN switch validation with P4 models. SIGCOMM (2022)
Steffen Smolka, Nate Foster, Justin Hsu, Tobias Kappé, Dexter Kozen, Alexandra Silva
Guarded Kleene algebra with tests: verification of uninterpreted programs in nearly linear time. Proc. ACM Program. Lang. 4 (POPL) (2020)
Steffen Smolka, Praveen Kumar, David M. Kahn, Nate Foster, Justin Hsu, Dexter Kozen, Alexandra Silva
Scalable Verification of Probabilistic Networks. CoRR (2019)
Steffen Smolka, Praveen Kumar, David M. Kahn, Nate Foster, Justin Hsu, Dexter Kozen, Alexandra Silva
Scalable verification of probabilistic networks. PLDI (2019)
Christian Skalka, John Ring, David Darais, Minseok Kwon, Sahil Gupta, Kyle Diller, Steffen Smolka, Nate Foster
Proof-Carrying Network Code. CCS (2019)
Steffen Smolka, Nate Foster, Justin Hsu, Tobias Kappé, Dexter Kozen, Alexandra Silva
Guarded Kleene Algebra with Tests: Verification of Uninterpreted Programs in Nearly Linear Time. CoRR (2019)
Steffen Smolka, Praveen Kumar, Nate Foster, Dexter Kozen, Alexandra Silva
Cantor meets scott: semantic foundations for probabilistic networks. POPL (2017)
Steffen Smolka, David M. Kahn, Praveen Kumar, Nate Foster, Dexter Kozen, Alexandra Silva
Deciding Probabilistic Program Equivalence in NetKAT. CoRR (2017)
Daniele Rogora, Steffen Smolka, Antonio Carzaniga, Amer Diwan, Robert Soulé
Performance Annotations for Cloud Computing. HotCloud (2017)
Steffen Smolka, Praveen Kumar, Nate Foster, Dexter Kozen, Alexandra Silva
Cantor meets Scott: Domain-Theoretic Foundations for Probabilistic Network Programming. CoRR (2016)
Steffen Smolka, Spiridon Aristides Eliopoulos, Nate Foster, Arjun Guha
A Fast Compiler for NetKAT. CoRR (2015)
Xi Wang, Cong Chen, Paparao Palacharla, Motoyoshi Sekiya, Steffen Smolka, Nate Foster
SPN OS: Managing network services with virtual network objects. NFV-SDN (2015)
Steffen Smolka, Spiridon Aristides Eliopoulos, Nate Foster, Arjun Guha
A fast compiler for NetKAT. ICFP (2015)