Xerox Corporation
Wilson Research Center
800 Phillips Road, 128-51E
Webster, NY 14580
zaremski@wrc.xerox.com
(716) 265-8003
Public home page:
http://www.cs.cmu.edu/~amy
NORTH CAROLINA STATE UNIVERSITY,
Raleigh, North Carolina
BS,
Computer Science, 1987.
BS,
Applied Math, 1987.
May 1996 - October 1996.
Carnegie Mellon University,
School of Computer Science, and
Software Engineering Institute,
Pittsburgh, Pennsylvania.
Post Doctoral Fellow.
Developing taxonomy and formal model of
architectural mismatches;
case study of mismatch problems encountered
in building real systems.
August 1987 - January 1996.
Carnegie Mellon University,
School of Computer Science,
Pittsburgh, Pennsylvania.
Research Assistant.
Defined and implemented signature and
specification matching (PhD thesis);
worked on design, implementation, and specification of
Miró, a
visual language for specifying file system security.
Spring 1989, Fall 1990.
Carnegie Mellon University,
School of Computer Science,
Pittsburgh, Pennsylvania.
Teaching Assistant.
Assisted with algorithms (
15-451)
and programming languages (
15-312)
classes. Conducted
recitations and some lectures, prepared homeworks and solutions.
Summer 1988.
Naval Research Lab,
Washington, DC.
ONR Fellowship Summer Intern ,
Human-Computer Interaction group.
Designed and implemented an experiment to compare
proficiency with 2-d and 3-d (polhemus) mouse.
Summer 1986.
AT&T Bell Laboratories,
Murray Hill, New Jersey
Summer Research Program ,
Computer science research department.
Implemented a program to do pattern matching of
structural regular expressions.
Summer 1985.
IBM,
Research Triangle Park, North Carolina.
Summer Internship ,
System support department.
Evaluated departmental performance
using a statistical analysis package (SAS);
assisted with system maintenance.
Signature Matching, a Tool for Using Software Libraries, Amy Moormann Zaremski and Jeannette M. Wing. ACM Transactions on Software Engineering and Methodology (TOSEM), Vol. 4, No. 2, pages 146-170, April 1995.
Miró: Visual Specification of Security. Allan Heydon, Mark W. Maimone, J. D. Tygar, Jeannette M. Wing and Amy Moormann Zaremski. IEEE Transactions on Software Engineering . 16(10), pages 1185-1197, October 1990. Also CMU-CS-89-199.
Signature Matching: A Key to Reuse. A. M. Zaremski and J. M. Wing. Proceedings of SIGSOFT '93, Foundations of Software Engineering, pages 182-190, December 1993. Also CMU-CS-93-151.
Unintrusive Ways to Integrate Formal Specifications in Practice. J. M. Wing and A. Moormann Zaremski. Proceedings VDM '91 , Lecture Notes in Computer Science 551, pages 545-569, October, 1991. Springer-Verlag. Also CMU-CS-91-113.
A Formal Specification of a Visual Language Editor. Jeannette M. Wing and Amy Moormann Zaremski. Proceedings of the Sixth International Workshop on Software Specification and Design , pages 120-129, Como, Italy, October, 1991. Also CMU-CS-91-112.
Constraining Pictures with Pictures. Allan Heydon, Mark W. Maimone, J. D. Tygar, Jeannette M. Wing, and Amy Moormann Zaremski. Proceedings of the IFIP 11th World Computer Congress, pages 157-162, San Francisco, CA, August 1989. Also CMU-CS-88-185.
Miró Tools. Allan Heydon, Mark W. Maimone, J. D. Tygar, Jeannette M. Wing, and Amy Moormann Zaremski. Proceedings of the 1989 IEEE Workshop on Visual Languages, pages 86-91, Los Alamitos, CA, October 1989. IEEE Computer Society Press. Also CMU-CS-89-159.
Miró A visual language for specifying security. A. Heydon, M.W. Maimone, A.F. Moormann, J.D. Tygar, and J.M. Wing. UNIX Security Workshop, Portland, OR, August 1988.
A Larch Specification of the Miró Editor. Amy Moormann Zaremski. Technical Report CMU-CS-91-111, Carnegie Mellon Computer Science Department, February 1991.