Last Name :
PI Lookup
Organization :
Organization Lookup
State :
Alabama
Alaska
American Samoa
Arizona
Arkansas
Baker Island
California
Colorado
Connecticut
Delaware
District of Columbia
Federated Micronesia
Florida
Georgia
Guam
Hawaii
Idaho
Illinois
Indiana
Iowa
Jarvis Island
Johnston Atoll
Kansas
Kentucky
Kingman Reef
Louisiana
Maine
Marshall Islands
Maryland
Massachusetts
Michigan
Midway Islands
Minnesota
Mississippi
Missouri
Montana
Navassa Island
Nebraska
Nevada
New Hampshire
New Jersey
New Mexico
New York
North Carolina
North Dakota
Northern Mariana Isl
Ohio
Oklahoma
Oregon
Palau
Palmyra Atoll
Pennsylvania
Puerto Rico
Rhode Island
South Carolina
South Dakota
Tennessee
Texas
Trust Terr Pac Isl
US Minor Islands
Utah
Vermont
Virgin Islands
Virginia
Wake Island
Washington
West Virginia
Wisconsin
Wyoming
ZIP Code :
Country :
United States
Afghanistan
Africa South of Sahara
Albania
Algeria
American Samoa
Andorra
Angola
Anguilla
Antarctica
Antarctica
Antigua and Barbuda
Arctic Ocean Area
Argentina
Armenia
Aruba
Ashmore and Cartier Islands
Atlantic Ocean Area
Australasia
Australia
Austria
Azerbaijan
Bahamas
Bahrain
Baker Island
Bangladesh
Barbados
Bassas da India
Belarus
Belarus
Belgium
Belize
Benin
Bermuda
Bhutan
Bolivia
Bosnia and Herzegovina
Botswana
Bouvet Island
Brazil
British Indian Ocean Territory
Brunei
Bulgaria
Burkina Faso
Burma
Burundi
Cambodia
Cameroon
Canada
Cape Verde
Caribbean
Cayman Islands
Central African Republic
Central America
Chad
Chile
China
Christmas Island
Clipperton Island
Cocos (Keeling) Islands
Colombia
Comoros
Congo (Brazzaville)
Congo (Kinshasa)
Cook Islands
Coral Sea Islands
Costa Rica
Cote d'Ivoire (Ivory Coast)
Croatia
Cuba
Cyprus
Czech Republic
Czechoslovakia
Denmark
Dhekelia Sovereign Base Area
Djibouti
Dominica
Dominican Republic
East Asia and Pacific
East Europe and Newly Indep Sts
East Timor
Ecuador
Egypt
El Salvador
Equatorial Guinea
Eritrea
Estonia
Ethiopia
Europa Island
Falkland Islands (Islas Malvinas)
Falkland Islands (Islas Malvinas)
Far East
Faroe Islands
Fiji
Finland
France
French Guiana
French Polynesia
Gabon
Gambia
Gaza Strip
Georgia
German Democratic Republic(old East Germ
Germany
Germany
Germany, Berlin
Ghana
Gibraltar
Global-Commons
Glorioso Islands
Greece
Greenland
Grenada
Guadeloupe
Guam
Guatemala
Guernsey
Guinea
Guinea-Bissau
Guyana
Haiti
Heard Island and McDonald Islands
Holy See (Vatican City)
Honduras
Hong Kong
Howland Island
Hungary
Iceland
India
Indian Ocean Area
Indonesia
Iran
Iraq
Ireland
Isle of Man
Israel
Italy
Jamaica
Jan Mayen
Japan
Jarvis Island
Jersey
Johnston Atoll
Jordan
Juan de Nova Island
Kazakhstan
Kenya
Kingman Reef
Kirghizia
Kiribati
Korea, North
Korea, South
Kuwait
Kyrgyzstan
Laos
Latin America
Latvia
Lebanon
Lesotho
Liberia
Libya
Liechtenstein
Lithuania
Luxembourg
Macau
Macedonia,Former Yugoslav Rep.
Madagascar
Malawi
Malaysia
Maldives
Mali
Malta
Marshall Islands
Martinique
Mauritania
Mauritius
Mayotte
Mexico
Micronesia
Middle East
Midway Islands
Moldova
Monaco
Mongolia
Montserrat
Morocco
Mozambique
Namibia
Nauru
Navassa Island
Nepal
Netherlands
Netherlands Antilles
Netherlands Antilles
New Caledonia
New Zealand
Nicaragua
Niger
Nigeria
Niue
Norfolk Island
North Africa
North America
Northern Mariana Islands
Norway
Oman
Pacific Ocean Area
Pakistan
Palau
Palmyra Atoll
Panama
Papua New Guinea
Paracel Islands
Paraguay
Peru
Philippines
Pitcairn Islands
Poland
Portugal
Puerto Rico
Qatar
Reunion
Romania
Russia
Rwanda
Samoa
San Marino
Sao Tome and Principe
Saudi Arabia
Scandinavia
Senegal
Serbia and Montenegro
Serbia and Montenegro
Seychelles
Sierra Leone
Singapore
Slovakia
Slovenia
Solomon Islands
Somalia
South Africa
South America
South Asia
South Georgia and South Sandwich Islands
Southeast Asia
Spain
Spratly Islands
Sri Lanka
St. Helena
St. Kitts and Nevis
St. Lucia
St. Pierre and Miquelon
St. Vincent & The Grenadines
Sudan
Suriname
Svalbard
Swaziland
Sweden
Switzerland
Syria
Taiwan
Tajikstan
Tanzania
Thailand
Togo
Tokelau
Tonga
Transcaucaus
Trinidad and Tobago
Tromelin Island
Tunisia
Turkey
Turkmenistan
Turks and Caicos Islands
Tuvalu
Uganda
Ukraine
United Arab Emirates
United Arab Emirates
United Kingdom
United States
Uruguay
Uzebekistan
Vanuatu
Venezuela
Vietnam
Virgin Islands, British
Virgin Islands, U.S.
Wake Island
Wallis and Futuna
West Bank
Western Europe
Western Sahara
Worldwide
Yemen
Yemen (Aden)
Yemen (Sanaa)
Yugoslavia
Zambia
Zimbabwe
Program Information
NSF Organization :
ACF
AST - Division of Astronomical Sciences
ATM - Division of Atmospheric Sciences
BCS - Division of Behavioral and Cognitive Sciences
BES - Division of Bioengineering & Environmental Systems
BFA - Office of Budget, Finance & Award Management
BIO - Directorate for Biological Sciences
BNS - Division of Behavioral & Neural Sciences
CCF - Division of Computer and Communication Foundations
CHE - Division of Chemistry
CMS - Division of Civil and Mechanical Systems
CNS - Division of Computer and Network Systems
CSE - Directorate for Computer & Information Science & Engineering
CTS - Division of Chemical & Transport Systems
DAS - Division of Administrative Services
DBI - Division of Biological Infrastructure
DCB - Division of Cellular Biosciences
DCCA - Division of Contracts & Complex Agreements
DEB - Division of Environmental Biology
DFM - Division of Financial Management
DGA - Division of Grants & Agreements
DGE - Division of Graduate Education
DIAS - Division of Institution & Award Support
DIS - Division of Information Systems
DMI - Division of Design, Manufacture & Industrial Innov
DMR - Division of Materials Research
DMS - Division of Mathematical Sciences
DOB - DIVISION OF BUDGET DOB
DPP - DIVISION OF POLAR PROGRAMS
DUE - Division of Undergraduate Education
EAR - Division of Earth Sciences
ECS - Division of Electrical & Communications Systems
EEC - Division of Engineering Education and Centers
EET
EF - Emerging Frontiers
EHR - Directorate for Education & Human Resources
EIA - Division of Experimental & Integrative Activities
EID - DIVISION OF ENGINEERING INFRA-
ENG - Directorate for Engineering
EPS - Office of Experimental Program to Stimulate Competitive Research
ESI - Division of Elementary, Secondary & Informal Education
ESR - Division of Educational System Reform
GEO - Directorate for Geosciences
HEA
HRD - Division of Human Resource Development
HRD - DIVISION OF HUMAN RESOURCES
HRM - Division of Human Resource Management
III - Division of Industrial Innovation Interface
IIS - Division of Information & Intelligent Systems
IOB - Division of Integrative Organismal Biology
IRM - Office of Information & Resource Management
KDI - KDI Working Group
LPA - Office of Legislative and Public Affiars
MCB - Division of Molecular and Cellular Biosciences
MDR - DIVISION OF MATERIALS DEVELOPMENT,
MIP - Division of Microelectronic Information Processing Systems
MPS - Directorate for Mathematical & Physical Sciences
NCO - National Coordination Office
NNCO - National Nanotechnology Coordinating Office
NSB - NATIONAL SCIENCE BOARD
O/D - OFFICE OF THE DIRECTOR
OCE - Division of Ocean Sciences
OEO - Office of Equal Opportunity Programs
OGC - GENERAL COUNSEL
OIA - Office of Integrative Activities
OIG - Office of Inspector General
OISE - Office of International Science and Engineering
OISE - Office of Internatl Science and Engineering
OPA - Office of Planning and Assessment
OPP - Antarctic Sciences Section
OPP - Arctic Sciences Section
OPP - Environment, Safety and Health Section
OPP - Office of Polar Programs
OPP - Polar Research Support Section
PCM
PHY - Division of Physics
PRM
R88
RCD - DIVISION OF RESEARCH CAREER
REC - Division of Research, Evaluation and Communication
SBE - Directorate for Social, Behavioral & Economic Sciences
SCI - Division of Shared Cyberinfrastructure
SED - OFFICE OF STUDIES, EVALUATION AND
SER
SES - Division of Social and Economic Sciences
SRS - Division of Science Resources Statistics
STI - Office of Science & Technology Infrastructure
TPE - DIVISION OF TEACHER PREPARATION AND
USE - DIVISION OF UNDERGRADUATE SCIENCE,
NSF Org Lookup
Program Officer :
Element Code :
Element Code Lookup
Reference Code :
Ref Code Lookup
Hint: This "Program" box searches both program element and program reference names and codes.
Program :
Program Lookup
Field of Application :
Accident
Advanced Measurement Investment
Aging (Human)
Agricultural
Agriculture
Air Pollution
Analytic Tools
Analytical Procedures
Animal Welfare
Anthropology
Astronomy
Atmospheric Science-ICAS
Atmospheric Sciences
Biological Oceanography
Biological Pest Control
Biology of Pest Organisms
Biomaterials-Short & Long Terms
Chemical Reaction Systems
Chemistry
Climate Models
Climate Related Activities
Cloud & Precipitatn Process
Collective Decision-Making
Computer Science
Computer Science & Engineering
Computer Science & Engineering
Computer Security & Privacy
Condensed Matter Physics
Conflict Resolution
Curriculum Development
Data Banks
Data Banks & Software Design
Deep Mineral Deposits
Deep Solution Mining
Disaster & Natural Hazard
Domestic Economic Modeling
Drug Abuse
Drug Abuse Effects Biol
Drug Abuse Effects Economic
Drug Abuse Prevention
Early Technology
Earthquake
Ecology
Economic Instability
Economics
Ecosystem Dynamics
Electron & Energy Sources
Endangered Species
Energetics & Thermodynamc
Energy Research & Resources
Engineering
Engineering & Computer Science
Engineering NEC
Engineering-Aeronautical
Engineering-Astronautical
Engineering-Chemical
Engineering-Civil
Engineering-Electrical
Engineering-Engineering Technology
Engineering-Mechanical
Engineering-Metallurgy & Material
Environmental Biology
Environmental NEC
Environmental Sciences
Ethical Considerations
Extreme Wind
Facilities
Facilities - Combination
Facilities - Repair/Renovation
Facilities - Replacement
Fire
Flood
Geodynamics & Mettallogen
Geography
Geological Sciences
Geophysical Monitoring
Global Carbon Cycle
Health
High Technology Materials
Historical Sites
History
Human Rights-Minority Rel
Human Subjects
Improved Resolution & Sen
Improved Sensitivity-Minitr
Improved Transient Measure
Inadvertent Weather Effect
Industrial Siting Models
Industrial Technology
Industry University - Co-op
Information Systems
Information Systems
Integrated Pest Management
Interagency
International Economic Cooperation
International Economic Modeling
Kinetics
Land Use & Planning
Law
Life Science Biological
Life Science Clinical Medical
Life Science Other Medical
Life Sciences
Life Sciences NEC
Linguistics
Man-Machine Communication
Manpower & Training
Marine Mammal Protection
Marine Resources
Mass Media & Socialization
Materials NEC
Materials Research
Materials Theory
Mathematics
Mathematics
Metals, Ceramics & Electronic Materials
Mineral Benefication
Mineral Economics
Mineral Leaching Process
Model Validation
Multi-Disciplinary
Municipal Service
National Environmental Policy Act
Nerve Growth
Noise Pollution
Nondestructive Measurement
Nutrition
Oceanography
Operations Research
Other Applications NEC
Other Sciences
Other Sciences NEC
Ozone & The Stratosphere
Past Carbon Dioxide Level
Photocatalysis
Physical & Chemical Oceanography
Physical Chemical Studies
Physical Sciences
Physical Sciences NEC
Physically Disadvantaged
Physics
Plant Productivity
Polar Programs-Related
Political Sciences
Pollution Control
Population
Population Redistribution
Population Redistribution Model
Problem-Oriented
Proprietary & Privileged Information
Psychology
Psychology Biological Aspects
Psychology Sciences NEC
Psychology Social Aspects
Regional & Environmental
Research Involving Recombinant DNA
Reservoir Engineering
Rock Fracture Mechanics
Rock Properties-Mineral
Role-Terrestrial Ecosystem
Role-Trace Element Component
Rural Development
Salt Tolerant Plants
Science Information
Science Policy
Science Policy
Science Technology Assess
Sensry Physiology & Perc
Shelf & Esturine Ecosystem
Social Data & Comm Development
Social Sciences
Social Sciences NEC
Societal Aspects
Sociology
Software Development
Solid State Chem and Polymers
Solid Waste Disposal
Space
Special Interest
Structural Technology
Structure & Function
Substitute Materials
Synthetic Organic Chemistry
System Interaction
System Theory
Technology Transfer
Telecommunications
Toxicology
Trace Contaminants
Trace Element Content
Transformation of Nitrogen
Transportation
Urban Problems
Urban Technology
Waste Resources
Water Pollution
Water Resources
Weather Modification Research
Weather Modifications
Xray & Electron Beam Lith
Additional Information
Start Date :(mm/dd/yyyy)
Please Select a Search Type...
Search Awards Using a Date Range
Search Awards on or Before a Date
Search Awards on or After a Date
Start Date From
From :
Start Date To
To :
Expiration Date :(mm/dd/yyyy)
Please Select a Search Type...
Search Awards Using a Date Range
Search Awards on or Before a Date
Search Awards on or After a Date
Expiration Date From
From :
Expiration Date To
To :
Award Number :
Please Select a Search Type...
Search for an Exact Award Number
Search Using an Award Number Range
Search on or Before an Award Number
Search on or After an Award Number
Award Number From
From :
Award Number To
To :
Congressional District :
00
01
02
03
04
05
06
07
08
09
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
90
97
98
99
Amount :
$0 - $50000
$50001 - $100000
$100001 - $500000
$500001 - $1 million
> $1 million
Award Instrument :
Continuing grant
Contract
Contract Interagency Agreement
Cooperative Agreement
Fellowship
Fixed Price Award
Interagency Agreement
Standard Grant
Hint: Historical data is from prior to 1976. This data may not be as complete as recent data.
Historical Awards :
Active Awards Only :
Expired Awards Only :
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.
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
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