About Flux

Flux is a research project described in the paper

Team

Flux is being developed by

• Nico Lehmann,
• Adam Geller
• Cole Kurashige
• Gilles Barthe
• Niki Vazou
• Ranjit Jhala

Code

Flux is open-source and available here

Thanks

This work was supported by the National Science Foundation, European Research Council, and by generous gifts from Microsoft Research.

Limitations

This is a prototype! Use at your own risk. Everything could break and it will break.