Steffen Smolka

According to our database1, Steffen Smolka authored at least 11 papers between 2015 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
Guarded Kleene Algebra with Tests: Verification of Uninterpreted Programs in Nearly Linear Time.
CoRR, 2019

Scalable Verification of Probabilistic Networks.
CoRR, 2019

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

2017
Deciding Probabilistic Program Equivalence in NetKAT.
CoRR, 2017

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

2016
Cantor meets Scott: Domain-Theoretic Foundations for Probabilistic Network Programming.
CoRR, 2016

2015
A Fast Compiler for NetKAT.
CoRR, 2015

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


  Loading...