-
Notifications
You must be signed in to change notification settings - Fork 71
/
APAC-pubs.json
159 lines (159 loc) · 4.18 KB
/
APAC-pubs.json
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
[
{
"DARPA Program":"APAC",
"Program Teams":[
"University of Washington"
],
"Title":"JavaUI: Effects for Controlling UI Object Access",
"Authors":[
"Colin S. Gordon",
"Werner Dietl",
"Michael D. Ernst",
"Dan Grossman"
],
"Link":"http://homes.cs.washington.edu/~mernst/pubs/gui-thread-ecoop2013.pdf",
"Categories":[
""
],
"Subcategories":[
""
],
"ACM 1998 classification code":[
""
],
"New Date":"",
"Update Date":""
},
{
"DARPA Program":"APAC",
"Program Teams":[
"University of Washington"
],
"Title":"Rely-Guarantee References for Refinement Types Over Aliased Mutable Data",
"Authors":[
"Colin S. Gordon",
"Michael D. Ernst",
"Dan Grossman"
],
"Link":"http://homes.cs.washington.edu/~mernst/pubs/rely-guarantee-ref-pldi2013.pdf",
"Categories":[
""
],
"Subcategories":[
""
],
"ACM 1998 classification code":[
""
],
"New Date":"",
"Update Date":""
},
{
"DARPA Program":"APAC",
"Program Teams":[
"University of Washington"
],
"Title":"ReIm & ReImInfer: Checking and Inference of Reference Immutability and Method Purity",
"Authors":[
"Wei Huang",
"Ana Milanova",
"Werner Dietl",
"Michael D. Ernst"
],
"Link":"http://homes.cs.washington.edu/~mernst/pubs/infer-refimmutability-oopsla2012.pdf",
"Categories":[
""
],
"Subcategories":[
""
],
"ACM 1998 classification code":[
""
],
"New Date":"",
"Update Date":""
},
{
"DARPA Program":"APAC",
"Program Teams":[
"BAE Systems"
],
"Title":"Automated Execution Control and Dynamic Behavior Monitoring for Android Applications",
"Authors":[
"Mike Ter Louw",
"Marc Krull",
"Tavaris Thomas",
"Rebecca Cathey",
"Greg Frazier",
"Mike Weber"
],
"Link":"http://ieeexplore.ieee.org/xpl/login.jsp?tp=&arnumber=6735749&url=http%3A%2F%2Fieeexplore.ieee.org%2Fstamp%2Fstamp.jsp%3Ftp%3D%26arnumber%3D6735749",
"Categories":[
""
],
"Subcategories":[
""
],
"ACM 1998 classification code":[
""
],
"New Date":"",
"Update Date":""
},
{
"DARPA Program":"APAC",
"Program Teams":[
"BAE Systems"
],
"Title":"Behavior Analysis via Execution Path Clusters",
"Authors":[
"Rebecca Cathey",
"Gregory Frazier",
"Michael Weber "
],
"Link":"http://ieeexplore.ieee.org/xpl/login.jsp?tp=&arnumber=6735750&url=http%3A%2F%2Fieeexplore.ieee.org%2Fstamp%2Fstamp.jsp%3Farnumber%3D6735750",
"Categories":[
""
],
"Subcategories":[
""
],
"ACM 1998 classification code":[
""
],
"New Date":"",
"Update Date":""
},
{
"DARPA Program":"APAC",
"Program Teams":[
"MIT",
"Kestrel Institute",
"GITI"
],
"Title":"Contextual Policy Enforcement in Android Applications with Permission Event Graphs",
"Authors":[
"Kevin Zhijie Chen",
"Noah M. Johnson",
"Vijay D'Silva",
"Shuaifu Dai",
"Kyle MacNamara",
"Tom Magrino",
"Edward XueJun Wu",
"Martin Rinard",
"Dawn Xiaodong Song"
],
"Link":"http://www.internetsociety.org/sites/default/files/06_4_0.pdf",
"Categories":[
""
],
"Subcategories":[
""
],
"ACM 1998 classification code":[
""
],
"New Date":"",
"Update Date":""
}
]