-
Notifications
You must be signed in to change notification settings - Fork 0
/
sample.html
233 lines (233 loc) · 13.7 KB
/
sample.html
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
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
<html xmlns="http://www.w3.org/1999/xhtml">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8"/>
<title>Infoscience</title>
<link href="dslab-infoscience-common.css" rel="stylesheet" type="text/css"/>
<link href="dslab-standalone.css" rel="stylesheet" type="text/css"/>
</head>
<body>
<h1>DSLab Publication List</h1>
<div class="iscollection" id="paperlist">
<h4 class="isyear">2011</h4>
<div class="isrecord">
<span class="istitle">Supporting Domain-Specific State Space Reductions through Local Partial-Order Reduction</span>.
<span class="isauthors">Péter Bokor, Johannes Kinder, Marco Serafini, and Neeraj Suri</span>
</div>
<div class="isrecord">
<span class="istitle"><a href="http://library.epfl.ch/theses/?nr=5146">Deadlock Immunity: Enabling General-Purpose Software to Defend Itself against Deadlocks</a></span>.
<span class="isauthors">Horatiu Jula and George Candea</span>
</div>
<div class="isrecord">
<span class="istitle"><a href="http://infoscience.epfl.ch/record/166082/files/softBorg.pdf">Exterminating Bugs via Collective Information Recycling</a></span>.
<span class="isauthors">George Candea</span>
</div>
<div class="isrecord">
<span class="istitle"><a href="http://infoscience.epfl.ch/record/166081/files/revgen.pdf">Enabling Sophisticated Analysis of x86 Binaries with RevGen</a></span>.
<span class="isauthors">Vitaly Chipounov and George Candea</span>
</div>
<div class="isrecord">
<span class="istitle"><a href="http://infoscience.epfl.ch/record/166080/files/android_dimmunix.pdf">Platform-wide Deadlock Immunity for Mobile Phones</a></span>.
<span class="isauthors">Horatiu Jula, Thomas Rensch, and George Candea</span>
</div>
<div class="isrecord">
<span class="istitle"><a href="http://infoscience.epfl.ch/record/166079/files/AVD.pdf">Automated Vulnerability Discovery in Distributed Systems</a></span>.
<span class="isauthors">Radu Banabic, George Candea, and Rachid Guerraoui</span>
</div>
<div class="isrecord">
<span class="istitle"><a href="http://infoscience.epfl.ch/record/166078/files/WaRR.pdf">WaRR: A Tool for High-Fidelity Web Application Record and Replay</a></span>.
<span class="isauthors">Silviu Andrica and George Candea</span>
</div>
<div class="isrecord">
<span class="istitle"><a href="http://infoscience.epfl.ch/record/166077/files/communix.pdf">Communix: A Framework for Collaborative Deadlock Immunity</a></span>.
<span class="isauthors">Horatiu Jula, Pinar Tözün, and George Candea</span>
</div>
<div class="isrecord">
<span class="istitle"><a href="http://infoscience.epfl.ch/record/166072/files/debug_determinism.pdf">Debug Determinism: The Sweet Spot for Replay-Based Debugging</a></span>.
<span class="isauthors">Cristian Zamfir, Gautam Altekar, George Candea, and Ion Stoica</span>
</div>
<div class="isrecord">
<span class="istitle"><a href="http://infoscience.epfl.ch/record/166071/files/scalableDataAnalytics.pdf">Predictable performance and high query concurrency for data analytics</a></span>.
<span class="isauthors">George Candea, Neoklis Polyzotis, and Radek Vingralek</span>
</div>
<div class="isrecord">
<span class="istitle"><a href="http://infoscience.epfl.ch/record/166069/files/cloud9.pdf">Parallel symbolic execution for automated real-world software testing</a></span>.
<span class="isauthors">Stefan Bucur, Vlad Ureche, Cristian Zamfir, and George Candea</span>
</div>
<div class="isrecord">
<span class="istitle"><a href="http://infoscience.epfl.ch/record/164776/files/portend-TR_1.pdf">Accurately Classifying Data Races with Portend</a></span>.
<span class="isauthors">Baris Kasikci, Cristian Zamfir, and George Candea</span>
</div>
<div class="isrecord">
<span class="istitle"><a href="http://infoscience.epfl.ch/record/163071/files/s2e.pdf">S2E: A Platform for In-Vivo Multi-Path Analysis of Software Systems</a></span>.
<span class="isauthors">Vitaly Chipounov, Volodymyr Kuznetsov, and George Candea</span>
</div>
<h4 class="isyear">2010</h4>
<div class="isrecord">
<span class="istitle"><a href="http://infoscience.epfl.ch/record/149975/files/x86-llvm-translator-chipounov_2.pdf">Dynamically Translating x86 to LLVM using QEMU</a></span>.
<span class="isauthors">Vitaly Chipounov and George Candea</span>
</div>
<div class="isrecord">
<span class="istitle">iProve: A Scalable Approach to Consumer-Verifiable Software Guarantees</span>.
<span class="isauthors">Silviu Andrica, Horatiu Jula, and George Candea</span>
</div>
<div class="isrecord">
<span class="istitle"><a href="http://infoscience.epfl.ch/record/147244/files/lfi-fit.pdf">An Extensible Technique for High-Precision Testing of Recovery Code</a></span>.
<span class="isauthors">Paul Marinescu, Radu Banabic, and George Candea</span>
</div>
<div class="isrecord">
<span class="istitle"><a href="http://infoscience.epfl.ch/record/147243/files/ddt.pdf">Testing Closed-Source Binary Device Drivers with DDT</a></span>.
<span class="isauthors">Volodymyr Kuznetsov, Vitaly Chipounov, and George Candea</span>
</div>
<div class="isrecord">
<span class="istitle">Studying Application–Library Interaction and Behavior with LibTrac</span>.
<span class="isauthors">Eric Bisolfati, Paul Marinescu, and George Candea</span>
</div>
<div class="isrecord">
<span class="istitle">Automated Software Testing as a Service (TaaS)</span>.
<span class="isauthors">George Candea, Stefan Bucur, and Cristian Zamfir</span>
</div>
<div class="isrecord">
<span class="istitle"><a href="http://infoscience.epfl.ch/record/146734/files/revnic.pdf">Reverse Engineering of Binary Device Drivers with RevNIC</a></span>.
<span class="isauthors">Vitaly Chipounov and George Candea</span>
</div>
<div class="isrecord">
<span class="istitle"><a href="http://infoscience.epfl.ch/record/146733/files/esd.pdf">Execution Synthesis: A Technique for Automated Software Debugging</a></span>.
<span class="isauthors">Cristian Zamfir and George Candea</span>
</div>
<h4 class="isyear">2009</h4>
<div class="isrecord">
<span class="istitle"><a href="http://infoscience.epfl.ch/record/142078/files/main.pdf">Execution Synthesis: A Technique for Automated Software Debugging</a></span>.
<span class="isauthors">Cristian Zamfir and George Candea</span>
</div>
<div class="isrecord">
<span class="istitle"><a href="http://infoscience.epfl.ch/record/140644/files/drivolution.pdf">Drivolution: Rethinking the Database Driver Lifecycle</a></span>.
<span class="isauthors">Emmanuel Cecchet and George Candea</span>
</div>
<div class="isrecord">
<span class="istitle"><a href="http://infoscience.epfl.ch/record/139395/files/lfi.pdf">LFI: A Practical and General Library-Level Fault Injector</a></span>.
<span class="isauthors">Paul Marinescu and George Candea</span>
</div>
<div class="isrecord">
<span class="istitle"><a href="http://infoscience.epfl.ch/record/139394/files/pr.pdf">PathScore-Relevance: A Metric for Improving Test Quality</a></span>.
<span class="isauthors">Silviu Andrica and George Candea</span>
</div>
<div class="isrecord">
<span class="istitle"><a href="http://infoscience.epfl.ch/record/139393/files/selsymbex.pdf">Selective Symbolic Execution</a></span>.
<span class="isauthors">Vitaly Chipounov, Vlad Georgescu, Cristian Zamfir, and George Candea</span>
</div>
<div class="isrecord">
<span class="istitle"><a href="http://infoscience.epfl.ch/record/139392/files/cjoin.pdf">A Scalable, Predictable Join Operator for Highly Concurrent Data Warehouses</a></span>.
<span class="isauthors">George Candea, Neoklis Polyzotis, and Radek Vingralek</span>
</div>
<h4 class="isyear">2008</h4>
<div class="isrecord">
<span class="istitle">AFEX: An Automated Fault Explorer for Faster System Testing</span>.
<span class="isauthors">Lorenzo Keller, Paul Dan Marinescu, and George Candea</span>
</div>
<div class="isrecord">
<span class="istitle"><a href="http://infoscience.epfl.ch/record/129047/files/dimmunix-algo.pdf">A Scalable, Sound, Eventually-Complete Algorithm for Deadlock Immunity</a></span>.
<span class="isauthors">Horatiu Jula and George Candea</span>
</div>
<div class="isrecord">
<span class="istitle"><a href="http://infoscience.epfl.ch/record/129046/files/metric.pdf">Toward Quantifying System Manageability</a></span>.
<span class="isauthors">George Candea</span>
</div>
<div class="isrecord">
<span class="istitle"><a href="http://infoscience.epfl.ch/record/129045/files/deprogramming.pdf">Deprogramming Large Software Systems</a></span>.
<span class="isauthors">Yohann Coppel and George Candea</span>
</div>
<div class="isrecord">
<span class="istitle"><a href="http://infoscience.epfl.ch/record/129044/files/reveng.pdf">Reverse-Engineering Drivers for Safety and Portability</a></span>.
<span class="isauthors">Vitaly Chipounov and George Candea</span>
</div>
<div class="isrecord">
<span class="istitle"><a href="http://infoscience.epfl.ch/record/129043/files/conferr.pdf">ConfErr: A Tool for Assessing Resilience to Human Configuration Errors</a></span>.
<span class="isauthors">Lorenzo Keller, Prasang Upadhyaya, and George Candea</span>
</div>
<div class="isrecord">
<span class="istitle"><a href="http://infoscience.epfl.ch/record/129042/files/gaps.pdf">Middleware-based Database Replication: The Gaps Between Theory and Practice</a></span>.
<span class="isauthors">Emmanuel Cecchet, George Candea, and Anastasia Ailamaki</span>
</div>
<div class="isrecord">
<span class="istitle"><a href="http://infoscience.epfl.ch/record/129036/files/dimmunix.pdf">Deadlock Immunity: Enabling Systems To Defend Against Deadlocks</a></span>.
<span class="isauthors">Horatiu Jula, Daniel Tralamazza, Cristian Zamfir, and George Candea</span>
</div>
<h4 class="isyear">2007</h4>
<div class="isrecord">
<span class="istitle"><a href="http://infoscience.epfl.ch/record/129048/files/fixsym.pdf">Toward Self-Healing Multitier Services</a></span>.
<span class="isauthors">Brian Cook, Shivnath Babu, George Candea, and Songyun Duan</span>
</div>
<div class="isrecord">
<span class="istitle"><a href="http://infoscience.epfl.ch/record/115079/files/dimmunix-algo-tr.pdf">A Scalable, Sound, Eventually-Complete Algorithm for Deadlock Immunity</a></span>.
<span class="isauthors">H Jula and G Candea</span>
</div>
<div class="isrecord">
<span class="istitle"><a href="http://infoscience.epfl.ch/record/115005/files/DSLAB-REPORT-2007-001.pdf">Middleware-based Database Replication: The Gaps between Theory and Practice</a></span>.
<span class="isauthors">Emmanuel Cecchet, George Candea, and Anastassia Ailamaki</span>
</div>
<h4 class="isyear">2006</h4>
<div class="isrecord">
<span class="istitle"><a href="http://infoscience.epfl.ch/record/98376/files/autonomous.pdf">Autonomous Recovery in Componentized Internet Applications</a></span>.
<span class="isauthors">George Candea, Emre Kiciman, Shinichi Kawamoto, and Armando Fox</span>
</div>
<h4 class="isyear">2005</h4>
<div class="isrecord">
<span class="istitle">Combining visualization and statistical analysis to improve operator confidence and efficiency for failure detection and localization</span>.
<span class="isauthors">P. Bodik, G. Friedman, L. Biewald, H. Levine, G. Candea, K. Patel, G. Tolle, J. Hui, A. Fox, M. I. Jordan, and D. Patterson</span>
</div>
<h4 class="isyear">2004</h4>
<div class="isrecord">
<span class="istitle"><a href=" ">OnCall: defeating spikes with a free-market application cluster</a></span>.
<span class="isauthors">J. Norris, K. Coleman, A. Fox, and G. Candea</span>
</div>
<div class="isrecord">
<span class="istitle">Improving availability with recursive microreboots: a soft-state system case study</span>.
<span class="isauthors">G. Candea, J. Cutler, and A. Fox</span>
</div>
<div class="isrecord">
<span class="istitle">Recovery-oriented computing: building multitier dependability</span>.
<span class="isauthors">G. Candea, A. B. Brown, A. Fox, and D. Patterson</span>
</div>
<div class="isrecord">
<span class="istitle"><a href="http://infoscience.epfl.ch/record/97213/files/microreboot.pdf">Microreboot - A Technique for Cheap Recovery</a></span>.
<span class="isauthors">George Candea, Shinichi Kawamoto, Yuichi Fujiki, Greg Friedman, and Armando Fox</span>
</div>
<h4 class="isyear">2003</h4>
<div class="isrecord">
<span class="istitle">JAGR: an autonomous self-recovering application server</span>.
<span class="isauthors">G. Candea, E. Kiciman, S. Zhang, P. Keyani, and A. Fox</span>
</div>
<div class="isrecord">
<span class="istitle">Crash-Only Software</span>.
<span class="isauthors">George Candea and Armando Fox</span>
</div>
<div class="isrecord">
<span class="istitle">Automatic failure-path inference: a generic introspection technique for Internet applications</span>.
<span class="isauthors">G. Candea, M. Delgado, M. Chen, and A. Fox</span>
</div>
<h4 class="isyear">2002</h4>
<div class="isrecord">
<span class="istitle">A Utility-Centered Approach to Building Dependable Infrastructure Services</span>.
<span class="isauthors">George Candea and Armando Fox</span>
</div>
<div class="isrecord">
<span class="istitle">Reducing recovery time in a small recursively restartable system</span>.
<span class="isauthors">G. Candea, J. Cutler, A. Fox, R. Doshi, P. Garg, and R. Gowda</span>
</div>
<h4 class="isyear">2001</h4>
<div class="isrecord">
<span class="istitle">Designing for High Availability and Measurability</span>.
<span class="isauthors">George Candea and Armando Fox</span>
</div>
<div class="isrecord">
<span class="istitle">Recursive restartability: turning the reboot sledgehammer into a scalpel</span>.
<span class="isauthors">G. Candea and A. Fox</span>
</div>
<h4 class="isyear">1998</h4>
<div class="isrecord">
<span class="istitle"><a href="http://infoscience.epfl.ch/record/98455/files/candea.pdf">Vassal: Loadable Scheduler Support for Multi-Policy Scheduling</a></span>.
<span class="isauthors">George M. Candea and Michael B. Jones</span>
</div>
</div>
</body>
</html>