Funded Research
Submitted
Research Proposals
Collaborative
Funded Research at Cornell
Research
Interests of Faculty and Senior Researchers
Research
|
Investigator |
Sponsor
|
Title
|
Award
|
Period of Award
|
|
|
Arms |
Library of Congress |
Collecting and Preserving Open-access Materials on the Web |
72,214 |
1/1/00 |
12/31/00 |
|
Arms |
Intel |
Nomadic Digital Libraries |
72,000 |
|
|
|
Arms |
NSF |
The NSDL Central System |
999,827 |
7/1/00 |
6/30/01 |
|
Birman |
BBN |
Metacomputer Across WANs |
138,031 |
8/28/96 |
8/28/99 |
|
Birman |
DARPA/ONR |
Secure Realtime Process Groups in Horus: A Communications Infrastructure
for Remote Collaboration |
2,620,284 |
6/15/96 |
9/14/99 |
|
Birman |
NASA/JPL |
Ensemble and Spinglass: Technologies for High Performance Cluster Management
and Communication |
240,000 |
5/1/00 |
9/30/01 |
|
Birman/ Constable |
DARPA/ AFRL |
Spinglass Adaptive Probabilistic Tools for Advanced Networks |
3,839,386 |
7/1/99 |
6/29/02 |
|
Bonnet/Gehrke |
AFRL |
Flexible Decision Support in Device-saturated Environments- SenseIT |
510,000 |
9/23/99 |
9/22/02 |
|
Cardie |
DARPA/ONR |
Rapidly Portable Translingual Information Extraction and Interactive Multidocument
Summarization |
1,294,464 |
5/18/00 |
5/17/03 |
|
Cardie |
NSF |
(CAREER) Knowledge Acquisition for Natural Language Understanding |
212,500 |
4/1/96 |
3/31/00 |
|
Cardie/ Buckley |
DARPA/ TIPSTER |
Improving End-user Efficiency in a TIPSTER-compliant IR System |
586,996 |
12/1/96 |
11/30/99 |
|
Cardie |
NSF/POWRE |
Integrating Natural Language Processing and Information Retrieval for
Intelligent Text-processing |
68,695 |
9/1/00 |
8/31/02 |
|
Coleman |
DOE |
Efficient Algorithms for Large-scale Constrained Optimization with Application
to Inverse Problems |
1,362,288 |
5/1/86 |
9/14/00 |
|
Constable/ Birman |
DARPA/ AF |
Construction Methodologies for Improving Distributed System Security |
3,202,755 |
8/15/95 |
11/30/99 |
|
Constable |
NSF |
Creating and Evaluating Formal Courseware |
283,975 |
12/31/99 |
12/31/01 |
|
Constable |
NSF |
Exploring New Constructs in Computational Type Theory |
229,500 |
9/1/95 |
8/31/00 |
|
Constable |
DARPA/ AF |
An Open Logical Programming Environment: A Practical Framework for Sharing
Formal Models |
2,270,000 |
6/2/98 |
|
|
Department |
NSF |
A Next Generation Computing and Communications Substrate |
1,271,298 |
7/1/97 |
6/30/02 |
|
Elber |
NIH |
Physiology of Ionic Channels: Extended Simulations |
38,040 |
1/1/99 |
4/30/00 |
|
Elber |
DARPA/ONR |
Evolution of Protein Structures as a Tool to Predict Protein Shape and
Protein Function |
240,000 |
5/18/00 |
5/17/01 |
|
Elber |
NSF |
Kinetics of Ion Channels by Atomically Detailed Computer Simulations |
465,743 |
4/1/00 |
3/31/01 |
|
Elber |
NIH |
Long Time Dynamics of Biomolecules |
1,214,013 |
4/1/00 |
3/31/05 |
|
Gehrke |
NSF |
JAGUAR: JAVA in Next Generation |
370,000 |
9/1/98 |
8/31/00 |
|
Gehrke |
NSF |
Interactive and Online Data Mining |
346,863 |
9/1/00 |
8/31/03 |
|
Gomes |
AFRL |
Compute-intensive Methods for Combinatorial Problems |
395,817 |
3/1/99 |
2/28/00 |
|
Gomes |
AFRL |
Hybrid Approaches for Combinatorial Problems |
304,835 |
3/1/99 |
2/28/02 |
|
Gomes |
AF |
A Platform for the Experimental Study of Compute-intensive Combinatorial
Methods in Planning |
158,076 |
3/15/99 |
3/14/00 |
|
Gries/ Teitelbaum |
NSF |
Software Engineering with a Transformational System |
270,000 |
9/1/95 |
8/31/99 |
|
Halpern |
NSF |
A Qualitative Framework for Reasoning Under Uncertainty |
348,000 |
9/1/96 |
8/30/00 |
|
Halpern |
NSF |
SGER: Decision-making in Complex Systems |
90,000 |
9/1/00 |
8/31/01 |
|
Halpern
|
ONR |
Resource Bounded Knowledge and Security |
200,000 |
3/1/00 |
2/28/02 |
|
Huttenlocher/
Zabih |
DARPA/ ARO |
Robust, Online Event Detection and Classification for Video Monitoring |
482,699 |
4/1/97 |
12/31/99 |
|
Keshav |
NSF |
Workstation Telephony, Reducing PBX |
1,226,155 |
10/1/96 |
9/30/99 |
|
Keshav/ Birman |
Intel |
Network Performance Management |
80,000 |
6/1/98 |
6/30/00 |
|
Kleinberg |
NSF |
(CAREER) Algorithmic Methods for Networks |
200,000 |
4/1/97 |
3/31/01 |
|
Kleinberg |
ONR |
Algorithms/Networks and Links |
305,000 |
5/1/99 |
4/30/02 |
|
Kleinberg |
Sloan |
Sloan Research Fellowship |
35,000 |
9/16/97 |
9/15/99 |
|
Kleinberg |
Packard |
Algorithmic Methods for Networks |
625,000 |
10/13/99 |
10/12/04 |
|
Kozen |
DARPA/NSF |
Formal Methods for Software Certification |
291,000 |
8/15/97 |
7/31/00 |
|
Investigator |
Sponsor
|
Title
|
Award
|
Period of Award
|
|
|
Krafft |
DARPA/CNRI |
Network CS Technical Report Library: A Community Resource & Laboratory |
900,000 |
8/1/96 |
12/31/99 |
|
Lagoze/Arms |
CNRI |
Digital Library Testbed Program |
915,000 |
9/1/98 |
8/31/01 |
|
Lagoze |
NSF |
Security and Reliability in Component-based Digital Libraries |
2,268,608 |
5/1/99 |
4/30/03 |
|
Lagoze |
NSF |
Metadata for Resource Discovery of Multimedia Digital Objects Harmony |
240,000 |
10/1/99 |
9/30/02 |
|
Lagoze |
NSF |
Integrating and Navigating Eprint Archives through Citation-linking |
291,650 |
10/1/99 |
9/30/02 |
|
Morrisett |
Sloan |
Sloan Research Fellowship |
35,000 |
9/16/98 |
9/15/02 |
|
Morrisett |
NSF |
Safe Low Level Program Languages |
205,000 |
3/1/99 |
2/28/03 |
|
Myers |
AFRL |
JAGUAR: Extending the Predator
Database System with Java |
200,000 |
9/30/98 |
8/31/00 |
|
Pingali |
NSF |
Workshop on Instruction Level Parallelism and Loop Parallelism |
23,465 |
3/1/99 |
7/31/99 |
|
Pingali |
NSF |
Extension and Compile Techniques for High Performance Computing |
190,993 |
1/1/99 |
12/31/01 |
|
Pingali |
NSF |
Automatic Blocking of Dense Matrix Codes for Memory Hierarchies |
368,688 |
8/15/97 |
8/31/00 |
|
Pingali |
NSF ITR |
Adaptive Software for Field-driven Simulations |
7,457,206 |
9/1/00 |
8/31/05 |
|
Rubinfeld |
ONR/ Stanford |
Semantic Consistency in Information Exchange |
450,000 |
4/30/97 |
4/29/02 |
|
Rubinfeld |
NSF |
(CAREER) Algorithms for Self-testing/correcting Programs and Learning |
200,000 |
5/1/96 |
4/30/00 |
|
Rubinfeld |
SLOAN |
Sloan Research Fellowship |
35,000 |
9/16/96 |
9/15/00 |
|
Schneider |
DARPA/ NASA |
Formal Support for High Assurance Systems |
632,751 |
4/1/94 |
3/31/00 |
|
Schneider/ Morrisett |
AFOSR |
Mobile Agents and System Principles |
697,485 |
12/15/96 |
12/14/99 |
|
Schneider/ Morrisett |
AFOSR |
Language-based Security for Extensible Systems |
844,408 |
3/1/00 |
11/30/02 |
|
Schneider |
|||||