| Funded Research - Computing & Information Science / Computer Science Draft as of 7/25/07 |
| Investigator |
Sponsor |
Award |
Period of Award |
Title |
| Arms |
NSF |
120,000 |
10/1/2006 |
9/30/2007 |
Using the Cyberinfrastructure to build a Full Text Index to the Web |
| Bala |
NSF |
450,000 |
2/1/2007 |
1/31/2012 |
CAREER: Scalable Rendering for Visual Realism in Scale-Complex Scenes |
| Bala |
Intel |
90,000 |
7/1/2006 |
6/30/2009 |
Efficiently Parallelizing Graphics Applications for Multicore Processors |
| Bala |
NIST |
7,350 |
5/1/2007 |
9/1/2007 |
NIST Summer Undergraduate Research Fellowship Program |
| Birman |
Intel |
180,000 |
7/1/2005 |
6/30/2008 |
Using QuickSilver to Support Autonomic Services in Clusters |
| Birman / Gehrke / Demers |
AFOSR |
4,000,000 |
5/1/2002 |
4/30/2007 |
Scalable Technology for a New Generation of Collaboration Applications |
| Birman |
DARPA-Telcordia sub |
306,734 |
10/1/2005 |
9/30/2006 |
Adaptive Cognition-Enhanced Radio Teams (ACERT) |
| Birman |
AF-UC Berkeley sub |
1,200,000 |
4/1/2006 |
1/31/2009 |
Partnership for Research Excellence and Transition (PRET) in Software and Security |
| Birman |
AFRL |
1,100,000 |
2/28/2006 |
8/31/2008 |
Widely Distributed Scalable Infospaces: CASTOR |
| Cardie |
ARDA-U Pitt sub |
463,368 |
5/1/2004 |
9/30/2006 |
Opinions in Question Answering |
| Cardie |
DHS- |
842,145 |
7/1/2006 |
6/30/2009 |
Information Extraction of Events and Beliefs from Text |
| Cardie |
Xerox |
20,000 |
7/1/2006 |
|
Machine Learning in Natural Language Processing |
| Caruana |
NSF |
507,000 |
6/15/2004 |
5/31/2009 |
CAREER: Meta Clustering: Improving User Efficiency on Real-World Clustering Applications |
| Caruana |
NSF |
14,000 |
6/1/2006 |
5/31/2007 |
Student /Travel Scholarships-ICML 2006 |
| Caruana / Joachims |
NSF |
276,000 |
8/15/2004 |
7/31/2007 |
Optimizing Classification Models to Application-Specific Performance Metrics |
| Caruana |
Google |
65,000 |
12/1/2006 |
|
Model Compression |
| Constable |
NSF |
180,000 |
8/1/2006 |
7/31/2008 |
Developing a Theory of Events to Improve Distributed Systems |
| Demers / Shanmugasundaram |
NSF |
500,000 |
2/15/2006 |
1/31/2009 |
Hilda: A High-Level Language for Data-Driven Web Applications |
| Elber |
NIH |
1,339,390 |
3/1/2004 |
2/29/2008 |
Long Time Dynamics of Biomolecules |
| Elber |
NIH-U Pitt sub |
58,305 |
1/1/2005 |
12/31/2007 |
Computational Prediction of Biomolecular Dynamics |
| Elber |
HFSP |
44,500 |
4/10/2007 |
4/10/2010 |
Biophyscial and Bioinformatic Methods for Protein Structure Refinements |
| Francis |
NSF |
496,421 |
9/1/2003 |
8/31/2007 |
Very Fine-grained Proximity Addressing |
| Francis |
ARDA-Telcordia sub |
190,166 |
10/1/2005 |
5/30/2007 |
RapidTrace: Rapid Traceback of Cyber Attacks |
| Francis |
NSF |
300,000 |
9/1/2006 |
8/31/2009 |
NeTS-FIND: Collaborative Research: Towards Complexity Oblivious Network Management |
| Francis |
Cisco |
92,246 |
10/20/2006 |
|
End-Middle-End Internet Connection Establishment |
| Gehrke |
NSF |
340,000 |
9/1/2002 |
8/31/2007 |
CAREER: Towards Sensor Database Systems |
| Gehrke |
Sloan |
40,000 |
9/16/2003 |
9/15/2007 |
Sloan Research Fellowship |
| Gehrke |
AFOSR |
600,000 |
3/1/2006 |
11/30/2008 |
Stateful Publish-Subscribe for XML Data Streams |
| Gehrke |
Microsoft |
200,000 |
6/1/2007 |
5/31/2008 |
Scalability in Computer Games and Simulations |
| Gehrke / Birman |
I3P |
300,000 |
4/1/2007 |
3/31/2009 |
Distributed Monitoring for Human Behavior, Insider Threat and Awareness |
| Gehrke / Demers |
AFOSR |
608,333 |
5/1/2007 |
11/30/2009 |
Scalable Simulations of Dynamics of Relationships |
| Gehrke / Demers |
KD-D thru NSF |
450,000 |
7/1/2006 |
9/30/2007 |
Mining and Monitoring the Blogosphere |
| Gehrke / White |
NSF |
200,000 |
7/1/2006 |
6/30/2008 |
A Formal Approach to Data Stream Processing |
| Gehrke |
Microsoft |
35,000 |
11/6/2006 |
|
Data Privacy for Medical Data |
| Gehrke |
Xerox |
20,000 |
5/10/2007 |
|
Trend and Sequence Mining |
| Gehrke |
Yahoo! |
75,000 |
12/4/2006 |
|
Anonymizing Search Data |
| Ginsparg |
NSF |
796,395 |
10/1/2004 |
9/30/2007 |
Classification, Analysis and Navigation Tools for Physics Research Communication |
| Ginsparg |
Microsoft |
1,259,869 |
7/1/2006 |
6/30/2009 |
TCI Proposal for Scholarly Communication Collaboration Between Cornell University and Microsoft Corporation |
| Gomes |
AFRL |
3,870,000 |
3/1/2004 |
2/28/2008 |
Intelligent Information Systems Institute |
| Gomes |
NYSTAR CEIS |
30,000 |
7/1/2007 |
6/30/2008 |
Computational Intelligence for Print Shop Workflows |
| Gomes |
Eastman Kodak |
170,000 |
7/1/2007 |
6/30/2008 |
Computational Intelligence for Print Shop Workflows |
| Halpern |
ONR |
526,058 |
5/1/2001 |
12/31/2006 |
Software Quality and Infrastructure Protection for Diffuse Computing |
| Halpern |
ONR-U Penn sub |
189,000 |
6/1/2004 |
12/31/2006 |
Trustworthy Infrastructure, Mechanisms, and Experimentation for Diffuse Computing |
| Halpern |
AFOSR |
429,816 |
1/1/2005 |
12/31/2007 |
Reasoning About Authorization and Security |
| Halpern |
ONR-ITT sub |
300,000 |
10/10/2005 |
12/29/2006 |
Designing a Policy Language |
| Halpern |
NSF |
394,733 |
10/15/2005 |
9/30/2008 |
Taking Awareness, Language, and Novelty into Account in Decision-Making and Game Theory |
| Halpern |
NSF |
8,000 |
4/1/2007 |
3/31/2008 |
2nd Northeast Student Colloquium on Artificial Intelligence |
| Hopcroft |
AFOSR |
374,974 |
2/1/2007 |
11/30/2009 |
Information Forensics |
| Hopcroft / Selman |
NSF |
475,000 |
4/1/2006 |
3/31/2009 |
The Analysis and Modeling of Large Linked Networks |
| Huttenlocher |
NSF |
100,000 |
5/1/2006 |
10/31/2007 |
SGER: Recognizing Objects by Simultaneously Combining Appearance and Geometry |
| James |
NSF |
406,000 |
2/15/2004 |
1/31/2009 |
CAREER: Precomputing Data-Driven Deformable Systems for Multimodal Interactive Simulation |
| James |
NSF-UMD sub |
119,000 |
9/1/2006 |
8/31/2009 |
Reality-based Data-driven Computer Models for Surgical Simulation |
| James |
NIH-UMD sub |
375,000 |
9/1/2006 |
8/31/2010 |
Data-Driven Real-Time Surgical Simulation from Reality-Based Soft-Tissue Models |
| James |
Boeing Phantom Works |
75,000 |
12/18/2006 |
12/31/2007 |
Interactive Deformable Object Simulation for Aerospace Applications |
| James |
Sloan |
45,000 |
9/16/2006 |
9/15/2008 |
Sloan Research Fellowship |
| James |
Pixar |
27,776 |
8/17/2006 |
|
|
| Joachims |
NSF |
400,000 |
9/1/2003 |
8/31/2008 |
CAREER: Improving Information Access by Learning from User Interactions |
| Joachims |
BSF |
22,500 |
10/1/2005 |
9/30/2007 |
Efficient Non-Parametric Revelation of Ordinal Preferences |
| Joachims / Caruana |
NSF |
270,000 |
8/15/2004 |
7/31/2007 |
Discriminative Methods for Learning with Dependent Outputs |
| Joachims |
Yahoo! |
95,000 |
10/1/2006 |
|
Large Margin Methods for Predicting Structured Outputs |
| Keich |
NSF |
644,880 |
7/1/2007 |
6/30/2012 |
CAREER: Improving the Performance of Motif Finding Tools through Novel Reliable Significance Estimation and a Study of DNA Replication Origins |
| Kleinberg, J / Lee / Huttenlocher / Tardos |
Yahoo! |
100,000 |
10/1/2006 |
|
Diffusion and Temporal Dynamics in Web Information |
| Kleinberg, R. |
NSF |
400,000 |
9/1/2007 |
8/31/2012 |
CAREER: Algorithms for Environments with Incomplete Information |
| Kozen |
ATC-NY |
30,000 |
8/15/2006 |
5/1/2007 |
AppMon: Application Monitors for Not-Yet-Trusted Software |
| Kozen |
NSF |
250,000 |
10/15/2006 |
9/30/2009 |
Specialized Logics for Applications in Computer Science |
| Krafft |
NSF-UCAR sub |
284,756 |
1/1/2005 |
2/28/2007 |
National Science Digital Library Subcontract |
| Krafft / Lagoze |
NSF-UCAR sub |
1,049,516 |
1/1/2007 |
12/31/2007 |
Partial Supplemental Request 2007 (NSDL) |
| Lagoze |
Mellon-U VA sub |
794,553 |
10/1/2004 |
9/30/2007 |
The Open Source FEDORA Repository Development Project: Phase II |
| Lagoze |
Mellon |
524,000 |
10/1/2006 |
9/30/2008 |
Pathways Fabric: Augmenting Interoperability Across Scholarly Repositories |
| Lagoze / Warner |
NSF |
1,297,550 |
9/15/2004 |
8/31/2007 |
II: Pathways |
| Lee / Kleinberg |
NSF |
449,897 |
9/1/2003 |
8/31/2007 |
Graph-Based Approaches to Text Processing |
| Lee |
Sloan |
40,000 |
9/16/2002 |
9/15/2006 |
Sloan Research Fellowship |
| Marschner |
NSF |
412,000 |
2/15/2004 |
1/31/2009 |
CAREER: Modeling the Properties and Appearance of Materials |
| Marschner |
Unilever |
81,000 |
4/1/2006 |
3/31/2007 |
Scattering and Computer Visualisation of Human Hair |
| Marschner |
NSF |
300,000 |
2/1/2006 |
1/31/2009 |
Unifying Geometric and Volumetric Light Scattering for Accurate Rendering of Dense Geometry |
| Marschner |
Sloan |
45,000 |
9/16/2006 |
9/15/2008 |
Sloan Research Fellowship |
| Myers |
NSF |
349,999 |
1/1/2002 |
12/31/2006 |
CAREER: Practical Language-Based End-to-End Security |
| Myers |
NSF |
350,000 |
9/1/2006 |
8/31/2009 |
CT-ISG: Diaspora: A Secure, Reliable Federated Execution Platform and Object Store |
| Myers |
Sloan |
40,000 |
9/16/2002 |
9/15/2006 |
Sloan Research Fellowship |
| Myers |
Microsoft |
83,382 |
6/1/2007 |
5/31/2008 |
Language-Based Security Methods to make Web Applications Secure by Construction |
| Myers / Birman / Schneider |
NSF |
1,600,000 |
9/1/2004 |
8/31/2007 |
Integrating Security and Fault Tolerance in Distributed Systems |
| Payette |
Mellon |
514,000 |
3/1/2007 |
3/31/2009 |
Fedora Service Framework: Filling out the Blueprint for Next-Generation Scholarly Communication Systems |
| Pingali / Bala / Chew |
NSF |
765,000 |
8/1/2006 |
7/31/2009 |
CSR-AES: Parallelizing Irregular Applications for Multicore Processor |
| Pingali / Rugina |
NSF |
850,000 |
8/15/2004 |
7/31/2008 |
NGS: A System for Semi-Automatic Application-Level Checkpointing of Parallel Programs |
| Rugina |
NSF |
374,915 |
2/1/2006 |
1/31/2009 |
Compiler and Run-Time Support for Memory Management Using Explicit Memory Reclamation |
| Schneider |
AFOSR |
4,638,325 |
6/1/2002 |
3/31/2007 |
AFRL/Cornell Information Assurance Institute |
| Schneider |
AFOSR |
773,378 |
12/1/2005 |
11/30/2008 |
From Fault-tolerance to Attack Tolerance |
| Schneider |
AFOSR |
1,000,000 |
1/1/2007 |
12/31/2007 |
AFRL/Cornell Information Assurance Institute |
| Schneider |
Microsoft |
125,000 |
11/6/2006 |
|
Research |
| Schneider |
Microsoft |
200,000 |
6/29/2007 |
|
Research |
| Schneider |
Microsoft |
83,316 |
6/1/2007 |
5/31/2008 |
Trustworthy Distributed Services |
| Schneider |
Microsoft |
83,302 |
6/1/2007 |
5/31/2008 |
Operating Systems that leverage Trusted Co-Processors |
| Schneider / Morrisett |
AFOSR / PECASE |
820,000 |
4/15/2001 |
12/31/2006 |
Next Generation Systems Languages |
| Schneider / Morrisett / Kozen / Myers |
ONR |
4,247,977 |
7/9/2001 |
9/30/2007 |
CIP - Language-Based Security for Malicious Mobile Code |
| Schneider / Sirer |
AFRL |
1,200,000 |
6/4/2007 |
12/3/2008 |
Nexus Operating System for Trustworthy Computing |
| Selman / Gomes / Kreitz |
DARPA |
1,606,256 |
6/8/2004 |
6/7/2009 |
Boosting Reasoning Technology Through Randomization, Structure Discovery, and Hybrid Strategies |
| Selman / Gomes |
NSF |
405,000 |
6/1/2007 |
5/31/2010 |
Extending the Reach of SAT Technology - Quantification, Counting, and Sampling |
| Sengers |
NSF |
500,000 |
2/15/2003 |
1/31/2008 |
CAREER: Using Cultural Theory to Design Everyday Computing |
| Sengers |
NSF |
300,000 |
1/1/2006 |
12/31/2008 |
Collaborative Research: Closing the Affective Gap |
| Sengers |
NSF |
11,963 |
2/1/2006 |
1/31/2008 |
The Open World - The World of Open Systems |
| Shanmugasundaram |
NSF |
406,750 |
9/1/2003 |
8/31/2008 |
CAREER: Towards Unifying Database Systems and Information Retrieval Systems |
| Sirer |
NSF |
400,000 |
2/1/2006 |
1/31/2011 |
CAREER: Building Robust, High-Performance Infrastructure Services through Informed Resource Tradeoffs |
| Sirer |
I3P |
150,000 |
6/12/2006 |
5/30/2007 |
I3P Research Fellowship |
| Sirer |
NSF |
400,000 |
9/15/2006 |
8/31/2009 |
CT-ISG: Nexus: A New Operating System for Trusted Computing |
| Sirer / Birman / Pass |
I3P |
400,000 |
4/1/2007 |
3/31/2009 |
Secure Identity Management Infrastructure |
| Tardos |
NSF |
150,000 |
8/1/2003 |
7/31/2006 |
Approximation Algorithms and Applications in Network Games |
| Tardos |
ONR |
375,000 |
1/1/2005 |
9/30/2007 |
Network Games and Approximation Algorithms |
| Van Renesse |
AFOSR |
127,174 |
4/15/2006 |
4/14/2007 |
An Improved Testbed for Highly-Scalable Mission-Critical Information Systems |
| Van Renesse |
NSF |
25,000 |
9/15/2006 |
8/31/2007 |
Student Travel Support for OSDI 2006 |