Steffen Smolka
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2015–2022
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | SIGCOMM | 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 |
| 2019 | CCS | Proof-Carrying Network Code. | Christian Skalka, John H. Ring, David Darais, Minseok Kwon, Sahil Gupta, Kyle Diller, Steffen Smolka, Nate Foster |
| 2019 | PLDI | Scalable verification of probabilistic networks. | Steffen Smolka, Praveen Kumar, David M. Kahn, Nate Foster, Justin Hsu, Dexter Kozen, Alexandra Silva |
| 2017 | POPL | Cantor meets scott: semantic foundations for probabilistic networks. | Steffen Smolka, Praveen Kumar, Nate Foster, Dexter Kozen, Alexandra Silva |
| 2015 | ICFP | A fast compiler for NetKAT. | Steffen Smolka, Spiridon Aristides Eliopoulos, Nate Foster, Arjun Guha |