Skip to content

Files

Failed to load latest commit information.

Latest commit

 Cannot retrieve latest commit at this time.

History

History

bench

Folders and files

NameName
Last commit message
Last commit date

parent directory

..
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

README.md

Compiler Performance Benchmarks

This directory contains a number of performance benchmarks to test the (local, global, and virtual) NetKAT compiler. The compiler and the benchmarks are descriped in the following paper:

A Fast Compiler for NetKAT. Steffen Smolka, Spiridon Eliopoulos, Nate Foster, and Arjun Guha. In ACM SIGPLAN International Conference on Functional Programming (ICFP), Vancouver, BC, September 2015.

Running the Benchmarks

Every directory contains a Makefile that can be used to build & run the respective benchmarks.