| A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
1 | grant: sole PI | co-PI (expended by TM: ) | Resaerch expenditure | Grants- Co-PI (total) | Research expenditure | |||||||||||||||||||
2 | start | finish | Funding body | Name | gift? | A | B | C=A + B | D | E=C+D | current? | new for Feb2022- febl2023 | sum for 2020 | |||||||||||
3 | ||||||||||||||||||||||||
4 | las 2021 | 133 | ||||||||||||||||||||||
5 | 2025 | 2025 | lsharris | Augmented fuzzing | 218,693 | $316,000 | yes | |||||||||||||||||
6 | 2024 | 2024 | LAS (NSA) | Hold that thought | 128,000 | $128,000 | fb21 | 50 | ||||||||||||||||
7 | 2023 | 2023 | LAS (NSA) | DM + semi-supervised elarning | 173,402 | $173,402 | fb21 | 50 | ||||||||||||||||
8 | 2022 | 2022 | LAS (NSA) | data synethesis | y | 171,811 | $171,811 | |||||||||||||||||
9 | 2023 | 2023 | diveplan | data synethesis | y | 50,000 | $50,000 | $2,870,900 | ||||||||||||||||
10 | 2022 | 2023 | Facebook/Meta | Good via construction (Y3) | 50,000 | $50,000 | ||||||||||||||||||
11 | 2021 | 2021 | Crown Consulting | Model-Based Engineering | 45,800 | $45,800 | ||||||||||||||||||
12 | 2020 | 2021 | IBM | Global University Program Academic Award | 40,000 | $40,000 | fb22 | 50 | ||||||||||||||||
13 | 2020 | 2021 | LAS (NSA) | deep learning | 135,000 | $135,000 | ibm21 | 70 | ||||||||||||||||
14 | 2020 | 2021 | Facebokk | Good via construction (Y2) | 50,000 | $50,000 | ||||||||||||||||||
15 | 2019 | 2022 | NSF | Mega-Transfer | 499,371 | $499,371 | ||||||||||||||||||
16 | 2019 | 2020 | Lexis Nexis | Leverage (year2) | y | 120,000 | $120,000 | |||||||||||||||||
17 | 2019 | 2022 | NSF | Empirical SE for Computational Science | 592,129 | $592,129 | ||||||||||||||||||
18 | 2019 | 2022 | NSF | Science of Vulnerability Detection | 249,999 | 249,999 | 249,999 | $499,387 | ||||||||||||||||
19 | 2017 | 2021 | NSF | Autotuning | $0 | $450,000 | 450,000 | $450,000 | $450,000 | |||||||||||||||
20 | 2020 | 2020 | LAS (NSA) | fariness is a choce | 255,000 | $255,000 | ||||||||||||||||||
21 | 2019 | 2020 | Darpa | sail-on v&v ai | 70,000 | $70,000 | ||||||||||||||||||
22 | 2019 | 2020 | NSF | Workforce Empowerment | 98,000 | $950,139 | ||||||||||||||||||
23 | 2019 | 2020 | Good via construction | y | 50,000 | $50,000 | ||||||||||||||||||
24 | 2019 | 2019 | LAS (NSA) | How safe is this conclusion | 186,809 | $186,809 | ||||||||||||||||||
25 | 2018 | 2018 | Lexis Nexis (Atlanta) | Entiry recognition | y | $40,000 | 40,000 | $40,000 | ||||||||||||||||
26 | 2018 | 2018 | IBM | Analytics: SE faculty award | y | $40,000 | 40,000 | $40,000 | ||||||||||||||||
27 | 2018 | 2019 | Lexis Nexis (Raleigh) | configure cloud + test cases | y | $110,000 | 110,000 | $110,000 | 10,301,911 | |||||||||||||||
28 | 2018 | 20119 | NSF | Empirical SE for Computational Science | $124,600 | 124,600 | $124,600 | |||||||||||||||||
29 | 2018 | 2018 | LAS (NSA) | How to make a magican | $35,000 | 35,000 | $35,000 | |||||||||||||||||
30 | 2020 | 2020 | Lexis Nexis | Smoke (text mining to predict M&A) | 50,000 | $50,000 | 12,222,830 | |||||||||||||||||
31 | 2017 | 2017 | IBM | Automated SE: Faculty grant | y | $40,000 | 40,000 | $40,000 | ||||||||||||||||
32 | 2015 | 2018 | Lexis Nexis (Raleigh) | y | $120,000 | 120,000 | $120,000 | |||||||||||||||||
33 | 2017 | 2017 | Lexis Nexis (Atlanta) | Validation lab | y | $35,000 | 35,000 | $35,000 | ||||||||||||||||
34 | 2017 | 2017 | Lexis Nexis (Atlanta) | The agreement machine | y | $35,000 | 35,000 | $35,000 | ||||||||||||||||
35 | 2017 | 2017 | LAS (NSA) | Privitized data sharing | $35,000 | 35,000 | $35,000 | |||||||||||||||||
36 | 2016 | 2016 | IBM | Automated SE: Faculty grant | y | $40,000 | $0 | 40,000 | $0 | $40,000 | ||||||||||||||
37 | 2016 | 2018 | NSF | Reu: Science of Software | $10,000 | 10,000 | $345,365 | $355,365 | ||||||||||||||||
38 | 2016 | 2016 | Lexis Nexis | Optimization of ML for Big Data | y | $50,000 | $0 | 50,000 | $0 | $50,000 | ||||||||||||||
39 | 2016 | 2016 | SEI | Optimization business process | $75,000 | $0 | 75,000 | $0 | $75,000 | |||||||||||||||
40 | 2015 | 2017 | NCDSA | Share Care Beware | $60,000 | $0 | 60,000 | $0 | $60,000 | |||||||||||||||
41 | 2015 | 2018 | Lexis Nexis | Validation lab | y | $120,000 | 120,000 | $120,000 | ||||||||||||||||
42 | 2015 | 2015 | JPL | Effort Estimation (year2) | $30,000 | 30,000 | $30,000 | |||||||||||||||||
43 | 2014 | 2015 | Lexis Nexis | Scripting for Big data | y | $50,000 | 50,000 | $50,000 | ||||||||||||||||
44 | 2013 | 2017 | NSF | Transfer Learning in SE | 622,030 | 622,030 | 529,773 | $1,151,803 | ||||||||||||||||
45 | 2013 | 2014 | NASA (JPL) | Effort estimation | 47,000 | 47,000 | $47,000 | 7,032,616 | ||||||||||||||||
46 | 2012 | 2016 | USDA | Early Childhood Obesity Program | $133,526 | $133,526 | $133,526 | |||||||||||||||||
47 | 2012 | 2013 | NSF | New directions in AI and SE | $14,700 | $14,700 | $14,700 | |||||||||||||||||
48 | 2010 | 2012 | Dod STTRv) | Active Learning | $230,514 | $230,514 | $230,514 | |||||||||||||||||
49 | 2010 | 2014 | NSF (CISE) | Better Understanding of SE data | $249,500 | $249,500 | $499,000 | $748,500 | ||||||||||||||||
50 | 2010 | 2012 | Qatar Resarch | Int Center of Excellence in SE | $98,125 | $98,125 | $196,250 | $294,375 | ||||||||||||||||
51 | 2010 | 2011 | CITRE | Border Crossing | $70,000 | $70,000 | $70,000 | 249,999 | ||||||||||||||||
52 | 2010 | 2011 | National Forensics | Overcoming Brittleness | $35,721 | $35,721 | $35,721 | |||||||||||||||||
53 | 2009 | 2010 | National Archives | STEP Research | $209,000 | $209,000 | $418,000 | $627,000 | 10,173 | |||||||||||||||
54 | 2008 | 2009 | National archives | STEP research | $143,500 | $143,500 | $574,000 | $717,500 | ||||||||||||||||
55 | 2008 | 2011 | NSF (CISE) | Automatic Quality Assessment | $180,000 | $180,000 | $360,000 | $540,000 | ||||||||||||||||
56 | 2008 | 2009 | National Forensics | Conclusion stability | $80,000 | $80,000 | $80,000 | |||||||||||||||||
57 | 2008 | 2008 | NASA | Understanding Anomalies. | $58,000 | $58,000 | $58,000 | 12,094,830 | ||||||||||||||||
58 | 2008 | 2008 | NASA | Crystal Ball. | $55,000 | $55,000 | $55,000 | |||||||||||||||||
59 | 2008 | 2008 | NASA | Advanced UML modeling. | $50,000 | $50,000 | $50,000 | 490,000 | ||||||||||||||||
60 | 2007 | 2008 | NASA | Applied Technology Lab | $95,551 | $95,551 | $95,551 | |||||||||||||||||
61 | 2007 | 2008 | Dod STTRv | Next generation metrics: phase 1 | $40,715 | $40,715 | $40,715 | |||||||||||||||||
62 | 2007 | 2007 | NASA | WVU Liaison | $39,707 | $39,707 | $39,707 | |||||||||||||||||
63 | 2007 | 2008 | Industrial | Analysis metrics (Galaxy Global) | $25,000 | $25,000 | $25,000 | |||||||||||||||||
64 | 2007 | 2008 | National archives | STEP research | $15,482 | $15,482 | $15,482 | |||||||||||||||||
65 | 2006 | 2007 | NASA | Learning software process model | $113,255 | $113,255 | $113,255 | |||||||||||||||||
66 | 2006 | 2007 | NASA | Improving IV&V Techniques | $107,990 | $107,990 | $107,990 | |||||||||||||||||
67 | 2006 | 2006 | NASA | co-op agreement supplemental funds | $14,916 | $14,916 | $59,665 | $74,581 | ||||||||||||||||
68 | 2006 | 2006 | NASA | co-op funds for Eisland Hall Lab | $30,000 | $30,000 | $30,000 | |||||||||||||||||
69 | sum since tenure (2006+) | $2,281,761 | $2,445,763 | $7,274,153 | $3,682,052 | $11,673,733 | 10,813,733 | |||||||||||||||||
70 | ||||||||||||||||||||||||
71 | 2005 | 2005 | NASA | How to Argue Less: | $260,000 | $260,000 | $260,000 | |||||||||||||||||
72 | 2005 | 2005 | NASA | Spectrum of Model Checking Methods | $160,000 | $160,000 | $160,000 | |||||||||||||||||
73 | 2005 | 2005 | NASA | Risk/Cost models for Autonomy | $160,000 | $160,000 | $160,000 | |||||||||||||||||
74 | 2005 | 2005 | NASA | How much will it cost? | $126,161 | $126,161 | $126,161 | |||||||||||||||||
75 | 2005 | 2005 | NASA SBIT | Intelligent Vehicle Health Management: | $65,000 | $65,000 | $65,000 | |||||||||||||||||
76 | 2004 | 2004 | NASA | Spectrum of Model Checking Methods | $160,000 | $160,000 | $160,000 | |||||||||||||||||
77 | 2004 | 2005 | NASA | A next-generation testable language | $70,000 | $70,000 | $70,000 | |||||||||||||||||
78 | 2004 | 2004 | NASA | The research rover | $48,000 | $48,000 | $48,000 | |||||||||||||||||
79 | 2003 | 2005 | NASA | Understanding models better | $107,000 | $107,000 | $107,000 | |||||||||||||||||
80 | 2003 | 2003 | NASA | Model checking & procedural languages | $50,000 | $50,000 | $50,000 | |||||||||||||||||
81 | 2003 | 2003 | NASA | See more! Learn more! Tell more! | $47,800 | $47,800 | $47,800 | 850 | ||||||||||||||||
82 | 2002 | 2003 | NASA | A spectrum of IV&V techniques | $200,000 | $200,000 | $200,000 | |||||||||||||||||
83 | 2002 | 2002 | NASA | Better risk modelling | $29,000 | $29,000 | $29,000 | |||||||||||||||||
84 | 2001 | 2001 | NASA | Tree query languages | $29,000 | $29,000 | $29,000 | |||||||||||||||||
85 | 2000 | 2000 | Canada Res. Coun. | NSERC grant | $83,000 | $83,000 | $83,000 | |||||||||||||||||
86 | 1998 | 1999 | NASA | High Quality Knowledge Initiative | $110,000 | $110,000 | $110,000 | |||||||||||||||||
87 | 1997 | 1998 | Aust. Res. Coun | Abduction for software engineering | $10,000 | $10,000 | $10,000 | |||||||||||||||||
88 | 1996 | 1998 | UNSW | Vice-Chancellor's Research Fellowship | $135,000 | $135,000 | $135,000 | |||||||||||||||||
89 | Total (1996 to 2005) | $1,849,961 | $0 | $1,849,961 | $0 | $1,849,961 | ||||||||||||||||||
90 | Total (ALL) | $4,131,722 | $2,445,763 | $9,124,114 | $3,682,052 | $13,523,694 | 12,673,694 | |||||||||||||||||
91 | 106 | |||||||||||||||||||||||
92 | ||||||||||||||||||||||||
93 | ||||||||||||||||||||||||
94 | ||||||||||||||||||||||||
95 | ||||||||||||||||||||||||
96 | ||||||||||||||||||||||||
97 | ||||||||||||||||||||||||
98 | ||||||||||||||||||||||||
99 | ||||||||||||||||||||||||
100 |