According to our database1, Steffen Smolka authored at least 11 papers between 2015 and 2019.
Legend:Book In proceedings Article PhD thesis Other
Guarded Kleene Algebra with Tests: Verification of Uninterpreted Programs in Nearly Linear Time.
Scalable Verification of Probabilistic Networks.
Scalable verification of probabilistic networks.
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019
Proof-Carrying Network Code.
Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, 2019
Deciding Probabilistic Program Equivalence in NetKAT.
Cantor meets scott: semantic foundations for probabilistic networks.
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017
Performance Annotations for Cloud Computing.
Proceedings of the 9th USENIX Workshop on Hot Topics in Cloud Computing, 2017
Cantor meets Scott: Domain-Theoretic Foundations for Probabilistic Network Programming.
A Fast Compiler for NetKAT.
SPN OS: Managing network services with virtual network objects.
Proceedings of the IEEE Conference on Network Function Virtualization and Software Defined Networks, 2015
A fast compiler for NetKAT.
Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, 2015