user stats

Member SinceNovember 7, 2011
Last VisitFebruary 9, 2012

developer for

Microsoft Research Boogie

paulthomson

personal statement

No personal statement has been written.

activity stream

April 9, 2012 - Microsoft Research Boogie: 8b6c2f24b3e8, Don't insert final barrier when eager race checking is enabled.

projects i'm following

No projects being followed.

forks

No forks.