David M. Kahn
According to our database1, David M. Kahn authored at least 4 papers between 2017 and 2019.
Legend:Book In proceedings Article PhD thesis Other
Scalable Verification of Probabilistic Networks.
Scalable verification of probabilistic networks.
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019
Deciding Probabilistic Program Equivalence in NetKAT.
Undecidable Problems for Probabilistic Network Programming.
Proceedings of the 42nd International Symposium on Mathematical Foundations of Computer Science, 2017