ABCDEFGHIJKLMNOPQRSTUVWX
1
grant: sole PI co-PI (expended by TM: )Resaerch expenditureGrants- Co-PI (total) Research expenditure
2
startfinishFunding bodyNamegift? ABC=A + BDE=C+Dcurrent?new for Feb2022- febl2023sum for 2020
3
4
las 2021133
5
20252025lsharrisAugmented fuzzing218,693$316,000yes
6
20242024LAS (NSA)Hold that thought128,000$128,000 fb2150
7
20232023LAS (NSA)DM + semi-supervised elarning173,402$173,402 fb2150
8
20222022LAS (NSA)data synethesisy171,811$171,811
9
20232023diveplandata synethesisy50,000$50,000 $2,870,900
10
20222023Facebook/MetaGood via construction (Y3)50,000$50,000
11
20212021Crown ConsultingModel-Based Engineering45,800$45,800
12
20202021IBM
Global University Program Academic Award
40,000$40,000 fb2250
13
20202021LAS (NSA)deep learning135,000$135,000 ibm2170
14
20202021FacebokkGood via construction (Y2)50,000$50,000
15
20192022NSFMega-Transfer 499,371$499,371
16
20192020Lexis NexisLeverage (year2)y120,000$120,000
17
20192022NSFEmpirical SE for Computational Science592,129$592,129
18
20192022NSFScience of Vulnerability Detection249,999249,999249,999$499,387
19
20172021NSFAutotuning$0$450,000450,000$450,000$450,000
20
20202020LAS (NSA)fariness is a choce255,000$255,000
21
20192020Darpasail-on v&v ai70,000$70,000
22
20192020NSFWorkforce Empowerment98,000$950,139
23
20192020FacebookGood via constructiony50,000$50,000
24
20192019LAS (NSA)How safe is this conclusion 186,809$186,809
25
20182018Lexis Nexis (Atlanta)Entiry recognitiony$40,00040,000$40,000
26
20182018IBMAnalytics: SE faculty awardy$40,00040,000$40,000
27
20182019Lexis Nexis (Raleigh)configure cloud + test casesy$110,000110,000$110,000 10,301,911
28
201820119NSFEmpirical SE for Computational Science$124,600124,600 $124,600
29
20182018LAS (NSA)How to make a magican$35,00035,000$35,000
30
20202020Lexis NexisSmoke (text mining to predict M&A)50,000$50,000 12,222,830
31
20172017IBMAutomated SE: Faculty grant y$40,00040,000$40,000
32
20152018Lexis Nexis (Raleigh)y$120,000120,000$120,000
33
20172017Lexis Nexis (Atlanta)Validation laby$35,00035,000$35,000
34
20172017Lexis Nexis (Atlanta)The agreement machiney$35,00035,000$35,000
35
20172017LAS (NSA)Privitized data sharing$35,00035,000$35,000
36
20162016IBMAutomated SE: Faculty grant y$40,000$040,000$0$40,000
37
20162018NSFReu: Science of Software$10,00010,000$345,365$355,365
38
20162016Lexis NexisOptimization of ML for Big Datay$50,000$050,000$0$50,000
39
20162016SEIOptimization business process$75,000$075,000$0$75,000
40
20152017NCDSAShare Care Beware$60,000$060,000$0$60,000
41
20152018Lexis NexisValidation laby$120,000120,000$120,000
42
20152015JPLEffort Estimation (year2)$30,00030,000$30,000
43
20142015Lexis NexisScripting for Big datay$50,00050,000$50,000
44
20132017NSFTransfer Learning in SE 622,030622,030529,773$1,151,803
45
20132014NASA (JPL)Effort estimation47,00047,000$47,000 7,032,616
46
20122016USDAEarly Childhood Obesity Program$133,526$133,526$133,526
47
20122013NSFNew directions in AI and SE$14,700$14,700$14,700
48
20102012Dod STTRv)Active Learning$230,514$230,514$230,514
49
20102014NSF (CISE)Better Understanding of SE data $249,500$249,500$499,000$748,500
50
20102012Qatar Resarch Int Center of Excellence in SE $98,125$98,125$196,250$294,375
51
20102011CITREBorder Crossing$70,000$70,000$70,000249,999
52
20102011National ForensicsOvercoming Brittleness$35,721$35,721$35,721
53
20092010National ArchivesSTEP Research $209,000$209,000$418,000$627,00010,173
54
20082009National archivesSTEP research $143,500$143,500$574,000$717,500
55
20082011NSF (CISE)Automatic Quality Assessment$180,000$180,000$360,000$540,000
56
20082009National ForensicsConclusion stability$80,000$80,000$80,000
57
20082008NASAUnderstanding Anomalies.$58,000$58,000$58,00012,094,830
58
20082008NASACrystal Ball.$55,000$55,000$55,000
59
20082008NASAAdvanced UML modeling.$50,000$50,000$50,000490,000
60
20072008NASAApplied Technology Lab$95,551$95,551$95,551
61
20072008Dod STTRvNext generation metrics: phase 1$40,715$40,715$40,715
62
20072007NASAWVU Liaison$39,707$39,707$39,707
63
20072008IndustrialAnalysis metrics (Galaxy Global)$25,000$25,000$25,000
64
20072008National archivesSTEP research$15,482$15,482$15,482
65
20062007NASALearning software process model$113,255$113,255$113,255
66
20062007NASAImproving IV&V Techniques$107,990$107,990$107,990
67
20062006NASAco-op agreement supplemental funds$14,916$14,916$59,665$74,581
68
20062006NASAco-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,73310,813,733
70
71
20052005NASAHow to Argue Less: $260,000$260,000$260,000
72
20052005NASASpectrum of Model Checking Methods$160,000$160,000$160,000
73
20052005NASARisk/Cost models for Autonomy$160,000$160,000$160,000
74
20052005NASAHow much will it cost? $126,161$126,161$126,161
75
20052005NASA SBITIntelligent Vehicle Health Management: $65,000$65,000$65,000
76
20042004NASASpectrum of Model Checking Methods$160,000$160,000$160,000
77
20042005NASAA next-generation testable language$70,000$70,000$70,000
78
20042004NASAThe research rover$48,000$48,000$48,000
79
20032005NASAUnderstanding models better$107,000$107,000$107,000
80
20032003NASAModel checking & procedural languages$50,000$50,000$50,000
81
20032003NASASee more! Learn more! Tell more!$47,800$47,800$47,800850
82
20022003NASAA spectrum of IV&V techniques$200,000$200,000$200,000
83
20022002NASABetter risk modelling$29,000$29,000$29,000
84
20012001NASATree query languages$29,000$29,000$29,000
85
20002000Canada Res. Coun.NSERC grant$83,000$83,000$83,000
86
19981999NASA High Quality Knowledge Initiative$110,000$110,000$110,000
87
19971998Aust. Res. CounAbduction for software engineering$10,000$10,000$10,000
88
19961998UNSWVice-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,69412,673,694
91
106
92
93
94
95
96
97
98
99
100