Apache HTTP Server: httpd.apache.org
Iozone Filesystem Benchmark: www.iozone.org
Java: java.sun.com
Kernel Mode Linux: www.yl.is.s.u-tokyo.ac.jp/~tosh/kml
.NET: www.microsoft.com/net
O'Caml: www.ocaml.org
Proof-Carrying Code: raw.cs.berkeley.edu/pcc.html
Typed Assembly Language: www.cs.cornell.edu/talc