Automatic Programming: Schedule, Spring 2005

Date Assigned	Paper
Jan. 19	Rich & Waters: AP Myths, Prospects
Jan. 24	Jones - Partial Evaluation
Jan. 31	Berlin & Weise
Feb. 23	Novak - MKV
Feb. 23	Novak - VIEWAS
Feb. 25	Novak - GPS
March 2	Krueger
March 11	Simonyi: Intentional
March 11	Czarnecki, Chapter 11
March 21	Smith: KIDS

April 13, Wednesday
- Prof. Don Batory:
  D. Batory, J. Sarvela, and A. Rauschmayer, ``Scaling Step-Wise Refinement'', IEEE Trans. Software Engineering, vol. 30, no. 6, June 2004, pp. 355-371. [PDF Full-Text (1440 KB)]
April 18, Monday
- Dr. Elaine Kant, SciComp Inc.:
  R. Akers, E. Kant, C. Randall, S. Steinberg, and R. Young, "SciNapse: A Problem-Solving Environment for Partial Differential Equations," IEEE Computational Science & Engineering Vol. 4, No. 3, July-Sept. 1997, pp 32-42. [PDF Full-Text (148 KB)]
  R. Akers, I. Bica, E. Kant, C. Randall, and R. Young, "SciFinance: A Program Synthesis Tool for Financial Modeling." AI Magazine, Vol. 22, No. 2, Summer 2001. PDF
April 20, Wednesday
- Novak: Bhansali, Sanjay, and Tim J. Hoar, ``Automated Software Synthesis: An Application in Mechanical CAD,'' IEEE Trans. on Software Engineering, vol. 24, no. 10 (Oct. 1998), pp. 848-862. [PDF Full-Text (240 KB)]
- Yulin Li: Albin-Amiot, H.; Cointe, P.; Gueheneuc, Y.-G.; Jussien, N., "Instantiating and Detecting Design Patterns: Putting Bits and Pieces Together", Proc. Automated Software Engineering Conf., 2001, pp. 166-173. PDF (751 KB)
April 22, Friday
- Prof. James C. Browne:
  "Compositional Development of Parallel Programs". PDF; "CoorSet: A Development Environment for Associatively Coordinated Components". PDF
April 25, Monday
- Hsueh-Li Lu: Batory, D., et al., ``Scalable Software Libraries'', Proc. ACM SIGSOFT '93: Symposium on the Foundations of Software Engineering, Los Angeles, CA, Dec. 1993.
- Joseph Yu: Thibault, Marlet, Consel. "Domain-specific languages: from design to implementation - application to video device drivers generation.", PDF
April 27, Wednesday
- Dr. Ira Baxter, Semantic Designs Inc.:
  ``DMS: Program Transformations for Practical Scalable Software Evolution'', Proc. Int'l Conf. Software Eng., 2004. PDF
April 29, Friday
- Dr. Ted Biggerstaff:
  ``A New Architecture for Transformation-Based Generators,'' IEEE Trans. on Software Engineering, vol. 30, no. 12 (Dec. 2004), pp. 1036-1054. [PDF Full-Text (856 KB)]
May 2, Monday
- Geoffrey J. King: Manna, Z. and Waldinger, R., ``Fundamentals of Deductive Program Synthesis'', IEEE Trans. on Software Engineering, vol. 18, no. 8, Aug. 1992. PDF (2204 KB)
- Yulin Li:Paola Inverardi and Simone Scriboni, "Connectors Synthesis for Deadlock-Free Component Based Architectures" from the 16th International conference on ASE. PDF (762 KB)
May 4, Wednesday
- Hsueh-Li Lu: D. Turner, ``An Overview of Miranda,'' SIGPLAN Notices, Dec. 1986.
- Won H Ng: Buntine, W.; Norvig, P.; Van Baalen, J.; Spiegelhalter, D.; Thomas, A.: "Will domain-specific code synthesis become a silver bullet?", IEEE Intelligent Systems, vol. 13, no. 2 (Mar/Apr 1998), pp. 9-15. PDF (1184 KB)
May 6, Friday
- Joseph Yu: Shaojie Wang, Sharad Malik and Reinaldo A. Bergamaschi, "Modeling and Integration of Peripheral Devices in Embedded Systems", DATE 2003. PDF
- Won H Ng: Setliff, D. and R. Rutenbar, ``Knowledge Representation and Reasoning in a Software Synthesis Architecture'', IEEE Trans. on Software Engineering, vol. 18, no. 6 (June 1992), pp. 523-533. PDF (1144 KB)
- Teacher Evaluation