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