Follow
Steffen Smolka
Title
Cited by
Cited by
Year
A fast compiler for NetKAT
S Smolka, S Eliopoulos, N Foster, A Guha
Proceedings of the 20th ACM SIGPLAN International Conference on Functional …, 2015
782015
Cantor meets Scott: semantic foundations for probabilistic networks
S Smolka, P Kumar, N Foster, D Kozen, A Silva
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming …, 2017
572017
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
522019
Semi-intelligible Isar proofs from machine-generated proofs
JC Blanchette, S Böhme, M Fleury, SJ Smolka, A Steckermeier
Journal of Automated Reasoning 56, 155-200, 2016
412016
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
262019
Robust, Semi-Intelligible Isabelle Proofs from ATP Proofs.
SJ Smolka, JC Blanchette
PxTP@ CADE, 117-132, 2013
212013
SwitchV: automated SDN switch validation with P4 models
KD Albab, J DiLorenzo, S Heule, A Kheradmand, S Smolka, K Weitz, ...
Proceedings of the ACM SIGCOMM 2022 Conference, 365-379, 2022
142022
Proof-carrying network code
C Skalka, J Ring, D Darais, M Kwon, S Gupta, K Diller, S Smolka, N Foster
Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications …, 2019
102019
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
82015
Deciding probabilistic program equivalence in NetKAT
S Smolka, D Kahn, P Kumar, N Foster, D Kozen, A Silva
arXiv preprint arXiv:1707.02772, 2017
22017
Cantor Meets Scott
S Smolka, P Kumar, N Foster, D Kozen, A Silva
POPL, 2017
22017
Data plane program verification
J Lee, CN Schlesinger, JN Foster, H Wang, R Soule, W Hallahan, ...
US Patent 11,188,355, 2021
12021
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
12017
Cantor meets Scott: Domain-theoretic foundations for probabilistic network programming
S Smolka, P Kumar, N Foster, D Kozen, A Silva
Proc. 44th ACM SIGPLAN-SIGACT Symp. Principles of Programming Languages …, 2016
12016
KATch: A Fast Symbolic Verifier for NetKAT
M Moeller, J Jacobs, OS Belanger, D Darais, C Schlesinger, S Smolka, ...
Proceedings of the ACM on Programming Languages 8 (PLDI), 1905-1928, 2024
2024
Data plane program verification
J Lee, CN Schlesinger, JN Foster, H Wang, R Soule, W Hallahan, ...
US Patent 11,720,373, 2023
2023
A (Co) Algebraic Approach to Programming and Verifying Computer Networks
SJ Smolka
Cornell University, 2019
2019
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–18