Steffen Smolka
Cited by
Cited by
A fast compiler for NetKAT
S Smolka, S Eliopoulos, N Foster, A Guha
Proceedings of the 20th ACM SIGPLAN International Conference on Functional …, 2015
Cantor meets Scott: semantic foundations for probabilistic networks
S Smolka, P Kumar, N Foster, D Kozen, A Silva
ACM SIGPLAN Notices 52 (1), 557-571, 2017
Semi-intelligible Isar proofs from machine-generated proofs
JC Blanchette, S Böhme, M Fleury, SJ Smolka, A Steckermeier
Journal of Automated Reasoning 56 (2), 155-200, 2016
Robust, Semi-Intelligible Isabelle Proofs from ATP Proofs.
SJ Smolka, JC Blanchette
PxTP@ CADE, 117-132, 2013
Scalable verification of probabilistic networks
S Smolka, P Kumar, DM Kahn, N Foster, J Hsu, D Kozen, A Silva
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language …, 2019
SPN OS: Managing network services with virtual network objects
X Wang, C Chen, P Palacharla, M Sekiya, S Smolka, N Foster
2015 IEEE Conference on Network Function Virtualization and Software Defined …, 2015
Guarded Kleene algebra with tests: verification of uninterpreted programs in nearly linear time
S Smolka, N Foster, J Hsu, T Kappé, D Kozen, A Silva
Proceedings of the ACM on Programming Languages 4 (POPL), 1-28, 2019
Proof-Carrying Network Code
C Skalka, J Ring, D Darias, M Kwon, S Gupta, K Diller, S Smolka, N Foster
Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications …, 2019
Probabilistic Program Equivalence for NetKAT
S Smolka, P Kumar, N Foster, J Hsu, D Kahn, D Kozen, A Silva
arXiv preprint arXiv:1707.02772, 2017
Performance annotations for cloud computing
D Rogora, S Smolka, A Carzaniga, A Diwan, R Soulé
9th {USENIX} Workshop on Hot Topics in Cloud Computing (HotCloud 17), 2017
A (Co)algebraic Approach to Programming and Verifying Computer Networks
SJ Smolka
Cornell University, 2019
Guarded Kleene Algebra with Tests
S Smolka, N Foster, J Hsu, T Kappé, D Kozen, A Silva
Synthesis of Robust, Semi-Intelligble Isar Proofs from ATP Proofs
SJ Smolka
The system can't perform the operation now. Try again later.
Articles 1–13