My favorites | Sign in
Project Home Wiki Issues Source
READ-ONLY: This project has been archived. For more information see this post.
Search
for
PapersAndPresentations  
Papers and presentations describing PLURAL.
Updated Mar 30, 2010 by nels.bec...@gmail.com

Papers

Below you will find a list of papers describing PLURAL, NIMBY, and the underlying technology. These papers have been ordered according to our recommendations for easiest understanding.

  • Kevin Bierhoff and Jonathan Aldrich. Modular Typestate Checking of Aliased Objects. In Proceedings of the 22nd ACM Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA '07), Montreal, Canada, October 21-25, 2007, pages 301-320. ACM Press, New York, October 2007.
  • Kevin Bierhoff, Nels E. Beckman, and Jonathan Aldrich. Practical API Protocol Checking with Access Permissions. In Proceedings of European Conference on Object-Oriented Programming 2009 (ECOOP '09) Genova, Italy. July, 2009.
  • Nels E. Beckman, Kevin Bierhoff, and Jonathan Aldrich. Verifying Correct Usage of Atomic Blocks and Typestate. In Proceedings of ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications 2008 (OOPSLA '08) Nashville, TN, USA. October 19-23, 2008. (If you want to understand NIMBY.)
  • Kevin Bierhoff and Jonathan Aldrich. PLURAL: Checking Protocol Compliance under Aliasing. In Companion Proceedings of the 30th International Conference on Software Engineering (ICSE-30), Leipzig, Germany, May 10-18, 2008, pages 971-972. ACM Press, New York, May 2008.
  • Kevin Bierhoff. Iterator Specification with Typestates. In Proceedings of the 5th International Workshop on Specification and Verification of Component-Based Systems (SAVCBS '06) at FSE-14, Portland, OR, USA, November 10-11, 2006, pages 79-82. ACM Press, New York, November 2006.
  • Kevin Bierhoff and Jonathan Aldrich. Lightweight Object Specification with Typestates. In Proceedings of the Joint 10th European Software Engineering Conference (ESEC) and the 13th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-13), Lisbon, Portugal, September 7-9, 2005, pp. 217-226. ACM Press, New York, September 2005.

Presentations

Here are some presentations.

Powered by Google Project Hosting