-
Notifications
You must be signed in to change notification settings - Fork 0
/
index.html
321 lines (289 loc) · 12.5 KB
/
index.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
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
<?xml version="1.0" encoding="ISO-8859-1"?><!DOCTYPE html
PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
"http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="en">
<!-- Fonts -->
<link href="https://fonts.googleapis.com/css?family=Noto+Sans:400,400i|Noto+Serif:400,400i&subset=latin-ext" rel="stylesheet">
<head>
<meta http-equiv="Content-type" content="text/html;
charset=ISO-8859-1" /> <link rel="stylesheet" href="style.css"
type="text/css" />
<title>Germán Andrés Delbianco</title>
<!-- Github: Place this tag in your head or just before your close
body tag. -->
<script async defer src="https://buttons.github.io/buttons.js"></script>
</head>
<!-- Twitter Follow Button -->
<script>window.twttr = (function(d, s, id) {
var js, fjs = d.getElementsByTagName(s)[0],
t = window.twttr || {};
if (d.getElementById(id)) return t;
js = d.createElement(s);
js.id = id;
js.src = "https://platform.twitter.com/widgets.js";
fjs.parentNode.insertBefore(js, fjs);
t._e = [];
t.ready = function(f) {
t._e.push(f);
};
return t;
}(document, "script", "twitter-wjs"));</script>
<!-- Google Analytics Script -->
<script>
(function(i,s,o,g,r,a,m){i['GoogleAnalyticsObject']=r;i[r]=i[r]||function(){
(i[r].q=i[r].q||[]).push(arguments)},i[r].l=1*new Date();a=s.createElement(o),
m=s.getElementsByTagName(o)[0];a.async=1;a.src=g;m.parentNode.insertBefore(a,m)
})(window,document,'script','https://www.google-analytics.com/analytics.js','ga');
ga('create', 'UA-72817827-1', 'auto');
ga('send', 'pageview');
</script>
<body>
<div id="wrapper">
<div id="header">
<div id="navcontainer">
<a href="#about">About Me</a> |
<!-- <a href="#interests">Research Interests</a> | -->
<a href="#publications">Publications</a> |
<a href="#teaching">Teaching</a> |
<a href="pubs/vita.pdf">CV</a> |
</div>
</div>
<div id="content">
<div id="right-column">
<div id="myname">Germán Andrés Delbianco</div>
<div id="degree">Post-doctoral Researcher</div>
<h1><a class="named" name="about">About Me</a></h1>
<g1>
<p> I am a post-doc at the Modélisation et Verification
team at <a href="https://www.irif.fr" target="_blank"> IRIF</a>,
<a href="https://www.univ-paris-diderot.fr/">Université
Paris-Diderot</a>, working with
<a href="https://www.irif.fr/~cenea/" target="_blank">
Constantin Enea</a> on the verification of distributed
systems.
<p> Before joining IRIF, I did my phD at
<a href="http://software.imdea.org">the IMDEA Software
Institute</a> in Madrid, under the supervision
of <a href="http://software.imdea.org/~aleks">Aleks
Nanevski</a>. My thesis, <i> Hoare-style Reasoning with
Higher-order Control: Continuations and Concurrency</i>,
focused on the development and application of program logics
aimed at the modular verification of stateful programs with
higher-order <i>unstructured</i> stateful features such as
control effects and concurrency. Further back, I did my
undergraduate studies back home in Rosario, Argentina, at
<a href="https://dcc.fceia.unr.edu.ar/">UNR</a>. My thesis
topic was <i>Program Calculation with Applicative Functors</i>
and my advisors
were <a href="http://www.fing.edu.uy/~pardo/">Alberto
Pardo</a>
and <a href="http://www.fceia.unr.edu.ar/~mauro/">Mauro
Jaskelioff</a>.
<p> In general, my research has focused on the design,
implementation and application of new dependently-typed theories
aimed at reasoning about, and proving the correctness of,
higher-order programs with unstructured stateful features e.g.,
continuations, fork/join concurrency and coroutines, from a
computational effects perspective. Lately, my research has
focused on developing techniques for the verification of
fine-grained concurrent data structures
in <a href="http://software.imdea.org/fcsl/">FCSL</a>, a
fine-grained, concurrent separation logic.</p>
</g1>
<p><i>Curriculum Vitae:</i> <a href="pubs/vita.pdf">[PDF]</a></p>
<!-- <h1><a class="named" name="interests"> Research Interests</h1> -->
<!-- <p> -->
<!-- Lately, my research has focused on developing techniques -->
<!-- for the verification of fine-grained concurrent data structures -->
<!-- in <a href="http://software.imdea.org/fcsl/">FCSL</a>, a -->
<!-- fine-grained, concurrent separation logic. -->
<!-- </p> -->
<h1><a class="named" name="publications">Publications </h1>
<!-- Sources -->
<p>
[ <a href="http://dblp.uni-trier.de/pers/hd/d/Delbianco:Germ=aacute=n_Andr=eacute=s">
<img src="res/dblp.ico" style="width:1.2em;margin-right:.2em">DBLP</a>
| <a href="https://scholar.google.es/citations?user=e4kDY84AAAAJ">
<img src="res/gs.ico" style="width:1.2em;margin-right:.2em">Google
Scholar</a> | <a href="https://www.mendeley.com/profiles/germn-andrs-delbianco/">
<img src="res/md.ico" style="width:1.2em;margin-right:.2em">Mendeley</a>
| <a href="https://www.researchgate.net/profile/German_Delbianco">
<img src="res/rg.ico" style="width:1.2em;margin-right:.2em">ResearchGate</a>
| <a href="https://orcid.org/0000-0002-2249-1168"
target="orcid.widget" rel="noopener noreferrer">
<img src="https://orcid.org/sites/default/files/images/orcid_16x16.png"
style="width:1.2em;margin-right:.2em;" alt="ORCID">ORCID</a>]
</p>
<!-- <h2><a class="named" -->
<!-- name="drafts">Drafts in Submission </a></h2> -->
<!-- <ul><li>
<a href="http://software.imdea.org/~aleks">A. Nanevski</a>,
<a href="http://software.imdea.org/~ab">A. Banerjee</a>,
G. A. Delbianco.
<i> Subjective Simulation as a Notion of Morphism for
Composing Concurrent Resources</i>.
[ <a href="pubs/1709.07741.pdf">PDF</a>
| <a href="https://arxiv.org/pdf/1709.07741.pdf">arXiv</a>]
</ul>
<br> -->
<h2><a class="named"
name="publications">Publications</a></h2>
<ul><li>
<a href="http://software.imdea.org/~aleks">A. Nanevski</a>,
<a href="http://software.imdea.org/~ab">A. Banerjee</a>,
G. A. Delbianco,
<a href="http://software.imdea.org/people/ignacio.fabregas/">I. Fábregas</a>.
<i> Specifying Concurrent Programs in Separation Logic:
Morphisms and Simulations</i>. Procs. ACM Program. Lang.
3, OOPSLA, Article 161 (October 2019).
<br>
[ <a href="pubs/oopsla19main-p193.pdf">PDF</a>
| <a href="https://doi.org/10.1145/3360587">DOI</a>
| <a href="https://arxiv.org/pdf/1904.07136.pdf">arXiv
(Extended Version)</a>
| <a href="http://software.imdea.org/fcsl/">FCSL Project
Website</a>]
</ul>
<ul> <li> G. A. Delbianco,
<a href="http://ilyasergey.net/">I. Sergey</a>,
<a href="http://software.imdea.org/~aleks">A. Nanevski</a>,
<a href="http://software.imdea.org/~ab">A. Banerjee</a>.
<i> Concurrent Data Structures Linked in Time</i>. In
Proceedings of the 31st European Conference on
Object-Oriented Programming (ECOOP 2017), LIPIcs,
Vol. 74, pp. 8:1-8:30, 2017. Leibniz International
Proceedings in Informatics Schloss Dagstuhl - Leibniz -
Zentrum fuer Informatik, Dagstuhl Publishing, Germany.
<br>
[ <a href="pubs/relink-ECOOP17.pdf">PDF</a>
| <a href="http://dx.doi.org/10.4230/LIPIcs.ECOOP.2017.8">DOI</a>
| <a href="https://arxiv.org/pdf/1604.08080v4.pdf">arXiv</a>
| <a href="http://dx.doi.org/10.4230/DARTS.3.2.4">Artifact@DARTS</a>
| <a href="http://software.imdea.org/fcsl/">FCSL Project
Website</a>]
</ul>
<br>
<ul> <li> <a href="http://ilyasergey.net/">I. Sergey</a>,
<a href="http://software.imdea.org/~aleks">A. Nanevski</a>,
<a href="http://software.imdea.org/~ab">
A. Banerjee</a>, G. A. Delbianco.
<i> Hoare-style Specifications as Correctness Conditions for
Non-linearizable Concurrent Objects</i>. In OOPSLA 2016,
Proceedings of the 2016 ACM SIGPLAN International
Conference on Object-Oriented Programming, Systems,
Languages, and Applications. Amsterdam, The Netherlands,
November 2016. ACM, New York, NY, USA, pp. 92-110.
<br>
[ <a href="pubs/criteria-oopsla16.pdf">PDF</a> |
<a href="http://dl.acm.org/authorize?N26282">@ACM </a>|
<a href="http://software.imdea.org/fcsl/">FCSL Project
Website</a>]
</ul>
<br>
<ul> <li> <a href="http://software.imdea.org/~aleks">A. Nanevski</a>,
<a href="http://software.imdea.org/~rleywild/">
R. Ley-Wild</a>, <a href="http://ilyasergey.net/">I. Sergey</a>,
G. A. Delbianco. <i>Communicating State Transition Systems
for Fine-Grained Concurrent Resources</i>. In ESOP (2014),
Z. Shao, Ed., vol. 8410 of Lecture Notes in Computer
Science, Springer, pp. 290-310.
<br>
[ <a href="pubs/concurroids-esop14.pdf">PDF</a>
| <a href="http://dx.doi.org/10.1007/978-3-642-54833-8_16">DOI</a>
| <a href="pubs/concurroids-extended.pdf">Extended PDF</a>
| <a href="http://software.imdea.org/fcsl/">FCSL Project Website</a>]
</ul>
<br>
<ul> <li>
G. A. Delbianco, <a href="http://software.imdea.org/~aleks">A. Nanevski</a>.
<i>Hoare-Style Reasoning with (Algebraic) Continuations</i>.
In Proceedings of the 18th ACM SIGPLAN international
conference on Functional programming (ICFP '13). Boston,
MA. September 2013. ACM, New York, NY, USA,
pp. 363-376.
<br>
[ <a href="pubs/icfp13.pdf">PDF</a>
| <a href="http://dl.acm.org/authorize?6842005">@ACM</a>
<!-- | <a href="http://dx.doi.org/10.1145/2500365.2500593">DOI</a> -->
| <a href="httcc/index.html">Project Mini-site</a>]
</ul>
<br>
<ul> <li> G. A. Delbianco,
<a href="http://www.fceia.unr.edu.ar/~mauro/">M. Jaskelioff</a>,
<a href="http://www.fing.edu.uy/~pardo/">A. Pardo</a>. <i>Applicative
Shortcut Fusion</i>. In Trends in Functional Programming,
R. Peña and R. Page, Eds., vol. 7193 of Lecture Notes in
Computer Science. Springer Berlin / Heidelberg, 2012,
pp. 179-194.
<br>
[ <a href="pubs/asf.tfp2011.pdf">PDF</a> |
<a href="http://dx.doi.org/10.1007/978-3-642-32037-8_12">DOI</a>]
</ul>
<h2><a class="named" name="thesis">Theses</a></h2>
<ul>
<li>
G. A. Delbianco. <i>Hoare-style Reasoning with Higher-order
Control: Continuations and Concurrency</i>. PhD in Computer
Science thesis, Universidad Politécnica de Madrid, Spain. July
2017. [ <a href="pubs/Delbianco+phD17.pdf">
PDF</a> | <a href="http://oa.upm.es/47796">@UPM</a>]
</li></ul>
<ul><li>
G. A. Delbianco. <i>Cálculo de Programas con Functores
Aplicativos</i>. Licenciate in Computer Science thesis, Universidad
Nacional de Rosario, Argentina. December
2010. [ <a href="pubs/Delbianco+lcc10.pdf"> PDF in Spanish</a> ]
</li>
</ul>
<h1><a class="named" name="teaching">Teaching</a></h1>
<p>I worked as a TA at
the <a href="https://dcc.fceia.unr.edu.ar/">Computer Science
Department</a> from August 2006 to December 2010 on different
courses:
</p>
<ul>
<li> Programming Languages Analysis II (Functional
Programming) </li>
<li> Type Systems</li>
<li> Data Structures</li>
<li> Calculus IV (Introduction to Category Theory for CS)</li>
</ul>
<br/>
</div>
<div id="left-column">
<div class="boxed">
<div id="picture"><img src="res/gad1216.jpg" width="250px"
alt="Ooops..My beautiful pic is missing" /></div>
<h1>Contact Information</h1>
<p>
<nn> Germán Andrés Delbianco </nn><br/>
<dd>
IRIF </br>
office 4032<br />
Bâtiment Sophie Germain <br/>
8 Place Aurélie Nemours <br />
75012 - Paris <br />
France <br />
</dd></p>
<pp><a href="mailto:gad@irif.fr">
<img src="res/mail.jpg"
width="150px"
alt=" gad at irif.org " /></a><br/><br/>
<!-- Twitter Follow Button -->
<a class="twitter-follow-button"
href="https://twitter.com/knayawp" data-show-count = false
data-size="large"> Follow @knayawp</a><br/><br/>
<!-- Github Follow Button -->
<a class="github-button" href="https://github.com/germanD"
data-style="mega" aria-label="Follow @germanD on GitHub">Follow
@germanD</a></pp>
<p> <object data="res/irif_logo.svg"
type="image/svg+xml"
width="190px">
</object>
</p>
</div>
</div>
</div>
</body>
</html>