Repository navigation
Expand file tree
/
Copy pathprojects.html
More file actions
166 lines (155 loc) · 9.14 KB
/
Copy pathprojects.html
File metadata and controls
166 lines (155 loc) · 9.14 KB
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
160
161
162
163
164
165
166
<!DOCTYPE html
PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
<!--
Automatically generated. Do not edit directly!
-->
<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="en">
<head>
<meta http-equiv="content-type" content="text/html; charset=utf-8"></meta>
<title>Projects | CUPLV</title>
<link xmlns="" href="pl.css" rel="stylesheet" type="text/css"><script xmlns="" type="text/javascript">
var _gaq = _gaq || [];
_gaq.push(['_setAccount', 'UA-25127606-1']);
_gaq.push(['_trackPageview']);
(function() {
var ga = document.createElement('script'); ga.type = 'text/javascript'; ga.async = true;
ga.src = ('https:' == document.location.protocol ? 'https://ssl' : 'http://www') + '.google-analytics.com/ga.js';
var s = document.getElementsByTagName('script')[0]; s.parentNode.insertBefore(ga, s);
})();
</script></head>
<body>
<div id="container">
<div id="lsidebarfloat">
<div id="lsidebar"></div>
</div>
<div id="rsidebarfloat">
<div id="rsidebar"></div>
</div>
<div id="banner">
<ul xmlns="">
<li><a href=".">Welcome</a></li>
<li><a href="news.html">News</a></li>
<li><a href="people.html">People</a></li>
<li><a href="papers.html">Papers</a></li>
<li><span class="link-here">Projects</span></li>
<li><a href="visiting.html">Visiting</a></li>
</ul><img xmlns="" src="pics/banner.jpg" height="50"></div>
<div id="content">
<div id="header">
<div class="title">Projects</div>
</div>
<div xmlns="" class="item">
<div class="item-icon"><a href="http://plv.colorado.edu/projects/fixr"><img src="clouds/fixr.words.png" class="icon"></a></div>
<div class="item-block">
<div class="item-date"></div>
<ul class="hlinks">
<li></li>
</ul>
<div class="item-header hanging"><a href="http://plv.colorado.edu/projects/fixr">Fixr</a><div>Mining and Understanding Bug Fixes for App-Framework Protocol Defects</div>
</div>
<div>
<p xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance">Developing program analysis, probabilistic inference, program synthesis, social data mining, and big-data engineering tools
to cooperative repair Android framework protocol misuses.
</p>
</div>
<div class="item-note"><a href="http://www.cs.colorado.edu/~bec/">Bor-Yuh Evan Chang</a>, <a href="http://www.cs.colorado.edu/~kena/">Kenneth M. Anderson</a>, <a href="http://ecee.colorado.edu/pavol/">Pavol Černý</a>, <a href="http://www.cs.colorado.edu/~srirams/">Sriram Sankaranarayanan</a>, <a href="http://www.tomyeh.info/">Tom Yeh</a>, Edmund S.L. Lam, and <a href="http://www.sergiomover.eu/">Sergio Mover</a></div>
<div class="item-note">References:
<a href="papers/biggroum-saner18.html">
SANER 2018
</a> | <a href="papers/droidstar-icse18.html">
ICSE 2018
</a> | <a href="papers/chimpcheck-onward17.html">
ONWARD! 2017
</a></div>
</div>
</div>
<div xmlns="" class="item">
<div class="item-icon"><a href="https://github.com/cuplv/droidel"><img src="clouds/droidel.words.png" class="icon"></a></div>
<div class="item-block">
<div class="item-date"></div>
<ul class="hlinks">
<li></li>
</ul>
<div class="item-header hanging"><a href="https://github.com/cuplv/droidel">Droidel</a><div>A Framework Model for Static Analysis of Android Applications</div>
</div>
<div>
<p xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance">A community-driven modeling of the Android framework for static analysis of Android applications. Droidel seeks to be a general
purpose model for static analysis based on minimal explication of dynamism in the Android framework code.
</p>
</div>
<div class="item-note"><a href="http://cs.colorado.edu/~sabl4745">Sam Blackshear</a>, <a href="http://www.cs.colorado.edu/~alge6158/">Alexandra Gendreau</a>, and <a href="http://www.cs.colorado.edu/~bec/">Bor-Yuh Evan Chang</a></div>
<div class="item-note">References:
<a href="papers/droidel-soap15.html">
SOAP 2015
</a></div>
</div>
</div>
<div xmlns="" class="item">
<div class="item-icon"><a href="http://pl.cs.colorado.edu/projects/quicgraphs/"><img src="clouds/quicgraphs.words.png" class="icon"></a></div>
<div class="item-block">
<div class="item-date"></div>
<ul class="hlinks">
<li></li>
</ul>
<div class="item-header hanging"><a href="http://pl.cs.colorado.edu/projects/quicgraphs/">QUIC Graphs</a><div>Relational Invariant Generation for Containers</div>
</div>
<div>
<p xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance">An abstract domain constructor for inferring invariants
about sets and set properties of containers.
</p>
</div>
<div class="item-note"><a href="http://eces.colorado.edu/~coxaj/">Arlen Cox</a>, <a href="http://www.cs.colorado.edu/~bec/">Bor-Yuh Evan Chang</a>, and <a href="http://www.cs.colorado.edu/~srirams/">Sriram Sankaranarayanan</a></div>
<div class="item-note">References:
<a href="papers/quicgraphs-ecoop13.html">
ECOOP 2013
</a></div>
</div>
</div>
<div xmlns="" class="item">
<div class="item-icon"><a href="http://pl.cs.colorado.edu/projects/thresher/"><img src="pics/thresherIcon.jpg" class="icon"></a></div>
<div class="item-block">
<div class="item-date"></div>
<ul class="hlinks">
<li></li>
</ul>
<div class="item-header hanging"><a href="http://pl.cs.colorado.edu/projects/thresher/">Thresher</a><div>Precise Refutations for Heap Reachability</div>
</div>
<div>
<p xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance">A static analysis tool for Java programs that specializes
in checking heap reachability properties and provides
automated alarm triage assistance.
</p>
</div>
<div class="item-note"><a href="http://cs.colorado.edu/~sabl4745">Sam Blackshear</a>, <a href="http://www.cs.colorado.edu/~bec/">Bor-Yuh Evan Chang</a>, and <a href="http://manu.sridharan.net">Manu Sridharan</a></div>
<div class="item-note">References:
<a href="papers/thresher-pldi13.html">
PLDI 2013
</a></div>
</div>
</div>
<div xmlns="" class="item">
<div class="item-icon"><a href="http://pl.cs.colorado.edu/projects/fissile/"><img src="clouds/fissile-types.words.png" class="icon"></a></div>
<div class="item-block">
<div class="item-date"></div>
<ul class="hlinks">
<li></li>
</ul>
<div class="item-header hanging"><a href="http://pl.cs.colorado.edu/projects/fissile/">Fissile Type Analysis</a><div>Modular Checking of Almost-Everywhere Invariants</div>
</div>
<div>
<p xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance">A static analysis tool for C and Objective-C that verifies
invariants that hold almost everywhere, including the safety of
reflective method calls.
</p>
</div>
<div class="item-note"><a href="http://www.cs.colorado.edu/~coughlid">Devin Coughlin</a> and <a href="http://www.cs.colorado.edu/~bec/">Bor-Yuh Evan Chang</a></div>
<div class="item-note">References:
<a href="papers/fissile-popl14.html">
POPL 2014
</a></div>
</div>
</div>
</div>
</div>
</body>
</html>