|
Publications
Technical
Reports
Aaron, Eric. "Tactic-based Modeling of Cognitive Inference on Logically
Structured Notation." TR00-1812.
September 6, 2000.
Ahmed, Nawaaz. "Locality Enhancement of Imperfectly-nested Loop
Nests." TR00-1811. August 24, 2000.
Ahou, Lidong. "Towards Fault-tolerant and Secure On-line Services."
TR01-1840. May 11, 2001.
Barzilay, Eli. "Quotation and Reflection in Nuprl and Scheme."
TR01-1832. January 8, 2001.
Bergmark, Donna, W. Arms, and C. Lagoze. "An Architecture for Reference
Linking." TR00-1820. October 26,
2000.
Bergmark, Donna. "Automatic Extraction of Reference Linking Information
from Online Documents." TR00-
1821. November 30, 2000.
Bergmark, Donna, and C. Lagoze. "Reference Linking the Web's Scholarly
Papers." TR01-1835. February 7,
2001.
Bickford, Mark, C. Kreitz, and R. van Renesse. "Formally Verifying
Hybrid Protocols with the Nuprl Logical
Programming Environment."
TR01-1839. May 11, 2001.
Boykov, Yuri, and D. Huttenlocher. "A Graph Based Algorithm for
Bayesian Recognition." TR00-1803. "August
28, 2000.
Chandra, Ranveer, V. Ramasubramanian, and K.P. Birman. "Anonymous
Gossip: Improving Multicast
Reliability in Mobile Ad-hoc Networks."
TR01-1836. February 7, 2001.
Cheney, James, C. Lagoze, and P. Botticelli. "Toward a Theory of
Information Preservation." TR01-1841. May
24, 2001.
Dushay, Naomi, and C. Lagoze. "Modeling Decisions for Digital Content."
TR00-1807. July 19, 2000.
Gupta, Indranil. "Minimal CDMA Reducing Strategies in Power-controlled
Ad-hoc Wireless Networks." TR01-
1834. January 25, 2001.
Kolmogorov, Vladimir, and R. Zabih. "Computing Visual Correspondence
with Occlusions via Graph Cuts."
TR01-1838. March 5, 2001.
Kopylov, Alexi. "Dependent Intersection: A New Way of Defining
Records in Type Theory." TR00-1809. August
14, 2000.
Kozen, Dexter. "Myhill-Nerode Relations on Automatic Systems and
the Completeness of Kleene Algebra."
TR00-1826. November 30, 2000.
Kozen, Dexter, and J. Tiuryn. "Intuitionistic Linear Logic and
Partial Correctedness." TR00-1830. December 31,
2000.
Kozen, Dexter. "Automata on Guarded Strings and Applications."
TR01-1833. January 25, 2001.
Lagoze, Carl. "Accomodating Simplicity and Complexity in Metadata:
Lessons from the Dublin Core
Experience." TR00-1800. June
30, 2000.
Lagoze, Carl, J. Hunter, and D. Brickley. "An Event-aware Model
for Metedata Interoperability." TR00-1801.
June 30, 2000.
Maatev, Nikolay, K. Pingali, and P. Stodghill. "The Bernoulli Generic
Matrix Library." TR00-1808. August 1,
2000.
Minky, Yaron, A. Tractenberg, and R. Zippel. "Set Reconciliation
with Nearly Optimal Communication
Complexity." TR00-1813. September
27, 2000.
Qiu, Lili, V. Padmanabhn, N. Venkata, and G.M. Voeljer. "On the
Placement of Web Server Replicas." TR00-
1806. July, 13, 2000.
Ramjee, R., L. Li, and T. Porta. "IP Paging Service for Mobile
Hosts." TR00-1816. October 13, 2000.
Rodeh, Ohad, K. P. Birman, and D. Dolov. "The Architecture and
Performance of Security Protocols in the
Ensemble Group Communication System."
TR00-1822. October 17, 2000.
Rodeh, Ohad, K. P. Birman, and D. Dolev. "Using AVL Trees for Fault
Tolerant Group Key Management."
TR00-1823. November 2, 2000.
Schneider, Fred B., G. Morrisett, and R. Harper. "A Language-based
Approach to Security." TR00-1825.
November 21, 2000.
Smith, Frederick, D. Grossman, G. Morrisett, L. Hornof, and J. Trevor.
"Compiling for Runtime Code
Generation (Extended Version)."
TR00-1824. October 27, 2000.
Stoller, Scott D., and F.B. Schneider. "Automated Analysis of Fault-tolerance
in Distributed Systems." TR00-
1829. December 21, 2000.
Xiao, Zhen, and K. P. Birman. "A Randomized Error Recovery Algorithm
for Reliable Multicast." TR00-1814.
October 2, 2000.
Xiao, Zhen, K. P. Birman, and R. van Renesse. Optimizing Buffer Management
for Reliable Multicast. TR00-
1815. October 2, 2000.
Xiao, Zhen. "Efficient Error Recovery for Reliable Multicast."
TR01-1831. January 3, 2001.
Zdancewic, Steve, and A. Myers. "Confidentiality and Integrity
with Untrusted Hosts: Technical Report." TR00-
1810. August 22, 2000.
Zhang, Yin, L. Qiu, and S. Kesav. "Speeding up Short Data transfers:
Theory, Architectural Support, and
Simulation Results. TR00-1799.
July 19, 2000.
Zhang, Yin, and Lili Qiu. "Understanding the End-to-End Performance
Impact of RED in a Heterogeneous
Environment." TR00-1802. July
19, 2000.
Zhou, Lidong, F.B. Schneider, and R. van Renesse. "COCA: A Secure
Distributed On-line Certification
Authority." TR00-1828. December
11, 2000.
Student
Lectures
Benzinger, Ralph.
"Automated Higher-order Complexity Analysis and Certification."
Invited talk, Implicit
Computational Complexity Workshop
2000, affiliated with LICS 2000. Santa Barbara, CA (2000).
Cheney, James. "Compressing XML using Hierarchical Multiplexed
PPM Models." 2001 IEEE Data
Compression Conference, Snowbird,
UT ( March 27, 2001).
Florence, Adam. "An Improved Implementation of the Fast Gauss Transform."
SIAM Applied Linear Algebra
2000 Conference, Raleigh, NC (October,
2000).
Gupta, Indranil, Robbert van Renesse, and Kenneth P. Birman. "A
Probabilistically Correct Leader Election
Protocol for Large Groups."
Proceedings 14th International Symposium on Distributed Computing (DISC
2000) LNCS 1914, 89-13, Toledo,
Spain (October, 2000).
Gupta, Indranil. "Minimal CDMA Recoding Strategies in Power-controlled
Ad-hoc Wireless Networks."
Proceedings 1st International Workshop
on Parallel and Distributed Computing Issues in Wireless
Networks and Mobile Computing,
San Francisco, CA (April, 2001).
Howe, Nicholas. "Digital Images from the Computer's Perspective."
Guest lecture in course on digital art, NY
University (November 3, 2000).
Howe, Nicholas. "Digital Images and Brain Images: Shall Ever the
Twain Meet?" Guest lecture in cognitive
studies proseminar, Cornell University
(October 31, 2000).
Kumar, Amit. "Fairness in Resource Allocation." 41st IEEE
Symposium on Foundations of Computer Science.
Rodendo Beach, CA.
Nogin, Alexey. "Theorem Proving in Higher Order Logic." (TPHOL's)
Conference (August, 2000).
Pellacini, Fabio. "Rederman: A Virtual Machine for Computer Graphics."
Cornell University (October, 2000).
Pellacini, Fabio. "Computer Animation." Cornell University
(September, 2000).
Pellacini, Fabio. "Towards a Psychophysically-based Light Reflection
Model". PIXAR. July, 2000.
Qiu, Lili. "The Content and Access Dynamics of a Busy Web Server:
Findings and Implications." ACM
SIGCOMM 2000, Stockholm, Sweden
(August, 2000).
Qiu, Lili. "On the Placement of Web Server Replicas." IEEE
INFOCOM 2001, Anchorage, AK (April, 2001).
Roughgarden, Timothy. "Approximate K-MSTs and K-Steiner Trees via
Primal-dual Method and Lagrangean
Relaxation." 8th Conference
on Integer Programming and Combinatorial Optimization (IPCO). (June
13-15,
2001).
Roughgarden, Timothy. "Stackelberg Scheduling Strategies."
Theory Seminar, Department of Computer
Science, Cornell University (April
23, 2001).
Roughgarden, Timothy. "How Bad is Selfish Routing?" Operations
Research Seminar, GSIA, Carnegie Mellon
University, Pittsburgh, PA (December
4, 2000).
Roughgarden, Timothy. "How Bad is Selfish Routing?" 41st Annual
Symposium on Foundations of Computer
Science (FOCS), Redondo Beach,
CA (November 12, 2000).
Roughgarden, Timothy. "How Bad is Selfish Routing?" Theory
Seminar, Department of Computer Science,
Cornell University (October 23,
2000).
Roughgarden, Timothy. "How Bad is Selfish Routing?" 17th International
Symposium on Mathematical
Programming, Atlanta, GA (August
10, 2000).
Vetsikas, Ioannis. "Online Auctions: Software Agents Will Do Your
Bidding." AI Seminar, Cornell University
(November, 2000).
Wagstaff, Kiri. "Clustering with Knowledge-based Constraints."
Doctoral Consortium, 17th National Conference
on Artificial Intelligence. Austin,
TX (July 31, 2000).
Wagstaff, Kiri. "Clustering with Knowledge-based Constraints."
Invited Talk, Stuart Russell's research group,
Berkeley, CA (September 13, 2000).
Weirich, Stephanie. "Type-safe Cast: Functional Pearl." International
Conference on Functional Programming
(September, 2000).
Weirich, Stephanie. "Resource Bound Certification." Harvard
University (February, 2001).
Weirich, Stephanie. "Encoding Intensional Type Analysis."
European Symposium on Programming. (April,
2001).
Weirich, Stephanie. "Polytypic Programming and Intensional Type
(Constructor) Analysis." Working Group 2.8
(Functional Programming) (April,
2001).
Student Papers
Ando, Rie. "Latent
Semantic Space: Iterative Scaling Improves Inter-document Similarity
Measurement." In
Proceedings of SIGIR '2000, 216-223.
Batu, Tugkan, Lance Fortnow, Ronitt Rubinfeld, Warren Smith, and Patrick
White. "Testing that Distributions
are Close." In Proceedings
of 41st Annual Symposium on Foundations of Computer Science, 2000.
Benzinger, Ralph. "Automated Complexity Analysis of Nuprl Extracted
Programs." Journal of Functional
Programming. Cambridge University
Press, 2001.
Benzinger, Ralph. "Automated Higher-order Complexity Analysis."
Theoretical Computer Science, Elsevier,
2001.
Bronevetsky, Greg. "Circle Menus." 2001 Engineering Graduate
Research Symposium (March, 2001).
Chen, Zhiyuan, Johannes Gehrke, and Flip Korn. "Query Optimization
in Compressed Database Systems."
ACM SIGMOD International Conference
on Management of Data, Santa Barbara, CA, (May 21-24, 2001).
Chen, Zhiyuan, H.V. Jagadish, Flip Korn, Nick Koudas, S. Muthukrishnan,
Raymond Ng, and Divesh
Srivastava. "Counting Twig
Matches in a Tree." In Proceedings of the 17th International Conference
on
Data Engineering, Heidelberg, Germany,
595-604 (April 2-6, 2001).
Cheney, James. "Compressing XML Using Hierarchical Multiplexed
PPM Models." 2001 IEEE Data
Compression Conference, Snowbird,
UT (March, 2001).
Chudak, F.A., T. Roughgarden, and D. P. Williamson. "Approximate
k-MSTs and k-Steiner trees via the
primal-dual method of Lagrangean
relaxation." 8th Conference on Integer Programming and Combinatorial
Optimization (IPCO) (June, 2001).
Coury, D.V., J. S. Thorp, K. M. Hopkinson, and K.P. Birman. "Agent
Technology Applied to Adaptive Relay
Setting for Multi-Terminal Lines."
2000 IEEE PES Summer Meeting, 16-20, Seattle, WA (July, 2000).
Coury, D.V., J. S. Thorp, K. M. Hopkinson, and K.P. Birman. "Improving
the Protection of EHV Teed Feeders
Using Local Agents." IEEE
7th International Conference on Developments in Power System Protection,
Amsterdam, The Netherlands (April
9-12, 2001).
Decoste, Dennis, and Kiri Wagstaff. "Alpha Seeding for Support
Vector Machines". Proceedings of the Sixth
ACM SIGKDD International Conference
on Knowledge Discovery and Data Mining, 35-349 (August 20-23,
2000).
Dobra, Alin, and Johannes Gehrke. "Bias Correction in Classification
Tree Construction." International
Conference on Machine Learning
(June 28, 2001).
Dutre, Philip, Parag Tole, and Donald Greenberg. "Approximate Visibility
for Illumination Computations using
Print Clouds." Technical Report
PCG-00-1, Program of Computer Graphics, Cornell University. Available
at: http://www.graphics.cornell.edu/pubs/2000/DTG00.html.
Ferwerda, J., F. Pellacini and D. Greenberg."A Psychophysically-based
Model of Surface Gloss Perception."
Proc. of Human Vision and Electronic
Imaging VI. San Jose, CA (January, 2001).
Gale, Amy, and Rod Downey. "On Genericity and Ershov's Hierarchy."
MLQ Math. Log. Quart. 47(2):161-182
(2001).
Grossman, Daniel, and Greg Morrisett. "Scalable Certification for
Typed Assembly Language." In 2000 ACM
SIGPLAN Workshop on Types in Compilation,
Montreal, Canada (September, 2000).
Gupta, Indranil, Robbert van Renesse, and Kenneth P. Birman. "A
Probabilistically Correct Leader Election
Protocol for Large Groups."
In Proceedings 14th International Symposium on Distributed Computing
(DISC
2000) LNCS 1914, 89-13, Toledo,
Spain (October, 2000).
Gupta, Indranil. "Minimal CDMA Recoding Strategies in Power-Controlled
Ad-hoc Wireless Networks." In
Proceedings 1st International Workshop
on Parallel and Distributed Computing Issues in Wireless
Networks and Mobile Computing,
San Francisco, CA (April, 2001).
Jenkins, K, K. Hopkinson, and K. Birman. "Reliable Group Communication
with Subgroups." 2001 IEEE
International Workshop on Applied
Reliable Group Communication within the International Conference on
Distributed Computing Systems,
16-19, Phoenix, AZ (April, 2001).
Kempe, David, Jon Kleinberg, and Alan Demers. "Spacial Gossip and
Resource Location Protocols." In
Proceedings of STOC 2001.
Kumar, Amit, and Jon Kleinberg. "Fairness in Resource Allocation."
41st IEEE Symposium on Foundations of
Computer Science.
Li, L., J. Y. Halpern, P. Bahl, Y. M. Wang, and R. Wattenhofer. "Analysis
of Cone-based Distributed Topology
Control Algorithms for Wireless
Multi-hop Networks." ACM Symposium on Principles of Distributed
Computing (PODC) (August, 2001).
Li, L. and J. Halpern. "Minimum Energy Mobile Wireless Networks
Revisited." Proc. IEEE International
Conference on Communications (ICC)
(June, 2001).
Liu, Xiaoming, and Robbert van Renesse. "Fast Protocol Transition
in a Distributed Environment." ACM
Symposium on Principles of Distributed
Computing (PODC '00) (July, 2000).
Liu, Xiaoming, Robbert van Renesse, Mark Bickford, Christoph Kreitz,
and Robert Constable. "Protocol
Switching: Exploiting Meta Properties."
International Workshop on Applied Reliable Group
Communication, (IWARGC '01).
Ng, Vincent, M. White, T. Korelsky, C. Cardie, D. Pierce, and K. Wagstaff.
"Multi-document Summarization
via Information Extraction."
Proceedings 1st International Conference on Human Language Technology
Research (April, 2001).
Nogin, Alexey. "Theorem Proving in Higher Order Logic.". Proceedings
(TPHOL's) Conference (August, 2000).
Ooi, Wei Tsang, and Robbert van Renesse. "An Adaptive Protocol
for Locating Media Gateways." Eighth ACM
International Multimedia Conference.
Los Angeles, CA.
Ooi, Wei Tsang, Robbert van Renesse, and Brian Smith. "Design and
Implementation of Programmable Media
Gateways." Tenth International
Workshop on Network and Operating System Support for Digital Audio
and Video (NOSSDAV 2000). Chapel
Hill, NC.
Padmanabhan, Venkata N., and Lili Qiu. "The Content and Access
Dynamics of a Busy Web Site: Findings
and Implications." Proceedings
of ACM SIGCOMM 2000, Stockholm, Sweden (August, 2000).
Pucella, R. "An Approach to the Implementation of Overlapping Rules
in Standard ML." Proceedings of the 1st
International Workshop on Rule-based
Programming (RULE2000), Montreal, Canada, 2000.
Pucella, R. "The Design of a COM-oriented Module System."
Proceedings of the Joint Modular Languages
Conference (Zurich, Switzerland).
Lecture Notes in Computer Science 1897:104-118, Springer-Verlag
(2000).
Qiu, Lili, Venkata N. Padmanabhan, and Geoffrey M. Voelker. "On
the Placement of Web Server Replicas." In
Proceedings of IEEE INFOCOM 2001,
Anchorage, AK (April, 2001).
Qiu, Lili, George Varghese, and Subhash Suri. "Fast Firewall Implementations
of Software and Hardware-
based Routers." Extended Abstract
in Proceedings of ACM SIGMETRICS 2001, Cambridge, MA (June,
2001).
Roughgarden, T. "Stackelberg Scheduling Strategies." 33rd
Annual ACM Symposium on Theory of Computing
(STOC) (July, 2001).
Roughgarden, T. and E. Tardos. "How Bad is Selfish Routing?"
41st Annual Symposium on Foundations of
Computer Science (FOCS), 93-102 (November,
2000).
Vetsikas, Ioannis, Ramon Bejar, Carla Gomes, Henry Kautz, and Bart Selman.
"Structure and Phase
Transition Phenomena in the VTC
Problem." DARPA Workshop (Task Project).
Xiao, Zhen, and Ken Birman. "A Randomized Error Recovery Algorithm
for Reliable Multicast." Proceedings of
IEEE Infocom (April, 2001).
Xiao, Zhen and Ken Birman. "Providing Efficient, Robust Error Recovery
Through Randomization." In
International Workshop on Applied
Reliable Group Communication (April, 2001).
Wagstaff, Kiri, Claire Cardie, Seth Rogers, and Stefan Schroedl. "Constrained
K-means Clustering with Background Knowledge." Proceedings of the
18th International Conference on Machine Learning. (June 28-July
1, 2001).
Wattenhofer, R., L. Li, P. Bahl, and Y. M.Wang. "Distributed Topology
Control for Power Efficient Operation in
Multihop Wireless Ad-hoc Networks."
In Proc. IEEE INFOCOM (April, 2001).
Weirich, Stephanie. "Encoding Intensional Type Analysis."(October,
2000). European Symposium on
Programming (ESOP '01), Genova,
Italy (April, 2001).
Weirich, Stephanie. "Type Safe Cast: Functional Pearl." In
Proceedings of the 5th ACM SIGPLAN International
Conference on Functional Programming
(ICFP '00), Montreal, Canada (September, 2000).
White, Mike, Tanya Korelsky, Claire Cardie, Vincent Ng, David Pierce,
and Kiri Wagstaff. "Multi-document
Summarization via Information Extraction."
Proceedings of the 2001 Human Language Technology
Conference (March 18-21, 2001).
|