1998 - 1999 CS Annual Report                                                         Publications
choices.gif (4488 bytes)

Student Publications

Listed by Author

AC  D  E  F  G  H  I  J  K  L  M  N  O  P  Q  R  S  T  U   V  W  X  Y  Z

Aguilera, M. Using the Heartbeat Failure Detector for Quiescent Reliable Communication and Consensus in Partitionable Networks. Theoretical Computer Science 220, 1 (June 1999), 3-30 (with W. Chen and S. Toueg).

—. Randomization and Failure Detection: A Hybrid Approach to Solve Consensus. SIAM Journal of Computing 28, 3 (June 1999), 890-903 (with S. Toueg).

—. Matching Events in a Content-based Subscription System. In Proceedings of the 18th ACM Symposium on Principles of Distributed Computing (May 1999), 53-61 (with R. Strom, D. Sturman, M. Astley and T. Chandra).

—. Consensus in the Crash-Recovery Model. In Proceedings of the 12th International Symposium on Distributed Computing (Sept 1998), 231-245 (with W. Chen and S. Toueg).

Chang, C. Interfacing Java with the Virtual Interface Architecture, Proceedings of ACM SIGPLAN Java Grande Conference, pp.51-57, June 1999. (with T. von Eicken).

—. J-Kernel: A capability-based operating system for Java, in secure internet programming: Security issues for distributed and mobile objects. LNCS, Springer Verlag, (1999), 369-396 (with T. von Eicken, G. Czajkowski, C. Hawblitzel, D. Hu, and D. Spoonhower).

—. MRPC: A high performance RPC system for MPMD parallel computing. Software—Practice and Experience 29, 1, John Wiley & Sons (Jan 1999), 44-66 (with G. Czajkowski and T. von Eicken).

—. Security versus performance tradeoffs in RPC implementations for safe language systems. Proceedings of ACM SIGOOPS European Workshop (Sept 1998) (with G. Czajkowski, C. Hawblitzel, D. Hu and T. von Eicken).

—. Resource management in extensible internet servers. Proceedings of ACM SIGOPS European Workshop (Sept 1998) (with G. Czajkowski, C. Hawblitzel, D. Hu and T. von Eicken).

Chen, W. Failure detection and consensus in the crash-recovery model. Proceedings of the 12th International Symposium on Distributed Computing, Lecture Notes on Computer Science, Springer-Verlag, (Sept 1998), 231-245 (with M. Aguilera and S. Toueg)

—. Using the heartbeat failure detector for quiescent reliable communication and consensus in partitionable networks. Theoretical Computer Science, Elsevier Science 220, 1 (June 1999), 3-30 (with M. Aguilera and S. Toueg).

Chu, F. A decision-theoretic approach to reliable message delivery. Proceedings of the 12th International Symposium on Distributed Computing (Sept 1998), 89-103 (with J. Halpern).

—. Reducing $\Omega$ to $\Diamond \mathcal{W}$. Information Processing Letters 67 (Sept 1998), 289-293

—. Least expected cost query optimization: An exercise in utility. Proceedings of the 18th ACM Symposium on Principles of Database Systems (May 1999), 138-147 (with J. Halpern and P. Seshadri)

Czajkowski, G. JRes: A resource accounting interface for Java. ACM Conference on Object Oriented Languages and Systems (OOPSLA'98) (Oct 1998) (with T. von Eicken).

—. Resource Management for Extensible Internet Servers. Eight ACM SIGOPS European Workshop (Sept 1998) (with C-C. Chang, C. Hawblitzel, D. Hu, and T. von Eicken).

—. Resource Control for Database Extensions. The Fifth USENIX Conference on Object Oriented Technologies and Systems. (May 1999) (with T. Mayr, P. Seshadri, and T. von Eicken).

Glew, N. Type-safe linking and modular assembly language. In the Twenty-sixth ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (Jan. 1999), 250-261 (with G. Morrisett)

—. TALx86: A realistic typed assembly language. ACM SIGPLAN Workshop on Compiler Support for System Software (May 1999), 25-35 (with G. Morrisett, K. Crary, D. Grossman, R. Samuels, F. Smith, D. Walker, S. Weirich and S. Zdancewic)

Grossman, D. TALx86: A realistic typed assembly language. In 1999 ACM SIGPLAN Workshop on Compiler Support for System Software, Atlanta, GA, USA, May 1999. pages 25-35 (with G. Morrisett, K. Crary, N. Glew, D. Grossman, R. Samuels, F. Smith, D. Walker, S. Weirich and S. Zdancewic)

—. JDuck: Building a software engineering tool in Java as a CS2 project. Proceedings of SIGCSE '99 (Mar 1999) (with M. Godfrey)

Hawblitzel, C. Type System Support for Dynamic Revocation. ACM SIGPLAN Workshop on Compiler Support for System Software (May 1999) (with T. von Eicken).

Holland-Minkley, A. Verbalization of high-level formal proofs. Sixteenth National Conference on Artificial Intelligence (July 1999), 277 (R. Barzilay and R. Constable).

Kempe, D. On the power of quantifiers in first-order algebraic specification. in G: Proceedings of the 12th International Workshop on Computer Science Logic, CSL'98 Springer LNCS 1584 (Gottlob, E.Grandjean, K.Seyr, eds.) (with A. Schoenegge).

—. On the weakness of conditional equations in algebraic specification. Combinatorics, Computation & Logic. Proceedings of DMTCS'99 and CATS'99. Australian Computer Science Communications 21, 3 (C.S. Calude, M.J. Dinneen, eds.) (with A. Schoenegge).

Kettnaker, V. Bayesian multi-camera surveillance. Proc. of IEEE CVPR '99 2 (1999), 253-259 (with R. Zabih).

—. Minimum-entropy models of scene activity. Proc. of IEEE CVPR '99 1 (1999), 281-286 (with M. Brand)

—. Counting people from multiple cameras. Proc. of IEEE ICMCS '99 (1999) (with R. Zabih).

Kumar, A. Wavelength conversion in optical networks. ACM SODA (Symposium on Discrete Algorithms) (Jan 1999), 566-575 (with J. Kleinberg).

Li, L. Contour extraction of moving objects. 14th International Conference on Pattern Recognition, Vol. II (August 1998), 1427-1432. (with L. Qiu and L. Li).

Mardis, S. Combining error-driven pruning and classification for partial parsing. Proceedings of the Sixteenth International Conference on Machine Learning (1999) (with C. Cardie and D. Pierce).

Mayr, T. Client-site query extensions. SIGMOD Conference 1999 (1999), 347-358 (Tobias Mayr and Praveen Seshadri)

—. Resource control for Java database extensions. COOTS '99 (1999), 85-98 (G.. Czajkowski, P. Seshadri and T. von Eicken).

Millett, L. Slicing Promela and its applications to model checking, simulation, and protocol understanding. Proceedings of the 4th Workshop on Automata Theoretic Verification with the SPIN Model Checker (Nov 1998), 75-83. (with T. Teitelbaum)

—. Channel dependence analysis for slicing Promela. Proceedings of the International Symposium on Software Engineering for Parallel and Distributed Systems (May 1999), 52-61 (with T. Teitelbaum).

Wagstaff, K. Noun phrase coreference as clustering. Proceedings of the Joint SIGDAT Conference on Empirical Methods in Natural Language Processing and Very Large Corpora (EMNLP/VLC) (June 1999), 82-89 (with C. Cardie).

Walker, D. Typed memory management in a calculus of capabilities. Proceedings of the Twenty-sixth Symposium on Principles of Programming Languages (Jan. 1999), 262-275 (K. Crary, G. Morrisett).

—. TALx86: A realistic typed assembly language. ACM SIGPLAN Workshop on Compiler Support for System Software (May 1999), 25-35 (with G. Morrisett, K. Crary, N. Glew, D. Grossman, R. Samuels, F. Smith, S. Weirich, S. Zdancewic).

Wang, J. A survey of Web caching schemes for the Internet, to appear in ACM Computer Communication Review (CCR).

—. Efficient and accurate Ethernet simulation. To appear in Proc. of the 24th IEEE Annual Conference on Local Computer Networks (LCN'99) (1999) (with S. Keshav).

Weirich, S. Intensional polymorphism in type erasure semantics. Proceedings of the Third ACM Sigplan International Conference on Functional Programming (ICFP '98) (Sept 1998), 301-312 (with K. Crary and G. Morrisett)

—. TALx86: A realistic typed assembly language. ACM SIGPLAN 1999 Workshop on Compiler Support for System Software (WCSSS '99) (May 1999), 25-35 (with G. Morrisett, K. Crary, N. Glew, D. Grossman, R. Samuels, F. Smith, D. Walker and S. Zdancewic).

Zdancewic, S. TALx86: A Realistic Typed Assembly Language. ACM SIGPLAN Workshop on Compiler Support for System Software (May 1999), 25-35 (with G. Morrisett, K. Crary, N. Glew, D. Grossman, R. Samuels, F. Smith, D. Walker and S. Weirich).