Programme

Session 1 9.00am - 10.30am
  9:00Welcome
  9:15Invited Talk (James Noble)
Coffee Break 10.30am - 11.00am
Session 2 11.00am - 12.30pm
  11:00Modular Checking of Confinement for Object-Oriented Components using Abstract Interpretation
Kathrin Geilmann and Arnd Poetzsch-Heffter
  11:30Verifying Object-Oriented Code Using Object Propositions
Ligia Nistor and Jonathan Aldrich
  12:00Towards Effective Inference and Checking of Ownership Types
Wei Huang and Ana Milanova
Lunch 12.30pm - 2.00pm
Session 3 2.00pm - 3.30pm
  2:00Owners as Ombudsmen
Johan Östlund and Tobias Wrigstad
  2:30Regions as Owners
Johan Östlund and Tobias Wrigstad
  2:50The Roles of Owners
Dave Clarke, Sophia Drossopoulou, and James Noble
  4:50Location---the other confinement form (position paper)
Alan Mycroft
Coffee Break 3.30pm - 4.00pm
Session 4 4.00pm - 5.30pm
  4:00Towards gradual ownership types
Ilya Sergey and Dave Clarke
  4:30A Confinement Framework for OO Programs
Qin Shu, Zongyan Qiu, and Shuling Wang
  3:10Is the World Ready for Ownership Types? Is Ownership Types Ready for the World?
Tobias Wrigstad and Dave Clarke
  5:10End matter

All papers are available as a proceedings from ECS technical reports.

 

Back to IWACO '11

Log In