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

Award Search  Program Information

 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 Program Information

 

 

 

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

 

  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.

721 awards found, displaying 1 to 50.
[First/Prev] 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15 [Next/Last]
Award Number Title NSF Organization Program(s) Start Date Principal Investigator State Organization
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
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
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
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
0429595 Collaborative Research: Well-Founded Behavioral Software Contracts CCF SOFTWARE ENGINEERING AND LANGU 09/01/2004 Felleisen, Matthias MA Northeastern 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
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
0430102 Foundations of Event Correlation CCF SOFTWARE ENGINEERING AND LANGU 09/01/2004 Manna, Zohar CA Stanford University
0428078 More Modular Reasoning for Aspect-Oriented Programs CCF SOFTWARE ENGINEERING AND LANGU 09/01/2004 Leavens, Gary IA Iowa State University
0429590 Collaborative Research: Well-Founded Behavioral Software Contracts CCF SOFTWARE ENGINEERING AND LANGU 09/01/2004 Findler, Robert IL University of Chicago
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
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
0456163 Translation Validation of Advanced Compiler Optimizations CCF SOFTWARE ENGINEERING AND LANGU 08/15/2004 Zuck, Lenore IL University of Illinois at Chicago
0438714 Software Security: Theory to Practice CCF CYBER TRUST, SOFTWARE ENGINEERING AND LANGU 08/15/2004 Ariola, Zena OR University of Oregon Eugene
0347902 CAREER: A Linguistic Approach to Software Development CCF SOFTWARE ENGINEERING AND LANGU 07/01/2004 Lopes, Cristina CA University of California-Irvine
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
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
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
0401691 Foundations of ILP-based Static Analysis CCF SOFTWARE ENGINEERING AND LANGU 09/01/2003 Palsberg, Jens 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
0346938 Workshops on the Science of Design CCF SOFTWARE ENGINEERING AND LANGU 08/01/2003 Sullivan, Kevin VA University of Virginia Main Campus
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
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
0305330 RUI: Amorphous Program Slicing CCF SOFTWARE ENGINEERING AND LANGU 07/01/2003 Binkley, David MD Loyola College in Maryland
0305949 Collaborative Research: Robust Interactive Web Services CCF SOFTWARE ENGINEERING AND LANGU 07/01/2003 Krishnamurthi, Shriram RI Brown University
0306269 Collaborative Research: Robust Interactive Web Services CCF SOFTWARE ENGINEERING AND LANGU 07/01/2003 Felleisen, Matthias MA Northeastern University
0306270 Collaborative: Exploiting component contracts for static analysis and testing CCF SOFTWARE ENGINEERING AND LANGU 07/01/2003 Findler, Robert IL University of Chicago
0306303 Supporting Change in Evolving Software System through an Adaptive Learning Approach to the Dynamic Generation of Traceability Links CCF SOFTWARE ENGINEERING AND LANGU 07/01/2003 Huang, Jane IL DePaul University
0306382 GAMES FOR FORMAL DESIGN AND VERIFICATION OF REACTIVE SYSTEMS CCF SOFTWARE ENGINEERING AND LANGU 07/01/2003 Alur, Rajeev PA University of Pennsylvania
0306399 From Rules to Analysis Algorithms with Time and Space Guarantees CCF SOFTWARE ENGINEERING AND LANGU 07/01/2003 Liu, Yanhong NY SUNY at Stony Brook
0306486 RUI: Modules and Parallel Specialization of Object Types CCF SOFTWARE ENGINEERING AND LANGU 07/01/2003 Bruce, Kim MA Williams College
0306046 Functional Hybrid Modeling CCF SOFTWARE ENGINEERING AND LANGU 07/01/2003 Nilsson, Henrik CT Yale University
Export options: Excel | XML | CSV

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