24 citations
- Cornell UniversityUS2 papers
- Stanford UniversityUS2 papers
- University College LondonGB2 papers
- Carnegie Mellon UniversityUS1 paper
- CollegeAmericaUS1 paper
- Columbia UniversityUS1 paper
- École Polytechnique Fédérale de LausanneCH1 paper
- George Mason UniversityUS1 paper
- Ochanomizu UniversityJP1 paper
- Pasadena City CollegeUS1 paper
- Precision Therapeutics (United States)US1 paper
- Technical University of DenmarkDK1 paper
4 papers · 1 filter
A Fast Quantitative Analyzer for NetKAT
Thomas Lu, Qiancheng Fu, Kevin Batz +5
When designing a network, engineers must navigate trade-offs (e.g., one topology offers more aggregate bandwidth, another lower latency or better resilience) that demand reasoning…
Active Learning of Symbolic NetKAT Automata
Mark Moeller, Tiago Ferreira, Thomas Lu +2
NetKAT is a domain-specific programming language and logic that has been successfully used to specify and verify the behavior of packet-switched networks. This paper develops techn…
Unboxing Virgil ADTs for Fun and Profit
Bradley Wei Jie Teo, Ben L. Titzer
Algebraic Data Types (ADTs) are an increasingly common feature in modern programming languages. In many implementations, values of non-nullary, multi-case ADTs are allocated on the…
Proceedings ML Family Workshop / OCaml Users and Developers workshops
Kenichi Asai, Mark Shinwell
This volume contains the joint post-proceedings of the 2016 edition of the ML Family Workshop and OCaml Users and Developers Workshop, held in Nara, Japan, in affiliation with ICFP…