Conferences
Ciera Jaspan and Jonathan Aldrich. Checking Framework Interactions with Relationships, To appear in the European Conference on Object Oriented Programming, Genova, Italy, 2009.
Ciera Jaspan, Trisha Quan, and Jonathan Aldrich. Error Reporting Logic, In Proceedings of the Conference on Automated Software Engineering, L'Aquila, Italy, 2008.
Symposia, Workshops, and Experience Reports
Ciera Jaspan. Checking Framework Interactions with Relationships, In Proceedings of the OOPSLA Doctoral Symposium, Nashville, USA, 2008. Received the ACM SIGPLAN John Vlissides Award. Email me if you are interested in this work.
Ciera Jaspan, I-Chin Chen, and Anoop Sharma. Understanding the value of program analysis tools, OOPSLA Companion, Montreal, Quebec, Canada, 2007.
Ciera Jaspan and Jonathan Aldrich. Checking Semantic Usage of Frameworks, Library Centric Software Design Symposium, Montreal, Quebec, Canada, 2007.
Technical Reports
Ciera Jaspan and Jonathan Aldrich. Checking Framework Interactions with Relationships:Extended. Technical report CMU-ISR-08-140, Institute for Software Research, Carnegie Mellon University, Pittsburgh, Pennsylvania, December 2008.
Ciera Jaspan and Jonathan Aldrich. Checking Temporal Relations between Multiple Objects. Technical report CMU-ISR-08-119, Institute for Software Research, Carnegie Mellon University, Pittsburgh, Pennsylvania, June 2008. (Originally written December 2007)