Faculty Research Profiles

Recent Faculty Presentations

Kenneth B. Baclawski

Baclawski, Kenneth B. 1997. Distributed computer database system and method. United States Patent No. 5,694,593. Assigned to Northeastern University.

 

Baclawski, Kenneth B., Scott DeLoach, Mieczyslaw Kokar, and Jeffrey E. Smith. 1998. Object-oriented parsing and transformation. In proceedings, Seventh OOPSLA workshop on behavioral semantics of business and system specifications. New York: ACM Press.

 

---. 1998. UML formalization: A position paper. In proceedings, OOPSLA '98 workshop, formalizing UML: Why? How? New York: ACM Press.

 

Agnes H. Chan

Chan, Agnes H., Yair Frankel, and Yiannis Tsiounis. On divisible e-cash. 1998. In proceedings, Advances in cryptology-EUROCRYPT '98.

 

Chan, Agnes H., Muriel Medard, John D. Moores, Katie A. Hall, Kristin A. Rauschenbach, and Salil Parikh. 1998. Ultrafast cryptography using optical logic in reconfigurable feedback shift registers. SPIE 3228 (February): 342-353.

 

Chan, Agnes, H., Muriel Medard, and Jung Yueh. 1998. On the complexity of reconfigurable feedback shift register sequences. In proceedings, International symposium on information theory '98. Piscataway, N.J.: IEEE Press.

 

William D. Clinger

Clinger, William D., and Lars Hansen. 1997. Generational garbage collection and the radioactive decay model. In proceedings, 1997 ACM conference on programming language design and implementation, 97-108. New York: ACM Press.

 

Clinger, William D., and Mitchell Wand. 1998. Set constraints for destructive array update optimization. In proceedings, IEEE Computer Society international conference on computer languages, 184-193. Los Alamitos, Calif.: IEEE Press.

 

Gene D. Cooperman

Cooperman, Gene D. 1998. Practical task-oriented parallelism for Gaussian elimination in distributed memory. Linear Algebra Applications 275-276:107-120.

 

Cooperman, Gene D., and Victor Grinberg. Forthcoming. TOP-WEB: Task-oriented metacomputing on the Web. International Journal of Parallel and Distributed Systems and Networks. First published in proceedings, Ninth IASTED international conference on parallel and distributed computing and systems, 279-286. (Anaheim, Calif.: IASTED/Acta Press, 1997).

 

Cooperman, Gene D., Gerhard Hiss, Klaus Lux, and Juerger Muller. 1997. The Brauer tree of the principal 19-block of the sporadic simple Thompson group. Journal of Experimental Mathematics 6, no. 4:293-300.

 

Cooperman, Gene D., G. Michler, and H. Vinck. 1997. Proceedings of workshop on high-performance computation and gigabit local area networks. Lecture Notes in Control and Information Sciences, vol. 226. Berlin: Springer-Verlag.

 

Harriet J. Fell

Fell, Harriet J. Forthcoming. Preparing for the computer age at an early age. Invited paper for the International Federation for Information Processing Working Group 3.1 conference on secondary school mathematics in the world of communication technology: Learning, teaching, and the curriculum. Preprint in the proceedings; fully edited version in Information and communications technologies in school mathematics, ed. David Tinsley and David C. Johnson. (London: Chapman & Hall, 1998).

 

Fell, Harriet J., and Linda Ferrier. 1997. Sounds important: A blanket approach to helping babies. Northeastern University Magazine, May, 57-58.

 

Fell, Harriet J., Joel MacAuslan, Linda Ferrier, and Karen Chenausky. 1998. Automatic babble recognition for early detection of speech-related disorders. In proceedings, ASSETS '98, the third biennial ACM conference on assistive technologies. New York: ACM Press.

 

Fell, Harriet J., and Viera K. Proulx. 1997. Exploring Martian planetary images. SIGCSE Bulletin 29:30-34.

 

Fell, Harriet J., Viera K. Proulx, and Richard A. Rasala. 1998. Scaling: A design pattern in introductory computer science courses. SIGCSE Bulletin 30:326-330.

 

Larry A. Finkelstein

Finkelstein, Larry A., Gene D. Cooperman, Michael Tselman, and Bryant W. York. 1997. Constructing permutation representations for matrix groups. Journal of Symbolic Computation 24:471-488.

 

Robert P. Futrelle

Futrelle, Robert P. 1999. Summarization of diagrams in documents. In Advances in automated text summarization, ed. I. Mani and M. Maybury. Cambridge: MIT Press.

 

Futrelle, Robert P. 1998. Demonstration of the diagram understanding system. Technical Report FS-98-04. American Association for Artificial Intelligence 1998 fall symposium on formalizing reasoning with visual and diagrammatic representations.

 

Carole D. Hafner

Hafner, Carole D., and Natalya Fridman Noy. 1997. The state of the art in ontology design: A survey and comparative review. AI Magazine (fall): 53-74.

 

Hafner, Carole D., and Natalya Fridman Noy. 1998. Representing scientific experiments: Implications for ontology design and knowledge sharing. In proceedings, Fifteenth national conference on artificial intelligence. Cambridge: AAAI Press/MIT Press.

 

Karl J. Lieberherr

Lieberherr, Karl J. 1997. Evolution of software via adaptive programming. Software Engineering Notes 22, no. 5 (September): 56-57.

 

Lieberherr, Karl J., Ibrahim Matta, and Mohammed Eltoweissy. 1998. From CSCW applications to multicast routing: An integrated QoS architecture. In proceedings, IEEE international conference on communications. Piscataway, N.J.: IEEE Press.

 

Lieberherr, Karl J., and Mira Mezini. 1998. Adaptive plug-and-play components for evolutionary software development. SIGPLAN Notices Special Issue 33, no. 10 (October): 97-116.

 

Lieberherr, Karl J., and Douglas Orleans. 1997. Preventive program maintenance in Demeter/Java. In proceedings, International conference on software engineering. Boston: ACM Press.

 

Lieberherr, Karl J., and Boaz Patt-Shamir. 1997. Traversals of object structures: Specification and efficient implementation. Technical Report NU-CCS-97-15.

 

Lieberherr, Karl J., Linda Seiter, and Jens Palsberg. 1998. Evolution of object behavior using context relations. IEEE Transactions on Software Engineering 24, no. 1:79-92.

 

David H. Lorenz

Lorenz, David H. 1997. Tiling design patterns: A case study using the interpreter pattern. ACM Sigplan Notices 32, no. 10 (October): 206-217.

 

---. 1998. Compilation of source code into object-oriented patterns. In Object-oriented technology. Lecture Notes in Computer Science, ed. Serge Demeyer and Jan Bosch, no. 1543. Kaiserslautern, Germany: Springer-Verlag.

 

---. 1998. Visitor beans: An aspect-oriented pattern. In Object-oriented technology. Lecture Notes in Computer Science, ed. Serge Demeyer and Jan Bosch, no. 1543. Kaiserslautern, Germany: Springer-Verlag.

 

Lorenz, David H., Wim De Pauw, John Vlissides, and Mark Wegman. 1998. Execution patterns in object-oriented visualization. In proceedings, Fourth USENIX conference on object-oriented technologies and systems, 219-234. Berkeley, Calif.: USENIX Association.

 

Lorenz, David H., and Joseph Gil. 1997. Design patterns vs. language design. In Object-oriented technology. Lecture Notes in Computer Science, ed. Jan Bosch and Stuart Mitchell, no. 1357. Berlin and Heidelberg, Germany: Springer-Verlag.

 

---. 1998. Object technology: Design patterns and language design. IEEE Computer 31, no. 3 (March): 118-120.

 

Ibrahim Matta

Matta, Ibrahim. 1998. A load-profiling approach to routing guaranteed bandwidth flows. In proceedings, IEEE INFOCOM '98. San Francisco: IEEE Press.

 

---. 1998. Fast time-dependent evaluation of multi-service networks. Computer Networks and ISDN Systems-Special Issue on Modeling of Wired and Wireless ATM 29, nos. 17 and 18 (February): 1999-2020.

 

---. 1998. Scheduling and bandwidth allocation for the distribution of archived video in VOD systems. Journal of Telecommunication Systems-Special Issue on Multimedia 9, nos. 3 and 4 (September): 335-355.

 

Viera K. Proulx

Proulx, Viera K. 1997. Recursion and grammars for CS2. SIGCSE Bulletin 29 (June): 74-76.

 

---. 1998. Traffic simulation: A case study for teaching object-oriented design. SIGCSE Bulletin 30, no. 1:48-52.

 

---. 1999. Hospital emergency room simulation: Object-oriented design issues for CS2. SIGCSE Bulletin (March).

 

Proulx, Viera K., and Harriet J. Fell. 1997. Exploring Martian planetary images: C++ exercises for CS1. SIGCSE Bulletin 29, no. 1 (February): 30-34.

 

Proulx, Viera K., Harriet J. Fell, and Richard A. Rasala. 1998. Scaling: A design pattern in introductory computer science courses. SIGCSE Bulletin 30:326-330.

 

Proulx, Viera K., Thomas Naps, Joseph Bergin, Ricardo Jimenez, Myles McNally, Marta Patino, and Jorma Tarhio. 1997. Working group report: Using the World Wide Web as the delivery mechanism for interactive, visualization-based instructional modules. In proceedings, Integrating technology with computer science education '97. New York: ACM Press.

 

Proulx, Viera K. and Joseph W. 1998. Usage simulation for evaluating educational materials. In proceedings, Third annual CCSC NE conference 13, no. 5 (May): 267-274.

 

Rajmohan Rajaraman

Rajaraman, Rajmohan, Johannes Gehrke, and Greg Plaxton. 1997. Rapid convergence of a local load-balancing algorithm for asynchronous rings. In proceedings, Eleventh international workshop on distributed algorithms.

 

Rajaraman, Rajmohan, Madhukar Korupolu, and Greg Plaxton. 1998. Analysis of a local search heuristic for facility location problems. In proceedings, Ninth annual ACM-SIAM symposium on discrete algorithms. New York and Philadelphia: ACM-SIAM.

 

Rajaraman, Rajmohan, and S. Muthukrishnan. 1998. An adversarial model for distributed dynamic load balancing. In proceedings, Tenth annual symposium on parallel algorithms and architectures.

 

Rajaraman, Rajmohan, Greg Plaxton, and Andrea Richa. 1997. Accessing nearby copies of replicated objects in a distributed environment. In proceedings, Ninth annual ACM symposium on parallel algorithms and architectures. New York: ACM Press.

 

Richard A. Rasala

Rasala, Richard A. 1997. A model C++ tree iterator class for binary search trees. SIGCSE Bulletin 29, no. 1 (February): 72-76.

 

---. 1997. Function objects, function templates, and passage by behavior in C++. SIGCSE Bulletin 29, no. 1 (February): 35-38.

 

---. 1997. Design issues in computer science education. SIGCSE Bulletin 29, no. 4 (December): 4-7.

 

---. Forthcoming. Automatic array algorithm animation in C++. In proceedings, SIGCSE '99.

 

Rasala, Richard A., Harriet J. Fell, and Viera K. Proulx. 1998. Scaling: A design pattern in introductory computer science courses. SIGCSE Bulletin 30, no. 1:326-330.

 

Rasala, Richard A., M. Goldweber, G. Davies, J. Impagli-azzo, H. Flack, I. A. Bogaiavenski, J. P. Myers, and A. G. Clear. 1997. Historical perspectives on the computing curriculum. In ITiCSE '97 working group reports and supplemental proceedings, 94-111. New York: ACM Press.

 

Betty J. Salzberg

Salzberg, Betty J. 1997. Access methods. In Handbook on computer science and engineering, 1012-1037. Boca Raton, Fla.: CRC Press.

 

Salzberg, Betty J., Georgios Evangelidis, and David Lomet. 1997. The hB-tree: A multi-attribute index supporting concurrency, recovery, and node consolidation. VLDB Journal 6, no. 1:1-31.

 

Salzberg, Betty J., and David Lomet. 1997. Concurrency and recovery for index trees. VLDB Journal 6, no. 3 (August): 224-240.

 

Salzberg, Betty J., and Chendong Zou. 1998. Safely and efficiently updating references during online reorganization. In proceedings, VLDB conference. San Mateo, Calif.: Morgan-Kaufman.

 

Salzberg, Betty J., Chendong Zou, and Rivka Ladin. 1998. Back to the future: Dynamic hierarchical clustering. In proceedings, IEEE international conference on data engineering. Los Angeles: IEEE Press.

 

Mitchell Wand

Wand, Mitchell. 1997. Types in compilation: Scenes from an invited lecture. Workshop on types in compilation held in conjunction with ICFP '97. (slides)

 

---. 1998. The theory of fexprs is trivial. Lisp and Symbolic Computation 10:189-199.

 

Wand, Mitchell, and William D. Clinger. 1998. Set constraints for destructive array update optimization. In proceedings, IEEE conference on computer languages '98. Piscataway, N.J.: IEEE Press.

 

Wand, Mitchell, Jens Palsberg, and Patrick O'Keefe. 1997. Type inference with nonstructural subtyping. Formal Aspects of Computer Science 9:9-67.

 

Wand, Mitchell, Jonathan A. Rees, William D. Clinger, et al. 1998. Revised report on the algorithmic language Scheme. SIGPLAN Notices 33, no. 9 (September): 26-76.

 

Wand, Mitchell, and Igor Siveroni. 1999. Constraint systems for useless variable elimination. In proceedings, Twenty-sixth ACM symposium on programming languages. New York: ACM Press.

 

Wand, Mitchell, and Paul A. Steckler. 1997. Lightweight closure conversion. ACM Transactions on Programming Languages and Systems (January): 48-86.

 

Wand, Mitchell, and Gregory T. Sullivan. 1997. Denotational semantics using an operationally based term model. In proceedings, Twenty-fourth ACM symposium on programming languages, 386-399. New York: ACM Press.

 

Ronald J. Williams

Williams, Ronald J., and Mohammed A. Al-Ansari. 1998. Modifying the parti-game algorithm for increased robustness, higher efficiency, and better policies. In proceedings, Tenth Yale workshop on adaptive and learning systems. New Haven, Conn.: Yale University.

 

---. 1999. Robust, efficient, globally optimized reinforcement learning with the parti-game algorithm. In Advances in neural information processing systems. San Mateo, Calif.: Morgan-Kaufman.

Faculty Research Profiles

Recent Faculty Presentations