Summary of Engineering Research

Architecture and Systems
^ Basu, S. . Design of efficient simple Coma architectures. (Ph.D. thesis) J. Torrellas, adviser (2000).

^ Cantu-Paz, E. . Designing efficient and accurate parallel genetic algorithms. (Ph.D. thesis) D. Goldberg, adviser (2000).

^ Cao, Q. . Performance characterization and buffer memory optimization of databases. (Ph.D. thesis) J. Torrellas, adviser (2000).

^ Cascaval, G. . Compile-time performance prediction of scientific programs. (Ph.D. thesis) D. Padua, adviser (2000).

^ Cheng, B. C. . Compile-time memory disambiguation for C programs. (Ph.D. thesis) W. Hwu, adviser (2000).

^ Hughes, C. . Prefetching linked data structures in systems with merged dram-logic. (M.S. thesis) S. Adve, adviser (2000).

^ Lam, V. . Selecting the number of executing threads to achieve efficient execution of open MP programs. (M.S. thesis) J. Torrellas, adviser (2000).

^ Renau, J. . Memory hierarchies in intelligent memories: energy/performance design. (M.S. thesis) J. Torrellas, adviser (2000).

^ Rivera-Alvarez, L. . Disk-to-disk parallel sorting on HPVM clusters running Windows NT. (M.S. thesis) A. Chien, adviser (2000).

^ Venkitaraman, N. . Providing weighted fairness in the corelite QOS architecture: design and evaluation. (M.S. thesis) B. Vaduvur, adviser (2000).

Artificial Intelligence
^ Brodie, M. . Iterated phantom induction: a little knowledge can go a long way. (Ph.D. thesis) G. DeJong, adviser (2000).

^ Bulitko, V. . Envisionment-based scheduling using time-interval Petri networks: representation, inference, and learning. (Ph.D. thesis) D. Wilkins, adviser (2000).

^ Kim, P. . Interactive image segmentation using level set methods in a virtual reality environment. (M.S. thesis) S. Hutchinson, adviser (2000).

^ Lake, J. . Sequentialized language models. (Ph.D. thesis) J. DeJong, adviser (2000).

^ Spillner, B. . An expert system architecture for fault-tolerant control in unstable domains. (M.S. thesis) D. Wilkins, adviser (2000).

^ Wen, Z. . 3D tongue, teeth modeling and system implementation for realistic facial animation. (M.S. thesis) T. Huang, adviser (2000).

^ Yang, M. H. . Hand gesture recognition and face detection in images. (Ph.D. thesis) N. Ahuja, adviser (2000).

^ Yang, T. H. . Detecting emerging conceptual contexts in textural collection. (M.S. thesis) W. Pottenger, adviser (2000).

Communications
^ Giles, J. R.. An information-theoretic and game-theoretic study of timing channels. (Ph.D. thesis) B. Hajek, adviser (2000).

^ Trachtenberg, A. . Error-correcting codes on graphs: lexicodes, trellises, and factor graphs. (Ph.D. thesis) A. Vardy, adviser (2000).

Computer Graphics
^ Ferrar, G. . PIG: platform independent graphics. (M.S. thesis) S. Kamin, adviser (2000).

Computer Networks
^ Viswanathan, A. . Design and evaluation of a CPU-aware communication broker for RSVP-based networks. (M.S. thesis) K. Nahrstedt, adviser (2000).

^ Zhou, Y. . QOS-aware interconnectivity of Ethernet/ATM/CATV Mac protocols with RSVP/IP network protocols. (M.S. thesis) K. Nahrstedt, adviser (2000).

^ Zou, B. . Mobile ID protocol: a badge-activated application-level handoff of a multimedia streaming to support user mobility. (M.S. thesis) K. Nahrstedt, adviser (2000).

Computer-aided Design of Digital Systems
^ Wang, Y. . On functional decomposition. (M.S. thesis) S. Muroga, adviser (2000).

Databases and Information Systems
^ Hwang, S. W. . Optimization of sequential overwrite requests on the IBM SP. (M.S. thesis) M. Winslett, adviser (2000).

^ Wang, C. M. . Dynamic online data clustering for object-oriented databases. (Ph.D. thesis) G. Belford, adviser (2000).

Distributed Systems
^ Fernandes, L. . Analysis of streaming protocols for cave images and video. (M.S. thesis) K. Nahrstedt, adviser (2000).

^ Geisler, R. . A remote monitor system for distributed applications using the soft real-time scheduler. (M.S. thesis) K. Nahrstedt, adviser (2000).

^ Haridas, D. . Rebecca—a received based congestion control algorithm for TCP. (M.S. thesis) K. Nahrstedt, adviser (2000).

^ Hiltenbrand, J. . A development framework for highly interactive virtual reality application. (M.S. thesis) K. Nahrstedt, adviser (2000).

^ Hu, K. . Exploiting laziness for improving performance in data replication management. (Ph.D. thesis) S. Mehrotra, adviser (2000).

^ Kalter, W. . Design, implementation, and experimentation of a gateway architecture for end-to-end QOS adaptation. (M.S. thesis) K. Nahrstedt, adviser (2000).

^ Kriengkrai, P. . Database support for similarity retrieval and querying mobile objects. (Ph.D. thesis) S. Mehrotra, adviser (2000).

^ Lee, K. W. . Multicast support for heterogeneous packet flows. (Ph.D. thesis) B. Vaduvur and K. Nahrstedt, advisers (2000).

^ Li, B.. Agilos: a middleware control architecture for application-aware quality of service adaptations. (Ph.D. thesis) K. Nahrstedt, adviser (2000).

^ Liu, T. . Case studies on fault injection-based network system evaluation. (M.S. thesis) R. Iyer, adviser (2000).

^ Naldurg, P. . A componentized framework for dynamic security policies. (M.S. thesis) R. Campbell, adviser (2000).

^ Qian, T. . Dynamic authorization support in large distributed systems. (Ph.D. thesis) R. Campbell, adviser (2000).

^ Rubel, P. . Passive replication in the AQUA system. (M.S. thesis) W. Kubitz, adviser (2000).

^ Sivakumar, R. . Dynamic networks: architectures and algorithms. (Ph.D. thesis) B. Vaduvur and M. Winslett, advisers (2000).

^ Ssu, K. F. . Heterogeneous and mobile recovery. (Ph.D. thesis) W. K. Fuchs, adviser (2000).

^ Varela, C. . Browsing databases over the world-wide web. (M.S. thesis) G. Agha, adviser (2000).

^ Xue, W. . Studies on fault-tolerant techniques using DEPEND. (M.S. thesis) R. Iyer, adviser (2000).

Numerical and Scientific Computing
^ Hartman, A. . A domain decomposition preconditioning method for a conjugate gradient finite element scattering solver. (M.S. thesis) P. Saylor, adviser (2000).

^ Izaguirre Paz, J. . Longer time steps for molecular dynamics. (Ph.D. thesis) R. Skeel, adviser (2000).

^ Zou, G. . Biased Brownian dynamics for rate constant calculation. (M.S. thesis) R. Skeel, adviser (2000).

Operating Systems
^ Yamane, T. . The design and implementation of the 2K resource management service`. (M.S. thesis) R. Campbell, adviser (2000).

Parallel Computing
^ Kim, Y. M. . Code transformation for software distributed shared memory. (M.S. thesis) D. Padua, adviser (2000).

^ Li, X. . Dynamic load balancing for parallel adaptive mesh refinement. (M.S. thesis) S. Teng, adviser (2000).

^ Lin, Y. . Compiler analysis of sparse and irregular computations. (Ph.D. thesis) D. Padua, adviser (2000).

^ Liu, R. . Task scheduling of parallel application with dependence structure and object constraint. (M.S. thesis) L. V. Kale, adviser (2000).

^ Oly, J. . Markov model predictions of I/O requests for scientific applications. (M.S. thesis) D. Reed, adviser (2000).

^ Paranjpye, S. . A checkpoint and restart mechanism for parallel programming systems. (M.S. thesis) L. V. Kale, adviser (2000).

^ Simitci, H. . Adaptive disk striping for parallel input/output. (Ph.D. thesis) D. Reed, adviser (2000).

^ Tada, Y. . Tara: actor-based object-oriented language for efficient distributed software development. (M.S. thesis) G. Agha, adviser (2000).

Programming Languages
^ Harfst, G. . Texlogo: a language and system for illustrating Latex documents with logo turtle graphics. (M.S. thesis) E. Reingold, adviser (2000).

^ Thati, P. . Toward an algebraic formulation of actors. (M.S. thesis) G. Agha, adviser (2000).

Real-time Systems
^ Goel, P. . Thread management in dynamic, soft, real-time framework for multi-threaded multimedia application. (M.S. thesis) K. Nahrstedt, adviser (2000).

^ Hull, L. . An environment for imprecise computations. (Ph.D. thesis) J. Liu, adviser (2000).

^ Tian, M. . A framework for collaboration membership service for power network simulation. (M.S. thesis) L. Sha, adviser (2000).

^ Wehner, K. . An architecture for online multicast routing upgrade. (M.S. thesis) L. Sha, adviser (2000).

Software Engineering
^ Chai, I. . Pedagogical framework documentation: how to document object-oriented frameworks; an empirical study. (Ph.D. thesis) R. Johnson, adviser (2000).

^ Garrido, A. . Software refactoring applied to C programming language. (M.S. thesis) R. Johnson, adviser (2000).

^ Kon, F. . Automatic configuration of component-based distributed systems. (Ph.D. thesis) R. Campbell, adviser (2000).

^ Lu, P. . The type editor. (M.S. thesis) R. Johnson, adviser (2000).

^ Maiya, G. . Translation of Ross method rules to the object query language. (M.S. thesis) R. Johnson, adviser (2000).

^ Norris, B. . An environment for interactive parallel numerical computing. (Ph.D. thesis) M. Heath, adviser (2000).

^ Raghavan, V. . On the design and implementation of a policy administrator for a dynamic security system. (M.S. thesis) R. Campbell, adviser (2000).

^ Wu, L. C. . Interactive source-level debugging of optimized code. (Ph.D. thesis) W. Hwu, adviser (2000).