This page contains the Boogie/CIVL programs for the verification of the Chase-Lev Work Stealing Queue.
Microsoft Research Summer School 2015
MSRC lab members are invited to attend the tenth Microsoft Research Summer School (29 June – 3 July 2015) that will take place at Microsoft Research in Cambridge, UK. We will attend a series of talks of academic interest and poster sessions that will give invited students the opportunity to present their work to Microsoft researchers and a number of Cambridge academics.
27th Int. Conference on Computer Aided Verification (CAV’15)
Our lab has 2 accepted papers in CAV’15.
Chris Hawblitzel, Erez Petrank, Shaz Qadeer, Serdar Tasiran, “Automated and Modular Refinement Reasoning for Concurrent Programs”
Burcu Kulahcioglu Ozkan, Michael Emmi, Serdar Tasiran, “Systematic Asynchrony Bug Exploration for Android Apps”
» read more