Tech
Reports
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. Kozen, Dexter. "On Two Letters versus Three." TR2002-1860. February 4, 2002 Minsky, Yaron M.; Schneider,
Fred B. "Tolerating Malicious Gossip." TR2001-1853. 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. 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
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 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. 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; 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. 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." Ng, Vincent and Claire
Cardie. "Identifying Anaphoric and Non-Anaphoric Nogin, Aleksey. "Quotient
types --- a modular approach". Department of 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 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. 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.
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 Ng, Vincent. "Combining
Sample Selection and Error-Driven Pruning for Ng, Vincent. "Identifying
Anaphoric and Non-Anaphoric Noun Phrases to
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.
|