Nate Foster
From MaRDI portal
Person:1660926
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Concurrent NetKAT. Modeling and analyzing stateful, concurrent networks Programming Languages and Systems | 2023-08-03 | Paper |
| Optimal consistent network updates in polynomial time (available as arXiv preprint) | 2018-08-16 | Paper |
| Cantor meets Scott: semantic foundations for probabilistic networks Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages | 2017-10-20 | Paper |
| A fast compiler for NetKAT Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming | 2017-05-10 | Paper |
| A coalgebraic decision procedure for NetKAT Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | 2016-09-29 | Paper |
| Probabilistic NetKAT Programming Languages and Systems | 2016-04-26 | Paper |
| Matching lenses: alignment and view update Proceedings of the 15th ACM SIGPLAN international conference on Functional programming | 2015-03-05 | Paper |
| Three complementary approaches to bidirectional programming Lecture Notes in Computer Science | 2012-11-21 | Paper |
Research outcomes over time
This page was built for person: Nate Foster
