Email: shm@FreeBSD.org IRC: shm at EFNet, IRCNet, Freenode
Summer of Code 2011 - Testing temporal properties of FreeBSD with Temporally Enhanced Security Logic Assertions