---

About Flux

---

Flux is a research project described in the paper

Team

Flux is being developed by

• Nico Lehmann,
• Adam Geller
• 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.