"Automatically Solving Simultaneous Type Equations for Type Ddifference Transformations that Redesign Code," United States Patent and Trademark Office, Patent no. 9,038,037, May 19, 2015
"Re-Designing Code Using Type Equations," Video presentation (HTML5 or MPEG)
"Automatically Solving Simultaneous Type Equations for Type Difference Transformations that Redesign Code," to appear 14th International Conference on Software Reuse, January 4-6, 2015, Miami, Florida. (The final publication will be available at link.springer.com).
“Automated Synchronization of Design Features in Disparate Code Components Using Type Differencing,” United States Patent and Trademark Office, Patent no. 8,713,515, April 29, 2014.
"Automated Optimization of a Computation for Different Architectures," Software Generators Technical Report, September, 2013
"Never Reprogram Again(TM)," Software Generators Technical Report, September, 2013.
"Reuse: Right Idea, Wrong Representation?" (Invited Paper), in DReMer '13 - International Workshop On Designing Reusable Components and Measuring Reusability held in conjunction with the 13th International Conference on Software Reuse, June 18, 2013, Pisa, Italy. Presentation slides enhanced with additional slides and speaker's notes available here as Powerpoint pptx file or here as PDF file.
"DSLGen(TM) Tools Demo" given at 13th International Conference on Software Reuse, June 18, 2013, Pisa, Italy. This talk supplements the "Reuse: Right Idea, Wrong Representation?" paper and talk given at the DReMer '13 workshop. Presentation slides enhanced with additional slides and speaker's notes available here as Powerpoint pptx file or here as PDF file.
“Synthetic partitioning for imposing implementation design patterns onto logical architectures of computations,” United States Patent and Trademark Office, Patent no. 8,327,321, Dec. 4, 2012.
“Non-localized constraints for automated program generation,” United States Patent and Trademark Office, Patent no. 8,225,277, July 17, 2012.
“Automated partitioning of a computation for parallel or other high capability architecture,” United States Patent and Trademark Office, Patent no. 8,060,857, November 15, 2011.
"A New
Architecture for Transformation-Based Generators,"
IEEE Transactions on Software
Engineering, Vol. 30, No. 12, December, 2004.
“Control Localization in Domain Specific Translation,” in Software Reuse: Methods, Techniques, and Tools, Proc. of Seventh International Conference on Software Reuse, Springer-Verlag, April, 2002. Presentation slides available here. One of the two papers selected for the "Best Papers of Conference" Award.
"A Characterization of Generator and Component Reuse Technologies" (Invited Paper), Third International Conference on Generative and Component-Based Software Engineering, Erfurt, Germany, September, 2001. Presentation slides available here.
“A New Control Structure for Transformation-Based Generators, ” in Software Reuse: Advances in Software Reusability, Proc. of Sixth International Conference on Software Reuse, Springer-Verlag, June, 2000. Selected as the Best Paper of Conference.
Generators Nutshell Talk (PowerPoint): This is a talk overviewing generators technology given at the Sixth International Software Reuse Conference in Vienna, Austria, June, 2000. Nutshell talk with speakers notes. (PDF)
“Fixing Some Transformation Problems,” Automated Software Engineering Conference, Cocoa Beach, Florida , 1999.
"Pattern Matching for Program Generation: a User Manual," Microsoft Research Technical Report, MSR-TR-98-55, 1998.
"Generation Flexibility versus Performance," Workshop on Institutionalization of Reuse, 1999.
"A Perspective of Generative Reuse," in Annals of Software Engineering, William Frakes (ed.), Vol. 5, 1998.
"Anticipatory Optimization in Domain Specific Translation," IEEE Proc. of International Conference on Reuse, Victoria, B. C., 1998.
"Composite Folding and Optimization in Domain Specific Translation," Microsoft Research Technical Report, MSR-TR-98-22.
"The Library Scaling Problem and the Limits of Concrete Component Reuse," In Proceedings of the Third International Conference on Software Reuse, Rio de Janeiro, Brazil, November, 1994.
With Mitbander, Bharat, and Webster, Dallas, "Program Understanding and the Concept Assignment Problem," Communications of the ACM, May, 1994.
"Directions in Software Development and Maintenance," Keynote Address, International Conference on Software Maintenance, Montreal, Quebec, Canada, September, 1993.
With Mitbander, Bharat, and Webster, Dallas, "The Concept Assignment Problem in Program Understanding," Jointly published in International Conference on Software Engineering, and Working Conference on Reverse Engineering, May, 1993, Baltimore, MD.
"An Assessment and Analysis of Software Reuse," in Advances in Computers, Vol. 34, pp 1-57, Academic Press, 1992.
"Design Recovery for Reuse and Maintenance," IEEE Computer, July, 1989.
With Alan Perlis (eds), Software Reusability, Vols. 1 and 2, , Addison-Wesley/ACM Press, 1989.
With Richter, Charles, "Reusability Framework, Assessment and Directions, IEEE Software, 1987.
Systems Software Tools, Prentice-Hall, 1986.