Doctoral Symposium

Mon 8:30-5:00 pm - Executive Suite

Towards Client-Aware Interface Specifications

Henrique Rebelo, Federal University of Pernambuco, Brazil
Alternate Annotation Checkers using Fractional Permissions

Chao Sun, University of Wisconsin-Milwaukee, United States
CUDACL+: A Framework for GPU Programs

Ferosh Jacob, University of Alabama, United States
Composing Locks by Decomposing Deadlocks

Hari K. Pyla, Virginia Tech, United States
Object Recognition in the Enterprise: Structural and Behavioral Capabilities of Patient-Centered Medical Homes

Nima A Behkami, Portland State University, United States
Generic Ownership: The Case of Java Collections

Ahmed Aziz Khalifa, Victoria University of Wellington, New Zealand
A Demonstration-Based Approach for Designing Domain-Specific Modeling Languages

Hyun Cho, University of Alabama, United States
Cloning in Ownership

Paley Li, Victoria university of Wellington, New Zealand