Static analysis conference sessions

10:40am–11:20am Wednesday, 07/27/2011
This talk will introduce the new programming language ParaSail which is focused on two themes: programming should be by default parallel, with programmers working harder to make things sequential if necessary, and second, all checks should be performed at compile-time, including checks for race-conditions, uninitialized variables, out-of-bounds array indices, null pointers, numeric overflow, etc.