Publications and Editorial Activities



	Technical Reports Editorial Activities of the Faculty Student Lectures Student Publications Publications Technical Reports Aaron, E. and S. Allen. Justifying Calculational Logic by a Conventional Metalinguistic Semantics. TR99-1771, September 22, 1999. Ahmed, N., N. Mateev, and K. Pingali. Tiling Imperfectly-nested Loops. TR99-1770, September 21, 1999. Ahmed, N., N. Mateev, and K. Pingali. Tiling Imperfectly-nested Loop Nests. (revised). TR2000-1782, January 31, 2000. Ahmed, N., N. Mateev, K. Pingali, and P. Stodghill. Compiling Imperfectly-nested Sparse Matrix Codes with Dependences. TR2000-1788, March 16, 2000. Ando, R. and L. Lee. Unsupervised Statistical Segmentation of Japanese Kanji Strings. TR99-1756, July 13, 2000. Bergmark, D. ITX Programmer's Guide. TR99-1768, September 14, 1999. Bergmark, D. Link Accessibility in Electronic Journal Articles. TR2000-1793, April 12, 2000. Birman, K. P. The Next Generation Internet: Unsafe at Any Speed? TR99-1777, November 8, 1999. Birman, K. P., R. Constable, M. Hayden, J. Hickey, C. Kreitz, and R. van Renesse. The Horus and Ensemble Projects: Accomplishments and Limitations. TR99-1774, October 20, 1999. Bonnet, P., J. Gehrke, T. Mayr, and P. Seshadri. Query Processing in a Device Database System. TR99-1775, October 27, 1999. Boykov, Y. and D. Huttenlocher. A Bayesian Framework for Model Based Tracking. TR99-1762, August 11, 1999. Chang, C. Safe and Efficient Cluster Communication in Java using Explicit Memory Management. TR99-1765, September 14, 1999. Coury, D.V., J. Thorp, K.M. Hopkinson, and K.P. Birman. Agent Technology Applied to Adaptive Relay Setting for Multi -Terminal Lines. TR2000-1792, March 31, 2000. Erlingsson, U. and F.B. Schneider. IRM Enforcement of Java Stack Inspection. TR2000-1786, February 21, 2000. Freimer, R. Investigations in Geometric Subdivisions: Linear Shattering and Artographic Map Coloring. R2000-1784, February 5, 2000. Glew, N. Object Closure Conversion. TR99-1763, August 25, 1999. Grossman, D. and G. Morrisett. Scalable Certification of Native Code: Experience from Compiling to TALx86. TR2000-1783, February 2, 2000. Gupta, I., R. van Renesse, and K.P. Birman. A Probabilistically Correct Leader Election Protocol for Large Groups. TR2000-1794, April 17, 2000. Hartmanis, J. On the Succinctness of Different Representations of Languages. TR99-2128, December 14, 1999. Kleinberg, J. The Small-World Phenomenon: An Algorithmic Perspective. TR99-1776, October 27, 1999. Kozen, D. On Hoare Logic, Kleene Algebra, and Types. TR99-1760 August 9, 1999. Kozen, D. and J. Tiuryn. On the Completeness of Propositional Hoare Logic. TR99-1766, September 17, 1999. Mateev, N., V. Kotlyar, K. Pingali, and P. Stodghill. Generic Programming System for Sparse Matrix Computations. TR99-1755, July 11, 1999. Mateev, N., V. Kotlyar, K. Pingali, and P. Stodghill. A Generic Programming System for Sparse Matrix Computations (REVISED). TR99-1761, August 9, 1999. Mateev, N., V. Menon, and K. Pingali. Left-looking to Right-looking and Vice Versa: An Application of Fractal Symbolic Analysis to Linear Algebra Code Destructing. TR2000-1797, May 31, 2000. Mateev, N., V. Menon, and K. Pingali. Fractal Symbolic Analysis for Program Transformations. TR2000-1781, February 2, 2000. Mayr, T., P. Bonnet, J. Gehrke, and P. Seshadri. Query Processing with Heterogeneous Resources. TR2000-1790, March 16, 2000. Minsky, Y., and A. Trachtenberg. Efficient Reconciliation of Unordered Databases. TR99-1778, November 12, 1999. Minsky, Y., A. Trachtenberg, and R. Zippel. Set Reconciliation with Nearly Optimal Communication Complexity. TR2000-1796, April 27, 2000. Naumov, P. Formalization of Isabelle Meta Logic in NuPRL. TR99-1769, September 17, 1999. Ozkasap, O., R. van Renesse, K.P. Birman, and Z. Xiao. Efficient Buffering in Reliable Multicast Protocols. TR99-1757, July 14, 1999. Patron, M. and D. Kozen. Certification of Compiler Optimizations using Kleene Algebra with Tests. TR99-1779, December 31, 1999. Rodeh, O., K.P. Birman, and D. Dolev. Optimized Group Rekey for Group Communications. TR99-1764, September 14, 1999. Rodeh, O., K.P. Birman, and D. Dolev. A Study of Group Rekeying. TR2000-1791, March 20, 2000. Schneider, F.B. Enforceable Security Policies. TR99-1759, July 27, 1999. Schneider, F.B., and U. Erlingsson. SASI Enforcement of Security Policies: A Retrospective. TR99-1758, July 27, 1999. Smith, F., D. Walker, and G. Morrisett. Alias Types. TR99-1773, October 29, 1999. Walker, D., K. Crary, and G. Morrisett. Typed Memory Management in a Calculus of Capabilities. TR2000-1780, February 2, 2000. Walker, D. and G. Morrisett. Alias Types for Recursive Data Structures. TR2000-1787, March 23, 2000. Wang, J. A Scalable Efficient Robust Adaptive (SERA) Architecture for the Next Generation of Web Service. TR99-1767, September 14, 1999. Zhou, L. and Z. Haas. Securing Ad Hoc Networks. TR99-1772, October 7, 1999. Zygmunt H., J.Y. Halpern, L. Li, and S.B. Wicker. A Decision-Theoretic Approach to Resource Allocation in Wireless Multimedia Networks. TR2000-1789, March 23, 2000. Editorial Activities of the Faculty ACM Computing Surveys (Schneider, Editor) ACM Transactions on Programming Languages and Systems (Morrisett, Associate Editor) Algorithmica (Hopcroft, Editor and Member, Executive Committee) Annals of Pure and Applied Logic (Artemov, Managing Editor) Annals of Software Engineering (Schneider, Editor) Applied Mathematics Letters (Coleman, Editorial Board) Artificial Intelligence Journal (Halpern, Editorial Board) Chicago Journal of Theoretical Computer Science (Tardos, Editor; Halpern, Consulting Editor) Combinatorica (Tardos, Editor) Communication on Applied Non-linear Analysis (Coleman, Editorial Board) Computational Geometry: Theory and Applications (Kedem, Guest Editor) Computational Linguistics (Lee, Editorial Board) Computational Optimization and Applications (Coleman, Editorial Board) D-Lib Magazine (Arms, Editor-in-chief) Discrete Mathematics and Theoretical Computer Science (Pingali, Editorial Board) Distributed Computing (Schneider, Editor-in-chief) Formal Methods in System Design (Constable, Editor) Fundamenta Informaticae (Hartmanis, Editor) High Integrity Systems (Schneider, Editor) IEEE Transactions on Pattern Analysis and Machine Intelligence on Graph Algorithms and Computer Vision, 2000, Special Issue (Zabih, Guest Editor) IEEE Transactions on Parallel and Distributed Systems (van Renesse, Associate Editor) Information and Computation (Halpern, Editorial Board) Information Processing Letters (Schneider, Editor) Information Sciences (Hopcroft, Associate Editor) International Journal of Computational Geometry and Applications (Hopcroft, Editor) International Journal Parallel Programming (Pingali, Editorial Board) Journal of Logic and Computation (Constable, Editor) Journal of Computer and Systems Sciences (Hartmanis, Hopcroft, Editors; Hopcroft, Associate Editor ) Journal of Functional Programming (Morrisett, Editor) Journal of Global Optimization (Vavasis, Editorial Board) Journal of Interconnection Networks (Tardos, Editor) Journal of Logic and Computation (Constable, Halpern, Editorial Board) Journal of Scheduling (Shmoys, Associate Editor) Journal of Symbolic Computation (Constable, Editor) Journal of the ACM (Halpern, Editor-in-chief) Journal of Theoretical Computer Science (Tardos, Editor) Knowledge Engineering Review (Gomes, Editorial Board) Machine Learning (Cardie, Editorial Board) Mathematical Modeling and Scientific Computing (Coleman, Editorial Board) Mathematical Programming (Vavasis, Editorial Board, Shmoys, Tardos, Associate Editors) Mathematics of Operations Research (Tardos, Area Editor, Shmoys, Associate Editor) MIT Press Series on Digital Libraries and Electronic Publishing (Arms, Series Editor) Pattern Recognition Society Journal (Chew, Kedem, Editorial Board) SIAM Journal of Computing (Shmoys, Tardos, Editors) SIAM Journal on Discrete Mathematics (Shmoys, Editor-in-Chief) SIAM Journal of Matrix Analysis Applications (Vavasis, Editorial Board) SIAM/MPS Series on Optimization (Shmoys, Co-Editor) SIAM Review (Vavasis, Editorial Board) Springer-Verlag Lecture Notes in Computer Science (Hartmanis, Editor) Springer-Verlag Texts and Monographs in Computer Science (Schneider, Co-Managing Editor) Studies in Logic and Foundations of Mathematics (Artemov, Editor) Student Lectures Ahmed, Nawaaz. “Synthesizing Transformations for Locality Enhancement of Imperfectly-nested Loop Nests.” International Conference on Supercomputing (ICS’00), ACM SIGARCH. Santa Fe, NM. May 2000. Aguilera, Marcos. “Revisiting the Weakest Failure Detector for Uniform Reliable Broadcast.” 13th International Symposium on Distributed Computing. Bratislava, Slovak Republic. September 27-29, 1999. Glew, Neal. “Advanced Type Structure for Assembly Language.” Computer Science Weekly Seminar, Victoria Univ. of Wellington. January 21, 2000. Grossman, Dan. “Principles in Programming: A Syntactic Proof Technique.” Presented at the 4th ACM SIGPLAN International Conference on Functional Programming. September 28, 1999 (with S. Zdancewic and G. Morrisett). Howe, Nicholas. “Data as Ensembles of Records: Representation and Comparison.” Proceedings of the 17th International Conference on Machine Learning, 2000. June 30, 2000. —. “Using Artificial Queries to Evaluate Image Retrieval.” IEEE Workshop on Content-based Access of Image and Video Databases, 2000. June 12, 2000. —. “Bayesian Reconstruction of 3D Human Motion from Single-camera Video.” Advances in Neural Information Processing Systems. November 30, 1999 (with M. Leventon and W. Freeman). Huang, Y. C. “Control Knowledge in Planning: Benefits and Tradeoffs.” The 16th National Conference on Artificial Intelligence. Orlando, FL. July 21, 1999. Kempe, David. “Connectivity and Inference Problems for Temporal Networks.” STOC 2000. May 23, 2000. Liu, Xiaoming. “Building Reliable, High-Performance Communication Systems from Components.” 17th ACM Symposium on Operating Systems Principles (SOSP 1999) (with C. Kreitz, R. van Renesse, J. Hickey, M. Hayden, K. Birman, and R. Constable). Mardis, Scott. “Partial Parsing for Linguistic Relationship Identification.” Holy Cross College. January 12, 2000. Invited. Mateev, Nikolay. “Next-generation Generic Programming and its Application to Sparse Matrix Computations.” International Conference on Supercomputing (ICS’00), ACM SIGARCH. Santa Fe, NM. May 2000. —. “Matrix Codes: Compiling for High Performance.” HP Labs. Cambridge, MA. April 11, 2000. —. “Matrix Codes: Compiling for High Performance.” Los Alamos National Laboratory. Los Alamos, NM. April 19, 2000. Qiu, Lili. “On Individual and Aggregate TCP Performance.” 7th International Conference on Network Protocols (ICNP ’99). Toronto, Canada. October 1999. Shapiro, Michael. “The Word Problem and Nested Stack Automata.” Dept. of Computer Science, Cornell Univ. Theory Seminar. Wagstaff, Kiri. “A Comparison of Two Clustering Algorithms: BIRCH and CURE.” CS 732, Data Mining Seminar, Cornell Univ., Ithaca, NY. March 15, 2000. —. “An Overview of Clustering Algorithms.” CS 478, Machine Learning, Cornell Univ., Ithaca, NY. April 27, 2000. —. “Using Background Knowledge to Constrain Clustering.” Center for the Study of Language and Intelligence. Stanford, CA. June 22, 2000. —. “Clustering with Instance-level Constraints.” International Conference on Machine Learning. Stanford, CA. June 30, 2000. Walker, David. “Alias Types.” Carnegie Mellon Computer Science Department POP Seminar. Pittsburgh, PA. April 25, 2000. Invited. —. “Secure Certifying Compilation.” IBM T.J. Watson Research Center. Hawthorne, NY. April 12, 2000. Invited. —. “A Type System for Expressive Security Policies.” PoPL ’00. Boston, MA. January 20, 2000. Wang, Jia. “Network Aware Clustering of Web Clients.” AT&T Labs, Florham Park, NJ. August 1999. —. “Efficient and Accurate Ethernet Simulation.” 24th IEEE Annual Conference on Local Computer Networks (LCN ’99). Boston, MA. October 1999. Weirich, Stephanie. “Flexible Type Analysis.” AMC SIGPLAN International Conference on Functional Programming. Paris, France. September 29, 1999. —. “Resource Bound Computation.” AMC SIGPLAN-SIGACT Symposium on Principles of Programming Languages. Boston, MA. January 20, 2000. —. “Resource Bound Computation.” IBM T.J. Watson Research Center. Hawthorne, NY. June 1, 2000. Zdancewic, Steve. “Principles in Programming: A Syntactic Proof Technique.” Presented at the 4th ACM SIGPLAN International Conference on Functional Programming. September 28, 1999 (with D. Grossman and G. Morrisett). Zhang, Yin. “Stepping Stone Detection.” New Research Session, SIGCOMM ’99. Boston, MA. September 1999. —. “Speeding Up Short Date Transfers: Theory, Architectural Support, and Simulation Results.” NOSSDAV’00. Chapel Hill, NC. June 2000. Student Publications Ahmed, Nawaaz. “Synthesizing Transformations for Locality Enhancement of Imperfectly-nested Loop Nests.” International Conference on Supercomputing, ACM SIGARCH. Santa Fe, NM (May 2000), (with N. Mateev and K. Pingali). Aguilera, Marcos. “On Quiescent Reliable Communication.” SIAM Journal on Computing, Vol 29, No. 6 (April 2000), 2040–2073 (with W. Chen and S. Toueg). —. “Failure Detection and Consensus in the Crash-Recovery Model.” Distributed Computing, Vol. 13, No. 2 (April 2000), 99–125 (with W. Chen and S. Toueg). —. “Revisiting the Weakest Failure Detector for Uniform Reliable Broadcast.” In Proceedings of the 13th International Symposium on Distributed Computing. LNCS, Springer-Verlag (September 1999), 19–33 (Paper won the best student paper award) (with S. Toueg and B. Deianov). —. “A Simple Bivalency Proof that $t$-Resilient Consensus Requires $t+1$ Rounds.” Information Processing Letters. Vol 71, No. 3-4 (August 1999), 155–158 (with S. Toueg). —. “On the Quality of Service of Failure Detectors.” In Proceedings of the International Conference on Dependable Systems and Networks. In pub. (with W. Chen and S. Toueg). Barr, Rimon. “Efficiently Publishing Relational Data as XML Documents.” VLDB 2000 (with J. Shanmugasundaram, E. Shekita, M. Carey, B. Lindsay, H. Pirahesh, and B. Reinwald). Batu, Tugkan. “Fast Approximate PCPs for Multidimensional Bin-Packing Problems.” RANDOM 1999 (with R. Rubinfeld and P. White). —. “Runtime Verification of Remotely Executed Code Using Probabilistically Checkable Proof Systems.” Run-time Result Verification Workshop, FloC 1999 (with R. Rubinfeld and P. White). Chen, Wei. “Failure Detection and Consensus in the Crash-recovery Model.” Distributed Computing, Vol. 13, No. 2 (April 2000), 99–125 (with M. Aguiler and S. Toueg). —. “On Quiescent Reliable Communication.” SIAM Journal on Computing, Vol 29, No. 6 (April 2000), 2040–2073 (with M. Aguiler and S. Toueg). —. “On the Quality of Service of Failure Detectors.” In Proceedings of the International Conference on Dependable Systems and Networks. In pub. (with M. Aguiler and S. Toueg). Chen, Zhiyuan. “An Algebraic Compression Framework for Query Results.” 16th International Conference on Data Engineering (ICDE 2000). San Diego, CA (March 2000), 177–188 (with P. Seshadri). —. “Selectivity Estimation for Boolean Queries.” 19th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (PODS200). Dallas, TX (May 2000), 216–225 (with F. Korn, N. Koudas, and S. Muthukrishnan). Deianov, Borislav. “Revisiting the Weakest Failure Detector for Uniform Reliable Broadcast.” In Proceedings of the 13th International Symposium on Distributed Computing. LNCS, Springer-Verlag (September 1999), 19–33 (Paper won the best student paper award) (with S. Toueg and M. Aguilera). Glew, Neal. “Type Dispatch for Named Hierarchical Types.” In 1999 International Conference of Functional Programming, Paris, France (September 1999), 172–182. —. “Object Closure Conversion.” In 3rd International Workshop on Higher-Order Operational Techniques in Semantics. Paris, France, (September 1999). Grossman, Dan. “Principles in Programming Languages: A Syntactic Proof Technique.” In Proceedings of the 4th ACM SIGPLAN International Conference on Functional Programming. Paris, France (September 1999) (Won Best Paper Award for PLI ’99) (with S. Zdancewic and G. Morrisett). Howe, Nicholas. “Data as Ensembles of Records: Representation and Comparison.” Proceedings of the 17th International Conference on Machine Learning, (2000). —. “Integrating Color, Texture, and Geometry for Image Retrieval.” Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition, (2000) (with D. Huttenlocher). —. “Using Artificial Queries to Evaluate Image Retrieval.” IEEE workshop on Content-based Access of Image and Video Databases, (2000). —. “Bayesian Reconstruction of 3D Human Motion from Single-Camera Video.” Advances in Neural Information Processing Systems 12, 2000 (with M. Leventon and W. Freeman). Huang, Y.C. “Control Knowledge in Planning: Benefits and Tradeoffs.” In Proceedings of the 16th National Conference on Artificial Intelligence (July 1999), 511-517 (with B. Selman and H. Kautz). Kempe, David. “Connectivity and Inference Problems for Temporal Networks.” In Proceedings of STOC 2000 (with J. Kleinberg and A. Kumar). Kumar, Amit. “Connectivity and Inference Problems for Temporal Networks.” In Proceedings of STOC 2000 (with J. Kleinberg and D. Kempe). Mateev, Nikolay. “Next-generation Generic Programming and its Application to Sparse Matrix Computations.” International Conference on Supercomputing, ACM SIGARCH. Santa Fe, NM (May 2000), (with V. Kotlyar, K. Pingali, and P. Stodghill). —. “Synthesizing Transformations for Locality Enhancement of Imperfectly-nested Loop Nests.” International Conference on Supercomputing, ACM SIGARCH. Santa Fe, NM (May 2000), (with N. Ahmed and K. Pingali). Mayr, Tobias. “Query Processing with Heterogeneous Resources.” Technical Report TR00-1790, Cornell Univ., Dept. of Computer Science, Ithaca, NY (March 2000), (with P. Bonnet and J. Gehrke). Mittal, Anurag. “Site Modeling for Wide Area Surveillance and Image Synthesis.” In IEEE Conference on Computer Vision and Pattern Recognition. Hilton Head, SC (June 2000), (with D. Huttenlocher). Mukhopadhyay, Sugata. “Passive Capture and Structuring of Lectures.” ACM Multimedia Conference. Orlando, FL (October /November 1999), (Recipient of the Best Student Paper Award) (with B. Smith). Ng, Vincent. “Examining the Role of Statistical and Linguistic Knowledge Sources in a General-knowledge Question-answering System.” Proceedings of the 6th Applied Natural Language Processing Conference (ANLP-2000) (May 2000), 180-187 (with C. Cardie, D. Pierce, and C. Buckeley). Nogin, Alexey. “Writing Constructive Proofs Yielding Efficient Extracted Programs.” Final Proceedings will be published as a volume in Electronic Notes in Theoretical Computer Science, Elsevier Science Publishers. Ooi, Wei Tsang. “Design and Implementation of Programmable Media Gateways.” To appear in NOSSDAV 2000. Chapel Hill, NC (June 2000), (with R. van Renesse and B. Smith). Pellacini, Fabio. “Toward a Psychophysically-based Light Reflection Model for Image Synthesis.” Accepted for publication in SIGGRAPH 2000 (with J. Ferwerda and D. Greenberg). Pierce, David. “Examining the Role of Statistical and Linguistic Knowledge Sources in a General-knowledge Question-answering System.” Proceedings of the 6th Applied Natural Language Processing Conference (ANLP-2000) (May 2000), 180-187 (with C. Cardie, V. Ng, and C. Buckeley). Qiu, Lili. “Integrating Packet FEC into Adaptive Voice Playout Buffer Algorithms on the Internet.” Proceedings of IEEE Infocom 2000. Tel-Aviv, Israel (March 2000), (with J. Rosenberg and H. Schulzrinne). —. “On Individual and Aggregate TCP Performance.” Proceedings of 7th International Conference on Network Protocols (ICNP ’99). Toronto, Canada (October, 1999), (with Y. Zhang and S. Keshav). —. “Speeding Up Short Data Transfers: Theory, Architectural Support, and Simulation Results.” Proceedings of NOSSDAV 2000. Chapel Hill, NC (June 2000), (with Y. Zhang and S. Keshav). —. “The Content and Access Dynamics of a Busy Web Server.” Extended Abstract in Proceedings of ACM SIGMETRICS 2000. Santa Clara, CA (June 2000), (with V. Padmanabhan). Rosenberg, Jonathan. “Integrating Packet FEC into Adaptive Voice Playout Buffer Algorithms on the Internet.” Proceedings of IEEE Infocom 2000. Tel-Aviv, Israel, (March 2000), (with L. Qiu and H. Schulzrinne). Smith, Frederick. “Alias Types.” The European Symposium on Programming. Berlin, Germany, (March 2000), (with D. Walker and G. Morrisett). —. “A Type System for Expressive Security Policies.” Twenty-seventh ACM SIGPLAN Symposium on Principles of Programming Languages. Boston, MA, (January 2000), (with D. Walker). —. “A Type System for Expressive Security Policies.” FLOC ’99 Workshop on Run-time Result Verification. Trento, Italy (July 1999), (with D. Walker). —. “Hancock: A Language for Processing Very Large-Scale Data.” in USENIX 2nd Conference on Domain Specific Languages (1999), 163–176 (with D. Bonachea, K. Fisher, and A. Rogers). Wagstaff, Kiri. “Clustering with Instance-level Constraints.” Proceedings of the International Conference on Machine Learning (June 2000), (with C. Cardie). Walker, David. “A Type System for Expressive Security Policies.” FLOC ’99 Workshop on Run-time Result Verification. Trento, Italy (July 1999), (with F. Smith). —. “A Type System for Expressive Security Policies.” Twenty-seventh ACM SIGPLAN Symposium on Principles of Programming Languages. Boston, MA (January 2000) (with F. Smith). —. “Alias Types.” The European Symposium on Programming. Berlin, Germany (March 2000) (with F. Smith and G. Morrisett). Wang, Jia;. “The Implication of Network Performance on Service Quality.” Technical Report TR99-1754. Department of Computer Science, Cornell Univ. (June 30, 1999) (with Y. Zhang and S. Keshav). —. “A Scalable Efficient Robust Adaptive Architecture for the Next Generation of Web Services.” Technical Report TR99-1767. Department of Computer Science, Cornell Univ. (September 14, 1999). Weirich, Stephanie. “Flexible Type Analysis.” ACM SIGPLAN International Conference on Functional Programming. Paris, France. (September 1999), 233–248 (with K. Crary). —. “Resource Bound Computation.” In Proceedings of the 27th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. Boston, MA (January 2000), 184–198 (with K. Crary). White, Patrick. “Fast Approximate PCP’s for Multidimensional Bin-Packing Problems.” RANDOM 1999 (with T. Batu and R. Rubinfeld ). —. “Runtime Verification of Remotely Executed Code Using Probabilistically Checkable Proof Systems.” Run-time Result Verification Workshop, FloC 1999 (with T. Batu and R. Rubinfeld). Zdancewic, Steve. “Principles in Programming Languages: A Syntactic Proof Technique.” In Proceedings of the 4th ACM SIGPLAN International Conference on Functional Programming. Paris, France, (September 1999), (Won Best Paper Award for PLI’99) (with D. Grossman and G. Morrisett). Zhang, Yin. “On Individual and Aggregate TCP Performance.” Proceedings of 7th International Conference on Network Protocols (ICNP’99). Toronto, Canada, (October, 1999) (with L. Qui and S. Keshav). —. “Speeding Up Short Data Transfers: Theory, Architectural Support, and Simulation Results.” Proceedings of NOSSDAV 2000. Chapel Hill, NC (June 2000) (with L. Qiu and S. Keshav). —. “Stepping Stone Detection.” New Research Session, SIGCOMM ’99. Boston, MA (September 1999) (with V. Paxon). Zhou, Lidong. “Securing Ad Hoc Networks.” IEEE Networks, Special Issue on Network Security (November/December 1999), 24-30 (with Z. Haas).