RESEARCH INTERESTS

Software Testing, Static Program Analysis, Compilers

EDUCATION

Ph.D. Computer and Information Sciences. May 2002 (expected). University of Delaware. Newark, DE.

Dissertation: Context Driven Testing of Object-Oriented Software Systems
Advisor: Dr. Lori L. Pollock

M.S. Computer and Information Sciences. January 1999. University of Delaware. Newark, DE.

B.S. with honors, Computer Science and Engineering. May 1996. Bucknell University. Lewisburg, PA.

PROFESSIONAL EXPERIENCE

Visiting Assistant Professor: January 2002 to May 2002 - Department of Computer Science, Bucknell University.

Research Assistant: February 1998 to December 2001 - Department of Computer and Information Sciences, University of Delaware.

Instructor: Summer 1997, 1998, 1999, and 2001 - Department of Computer and Information Sciences, University of Delaware.

Teaching Assistant: September 1996 to May 1998 - Department of Computer and Information Sciences, University of Delaware.

Lab Assistant: September 1994 to May 1996 - Department of Computer Science, Bucknell University.

PUBLICATIONS

Amie L. Souter and Lori L. Pollock, "Incremental Call Graph Reanalysis for Object-Oriented Software Maintenance," IEEE International Conference on Software Maintenance, November, 2001.

Amie L. Souter and Lori L. Pollock, "Type Infeasible Call Chains," IEEE Workshop on Source Code Analysis and Manipulation, November, 2001.

Amie L. Souter and Lori L. Pollock, "Contextual Def-Use Associations for Object Aggregation," ACM SIGPLAN-SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, June, 2001.

Amie L. Souter, Tiffany Wong, Stacey Shindo, and Lori L. Pollock,"TATOO: Testing and Analysis Tool for Object-Oriented Software," Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, held as part of ETAPS, April, 2001.

Amie L. Souter and Lori L. Pollock,"OMEN: A Strategy for Testing Object-Oriented Software," Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis, August, 2000.

Amie L. Souter and Lori L. Pollock, "Inter-class Def-Use Analysis with Partial Class Representations," Proceedings of the ACM SIGPLAN-SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, September, 1999.

Cheer-Sun D. Yang, Amie L. Souter, and Lori L. Pollock,"All-du-path Coverage for Parallel Programs," Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis, March, 1998.

Amie L. Souter, James B. Fenwick, and Lori L. Pollock, "A Visualization Tool for Intermediate Program Representations," Technical Report 9708, University of Delaware, January, 1997.

SUBMITTED PUBLICATIONS

Amie L. Souter and Lori L. Pollock, "Putting Escape Analysis to Work for Software Testing," submitted to a conference, September, 2001.

ORAL PRESENTATIONS

"Incremental Call Graph Reanalysis for Object-Oriented Software Maintenance," International Conference on Software Maintenance, Florence, Italy, November, 2001.

"Type Infeasible Call Chains," Workshop on Source Code Analysis and Manipulation, Florence, Italy, November, 2001.

"Contextual Def-Use Associations for Object Aggregation," ACM SIGPLAN-SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, Snowbird, UT, June, 2001.

"TATOO: Testing and Analysis Tool Object-Oriented Software," International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS, Genoa, Italy, April, 2001.

"OMEN: A Strategy for Testing Object-Oriented Software," International Symposium on Software Testing and Analysis, Portland, OR, August, 2000.

"A New Strategy for Testing Object-Oriented Software," Mid-Atlantic Student Workshop on Programming Languages and Systems, Newark, DE, April, 2000.

INVITED TALKS

"Structural Testing of Object-Oriented Codes," Villanova University, November, 2001.

"TATOO and OMEN: An Object-Oriented Testing Tool and Technique," Bucknell University, October, 2000

TEACHING EXPERIENCE

Visiting Assistant Professor:

CS203: Introduction to Computer Science, Spring 2002

CS208: Programming Languages, Spring 2002

Instructor: Responsible for developing entire five and ten week courses including developing and presenting lectures, creating both programming and written assignments, and managing a teaching assistant.

CISC220: Data Structures, Summer 2001.

CISC120: Object-Oriented Programming in C++, Summer 1999.

CISC105: General Computer Science (Programming in C), Summers 1997 and 1998.

Lab Instructor: Responsible for conducting weekly laboratory sessions, grading assignments, and holding weekly office hours.

CISC105: General Computer Science (Programming in C), Spring 1997 and Fall 1997.

CISC181: Introduction to Computer Science (Programming in C++), Fall 1996.

Teaching Assistant: Responsible for grading assignments, testing student projects, and holding weekly office hours.

CISC672: Advanced Compiler Construction, Spring 1998.

Laboratory Assistant: Responsible for grading assignments and answering questions during weekly laboratory sessions.

CS203:Introduction to Computer Science, 1994-1996.

HONORS and AWARDS

Lauri Pfeffer Shinn Memorial Award, Department of Computer and Information Sciences, University of Delaware, May, 2001.

This award is given to a female computer science major in recognition of academic success and for her contribution to the CIS department.

University of Delaware Travel Award, November 2001 ($500 to attend and present at the International Conference on Software Maintenance).

SIGPLAN Student Travel Award, June 2001 ($700 to attend and present at the Workshop on Program Analysis for Software Tools and Engineering).

SIGSOFT Student Travel Award, August 2000 ($500 to attend and present at the International Symposium on Software Testing and Analysis).

Graduated with Honors, Bucknell University, 1996.

Senior Editor Crossroads: The ACM Student Magazine, July 2001 to present.
General Editor Crossroads: The ACM Student Magazine, February 2000 to July 2001.

ACM Member: 1995 to present.
SIGSOFT Member: June 2000 to present.

President CIS-Graduate Student Association, University of Delaware: May 2000 to present.
Secretary Graduate Student Senate, University of Delaware: May 2000 to January 2001.

Captain of SIG-HOOPS, University of Delaware, Intramural Basketball: Spring 1997 and Spring 1999.