Greg J. Badros's Publications

Ph.D. Dissertation

Refereed Conferences and Journals

• A Constraint Extension to Scalable Vector Graphics. Tenth International Conference on the World Wide Web. (PS, HTML)
• JavaML: A Markup Language for Java Source Code Ninth International Conference on the World Wide Web. Amsterdam, May 2000.
• Scwm--An Intelligent Constraint-Enabled Window Manager. AAAI Spring Symposium on Smart Graphics. Palo Alto, March 2000.
• Constraint Cascading Style Sheets for the Web Proceedings of the ACM Conference on User Interface Software and Technology. Asheville, NC, November 1999.
• A Framework for Preprocessor-Aware C Source Code Analyses. Software---Practice & Experience, Vol 30, Issue 8. July 2000.
• An Empirical Analysis of C Preprocessor Use. ACM Transactions on Software Engineering and Methodology. Accepted January 2000.
• Data Compression Techniques for Stock Market Prediction Data Compression Conference. Snowbird, Utah, March 1994.

Other papers

• The Extensible Templating Language: A Restricted XML-based Markup Generation Language (Submitted to WWW2003, November 2002)
• The Cassowary Linear Constraint Solving Algorithm (Submitted to TOCHI, January 2000)
• A Constraint Interface for Managing Windows (Short usability study paper)
• Scwm--An Extensible Constraint-Enabled Window Manager (Slightly more technical/implementation details than above AAAI paper)
• A Caching NFS Client for Linux (Slightly revised version of paper from Linux Expo 1998, Durham, NC)
• Constraints in Interactive Graphical Applications (Ph.D. General Exam paper)

Software Projects I Maintain (or help maintain)

• Scwm -- the Scheme Constraints Window Manager
• Guile/Scheme Interpreter (GNU Ubiquitous Intelligent Languge for Extension
• Cassowary Constraint Solving Toolkit
• JavaML -- An XML-based Representation for Java Source Code, Jikes Compiler XML-Unparser patches