Forgot your password?
Document Actions
Fluid Prototype Tool Gallery
A gallery of screenshots from Fluid project prototype tools
Our prototype tools are not publicly released at this time. If you, or your organization, are interested in use of our prototype tools please contact one of the Fluid PIs.
"Double-checker" prototype showing a race codition in java.util.logging within the Java SDK [Sep 2004, Eclipse 3.0, Windows XP] |
|
"Double-checker" prototype showing the chain of evidence to assure the lock policy of the BoundedFIFO class within Apache log4j [Sep 2004, Eclipse 3.0, Windows XP] |
|
| "Double-checker" prototype showing lock and uniqueness assurance running on Log4j 1.2.8 [Oct 2003, Eclipse 3.0 M4, Windows XP] | |
| "Double-checker" prototype showing lock and uniqueness assurance running on Log4j 1.2.8 [Sep 2003, Eclipse 2.1.1, Windows XP] | |
| Greenhouse Lock Assurance (from Greenhouse Ph.D. defense) prototype running on a Log4j BoundedFIFO code excerpt [May 2003, Eclipse 2.1, Windows XP] | |
| "Models of thumb" - code quality advice prototype detecting overspecific variable declarations in Jakarta Tomcat 4.0.4 [Aug 2002, Eclipse 2.0, Windows XP] | |
| "Models of thumb" - code quality advice prototype detecting ignored Java exceptions in Jakarta Tomcat 4.0.4 [Aug 2002, Eclipse 2.0, Windows XP] |