Resources

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