Forgot your password?
Document Actions
Fluid Group Publications
Selected publications reporting results of Fluid project research, in reverse chronological order, by subject.
Paper titles link to an authoritative online source for each paper, if available. Links to other available versions are given at the end of each citation. Contact us for presentation materials, which may be used only with permission.
Concurrency Assurance
Dean Sutherland. "The Code of Many Colors: Semi-automated Reasoning about Multi-Thread Policy for Java" May 2008.
Aaron Greenhouse, T.J. Halloran, William L. Scherlis. Observations on the Assured Evolution of Concurrent Java Programs. Science of Computer Programming 58(3):384–411. doi:10.1016/j.scico.2005.03.002. A revised and extended version of the below CSJP paper.
Aaron Greenhouse, T.J. Halloran, William L. Scherlis. "Observations on the Assured Evolution of Concurrent Java Programs." 2004 Workshop on Concurrency and Synchronization in Java Programs. St. John's, Newfoundland, Canada, July 25–26, 2004. Memorial University of Newfoundland Computer Science Technical Report #2004-01.
Aaron Greenhouse, T.J. Halloran, William L. Scherlis. "Using Eclipse to Demonstrate Positive Static Assurance of Java Program Concurrency Design Intent." Eclipse Technology eXchange (eTX) workshop. OOPSLA 2003.
Aaron Greenhouse. A Programmer-Oriented Approach to Safe Concurrency. Ph.D. Thesis. Carnegie Mellon University School of Computer Science, Pittsburgh, PA. May 2003.
Dean F. Sutherland, Aaron Greenhouse, William L. Scherlis. "The Code of Many Colors: Relating Threads to Code and Shared State." Program Analysis for Software Tools and Environments (PASTE) '02 at FSE-10 November 2002.
Aaron Greenhouse, William L. Scherlis. "Assuring and Evolving Concurrent Programs: Annotations and Policy," ICSE 2002, May 2002.
Permissions and Uniqueness
John Boyland and William Retert. Connecting Effects and Uniqueness with Adoption, ACM SIGPLAN/SIGACT Principles of Programming Languages (POPL 2005), 283-295, 2005.
John Boyland. "Checking Interference with Fractional Permissions" Static Analysis: 10th International Symposium (SAS 2003), 55-72, 2003.
John Boyland. "The Interdependence of Effects and Uniqueness. " Presented at the Workshop on Formal Techniques for Java Programs at ECOOP 2001, 18 June 2001.
John Boyland, James Noble and William Retert. "Capabilities for Aliasing." In ECOOP 2001, 18–22 June 2001. Volume 2072 of Lecture Notes in Computer Science, Springer, Berlin, Heidelberg, New York, 2001.
John Boyland. "Alias burying: Unique variables without destructive reads." Software—Practice and Experience. 31(6):533–553, May 2001.
Open Source
Tim Halloran, William L. Scherlis and Justin Erenkrantz. "Beyond Code: Content Management and the Open Source Development Portal", in 3rd Workshop on Open Source Software Engineering ICSE 2003, May 2003
Tim Halloran, William L. Scherlis. "High Quality and Open Source Software Practices." Second Workshop on Open Source Software Engineering, ICSE 2002, May 2002.
Query-based Modeling and Structural Views
Elissa Newman. "Query-based Modeling and Fluid." Software engineering Properties of Language for Aspect Technologies (SPLAT) 2005, at AOSD 2005, March 2005.
Elissa Newman and William L. Scherlis. "Toward Query-based Constraints." Software engineering Properties of Languages for Aspect Technologies (SPLAT) 2003, at AOSD 2003, March 2003.
Elissa Newman. "Localizing Views for Separation of Concerns" (Position Paper). Workshop on Advanced Separation of Concerns in Software Engineering at ICSE 2001, 15 May 2001.
Attribute Grammars
John Boyland. "Incremental Evaluators for Remote Attribute Grammars." Electronic Notes in Theoretical Computer Science, 63(3), 2002.
Models of Design Intent
Tim Halloran and William L. Scherlis. "Models of Thumb: Assuring Best Practice Source Code in Large Java Software Systems." Unpublished Fluid Technical Report, Sep 2002.
Elissa Newman, Aaron Greenhouse, and William L. Scherlis. "Annotation-Based Diagrams for Shared-Data Concurrency." Presented at Workshop on Concurrency Issues in UML at UML 2001.
Edwin C. Chan, John T. Boyland and William L. Scherlis. "Promises: Limited Specifications for Analysis and Manipulation." In ICSE '98, 19–25 April 1998, pages 167–176. IEEE Computer Society, Los Alamitos, CA, 1998.
Object-Oriented Effects
Aaron Greenhouse and John Boyland. "An Object-Oriented Effects System." In ECOOP 1999, 14–18 June 1999. Volume 1628 of Lecture Notes in Computer Science, pages 205–229, Springer, Berlin, Heidelberg, New York, 1999.
Program Manipulation
Aaron Greenhouse, T.J. Halloran, William L. Scherlis. Observations on the Assured Evolution of Concurrent Java Programs. Science of Computer Programming 58(3):384–411. doi:10.1016/j.scico.2005.03.002. A revised and extended version of the below CSJP paper.
Aaron Greenhouse, T.J. Halloran, William L. Scherlis. "Observations on the Assured Evolution of Concurrent Java Programs." 2004 Workshop on Concurrency and Synchronization in Java Programs. St. John's, Newfoundland, Canada, July 25–26, 2004. Memorial University of Newfoundland Computer Science Technical Report #2004-01.
John H. Reif and William L. Scherlis. "Deriving Efficient Graph Algorithms." In Verification: Theory and Practice: Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday Lecture Notes in Computer Science 2772, Springer, 2004.
William L. Scherlis. "Systematic Change of Data Representation: Program Manipulations and a Case Study." In ESOP'98, 7th European Symposium on Programming, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'98, 28 March–4 April 1998. Volume 1381 of Lecture Notes in Computer Science, Springer, 1998.
Software Architecture Case Study
George Fairbanks, Kevin Bierhoff and Desmond D'Souza. "Software Architecture at a Large Financial Firm." In Proceedings of ACM SIGPLAN Conference on Object Oriented Programs, Systems, Languages, and Applications (OOPSLA) 2006, Portland, OR, USA, 22-27 October 2006.
George Fairbanks. "Why Can't They Create Architecture Models Like Developer X? An Experience Report." In The 2003 International Conference on Software Engineering (ICSE'03), Portland, OR, 3-10 May 2003.
Framework Interface Usage
George Fairbanks, William Scherlis and David Garlan. "Design Fragments Make Using Frameworks Easier." In Proceedings of ACM SIGPLAN Conference on Object Oriented Programs, Systems, Languages, and Applications (OOPSLA) 2006, Portland, OR, USA, 22-27 October 2006. To Appear.