Steffen Smolka

16 papers A* 4A 1Journal 8Unranked 2
YearRankTypeTitle / Venue / Authors
2024 J jnl
CoRR
Mark Moeller, Jules Jacobs, Olivier Savary Bélanger, David Darais, Cole Schlesinger, Steffen Smolka, Nate Foster, Alexandra Silva
2024 J jnl
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
SIGCOMM
Kinan Dak Albab, Jonathan DiLorenzo, Stefan Heule, Ali Kheradmand, Steffen Smolka, Konstantin Weitz, Muhammad Timarzi, Jiaqi Gao, Minlan Yu
2020 J jnl
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
CoRR
Steffen Smolka, Nate Foster, Justin Hsu, Tobias Kappé, Dexter Kozen, Alexandra Silva
2019 A* conf
CCS
Christian Skalka, John H. Ring, David Darais, Minseok Kwon, Sahil Gupta, Kyle Diller, Steffen Smolka, Nate Foster
2019 J jnl
CoRR
Steffen Smolka, Praveen Kumar, David M. Kahn, Nate Foster, Justin Hsu, Dexter Kozen, Alexandra Silva
2019 A* conf
PLDI
Steffen Smolka, Praveen Kumar, David M. Kahn, Nate Foster, Justin Hsu, Dexter Kozen, Alexandra Silva
2017 A* conf
POPL
Steffen Smolka, Praveen Kumar, Nate Foster, Dexter Kozen, Alexandra Silva
2017 J jnl
CoRR
Steffen Smolka, David M. Kahn, Praveen Kumar, Nate Foster, Dexter Kozen, Alexandra Silva
2017 conf
HotCloud
Daniele Rogora, Steffen Smolka, Antonio Carzaniga, Amer Diwan, Robert Soulé
2016 J jnl
CoRR
Steffen Smolka, Praveen Kumar, Nate Foster, Dexter Kozen, Alexandra Silva
2015 J jnl
CoRR
Steffen Smolka, Spiridon Aristides Eliopoulos, Nate Foster, Arjun Guha
2015 A conf
ICFP
Steffen Smolka, Spiridon Aristides Eliopoulos, Nate Foster, Arjun Guha
2015 conf
NFV-SDN
Xi Wang, Cong Chen, Paparao Palacharla, Motoyoshi Sekiya, Steffen Smolka, Nate Foster