Travelled to:
1 × Canada
Collaborated with:
N.Foster D.Kozen A.S.0001 Praveen Kumar 0003 J.Hsu S.A.Eliopoulos A.Guha T.Kappé David M. Kahn
Talks about:
probabilist (2) network (2) verif (2) uninterpret (1) scalabl (1) program (1) foundat (1) algebra (1) semant (1) linear (1)
Person: Steffen Smolka
DBLP: Smolka:Steffen
Contributed to:
Wrote 4 papers:
- ICFP-2015-SmolkaEFG #compilation #performance
- A fast compiler for NetKAT (SS, SAE, NF, AG), pp. 328–341.
- POPL-2017-SmolkaKFK0 #network #probability #semantics
- Cantor meets scott: semantic foundations for probabilistic networks (SS, PK0, NF, DK, AS0), pp. 557–571.
- PLDI-2019-SmolkaKKFHK0 #network #probability #scalability #verification
- Scalable verification of probabilistic networks (SS, PK0, DMK, NF, JH, DK, AS0), pp. 190–203.
- POPL-2020-SmolkaFHKKS #algebra #linear #source code #testing #verification
- Guarded Kleene algebra with tests: verification of uninterpreted programs in nearly linear time (SS, NF, JH, TK, DK, AS0), p. 28.