Research Grants

Research Grants
Investigator Sponsor Award Title
Birman AFOSR 427,608 A Testbed for Highly-scalable Mission-critical Information Systems (DURIP)
Birman DARPA/AFRL 395,000 Scalable Data Redundancy for Network-centric Military Applications
Birman/Constable DARPA/AFRL 3,839,383 Spinglass Adaptive Probabilistic Tools for Advanced Networks
Birman/Gehrke/Demers AFOSR 4,000,000 Scalable Technology for a New Generation of Collaboration Applications
Birman/Gehrke/Francis DARPA/AFRL 1,098,321 QuickSilver: Middleware for Scalable Self-regenerative Systems
Cardie MITRE Corp. 61,743 ARDA NRRC Workshop
Cardie NSF 500,000 Reducing the Corpus Annotation Bottleneck for Natural Language Learning
Cardie ARDA sub of U Pittsburgh 463,368 Opinions in Question Answering
Caruana NSF 507,000 CAREER: Meta Clustering: Improving User Efficiency on Real-world Clustering Applications
Caruana/Joachims NSF 270,000 Optimizing Classification Models to Application-specific Performance Metrics
Constable NSF 283,975 Educational Innovation: Creating and Evaluating Formal Courseware for Mathematics and Computing
Constable NSF 20,800 U.S.–Germany Cooperative Research: Enhancing Proof Assistant Systems
Constable NSF 460,000 Enabling Large-scale Coherency Among Mathematical Texts in the NSDL
Constable ONR 1,938,148 Building Interactive Digital Libraries of Formal Algorithmic Knowledge
Constable NSF 300,000 Innovative Programming Technology for Embedded Systems
Constable AF sub of ATC–NY 29,000 SCorES, A Logical Programming Environment for Distributed Systems
Constable Boeing
161,857 Model-driven Generation of Verifiable Distributed Real-time Embedded Systems
Department NSF 1,331,298 CISE Research Infrastructure: A Next-generation Computing and Communications Substrate
Elber NSF 465,742 Kinetics of Ion Channels by Atomically Detailed Computer Simulations
Elber NIH 943,467 Long Time Dynamics of Biomolecules
Elber NIH 1,113,170 Long Time Dynamics of Biomolecules
Elber ACS–PRF 80,000 Molecular Dynamic Simulations of EPR Spectra in Proteins
Elber BTR 40,000 Library of Life
Francis NSF 496,421 SP: Very Fine-grained Proximity Addressing
Gehrke NSF 235,000 Interactive and Online Data Mining
Gehrke NSF 210,000 Scalable Decision Tree Construction
Gehrke NSF 340,000 CAREER: Towards Sensor Database Systems
Gehrke NSF 500,000 SENSORS: Data-driven Sensor Networks
Gehrke Sloan 40,000 Sloan Research Fellowship
Gehrke/Demers KD–D thru NSF 1,193,000 Distributed Mining and Monitoring
NSF 907,320 ITR: Massively Convergent Distributed Computing
Ginsparg NSF 958,798 E-Print Archive
Gomes AFRL 3,100,000 Intelligent Information Systems Institute
Gomes AFRL 5,000,000 Intelligent Information Systems Institute
Halpern ONR 526,058 Software Quality and Infrastructure Protection for Diffuse Computing
Halpern AFOSR 322,788 Formulating and Reasoning About Security Policies
Halpern ONR 354,763 A Logical Foundation for Reasoning About Security
Halpern NSF 300,000 Towards Improved Logics For Reasoning About Security
Hopcroft/Selman NSF 300,000 ITR: Emerging Communities in Large Linked Networks: Theory Meets Practice
Joachims NSF 400,000 CAREER: Improving Information Access by Learning from User Interactions
Kleinberg Packard 625,000 Algorithmic Methods for Networks
Kleinberg/Lee/Cardie/Selman NSF 450,000 ITR: Construction and Analysis of Information Networks
Funded Research Grants
Investigator Sponsor Award Title
Kozen NSF 210,000 Kleene Algebra
Kreitz NSF 285,000 Proof Automation in Constructive Type Theory
Lagoze NSF 255,700 Metadata for Resource Discovery of Multimedia Digital Objects Harmony
Lagoze U Virginia/Mellon Found 495,325 The Open Source FEDORA Repository Development Project
Lee/Kleinberg NSF 449,897 Graph-based Approaches to Text Processing
Lee Sloan 40,000 Sloan Research Fellowship
Marschner NSF 400,000 CAREER: Modeling the Properties and Appearance of Materials
Morrisett NSF 205,000 CAREER: Design, Applications, and Foundations of Safe Low-level Program Languages
Morrisett AFOSR/PECASE 1,000,000 Next-generation Systems Languages
Myers NSF 349,999 CAREER: Practical Language-based End-to-end Security
Myers Sloan 40,000 Sloan Research Fellowship
Myers NSF 330,000 End-to-end Integrity and Confidentiality for Distributed Systems
Pingali DARPA sub of IBM 255,000 PERCS: Phase II
Pingali/Stodghill NSF 548,314 Synthesis of Block-recursive Codes for Deep Memory Hierarchies
Pingali NSF 236,826 A Framework for Developing Complex Applications on High-end Petaflopclass Machines
Pingali NSF 590,000 ITR/SY: A New Framework for Program Optimization
Pingali/Rugina NSF 850,000 A System for Semi-automatic Application-level Checkpointing of Parallel Programs
Schneider AFOSR 592,657 CIPIAF for Information Assurance Institute
Schneider AFOSR 4,138,325 AFRL/Cornell Information Assurance Institute
Schneider Microsoft 300,000 Information Assurance Institute
Schneider Sun 20,000 Language-based Security for Malicious Mobile Code
Schneider Intel 36,500 Language-based Security
Schneider/Myers DARPA/AF 2,709,784 Containment and Integrity for Mobile Code
Schneider/Morrisett AFOSR 844,408 Language-based Security for Extensible Systems
Schneider/Morrisett AFOSR 471,107 Trust in Security-policy Enforcement Mechanisms
Schneider/Morrisett/Kozen/Myers ONR 4,247,977 Language-based Security for Malicious Mobile Code
Schwartz Microsoft 25,000 Game Project
Selman Sloan 35,000 Sloan Research Fellowship
Selman/Gomes DARPA/AF 1,426,881 Controlling Computational Cost: Structure, Phase Transitions and
Sengers NSF 500,000 CAREER: Using Cultural Theory to Design Everyday Computing
Shanmugasundaram NSF 406,750 CAREER: Towards Unifying Database Systems and Information Retrieval Systems
Shanmugasundaram IBM 40,000 2003 Faculty Award
Shanmugasundaram/Gehrke AFRL 41,000 ORIS: Peer-to-peer Object Repository with Integrated Security
Sirer Microsoft 75,000 The Ad Hoc Classroom: Integrating Emerging Wireless Communications and Networking Technologies into Mainstream Computer Science and
Electrical Engineering Curricula
Tardos NSF 150,000 Approximation Algorithms and Applications in Network Games
Tardos ONR 1,176,548 Algorithmic Issues in Network Design and in Information Access
Tardos/Zabih NSF 300,000 ITR/SY: Combinatorial Optimization Algorithms for Information Access
Van Loan NSF 247,874 New Applications and Algorithms That Involve the Kronecker Product
Vogels Microsoft 35,000 High-performance XML/SOAP Processing for Pub/Sub Engines
Vogels Microsoft 20,000 CollabNet
Microsoft 175,000 Distributed Systems Support for the Global Real Time Enterprise
Yona NSF 1,103,917 CAREER: Global Self-organization of All Known Proteins—Toward a
Complete Map of the Protein Space
Yona GNS 13,171 Predicting Protein–Protein Interactions

Total Expenditures for Fiscal Year 2003–2004: $15,063,346
Funded Collaborative Research at Cornell
Investigator Sponsor Award Title
Arms/Krafft/Lagoze/Eng Library NSF 1,637,500 Collaborative Project: Core Integration of the National SMETE Digital Library
Arms/Krafft/Lagoze/ Eng Library/Comm NSF 8,745,453 Collaborative Project: Core Integration—Leading NSDL Toward Long-term Success
Caruana/CTC NSF 379,999 Multi-algorithm Parallel Optimization of Costly Functions
Coleman/CTC TG Information Network 1,065,000 Financial Engineering and Tools
Coleman/CTC EPA 28,440 Design, Setup, and Testing of High Performance Computing Cluster to Support Water Modeling Needs at EPA
Coleman/CTC Aximetric Inc. 30,000 Aximetric Inc. Collaboration Agreement
Coleman/CTC USDA 232,180 Computation Agriculture Initiative
NSF 1,799,183 Petabyte Storage Services For Data-driven Science
Department/CTC/CURIE /Summer College GE 200,000 Program Continuum for Attracting and Retaining Women to/in CS
Studies for Information Technology Careers
Elber/Kleinberg/Chew/ Kedem/MBG NSF 899,000 Multiscale Hierarchical Analysis of Protein Structure and Dynamics
Elber/Joachims NIH 1,043,276 Optimization of Folding and Threading Proteins
Elber/BSCB anonymous 361,113 Two-track Program in Computational Biology and Medicine as a Part of the Tri-institutional Research Program
Guckenheimer/Math/ Physics/CCB/MBG/
Biomedical/Mole Med/ Eng/Soc
NSF 3,371,200 IGERT: Program in Nonlinear Systems
Lagoze/Comm/Olin Library NSF 2,425,899 Security and Reliability in Component-based Digital Libraries
Pingali/CTC NSF 1,500,000 CISE Research Infrastructure: A Two-tier Computation and Visualization Facility for Multiscale Problems
Pingali/Vavasis/Chew/CTC/Phy NSF ITR 5,035,425 Adaptive Software for Field-driven Simulations
Selman/Gomes/M&AE AFOSR MURI 258,567 Cooperative Control in Uncertain Adversarial Environments
Sirer/Gehrke/Demers/ECE NSF 410,000 The Ad Hoc Classroom: Integrating Emerging Wireless Communications and Networking Technologies into Mainstream Computer Science and Electrical Engineering Curricula
Tardos/Kleinberg/ Huttenlocher/Halpern/
NSF 2,468,677 ITR: Networks of Strategic Agents: Theory and Algorithms
Vavasis/CEE NSF 500,000 MSPA–MCS: Automatic Geometric Simplification
Yona/Bio Sci NSF 1,000,000 CRCNS: Modeling Pathfinding and Target Recognition in the Olfactory System
Submitted Grant Proposals
Investigator Sponsor Award Title
Constable NSF 1,298,766 Designing for Accountability
Demers/Gehrke/Riedewald NSF 945,634 A Formal Approach to Data Stream Management Systems
Elber NIH 500,000 A Computer Cluster for Computational Biology
Elber NIH sub of U Pittsburgh 58,305 Computational Prediction of Biomolecular Dynamics
Francis Cisco 99,930 Solving BGP Scaling Through Tunneled Virtual Super-prefixes
Francis NSF 658,599 NeTS NR: Firebreak: An IP Perimeter Defense Architecture
Francis Telcordia 175,491 Network and Service Architecture for DTN
Gehrke DOE 300,000 Analyzing Spatio-temporal Simulation Data
Gehrke NSF 886,849 ITR: (NHS)—(dmc): On Privacy-preserving Data Mining
Ginsparg NSF 796,395 Classification, Analysis and Navigation Tools for Physics Research Communication
Halpern ONR sub of U Penn 189,000 Trustworthy Infrastructure, Mechanisms, and Experimentation for Diffuse Computing
Halpern AFOSR 419,853 Reasoning About Authorization and Security
Keich NSF 803,058 SEI: Collaborative Research: Designing Algorithmic and Statistical Tools for Computational Discovery of Transcription Factor Binding Sites
Lagoze/Payette U Virginia/Mellon 711,763 The Open Source FEDORA Repository Development Project: Phase II
Lagoze/Warner NSF 2,400,000 II: Pathways
Marschner NSF 324,629 Collaborative Research: Efficient Representation, Acquisition, and Rendering with Measured Reflectance in Computer Graphics
Myers ONR 300,000 Using Information Flow To Construct Trustworthy Distributed Systems
Myers/Birman/Schneider NSF 2,233,524 Integrating Security and Fault Tolerance in Distributed Systems
Rugina NSF 430,838 Region-based Memory Management for Pointer-based Programs
Selman DARPA sub of SRI 299,516 Architectures for Cognitive Information Processing
Tardos ONR 534,544 Network Games and Approximation Algorithms
Submitted Collaborative Research at Cornell
Investigator Sponsor Award Title
Birman/Schneider/Sirer/ECE NSF 3,200,000 Team for Research in Ubiquitous Secure Technology (TRUST)
Birman/Sirer/ECE NSF 2,206,999 NeTS–NOSS: Ultra Low-power Self-configuring Wireless
Caruana/ECE NSF 542,378 Machine Learning Approaches to Understanding and Adapting Computer Architecture and System Behavior and Performance
Caruana/Riedewald/Lab of Ornith NSF 2,701,622 ITR—(ASE+EVS)—(dmc+sim): Tracking Environmental Change through the Data Resources of the Bird-monitoring Community
Chew/Vavasis/M&AE NSF 1,467,585 ITR—(ASE)—(sim+dmc): Collaborative Research: Algorithms for Largescale Simulations of Turbulent Combustion
Coleman/CTC USDA 207,085 Computation Agriculture Initiative
Elber / Gehrke/Plant Science Library of Life 12,196,109 Bridging the Rift
Elber/Kedem/Yona/CCB NIH 3,358,894 BioComUnity: NCBC for Systome Research
Marschner/Bala/PCG NSF 3,577,319 ITR—(ASE+NHS)—(sim): The Visual Turing Test: Realistic Image Synthesis for Future Displays
Pingali/Gomes/CTC NSF 3,972,702 ITR—(ASE)—(dmc+sim+int): Agile Anomaly Detection and Dynamic Evaluation of Responses
Sirer/ECE NSF 3,130,996 IGERT: Mathematics, Physics, and Systems for Large Scale Sensor Networks
Tardos/OR&IE NSF 1,909,194 ITR: Collaborative Research—(ASE+EVS+NHS)—(soc+dmc+int)—Fairness Issues in Heterogeneous Systems: an Algorithmic Approach
NSF 2,722,795 IGERT: Doctoral Training in Information Science
Yona/multiple depts NSF 425,638 Acquisition of Instrumentation for Establishing a Microarray Core