1988-89 ACADEMIC ACTIVITIES REPORT NAME: TIMOTHY J. HICKEY DEPARTMENT: Computer Science I. INSTRUCTIONAL ACTIVITY (Summer 1988, Fall 1988, Spring 1989) a Semester Course Number and Title Class Contact Enrollment Hours Undergrad. Graduate Weekly 1. Autumn 1988 CS140 Logic Programming 6 hr/wk 8 u.g., 10 gr. 2. Spring 1989 CS31b Compiler Design 5 hr/wk 17 u.g., 0 gr. 3. Spring 1989 CS150 Compiler Design 5 hr/wk 6 u.g., 10 gr. (The two Spring courses were team taught with J. Miller) b) Advising (total contact hours per week: ) 4 hr/wk 1) number of general or freshman advisees: 14 2) number of undergraduate departmental advisees: 17 3) number of graduate advisees: 2 c) Please describe your involvement in the direction of senior theses, graduate dissertations and other student research projects. 1. I'm on the dissertation committee of one graduate student (Xiru Zhang) and am advising 2 others (S. Mudambi, D. Smith) 2. There will be three undergraduates participating in research this summer funded by an NSF grant of which I am a PI (with J. Cohen) II. RESEARCH, PUBLICATIONS, ARTISTIC CREATION (use additional page if necessary.) a) Describe current research activities or work in progress: My current research is in two areas: Microanalysis and Logic Programming. In Microanalysis I am investigating the methods for analyzing the performance of parallel programs. The methods range from purely theoretical approaches based on denotational semantics to experimental ones requiring the devolopment of software tools. I am currently revising for publication a paper with J. Cohen on ``Computer Assisted Microanalysis of Parallel Programs'', this paper represents a first step in a multiyear (funded) project to develop theoretical foundations and practical tools for the analysis of programs executing on new parallel architectures. In Logic Programming, I am studying the design, analysis, application, and implementation of Logic Programming Languages. My most recent work provides an elegant language (CLP*) whose theoretical foundations are a synthesis of those of the two major AI languages (Lisp and Prolog). I am also working on parallel implementations of constraint logic programming (with J. Cohen and a grad. student, S. Mudambi), this work has resulted from a loose collaboration with the Swedish Institute of Computer Science. I am also working on partial evaluation of logic programms (with J. Cohen and a grad. student, D. Smith). I have recently begun to work on the problem of applying logic programming techniques to the analysis of large databases of protein and gene information. This work is part of a more extensive effort being undertaken by the Biologic Group, a collaboration of researchers at Argonne National Labs and MCC. b) Manuscript (s) or artistic work accepted for publication (List journal or publisher and anticipated publication date.) 1. ``Global Compilation of Prolog'', with S. Mudambi, in J. Logic Programming c) Publications since January, 1989 (with inclusive page reference for articles). Please use standard form: author(s) or editor(s), title, number of pages, publisher, location, date. 1.``CLP* and Constraint Abstraction'', Proceedings of the 16th Annual ACM Symposium on Principles of Programming Languages, Austin, Texas Jan. 1989, ACM Press, NY, , pp. 125-133. d) Artistic creation (please describe) III. AWARDS AND HONORS (dates) Distinguished Lectures: Research Awards: 1. Equipment Grant from Hewlett Packard for Research into Distributed Computing for $110,445 (with J. Miller) 4/14/89 IV. PROFESSIONAL ACTIVITIES OUTSIDE THE UNIVERSITY (lectures, activities in professional societies, legislative testimony, paid consulting, equity arrangements, etc.) 1. CLP* and Constraint Abstraction, at POPL'89, Jan. 12. 2. Member of Biologic Group investigating applications of Logic Programming to problems in Biology, esp. the Genome project V. PARTICIPATION IN DEPARTMENTAL ACTIVITIES AND ADMINISTRATION 1. Supervisor for the departments Computing Resources, including (HP9000/850 mainframe, 11 Sun Workstation, 5 HP workstations, 1 BBN parallel computer, 2 Lisp Machines, 25 PCs) 2. Participated in selection of new graduate students, search for new faculty member, planning of space requirements for new building (Center for Excellence). VI. PARTICIPATION IN UNIVERSITY ACTIVITIES, COMMITTEES, ETC. 1. Forefront Topics in Science Lecture, Autumn 1989 2. Member of Curriculum Advisory Group for Brandeis Summer Disc. Program 3. Member of University Studies Council Sub-Committee on Math. and Science 4. Attendee of Rosensteil Retreat, Autumn 1988.