Wed 28 Oct 2015 18:00 - 21:00 at Admiral and Reflections - Posters Chair(s): Sam Guyer, Patrick Lam

In this Student Research Competition submission we present Oprop, a tool that implements the theory of object propositions. We have recently introduced object propositions as a modular verification technique that combines abstract predicates and fractional permissions. The Oprop tool verifies programs written in a simplified version of Java, augmented with the object propositions specifications. Our tool parses the input files and automatically translates them into the intermediate verification language Boogie, which is verified by the Boogie verifier. We present the details of our implementation, the lessons that we learned and a number of examples that we have verified using the Oprop tool.

Wed 28 Oct

splash2015-src
18:00 - 21:00: Student Research Competition - Posters at Admiral and Reflections
Chair(s): Sam GuyerTufts University, Patrick LamUniversity of Waterloo, Canada
splash2015-src18:00 - 21:00
Talk
Aritra SenguptaOhio State University
splash2015-src18:00 - 21:00
Talk
splash2015-src18:00 - 21:00
Talk
Josh TerrellCalifornia Polytechnic University
splash2015-src18:00 - 21:00
Talk
Nima JoharizadehUniversity of California, Davis
splash2015-src18:00 - 21:00
Talk
Swarnendu BiswasOhio State University, USA
splash2015-src18:00 - 21:00
Talk
Ragnar MogkTechnische Universität Darmstadt
splash2015-src18:00 - 21:00
Talk
Anthony CaninoSUNY Binghamton
splash2015-src18:00 - 21:00
Talk
splash2015-src18:00 - 21:00
Talk
Andrew KofinkNorth Carolina State University
splash2015-src18:00 - 21:00
Talk
Flavio MedeirosFederal University of Campina Grande
splash2015-src18:00 - 21:00
Talk
Minjia ZhangOhio State University, USA
splash2015-src18:00 - 21:00
Talk
Nistor LigiaCarnegie Mellon University