user stats

Member SinceFebruary 25, 2010
Last VisitMay 25, 2012

User prefers to not be contacted.

coordinator for

STORM Concurrency Checker

developer for

CHESS: Systematic Concurrency Testing
Microsoft Research Boogie

akashlal

personal statement

No personal statement has been written.

activity stream

May 26, 2012 - Microsoft Research Boogie: fc7123a6c68a, Merge

May 26, 2012 - Microsoft Research Boogie: 104a411b7185, Better interface for adding skipped calls, and adding extra recursion bound to some procedures.

April 11, 2012 - Microsoft Research Boogie: c5e486cb2443, Added functionality to "skip" procedures. Some cleanup.

projects i'm following

No projects being followed.

forks

No forks.