PLS Lab

JFlow

JFlow was an extension to the Java programming language which allowed control of the flow of information.

It was conceived and implemented by Andrew Myers during his PhD at MIT.

The implementation of JFlow is known as Jif. The Jif project seems to have started around 2001, and was still active on GitHub until 2022 (the time of writing).

References

Myers, Andrew C. 1999. ‘JFlow: Practical Mostly-Static Information Flow Control’. In Proceedings of the 26th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 228–41. New York, NY, USA: Association for Computing Machinery. https://doi.org/10.1145/292540.292561. pdf
@inproceedings{myers_1999,
	address = {New York, NY, USA},
	title = {{JFlow}: {Practical} {Mostly}-{Static} {Information} {Flow} {Control}},
	doi = {10.1145/292540.292561},
	booktitle = {Proceedings of the 26th {ACM} {SIGPLAN}-{SIGACT} {Symposium} on {Principles} of {Programming} {Languages}},
	publisher = {Association for Computing Machinery},
	author = {Myers, Andrew C.},
	year = {1999},
	pages = {228--241}
}