Andrew Appel - US grants

Affiliations: 
Computer Science Princeton University, Princeton, NJ 
Area:
Software verification, computer security, programming languages, compilers.

We are testing a new system for linking grants to scientists.

The funding information displayed below comes from the NIH Research Portfolio Online Reporting Tools and the NSF Award Database.
The grant data on this page is limited to grants awarded in the United States and is thus partial. It can nonetheless be used to understand how funding patterns influence mentorship networks and vice-versa, which has deep implications on how research is done.
You can help! If you notice any innacuracies, please sign in and mark grants as correct or incorrect matches.

Sign in to see low-probability grants and correct any errors in linkage between grants and researchers.

High-probability grants

According to our matching algorithm, Andrew Appel is the likely recipient of the following grants.
Years Recipients Code Title / Keywords Matching
score
1986 — 1988 Appel, Andrew
N/AActivity Code Description:
No activity code was retrieved: click on the grant title for more information

Implementation of An Efficient Reducer For Lambda Expressions

@ Princeton University

1
1988 — 1990 Appel, Andrew
N/AActivity Code Description:
No activity code was retrieved: click on the grant title for more information

Unifying Compile-Time and Run-Time Evaluation

@ Princeton University

1
1990 — 1992 Appel, Andrew
N/AActivity Code Description:
No activity code was retrieved: click on the grant title for more information

Standard Ml of New Jersey Software Capitalization

@ Princeton University

1
1990 — 1992 Appel, Andrew
N/AActivity Code Description:
No activity code was retrieved: click on the grant title for more information

Using Immutable Types For Debugging and Parallelism

@ Princeton University

1
1992 — 1996 Appel, Andrew
N/AActivity Code Description:
No activity code was retrieved: click on the grant title for more information

Optimization of Space Usage

@ Princeton University

1
1998 — 2002 Appel, Andrew
Felten, Edward [⬀]
N/AActivity Code Description:
No activity code was retrieved: click on the grant title for more information

Tools, Interfaces, and Access Control For Secure Programming

@ Princeton University

1
1999 — 2003 Appel, Andrew
N/AActivity Code Description:
No activity code was retrieved: click on the grant title for more information

Applying Compiler Techniques to Proof-Carrying Code

@ Princeton University

1
2002 — 2006 Appel, Andrew
Walker, David (co-PI) [⬀]
N/AActivity Code Description:
No activity code was retrieved: click on the grant title for more information

Collaborative Research: High-Assurance Common Language Runtime

@ Princeton University

1
2006 — 2011 Appel, Andrew
Clark, Douglas (co-PI) [⬀]
Martonosi, Margaret (co-PI) [⬀]
August, David (co-PI) [⬀]
Walker, David [⬀]
N/AActivity Code Description:
No activity code was retrieved: click on the grant title for more information

Ct: Well-Typed Trustworthy Computing in the Presence of Transient Faults

@ Princeton University

1
2006 — 2009 Appel, Andrew
N/AActivity Code Description:
No activity code was retrieved: click on the grant title for more information

End-to-End Source-to-Object Verification of Interface Safety

@ Princeton University

1
2009 — 2013 Appel, Andrew
N/AActivity Code Description:
No activity code was retrieved: click on the grant title for more information

Tc: Large:Collaborative Research: Combining Foundational and Lightweight Formal Methods to Build Certifiably Dependable Software

@ Princeton University

1
2014 — 2017 Appel, Andrew
N/AActivity Code Description:
No activity code was retrieved: click on the grant title for more information

Shf: Medium: Collaborative Research: Principled Optimizing Compilation of Dependently Typed Languages

@ Princeton University

1
2015 — 2020 Appel, Andrew
N/AActivity Code Description:
No activity code was retrieved: click on the grant title for more information

Collaborative Research: Expeditions in Computing: the Science of Deep Specification

@ Princeton University

1
2020 — 2023 Appel, Andrew
N/AActivity Code Description:
No activity code was retrieved: click on the grant title for more information

Shf: Small: Veriffi -- Formally Verified Functional+C Programs

@ Princeton University

1
2022 — 2025 Appel, Andrew
N/AActivity Code Description:
No activity code was retrieved: click on the grant title for more information

Collaborative Research: Fmitf: Track I: Formally Verified Numerical Methods

@ Princeton University

1