About Flux

Flux is a research project described in [the paper][paper] [PLDI 23 talk][talk]

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.