Jun 16, 2015: Stijn Gijsen: Runtime checking of concurrent programs using permissions

June 16, 2015Runtime checking of concurrent programs using permissions
Room: HB 2AStijn Gijsen

When developing concurrent software, special care must be taken to avoid bugs not normally encountered in sequential programs. These concurrency bugs happen when multiple threads read and write the same memory locations simultaneously, and can be hard to reproduce or debug using classic debugging methods. Correct concurrent behaviour can be specified by guarding read and write access to memory locations using permission specifications, and are commonly used for static verification of concurrent programs. For my master project, I am implementing a checker for concurrent Java programs that tracks and checks permissions at runtime. In this presentation, I would like to present my progress and findings so far.