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
Times are displayed in time zone: Eastern Time (US & Canada) change

18:00 - 21:00
PostersStudent Research Competition at Admiral and Reflections
Chair(s): Sam GuyerTufts University, Patrick LamUniversity of Waterloo, Canada
18:00
3h
Talk
Efficient Support for Strong Semantics in Transactional and Non-transactional Programs
Student Research Competition
Aritra SenguptaOhio State University
18:00
3h
Talk
Automatic Array Property Detection Via Static Analysis
Student Research Competition
18:00
3h
Talk
KinEdit: A Tool to Help Developers Refactor Manually
Student Research Competition
Josh TerrellCalifornia Polytechnic University
18:00
3h
Talk
Finding Bugs in Spreadsheets Using Reference Counting
Student Research Competition
Nima JoharizadehUniversity of California, Davis
18:00
3h
Talk
Viser: Providing Serializability in Hardware With Simplified Cache Coherence
Student Research Competition
Swarnendu BiswasOhio State University, USA
18:00
3h
Talk
Concurrency Control for Multithreaded Reactive Programming
Student Research Competition
Ragnar MogkTechnische Universität Darmstadt
18:00
3h
Talk
Gradual Mode Types for Energy-Aware Programming
Student Research Competition
Anthony CaninoSUNY Binghamton
18:00
3h
Talk
Race-driven UI-level Test Generation for JavaScript-based Web Applications
Student Research Competition
18:00
3h
Talk
Contributions of the Under-Appreciated: Gender Bias in an Open-Source Ecology
Student Research Competition
Andrew KofinkNorth Carolina State University
18:00
3h
Talk
Safely Evolving Configurable Systems
Student Research Competition
Flavio MedeirosFederal University of Campina Grande
18:00
3h
Talk
SIRe: An Efficient Snapshot Isolation-based Memory Model for Detecting and Tolerating Region Conflicts
Student Research Competition
Minjia ZhangOhio State University, USA
18:00
3h
Talk
The Oprop Verification Tool: Object Propositions in Action
Student Research Competition
Nistor LigiaCarnegie Mellon University