AdamChlipala. Nominated by NathanKennedy.
ClintonEbadi. Nominated by DavidBettis.
BrianHolmes. Nominated by BrianHolmes
NathanKennedy. Nominated by AdamChlipala.
DavorOcelic. Nominated by NathanKennedy.
JasonSmathers. Nominated by JasonSmathers.
AdamChlipala. Nominated by NathanKennedy.
ClintonEbadi. Nominated by DavidBettis.
BrianHolmes. Nominated by BrianHolmes
NathanKennedy. Nominated by AdamChlipala.
DavorOcelic. Nominated by NathanKennedy.
JasonSmathers. Nominated by JasonSmathers.