Observations on the Interaction Between Coding and Efficiency Knowledge in the PSI Program Synthesis System. - David R. Barstow; Elaine Kant (ICSE, 1976)

The selection of efficient implementations for a high-level language. - Elaine Kant (Artificial Intelligence and Programming Languages, 1977)

Efficiency estimation - Controlling search in program synthesis. - Elaine Kant (AFIPS National Computer Conference, 1978)

Results in Knowledge-Based Program Synthesis. - C. Cordell Green; Richard P. Gabriel; Elaine Kant; Beverly I. Kedzierski; Brian P. McCune; Jorge V. Phillips; Steve Tappel; Stephen J. Westfold (IJCAI, 1979)

A Knowledge-Based Approach to Using Efficiency Estimation in Program Synthesis. - Elaine Kant (IJCAI, 1979)

Efficiency considerations in program synthesis : a knowledge-based approach. - Elaine Kant (1979)

Review of "Principles of Artificial Intelligence by Nils J. Nilsson", Tioga Publishing Co. - Elaine Kant (SIGART Newsl., 1980)

The Refinement Paradigm: The Interaction of Coding and Efficiency Knowledge in Program Synthesis. - Elaine Kant; David R. Barstow (IEEE Trans. Software Eng., 1981)

Naive Algorithm Design Techniques: A Case Study. - Elaine Kant; Allen Newell (ECAI, 1982)

An Automatic Algorithm Designer: An Initial Implementation. - Elaine Kant; Allen Newell (AAAI, 1983)

On the Efficient Synthesis of Efficient Programs. - Elaine Kant (Artif. Intell., 1983)

Problem solving techniques for the design of algorithms. - Elaine Kant; Allen Newell (Inf. Process. Manag., 1984)

Symbolic Execution in Algorithm Design. - David M. Steier; Elaine Kant (IJCAI, 1985)

Incremental parsing without a parser. - Gail E. Kaiser; Elaine Kant (J. Syst. Softw., 1985)

Understanding and Automating Algorithm Design. - Elaine Kant (IEEE Trans. Software Eng., 1985)

The Roles of Execution and Analysis in Algorithm Design. - David M. Steier; Elaine Kant (IEEE Trans. Software Eng., 1985)

Interactive Problem Solving: Using Task Configuration and Control. - Elaine Kant (IEEE Expert, 1988)

Knowledge-based support for scientific programming. - Elaine Kant (KBSE, 1992)

Synthesis of Mathematical Modeling Software. - Elaine Kant (IEEE Softw., 1993)

Practical Software Synthesis - Introduction. - Dorothy E. Setliff; Elaine Kant; Tom Cain (IEEE Softw., 1993)

Numerical options models without programming. - Curt Randall; Elaine Kant (CIFEr, 1997)

Implementing option-pricing models using software synthesis. - James Gatheral; Yonathan Epelbaum; Jining Han; Kishor Laud; Olga Lubovitsky; Elaine Kant; Curt Randall (Comput. Sci. Eng., 1999)

A knowledge-based electronic information and documentation system. - Robert L. Young; Elaine Kant; Larry A. Akers (IUI, 2000)

SciFinance: A Program Synthesis Tool for Financial Modeling. - Robert L. Akers; Ion Bica; Elaine Kant; Curt Randall; Robert L. Young (AI Mag., 2001)

Domain specific languages and the acceleration of computational finance. - Elaine Kant (WHPCF@SC, 2011)