Ciera Jaspan, Michael Keeling, Larry Maccharone, Gabriel L. Zenarosa, and Mary Shaw, “Software Mythbusters Explore Formal Methods”, IEEE Software, vol. 26, no. 6, pp. 60-63, November/December 2009.
ConferencesMichael Pradel, Ciera Jaspan, Jonathan Aldrich, and Thomas Gross. Statically Checking API Protocol Conformance with Mined Multi-Object Specifications, to be published in the Proceedings of the International Conference on Software Engineering, Zurich, Switzerland, 2012.
Leigh Ann Sudol and Ciera Jaspan. Analyzing the Strength of Undergraduate Misconceptions about Software Engineering, in the Proceedings of International Computing Education Research, Aarhus, Denmark, 2010.
Ciera Jaspan and Jonathan Aldrich. Checking Framework Interactions with Relationships, in the Proceedings of the European Conference on Object Oriented Programming, Genova, Italy, 2009.
Ciera Jaspan, Trisha Quan, and Jonathan Aldrich. Error Reporting Logic, in the Proceedings of the Conference on Automated Software Engineering, L'Aquila, Italy, 2008.
Symposia, Workshops, and Experience Reports
Ciera Jaspan and Jonathan Aldrich. Are Object Protocols Burdensome?, in Evaluation and Usability of Programming Languages and Tools Workshop (PLATEAU), Portland, Oregon, USA, 2011.
Ciera Jaspan. Verifying Configuration Files, in the Companion Proceedings of Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH/OOPSLA), Reno, Nevada, USA, 2010.Received 1st place in the ACM Student Research Competition at SPLASH/OOPSLA. Email me if you are interested in this work.
Ciera Jaspan and Jonathan Aldrich. Retrieving Relationships from Declarative Files, in the Proceedings of Relationships and Associations in Object-Oriented Programming, Genova, Italy, 2009.
Ciera Jaspan. Checking Framework Interactions with Relationships, in the 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, in the Companion Proceedings OOPSLA, Montreal, Quebec, Canada, 2007.
Ciera Jaspan and Jonathan Aldrich. Checking Semantic Usage of Frameworks, in the Proceeding of the Library Centric Software Design Symposium, Montreal, Quebec, Canada, 2007.