`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.