The City College of New York
Department of Computer Sciences
Douglas R. Troeger, Associate Professor and Department Chair
A.B. (Phil.), Brown University
Sc.B. (Chem.), Brown University
Ph.D. (Math.), Stevens Institute of Technology
Functional Programming, Programming Language Semantics, Computer
A Case Study of Heap Paging in the MT System, Paper presented at
IFL 2000, Implementation of Functional Languages, 12th International Workshop,Aachen,
Germany, September 4 -- 7, 2000 (With M. Morazan).
The MT Architecture and Allocation Algorithm, Trends in Functional
Programming: Proceedings of the First Annual Scottish Functional Programming
Workshop, University of Stirling, Bridge of Allan, Scotland, August 1999
(Phil Trinder, Greg Michaelson, and Hans-Wolfgang Loidl, editors; Intellect,
pub.), pp. 96 -- 103 (With M. Morazan).
Structural Requisites for Undergraduate Mentoring at CCNY, Proceedings
of the ADMI Symposium, May 29 -- June 1, 1997, Washington, D. C., pp 254
-- 261 (with J. Barba).
Formal Methods and Design, and Collaborative Learning, in the First
Computer Science Course, invited chapter in the Volume: "Access and
Empowerment: The Quantitative Gatekeeper Courses", E. Willemsen and J.
Gainen, eds., New Directions for Teaching and Learning, Number 61, Spring
Step Bisimulation is Pomset Equivalence on a Parallel Language without
Explicit Internal Choice, Mathematical Structures in Computer Science,
Vol 3, pp. 25-62 (1993).
Papers in Preparation
Paging Behavior of the MT System, (with M. Morazan)
Why Separate MT's Heap and Stack Frames? (with M. Morazan)
Marco T. Morazan. Thesis: Towards Fast Functional Languages
via Distributed Virtual Memory, September 1999.
Minority Institution Infrastructure Grant: The Center for Minorities
in Information Processing Systems, co-PI and co-Director (NSF 1991 - 1997), with J. Barba,
M. Basu, W. Edmundson, D. McCracken, and N. Scheinberg.
Educational Infrastructure Grant: Formal Methods in Undergraduate
Computer Science, Senior Investigator (NSF 1993 - 1996), with R.Decker,
S. Hirschfield, P. Mulry, C. Nevison and H. Walker.
Fund for the Improvement of Postsecondary Education: Formal Methods
in the First Computer Science Course, PI (U.S. Department of Education
1994 - 1997), with G. Bloom and S. Lucci.
Model Institution for Excellence Planning Grant, co-PI (NSF 1994
- 1995), with J. Barba.
Instrumentation and Laboratory Infrastructure Grant: Formal
Methods and Object Oriented Programming, co-PI (NSF 1996 - 1998), with
Institutional Reform Grant, co-Project Manager (NSF 1997 -
1999), with J. Barba, D. Gosser, D. Lemmons, E. Smiley, C. Watkins, D.
Weiss, and Y. Moses.
Conferences and Workshops Organized
Teaching Formal Methods: Curriculum Development Workshop, at Hamilton
College, Clinton, NY, July 30 - Agust 5, 1994 (NSF-sponsored, with P. Mulry
and H. Walker)
Formal Methods in the Early Computer Science Curriculum: an Informal
Workshop, at the Graduate Center of the City University of New York,
September 16, 1995. NSF and U.S. Department of Education sponsored
(with D. Arnow).
Formal Methods in the Computer Science Curriculum, at Stevens Institute
of Technology, July 24 -- 25, 1996 NSF sponsored (with P. Mulry and
The 21st Century Engineering Consortium, Melbourne, Fla, March 18
-- 19, 1998, U.S. Airforce sponsored (with P. Alexander,
B. Andriamanalimanana, A. Barbour, S. Chin , G. Gopalakrishnan,
S. Johnson , M. Nassif, R.Paragi , and P. Windley).