Bypass Top Navigation NSF Home Page
About NSF
Funding
Publications
News & Media
Search Site Map
Site Map

Award Search  Search All Fields

Send Comments | Award Search Help
Awardee Information Program Information Search All Free-Text Search All Fields

Tab to Continue

  Hint: The text field below 'Search Award For' searches the title, abstract, and award number fields.

Magnifying Glass Icon Awardee Information

Principal Investigator

 

 

Magnifying Glass Icon Program Information

 

 

 

  Hint: This "Program" box searches both program element and program reference names and codes.

 

Magnifying Glass Icon Additional Information


(mm/dd/yyyy)

  From:  Calendar Icon
  To:  Calendar Icon


(mm/dd/yyyy)

  From:  Calendar Icon
  To:  Calendar Icon

  From: 
  To: 

  Hint: Historical data is from prior to 1976. This data may not be as complete as recent data.

 

Search Results

Results are sorted by award date, with the most recent awards at the top. Click on a column heading to re-sort the results.
The up/down arrows at the right of each column title control whether the sort is ascending or descending.
To view the abstract, click on the award number or title. Click on the data in other columns to perform a new search with that parameter.

372 awards found, displaying 1 to 50.
[First/Prev] 1, 2, 3, 4, 5, 6, 7, 8 [Next/Last]
Award Number Title NSF Organization Program(s) Start Date Principal Investigator State Organization
0429786 Collaborative Proposal: Advances in Aspect-Oriented Languages, Methods, and Tools CCF SOFTWARE ENGINEERING AND LANGU 10/01/2004 Sullivan, Kevin VA University of Virginia Main Campus
0429947 Collaborative Proposal: Advances in Aspect-Oriented Languages, Methods, and Tools CCF SOFTWARE ENGINEERING AND LANGU 10/01/2004 Griswold, William CA University of California-San Diego
0441530 Group Travel Grant for Faculty at Minority Institutions to Attend FSE-12 CCF SOFTWARE ENGINEERING AND LANGU, WORKFORCE 10/01/2004 Harrold, Mary GA Georgia Tech Research Corporation - GA Institute of Technology
0429640 A Catalytic Infrastructure for the Design, Development, and Deployment of Formal Modeling Tools CCF SOFTWARE ENGINEERING AND LANGU 09/15/2004 Heimdahl, Mats Per Erik MN University of Minnesota-Twin Cities
0405909 Modeling and System Support to Balance the Resource Demand and Supply in High Performance Computing CNS SOFTWARE ENGINEERING AND LANGU 09/15/2004 Zhang, Xiaodong VA College of William and Mary
0429492 Lightweight Analysis of Program Evolution Using Feature Signatures CCF SOFTWARE ENGINEERING AND LANGU 09/01/2004 Krishnamurthi, Shriram RI Brown University
0429567 Collaborative Research: Formal Methods for Behavioral Subclassing and Callbacks CCF SOFTWARE ENGINEERING AND LANGU 09/01/2004 Leavens, Gary IA Iowa State University
0429572 Supporting Higher-Order Approaches to Symbolic Computation CCF SOFTWARE ENGINEERING AND LANGU 09/01/2004 Nadathur, Gopalan MN University of Minnesota-Twin Cities
0429590 Collaborative Research: Well-Founded Behavioral Software Contracts CCF SOFTWARE ENGINEERING AND LANGU 09/01/2004 Findler, Robert IL University of Chicago
0429595 Collaborative Research: Well-Founded Behavioral Software Contracts CCF SOFTWARE ENGINEERING AND LANGU 09/01/2004 Felleisen, Matthias MA Northeastern University
0429894 Collaborative Research: Formal Methods for Behavioral Subclassing and Callbacks CCF SOFTWARE ENGINEERING AND LANGU 09/01/2004 Naumann, David NJ Stevens Institute of Technology
0429948 Extracting Traceable Formal Models from Natural Language Policy Documents CCF SOFTWARE ENGINEERING AND LANGU 09/01/2004 Lee, Insup PA University of Pennsylvania
0430026 Better Science Through Benchmarking: Theory Validation and Application to Software Engineering CCF SOFTWARE ENGINEERING AND LANGU 09/01/2004 Sim, Susan CA University of California-Irvine
0430066 Self-Adaptive Software CCF SOFTWARE ENGINEERING AND LANGU 09/01/2004 Taylor, Richard CA University of California-Irvine
0444167 BOGOR : A Model Checking Framework for Dynamic Software CCF SOFTWARE ENGINEERING AND LANGU 09/01/2004 Dwyer, Matthew NE University of Nebraska-Lincoln
0428078 More Modular Reasoning for Aspect-Oriented Programs CCF SOFTWARE ENGINEERING AND LANGU 09/01/2004 Leavens, Gary IA Iowa State University
0429639 Monitoring and Checking of Distributed Systems with respect to Formal Specifications CCF SOFTWARE ENGINEERING AND LANGU 09/01/2004 Viswanathan, Mahesh IL University of Illinois at Urbana-Champaign
0429836 Harmony: The Art of Reconciliation CCF SOFTWARE ENGINEERING AND LANGU 09/01/2004 Pierce, Benjamin PA University of Pennsylvania
0430102 Foundations of Event Correlation CCF SOFTWARE ENGINEERING AND LANGU 09/01/2004 Manna, Zohar CA Stanford University
0437281 US-Europe Cooperative Workshop: Compatability and Integration of Software Engineering Tools OISE INTERNATIONAL PLAN & WORKSHOPS, SOFTWARE ENGINEERING AND LANGU 09/01/2004 Manna, Zohar CA Stanford University
0429072 RUI: Provable Safety for Performance-Improving Free Theorems-Based Program Transformations CCF SOFTWARE ENGINEERING AND LANGU 08/15/2004 Johann, Patricia NJ Rutgers University New Brunswick
0438714 Software Security: Theory to Practice CCF CYBER TRUST, SOFTWARE ENGINEERING AND LANGU 08/15/2004 Ariola, Zena OR University of Oregon Eugene
0456163 Translation Validation of Advanced Compiler Optimizations CCF SOFTWARE ENGINEERING AND LANGU 08/15/2004 Zuck, Lenore IL University of Illinois at Chicago
0347902 CAREER: A Linguistic Approach to Software Development CCF SOFTWARE ENGINEERING AND LANGU 07/01/2004 Lopes, Cristina CA University of California-Irvine
0440452 Collaborative Research: Scalable Integration Testing of Object-Oriented Software: An Empirical Research Program CCF SOFTWARE ENGINEERING AND LANGU 06/16/2004 Rothermel, Gregg NE University of Nebraska-Lincoln
0423930 Reducing the Time to Product Stability through Global Testing EEC COLLABORATIVE RESEARCH, INDUSTRY/UNIV COOP RES CENTERS, CISE RESEARCH RESOURCES, SOFTWARE ENGINEERING AND LANGU 06/15/2004 Zage, Wayne IN Ball State University
0346982 CAREER: Programming Languages Techniques for Enhancing Software Quality CCF SOFTWARE ENGINEERING AND LANGU 06/01/2004 Foster, Jeffrey MD University of Maryland College Park
0353868 REU Site: CS Undergraduate Research at Towson University CCF ETHICS AND VALUES STUDIES, SOFTWARE ENGINEERING AND LANGU, RSCH EXPER FOR UNDERGRAD SITES 06/01/2004 Karne, Ramesh MD Towson University
0433776 CPA: Conference Support Proposal: 2nd ACM/IEEE International Conference on Formal Methods and Models for Co-Design CCF SOFTWARE ENGINEERING AND LANGU 06/01/2004 Shukla, Sandeep VA Virginia Polytechnic Institute and State University
0346903 CAREER: Test-Driven Development of Secure and Reliable Software Applications CCF ADVANCED NET INFRA & RSCH, SOFTWARE ENGINEERING AND LANGU 04/01/2004 Williams, Laurie NC North Carolina State University
0347518 CAREER: Leveraging Field Data to Test Highly-Configurable and Rapidly-Evolving Pervasive Systems CCF EXP PROG TO STIM COMP RES, SOFTWARE ENGINEERING AND LANGU 03/15/2004 Elbaum, Sebastian NE University of Nebraska-Lincoln
0347289 CAREER: Type-Directed Programming in Object-Oriented Languages CCF SOFTWARE ENGINEERING AND LANGU 12/15/2003 Weirich, Stephanie PA University of Pennsylvania
0401569 Symposium on Software, Science & Society CCF SOFTWARE ENGINEERING AND LANGU 12/15/2003 Hook, James OR Oregon Health and Science University
0325273 ITR: Collaborative Research: Dependable End-User Software CCF SOFTWARE ENGINEERING AND LANGU, ITR MEDIUM (GROUP) GRANTS 10/15/2003 Burnett, Margaret OR Oregon State University
0306457 Active Support for the Evolution of Component-Based Software CCF SOFTWARE ENGINEERING AND LANGU 09/15/2003 Cook, Jonathan NM New Mexico State University
0345397 Game based software adaptation CCF SOFTWARE ENGINEERING AND LANGU 09/15/2003 Pavlovic, Dusko CA Kestrel Institute
0305834 Collaborative Research: Compositional Verification of Software Product Lines as Open Systems CCF SOFTWARE ENGINEERING AND LANGU 09/01/2003 Fisler, Kathi MA Worcester Polytechnic Institute
0306221 Run-time Code Generation for the Masses CCF SOFTWARE ENGINEERING AND LANGU 09/01/2003 Kamin, Samuel IL University of Illinois at Urbana-Champaign
0306401 Foundations of ILP-based Static Analysis CCF SOFTWARE ENGINEERING AND LANGU 09/01/2003 Palsberg, Jens IN Purdue University
0344004 Policy Modularity: Toward a Science of Socially-Embedded System Design CCF SOFTWARE ENGINEERING AND LANGU 09/01/2003 Potts, Colin GA Georgia Tech Research Corporation - GA Institute of Technology
0401691 Foundations of ILP-based Static Analysis CCF SOFTWARE ENGINEERING AND LANGU 09/01/2003 Palsberg, Jens CA University of California-Los Angeles
0305950 Collaborative Research: Compositional Verification of Software Product Lines as Open Systems CCF SOFTWARE ENGINEERING AND LANGU 09/01/2003 Krishnamurthi, Shriram RI Brown University
0342801 Sufficient Evidence? Building Certifiably Dependable Systems CNS DIGITAL SOCIETY&TECHNOLOGIES;, SOFTWARE ENGINEERING AND LANGU, EMBEDDED & HYBRID SYSTEMS(EHS) 09/01/2003 DC National Academy of Sciences
0339032 SGER Collaborative Research: Support for Design of Evolving Information Systems IIS INFORMATION & DATA MANAGEMENT, SOFTWARE ENGINEERING AND LANGU 09/01/2003 Tsotras, Vassilis CA University of California-Riverside
0339259 SGER Collaborative Research: Support for Design of Evolving Information Systems IIS INFORMATION & DATA MANAGEMENT, SOFTWARE ENGINEERING AND LANGU 09/01/2003 Zaniolo, Carlo CA University of California-Los Angeles
0306613 Transforming Requirement Specifications into Architectural Prescriptions CCF SOFTWARE ENGINEERING AND LANGU 08/15/2003 Perry, Dewayne TX University of Texas at Austin
0238289 CAREER: Infrastructure for Software Generators and Components CCF SOFTWARE ENGINEERING AND LANGU 08/01/2003 Smaragdakis, Ioannis GA Georgia Tech Research Corporation - GA Institute of Technology
0346938 Workshops on the Science of Design CCF SOFTWARE ENGINEERING AND LANGU 08/01/2003 Sullivan, Kevin VA University of Virginia Main Campus
0237422 CAREER: Fast Provers for Extended Static Checking of Software CCF SOFTWARE ENGINEERING AND LANGU 07/01/2003 Tinelli, Cesare IA University of Iowa
0237835 CAREER:Type Systems and Next Generation Tools for Scripting Language Extension Programming CCF SOFTWARE ENGINEERING AND LANGU 07/01/2003 Beazley, David IL University of Chicago

Hint: Most browsers allow you to save the exported file by right-clicking on the link and choosing "save link target" from the menu options. See the help for more information.


nsf.gov
| About NSF | Funding | Publications | News & Media | Search | Site Map | Help
NSF Celebrating 50 Years The National Science Foundation
4201 Wilson Boulevard, Arlington, Virginia 22230, USA
Tel: 703-292-5111, FIRS: 800-877-8339 | TDD: 800-281-8749
Policies
Contact NSF
Customize