Steffen Smolka

16 papers A* 4A 1Journal 8Unranked 2

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