Steffen Smolka

According to our database, Steffen Smolka authored at least 12 papers between 2015 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

KATch: A Fast Symbolic Verifier for NetKAT.

Mark Moeller, Jules Jacobs, Olivier Savary Bélanger, David Darais, Cole Schlesinger, Steffen Smolka, Nate Foster, Alexandra Silva

Proc. ACM Program. Lang., 2024

2022

SwitchV: automated SDN switch validation with P4 models.

Kinan Dak Albab, Jonathan DiLorenzo, Stefan Heule, Ali Kheradmand, Steffen Smolka, Konstantin Weitz, Muhammad Timarzi, Jiaqi Gao, Minlan Yu

Proceedings of the SIGCOMM '22: ACM SIGCOMM 2022 Conference, Amsterdam, The Netherlands, August 22, 2022

2020

Guarded Kleene algebra with tests: verification of uninterpreted programs in nearly linear time.

Steffen Smolka, Nate Foster, Justin Hsu, Tobias Kappé, Dexter Kozen, Alexandra Silva

Proc. ACM Program. Lang., 2020

2019

A (Co)algebraic Approach to Programming and Verifying Computer Networks.

Steffen Smolka

PhD thesis, 2019

Scalable verification of probabilistic networks.

Steffen Smolka, Praveen Kumar, David M. Kahn, Nate Foster, Justin Hsu, Dexter Kozen, Alexandra Silva

Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

Proof-Carrying Network Code.

Christian Skalka, John H. Ring, David Darais, Minseok Kwon, Sahil Gupta, Kyle Diller, Steffen Smolka, Nate Foster

Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, 2019

2017

Deciding Probabilistic Program Equivalence in NetKAT.

Steffen Smolka, David M. Kahn, Praveen Kumar, Nate Foster, Dexter Kozen, Alexandra Silva

CoRR, 2017

Cantor meets scott: semantic foundations for probabilistic networks.

Steffen Smolka, Praveen Kumar, Nate Foster, Dexter Kozen, Alexandra Silva

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

Performance Annotations for Cloud Computing.

Daniele Rogora, Steffen Smolka, Antonio Carzaniga, Amer Diwan, Robert Soulé

Proceedings of the 9th USENIX Workshop on Hot Topics in Cloud Computing, 2017

2016

Cantor meets Scott: Domain-Theoretic Foundations for Probabilistic Network Programming.

Steffen Smolka, Praveen Kumar, Nate Foster, Dexter Kozen, Alexandra Silva

CoRR, 2016

2015

SPN OS: Managing network services with virtual network objects.

Xi Wang, Cong Chen, Paparao Palacharla, Motoyoshi Sekiya, Steffen Smolka, Nate Foster

Proceedings of the IEEE Conference on Network Function Virtualization and Software Defined Networks, 2015

A fast compiler for NetKAT.

Steffen Smolka, Spiridon Aristides Eliopoulos, Nate Foster, Arjun Guha

Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, 2015