Ando, Rie. "The Document Representation Problem: An Analysis of LSI and Iterative Residual Rescaling." TR2001-1843. July 9, 2001

Angus, Allegra; Kozen,Dexter. "Kleene Algebra with Tests and Program Schematology." TR2001-1844. July, 11, 2001

Barth, Adam; Kozen, Dexter. "Equational Verification of Cache Blocking in LU Decomposition using Kleene Algebra with Tests. TR2002-1865. June 4, 2002

Chong, Stephen. "Word Alignment of Proof Verbalizations Using Generative Statistical Models." TR 2002-1864. June 4, 2002

Ezick, James; Bilanrdi, Gianfranco; Pingali, Keshav. "Efficient Computation of Interprocedural Control Dependence." TR2001-1850. September 6, 2001

Glew, Neal. "A Theory of Second-Order Trees." TR2001-1859. January 25,2002

Grossman, Dan; Morrisett, Greg; Trevor, Jim; Hicks, Michael; Wang, Yanling; Cheney, James. "Cyclone User's Manual, Version 0.1.3." TR2001-1855. October 19, 2001

Grossman, Dan. "Existential Types for Imperative Languages: Technical Results." TR2001-1854. October 18, 2001

Grossman, Dan; Morrisett, Greg; Jim, Trevor; Hicks, Michael; Wang, Yanling; Cheney, James. "Formal Type Soundness for Cyclone's Region System." TR2001-1856. November 30, 2001

Haas, Zygmunt; Halpern, Joseph Y.; Li, Li. "Gossip-Based Ad Hoc Routing." TR2001-1849. August 9, 2001

Johansne, Dag; Lauvset, Kare J.; van Rensesse, Robbert; Schneider, Fred B.; Sudmann, Nils P.; Jacobsen, Kjetil. "A TACOMA Retrospective." TR2001-1858

Kleinberg, Jon. "Bursty and Hierarchical Structure in Streams." TR2002-1863. March 11, 2002

Kolmogorov, Vladimir; Zabih, Ramin. "What Energy Functions can be Minimized via Graph cuts?" TR2001-1857. October 27, 2001

Kozen, Dexter. 'Computational Inductive Definability." TR2002-1870. April 4, 2002

Kozen, Dexter; Stillerman, Matt. "Eager Class Initialization for Java." TR2001-1845.
July 23, 2001

Kozen, Dexter. "On Two Letters versus Three." TR2002-1860. February 4, 2002

Minsky, Yaron M.; Schneider, Fred B. "Tolerating Malicious Gossip." TR2001-1853.
October 10, 2001

Nogin, Aleksey. "Quotient Types - A Modular Approach." TR2002-1869. April 9, 2002

Ramasubramanian, Venugopalan; Sirer, Emin Gun. "A Temporal Adaptation Framework for Hybrid Routing in Mobile Ad Hoc Networks." TR2002-1862. March 6, 2002

Roughgarden,Tim; Tardos, Eva. "Bounding the Inefficiency of Equilibria in Nonatomic Congestion." TR2002-1866. June 4, 2002

Roughgarden, Tim. "The Price of Anarchy with Polynomial Edge Latency." TR2001-1847.
July 30, 2001

Sirer, Emin Gun; Barr, Rimon; Kim, T. W. Danny; Fung, Ian Yee Yan. "Automatic Code Placement Alternatives for Ad Hoc and Sensor Networks." TR2001-1852. October 4, 2001

Zdancewic, Steve; Zheng, Lantian; Nystrom, Nathaniel; Myers, Andrew. "Secure Program Partitioning." TR2001-1846. October 18, 2001

Papers By Students

Adleman, Leonard; Cheng, Qi; Goel, Ashish; Huang, Ming-Deh; Kempe, David; Moisset de Espanes, Pablo; and Rothemund, Paul. "Combinatorial Optimization Problems in Self-Assembly". In Proceedings of STOC 2002.

Ananthakrishna, Rohit; Chaudhuri, Surajit; and Ganti, Venkatesh. "Eliminating Fuzzy Duplicates in Data Warehouses. Conf: VLDB 2002.

Anshelevich, Elliot; Kempe, David; and Kleinberg, Jon. "Stability of Load Balancing Algorithms in Dynamic Adversarial Systems". In Proceedings of STOC 2002.

Barr, Rimon; Kim, T.W. Danny; Fung, Ian Yee Yan; and Sirer, Emin Gun. "Automatic Code Placement Alternatives for Ad Hoc and Sensor Networks. Computer Science Technical Report 2001-1853, Cornell University, November 2001.

Barr, Rimon; Bicket, John C.; Dantas, Daniel S.; Du, Bowei; Kim, T.W. Danny; Zhou, Bing; and Sirer, Emin Gun. "On the Need for System-Level Support for Ad Hoc and Sensor Networks". Operating Systems Review, ACM, 36(2):1-5, April 2002.

Boykov, Yuri and Kolmogorov, Vladimir. "An Experimental Comparison of Min-Cut/Max-Flow Algorithms for Energy Minimization in Computer Vision", Third International Workshop on Energy Minimization Methods in Computer Vision and Pattern Recognition (EMMCVPR), September 2001.

Bronevetsky, Greg. "Grex: An Efficient Large Knowledge Base". Cornell Graduate Engineering Symposium.

Cardie, Claire, Michael White, Vincent Ng, and Daryl McCullough. "Detecting Discrepancies in Numerical Estimates Using Multidocument
Hypertext Summaries." Proceedings of the Second International Conference on Human Language Technology Research (March, 2002).

Coury, D.V.; Thorp, J.S.; Hopkinson, K.M.; Birman, K.P. "An Agent Based Curent Differential Relay for Use with a Utility Intranet". IEEE Transactions on Power Delivery. January 2002.

Czajkowski, Grzegorz; Daynes, Laurent; and Nystrom, Nathaniel. "Code Sharing Among Virtual Machines". In Proceedings of the 16th European Conference on Object-Oriented Programming. Malaga, Spain. June 2002.

Das, Abhinandan; Gupta, Indranil; and Motivala, Ashish. "SWIM: Scalable Weakly-consistent Infection-style Process Group Membership Protocol", In Proceedings of The International Conference on Dependable Systems and Networks (DSN 02), Washington, DC, June, 2002, IEEE Computer Society Press.

Dobra, Alin; Garofalakis, Minos; Gehrke, Johannes; and Rastogi, Rajeev. "Processing Complex Aggregate Queries over Data Streams". Proceedings of SIGMOD, June 4-5 2002.

Dumont, R.; Pellacini, F.; and Ferwerda, J. "Perceptually-Driven Decision Theory for Interactive Realistic Rendering". To appear in ACM Transaction on Graphics, 2002.

Ezick, James; Gianfranco, Bilardi; and Pingali, Keshav. "Efficient Computation of Interprocedural Control Dependence". Cornell Technical Report TR 2001-1850. August 2001.

Ezick, James; Richardson, David; and Teitelbaum, Tim. "Practical Model Checking and Example Generation for Context-Free Processes". Cornell Technical Report TR2002-1851. August 2001.

Fakhouri, Sameh A.; Goldszmidt, German; Gupta, Indranil; Kalantar, Michael; and Pershing, John. "GulfStream - a System for Dynamic Topology Management in Multi-Domain Server Farms ", In Proceedings of the IEEE International Conference on Cluster Computing (Cluster 2001), October, 2001, IEEE Computer Society Press.

Faradjian, A.K.; Gehrke, J.; and Bonnet, P. "GADT: A Probability Space ADT for Representing and Querying the Physical World". 18th International Confernece on Data Engineering, Feb 26-March 1, 2002. San Jose, CA.

Fisher, K, Pucella, R, Reppy, J. "A framework for interoperability". Proceedings of the First International Workshop on Multi-Language Infrastructure and Interoperability (BABEL'01), Electronic Notes in Theoretical Computer Science, 59(1), 2001.

Fluet, Matthew and Weeks, Stephen. "Contification Using Dominators". Proceedings of the 2001 ACM SIGPLAN International Conference on Functional Programming. 2-13.

Grossman, Dan. "Existential Types for Imperative Languages". 11th European Symposium on Programming, volume 2305 of Lecture Notes in Computer Science, pgs 21-35, Grenoble, France, April 2002.

Grossman, D.; Morrisett, G.; Jim, T.; Hicks, M.; Wang, Y.; and Cheney, J. "Region-Based Memory Management in Cyclone". ACM Conference on Programming Language Design and Implementation, Berlin, Germany. June 2002. To appear.

Gupta, Indranil; van Renesse, Robbert; and Birman, Kenneth, "Scalable Fault-tolerant Aggregation in Large Process Groups", In Proceedings of The International Conference on Dependable Systems and Networks (DSN 01), July, 2001, pp. 433-442, IEEE Computer Society Press.

Gupta, Indranil; Chandra, Tushar D.; and Goldszmidt, German, "On Scalable and Efficient Distributed Failure Detectors", In Proceedings of the 20th Symposium on Principles of Distributed Computing (PODC 2001), August, 2001, pp. 170-179, ACM Press.

Gupta, Indranil; Birman, Kenneth; and van Renesse, Robbert. "Fighting fire with fire: using randomized gossip to combat stochastic scalability limits", In Sp. Issue Journal Quality and Reliability Engineering International, 2002, John Wiley and Sons.

Halpern, JY and O'Neill, K. "Secrecy in Multiagent Systems". Computer Security Foundations Workshop 15. June 24-26, 2002.

Halpern, JY, Pucella, R. "A logic for reasoning about upper probabilities". Proceedings of the Seventeenth Conference on Uncertainty in Artificial Intelligence (UAI-2001), pp. 203-210, 2001.
Pucella, R., Panangaden, P. "On the expressive power of first-order boolean functions in PCF". Theoretical Computer Science, 266(1-2), pp. 543-567, 2001.

Halpern, JY, Pucella, R. "On the relationship between strand spaces and multi-agent systems". Proceedings of the Eighth ACM Conference on Computer and ommunications Security (CCS-8), pp. 106-115, 2001.

Jim, T.; Morrisett, G.; Grossman, D.; Hicks, M.; Cheney, J.; and Wang, Y. "Cyclone: A safe dialect of C". USENIX Annual Technical Conference, Monterey, CA. June 2002. To appear.

Kalton, Annaka; Langley, Pat; Wagstaff, Kiri; and Yoo, Jungsoon. "Generalized Clustering, Supervised Learning, and Data Assignment". In Proceedings of the 7th ACM International Conference on Knowledge Discovery and Data Mining, San Francisco, CA. August 2001, ACM Press.

Kelley Sobel, Anne E. and Clarkson, Michael. "Formal Methods Application: An Empiracal Tale of Software Development". IEEE Transactions on Software Engineering, 28(3):308-320, March 2002.

Kim, J.; and Pellacini, F. "Jigsaw Image Mosaics". To appear in SIGGRAPH 2002.

Kolmogorov, Vladimir and Zabih, Ramin. "Multi-camera Scene Reconstruction via Graph Cuts", European Conference on Computer Vision, Copenhagen, Denmark, May 2002

Kolmogorov, Vladimir and Zabih, Ramin. "What Energy Functions can be Minimized via Graph Cuts?", European Conference on Computer Vision, Copenhagen, Denmark, May 2002

Kolmogorov, Vladimir and Zabih, Ramin. "Computing Visual Correspondence with Occlusions using Graph Cuts", International Conference on Computer Vision, Vancouver, Canada, July 2001

Kopylov, Alexei and Nogin, Aleksey. Markov's principle for propositional type theory. In L. Fribourg, editor, \emph{Computer Science Logic, Proceedings of the 10th Annual Conference of the EACSL}, volume 2142 of \emph{Lecture Notes in Computer Science}, pages 570--584. Springer-Verlag, 2001.

Kumar, A. and Gupta, A. "Routing Issues in MPLS (Or how to travel with a Pez Dispenser)". 42nd Annual Symposium on Foundations of Computer Science.

Kumar, A. and Gupta, A. "Sorting and Selection with Structured Costs". 42nd Annual Symposium on Foundations of Computer Science.

Kumar, A.; Breitbart, Y.; Garafalakis, M.; and Rastogi, R. "Optimal Configuration of OSPF Aggregates". Proceedings 21st IEEE INFOCOM, 2002.

Kumar, A.; Chekuri, C.; Gupta, A.; Noar, S.; and Raz, D. "Building Edge-resilient Failure Networks". Proceedings 9th International Conference on IPCO, 2002.

Light, Marc; Mann, Gideon S.; Riloff, Ellen; and Breck, Eric. "Analyses for Elucidating Current Question Answering Technology". Journal of Natural Language Enginnering, 2001, Vol 7, Issue 4.

Ng, Vincent and Claire Cardie. "Improving Machine Learning Approaches to Conference Resolution." Proceedings of the 40th Anniversary Meeting of the Association for Computational Linguistics (July, 2002).

Ng, Vincent and Claire Cardie. "Combining Sample Selection and Error-Driven Pruning for Machine Learning of Conference Rules."
Proceedings of the 2002 Conference on Empirical Methods in Natural Language Processing (July, 2002).

Ng, Vincent and Claire Cardie. "Identifying Anaphoric and Non-Anaphoric
Noun Phrases to Improve Conference Resolution." Proceedings of the 19th International Conference on Computational Linguistics (August, 2002).

Nogin, Aleksey. "Quotient types --- a modular approach". Department of
Computer Science TR2002-1869, Cornell University, April 2002.

Pellacini, F.; Tole, P.; and Greenberg, D. "A User Interface for Interactive Cinematic Shadow Design". To appear in SIGGRAPH 2002.

Pierce, David and Cardie, Claire. "User Oriented Machine Learning Strategies for Information Extraction: Putting the human back in the loop". In working notes of the IJCAI-2001 Workshop on Adaptive Text Extraction and Mining, pages 80-81, 2001.

Pierce, David and Cardie, Claire. "Limitations of co-training for natural language learning from large datasets". In Proceedings of the 2001 Conference on Empirical Methods in Natural Language Processing, pages 1-9, 2001.

Pucella, R, Weissman, V. "A logic for reasoning about digital rights". To appear in Proceedings of the Computer Security Foundations Workshop (CSFW'02), 2002.

Roughgarden, T. "The Price of Anarchy is Independent of the Network Topology". 34th Annual ACM Syposium on Theory of Computing (STOC), 2002, to appear.

Roughgarden, T. "How Unfair is Optimal Routing?". 13th Annual Symposium on Discrete Algorithms (SODA), pages 203-203, 2002.

Roughgarden, T. "Designing Networks for Selfish Users is Hard". 42nd Annual Symposium on Foundations of Computer Science (FOCS), pages 472-481, 2001.

Roughgarden, T. "Stackelberg Scheduling Strategies". 33rd Annual ACM Symposium on Theory of Computing (STOC), pages 104-113, 2001.

Hoffman, A.J.; Jenkins, K.; and Roughgarden, T. "Lethal and Mortal Graphs". Information Processing Letters. 83(1):13-16, July 15, 2002.

Roughgarden, T. and Tardos, E. "How Bad is Selfish Routing?". Journal of the ACM, 49(2):236-259, March 2002.

Schmitt, S.; Lorigo, L.; Kreitz, C.; and Nogin, A. "JProver: Integrating connection-based theorem proving into interactive
proof assistants". In \emph{International Joint Conference on Automated
Reasoning}, volume 2083 of \emph{Lecture Notes in Artificial
Intelligence}, pages 421--426. Springer-Verlag, 2001.

Sirer, E.G. and Wang, K. "An Access Control Language for Web Services." To appear in the 7th Symposium on Access Control Models and Technologies (SACMAT). June 3-4, 2002.

Tole, P.; Pellacini, F.; Walter, B.; and Greenberg, D. "Interactive Global Illumination in Dynamic Scenes". To appear in SIGGRAPH 2002.

Wagstaff, Kiri. "Intelligent Clustering with Instance-Level Constraints". (Abstract). Cornell Engineering Graduate Research Symposium, Cornell University. March 29, 2002.

Weirich, Stephanie. "Higher-Order Intensional Type Analysis". European Symposium on Programming (ESOP02), Grenoble, France, April 2002.

Welsh, D. and Gale, A. "The Complexity of Counting Problems". In Aspects of Complexity Minicourses in Algorithmics, Complexity and Computational Algebra. Mathematics Workshop, Kaikoura. January 7-15, 2000. Ed. By Downey, Rod/Hirschfeldt, Denis. 2001.

White, Michael; Korelsky, Tanya; Cardie, Claire; Ng, Vincent; Pierce, David; and Wagstaff, Kiri. "Multi-document Summarization Via Information Extraction". In Proceedings of the First International Conference on Human Language Technology Research, 2001.

Zdancewic, Steve; Zheng, Lan-tian; Nystrom, Nathaniel; and Myers, Andrew. "Untrusted Hosts and Confidentiality: Secure Program Partitioning". Operating Systems Review, Proceedings of the 18th ACM Symposium on Operating Systems Principles (SOSP'01) vol 35(5), pgs 1-14. Chateau Lake Louise, Banff, Canada. October, 2001.

Zdancewic, Steve and Myers, Andrew. "Secure Information Flow via Linear Continuations". Higher Order and Symbolic Computation, vol 15(2/3). 2001.

Lectures Given By Students

Allavena, André. "Associativity-Based Routing for Ad-Hoc Mobile Networks". Guest Lecture in CS 615, Department of Computer Science, Cornell University, Spring 2002.

Allavena, André. "Time, Clocks, and the Ordering of Events in a Distributed System". Guest Lecture in CS 614, Department of Computer Science, Cornell University, Spring 2002.

Allavena, André. "Transactions in Distributed Systems." Guest Lecture in CS 614, Department of Computer Science, Cornell University, Spring 2002.

Anshelevich, Elliot. "Stability of Load Balancing Algorithms in Dynamic Adversarial Systems". Theory Seminar, Computer Science, Cornell University, Ithaca, NY. April 2002.

Cheney, James; Lagoze, Carl; Botticelli, Peter. "Toward a Theory of Information Preservation". Presented at 5th European Conference on Research and Advanced Technology for Digital Libraries (ECDL 2001), Darmstadt. September 7, 2001.

Das, Abhinandan; Gupta, Indranil; and Motivala, Ashish. "SWIM: Scalable Weakly-consistent Infection-style Process Group Membership Protocol", In The International Conference on Dependable Systems and Networks (DSN 02), Washington DC, June, 2002.

Grossman, Daniel. "Region-Based Memory Management in Cyclone". ACM Conference on Programming Language Design and Implementation. Berlin, Germany, June 2002.

Grossman, Daniel. "Cyclone: A safe language at the C level of abstraction". 3rd Annual Programming Languages Day, IBM Watson, May 2002.

Grossman, Daniel. "Existential Types for Imperative Languages". 11th European Symposium on Programming, April 2002.

Grossman, Daniel. "Cyclone, Regions, and Language-Based Safey". Guest lecture in CS 598, Foundations of Language-Based Security, Princeton University, February 2002.

Gupta, Indranil; van Renesse, Robbert; and Birman, Kenneth "Scalable Fault-tolerant Aggregation in Large Process Groups", In The International Conference on Dependable Systems and Networks (DSN 01), Goteborg, Sweden, July, 2001.

Gupta, Indranil; Chandra, Tushar D.; and Goldszmidt, German. "On Scalable and Efficient Distributed Failure Detectors", In 20th Symposium on Principles of Distributed Computing (PODC 2001), Newport, RI, August, 2001.

Halpern, JY and O'Neill, K. "Secrecy in Multiagent Systems". Computer Security Foundations Workshop 15. June 24-26, 2002.

Kempe, David; Kleinberg, Jon; and Demers, Alan. "Spatial Gossip and Resource Location Protocols". Presented at STOC 2001 in Crete, Greece. July 2001.

Kempe, David. "An Introduction to Self-Assembly". Presented at Cornell Theory Seminar, Computer Science, Cornell University, Ithaca, NY. April 29, 2002.

Kopylov, Alexei and Nogin, Aleksey. Markov's principle for propositional type theory. 10th Annual Conference of the EACSL, Paris, France, September 2001

Kumar, A. "Routing Issues in MPLS (Or how to travel with a Pez Dispenser)". 42nd Annual Symposium on Foundations of Computer Science.

Marques, Daniel. "Compiler Inserted Fault Tolerance for Message Passing Applications". Sandia National Lab's CSRI Fault Tolerance Workshop, June 10-11, 2002.

Ng, Vincent. "Improving Machine Learning Approaches to Conference
Resolution." 40th Anniversary Meeting of the Association for Computational Linguistics (ACL), Philadelphia, PA (July, 2002).

Ng, Vincent. "Combining Sample Selection and Error-Driven Pruning for
Machine Learning of Conference Rules." 2002 Coreference on Empirical
Methods in Natural Language Processing (EMNLP), Philadelphia, PA (July,
2002).

Ng, Vincent. "Identifying Anaphoric and Non-Anaphoric Noun Phrases to
Improve Conference Resolution." 19th International Conference on
Computational Linguistics (COLING), Taipei, Taiwan (August, 2002).

Nogin, Aleksey. Logic Seminar Series, Department of Informatics of
Saarland University and MPI Institute, Saarbr\"ucken, Germany, September 2001.

Pierce, David. "Machine Learning Strategies for Corpus-Based Natural Language Processing". Center for Cognitive Science, University at Buffalo. January 2002.

Pierce, David. "User-Oriented Machine Learning Strategies for Information Extraction: Putting the human back in the loop". IJCAI-2001 Workshop on Adaptive Text Extraction and Mining. August 2001.

Roughgarden, T. "Selfish Routing". Technische Universitat at Berlin, Berlin, Germany, June 25, 2002.

Roughgarden, T. "Designing Networks for Selfish Users is Hard". Dagstuhl Workshop on Approximation and Randomized Algorithms in Communication Networks, Saarbrucken, Germany, June 16-21, 2001.

Roughgarden, T. "The Price of Anarchy is Independent of the Network Topology". 34th Annual ACM Symposium on Theory of Computing (STOC). Montreal, Canada, May 20, 2002.

Roughgarden, T. "The Price of Anarchy is Independent of the Network Topology". Theory Seminar, Department of Computer Science, Cornell University, Ithaca, NY. May 5, 2002.

Roughgarden, T. "Selfish Routing". Department of Computer Science, Cornell University, Ithaca, NY. April 8, 2002.

Roughgarden, T. "How Unfair is Optimal Routing?". 13th Annual Symposium on Discrete Algorithms (SODA), San Francisco, CA. January 6, 2001.

Roughgarden, T. "Designing Networks for Selfish Users is Hard". DIMACS Workshop on Computational Issues in Game Theory and Mechanism Design, Rutgers University, Piscataway, NJ. October, 31, 2001.

Roughgarden, T. "Designing Networks for Selfish Users is Hard". 42nd Annual Symposium on Foundations of Computer Science (FOCS), Las Vegas, NY. October 17, 2001.

Roughgarden, T. "Designing Networks for Selfish Users is Hard". Theory Seminar, Department of Computer Science, Cornell University, Ithaca, NY. September 24, 2001.

Roughgarden, T. "Selfish Routing". Theory Seminar, IBM Almaden, San Jose, CA. August 9, 2001.

Roughgarden, T. "Stackelberg Scheduling Strategies". 33rd Annual ACM Symposium on Theory of Computing (STOC), Hersonissos, Crete, Greece. July 6, 2001.

Wagstaff, Kiri. "Smart Clustering with Instance-Level Constraints". University of Maryland Symposium on Research, Careers, and Computer Science, College Park, MD. November 17, 2001.

Wagstaff, Kiri. "Intelligent Clustering with Instance-Level Constraints". Invited Talk, The Applied Physics Laboratory at Johns Hopkins University. February 28, 2002.

Wagstaff, Kiri. "Intelligent Clustering with Instance-Level Constraints". Invited Talk, University of Oklahoma. March 7, 2002.

Wagstaff, Kiri. "Intelligent Clustering with Instance-Level Constraints". Invited Talk, Iowa State University. March 14, 2002.

Wagstaff, Kiri. "Intelligent Clustering with Instance-Level Constraints". California Institute of Technology. April 18, 2002.

Wagstaff, Kiri. "Intelligent Clustering with Instance-Level Constraints". Cornell Engineering Graduate Research Symposium, Cornell University. March 29, 2002.

Weirich, Stephanie. "Higher-Order Intensional Type Analysis". European Symposium in Programming (ESOP02). Grenoble, France, April, 2002.

Weirich, Stephanie. "Run-time Analysis for Program Verification". Research, Careers, and Computer Science: A Maryland Symposium. Maryland, November 16, 2001.

Weissman, Vicky. "Digital Right's Languages". CS 502: Architecture of Web Information Systems and Digital Libraries.

Zdancewic, Steve. "Untrusted Hosts and Confidentiality: Secure Program Partitioning". 18th ACM Symposium on Operating Systems. October 22, 2001.