Gary T Leavens

Iowa State University

$2,036,998

Attributed

$2,461,731

Total exposure

Grants

Lead (contact PI)

Attributed= this PI's even-split share of every grant they're on (the fair, additive number). Exposure = full size of all those grants.

Funding over time

peak $500K · FY2007–18

$500K$375K$250K$125K$0

'07

'08

'09

'10

'11

'12

'13

'14

'15

'16

'17

'18

Funding mix

By agency

NSF$2,461,731 · 11

By mechanism

—$2,461,731 · 11

Top collaborators

Grant awards (11)

SHF: ESEC/FSE 2018 Doctoral Consortium, Mentorship, and Conference Travel Support$33,952

· FY2018 · CSE · contact PI

SHF:Large:Collaborative Research: Inferring Software Specifications from Open Source Repositories by Leveraging Data and Collective Community Expertise$320,000

· FY2015 · CSE · contact PI

TWC: Medium: Collaborative: Flexible and Practical Information Flow Assurance for Mobile Apps$333,690

· FY2012 · CSE · contact PI

SHF: Small: Collaborative Research: Balancing Expressiveness and Modular Reasoning for Aspect-Oriented Programming$241,029

· FY2010 · CSE · contact PI

SHF: Small: Collaborative Research: Specification and Verification of Safety Critical Java$249,981

· FY2009 · CSE · contact PI

SHF: Small: Collaborative Research: Specification Language Foundations for Modular Reasoning Methodologies$249,981

· FY2009 · CSE · contact PI

Collaborative Research: CRI: CRD: A JML Community Infrastructure -- Revitalizing Tools and Documentation to Aid Formal Methods Research$291,000

· FY2007 · CSE · contact PI

Collaborative Research: CRI: CRD: A JML Community Infrastructure -- Revitalizing Tools and Documentation to Aid Formal Methods Research$75,000

· FY2007 · CSE · contact PI

More Modular Reasoning for Aspect-Oriented Programs$54,999

· FY2004 · CSE · contact PI

ITR/SY: Modular Interface Violation Checking Using Formally-Specified Contracts$412,099

· FY2001 · CSE

Formal Methods for Extensible Object-Oriented Software$200,000

· FY2001 · CSE · contact PI