forked from simonmeoni/simonmeoni.github.io
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathindex.html
117 lines (115 loc) · 4.31 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
<!DOCTYPE html>
<html>
<head>
<meta charset="UTF-8">
<meta name="viewport" content="width=device-width, initial-scale=1.0">
<script type="text/javascript" src="https://livejs.com/live.js"></script>
<title>Guillaume Duboc</title>
<link rel="apple-touch-icon" sizes="180x180" href="assets/apple-touch-icon.png">
<link rel="icon" type="image/png" sizes="32x32" href="assets/favicon-32x32.png">
<link rel="icon" type="image/png" sizes="16x16" href="assets/favicon-16x16.png">
<link rel="manifest" href="assets/site.webmanifest">
<link rel="stylesheet" href="./styles.css">
</head>
<body>
<div style="display: flex; align-items: center;">
<img src="assets/avatar.jpg" alt="Guillaume Duboc" style="margin-right: 20px; border-radius: 50%;" width="200" height="200">
<div>
<h1>Guillaume Duboc</h1>
<h2>PhD Student at <a href="https://dashbit.co/">Dashbit</a>+<a
href="https://www.irif.fr/">IRIF</a></h2>
<h4>Paris, France</h4>
<p>I am working on set-theoretic type systems for dynamic languages such as Elixir.</p>
<ul id="menu">
<li><a href="mailto:[email protected]" target="_blank">email</a></li>
<li><a href="https://github.com/gldubc" target="_blank">github</a></li>
<li><a href="https://www.linkedin.com/in/guillaume-duboc-52342b98/" target="_blank">linkedin</a></li>
<!-- <li><a href="https://drive.google.com/file/d/1--_im3SIx-o8hPnnMBn0piGlO0iHys1e/view?usp=sharing"
target="_blank">cv</a></li> -->
</ul>
</div>
</div>
<h3>Talks</h3>
<ul>
<li>2023</li>
<ul>
<li>
<a href="https://www.youtube.com/watch?v=eBzoZWgZ334" target="_blank">
The Design Principles of the Elixir Type System</a>
<br/>
<span class="venue">Code BEAM 2023</span>
</li>
<li>
<a href="https://www.youtube.com/watch?v=gJJH7a2J9O8&t=0s" target="_blank">
Bringing Types to Elixir</a>
<br/>
<span class="venue">ElixirConf 2023</span>
</li>
</ul>
</ul>
<h3>Publications</h3>
<ul>
<li>2024</li>
<ul>
<li>
Giuseppe Castagna, Guillaume Duboc
<br/>
<a href="https://arxiv.org/pdf/2408.14345" target="_blank">
Guard Analysis and Safe Erasure Gradual Typing: a Type System for Elixir</a>
<br/>
<span class="venue">arXiv pre-print</span>
</li>
</ul>
<li>2023</li>
<ul>
<li>
Giuseppe Castagna, Guillaume Duboc, José Valim
<br/>
<a href="https://www.irif.fr/_media/users/gduboc/elixir-types.pdf" target="_blank">
The Design Principles of the Elixir Type System</a>
<br/>
<span class="venue">The Art, Science, and Engineering of Programming
- Best Paper of the Year Award</span>
</li>
<li>
Guillaume Duboc
<br/>
<a href="https://hal.science/hal-04406407/document" target="_blank">
Un prototype de système de types graduels ensemblistes pour Elixir</a>
<br/>
<span class="venue">JFLA</span>
</li>
</ul>
<li>2021</li>
<ul>
<li>
Richard Eisenberg, Guillaume Duboc, Stephanie Weirich and Daniel Lee
<br/>
<a href="https://dl.acm.org/doi/10.1145/3473569" target="_blank">
An existential crisis resolved: Type inference for first-class existential types
</a>
<br/>
<span class="venue">Proceedings of the ACM on Programming Languages
- Distinguished Paper Award</span>
</li>
</ul>
</ul>
<h3>Projects</h3>
<ul>
<li>
<a href="https://typex.fly.dev/" target="_blank">Elixir Type Checker</a>
<br/>
A (prototype) type checker for Elixir based on set-theoretic type systems.
</li>
<li>
<a href="https://www.irif.fr/_media/users/gduboc/these-frisch-eng.pdf" target="_blank">Alain Frisch's Thesis</a>
<br/>
A while ago, I translated Alain Frisch's thesis on CDuce.
</li>
</ul>
<!-- <h3>Related</h3>
<ul>
<li><a href="https://www.irif.fr/~gc/" target="_blank">Giuseppe Castagna</a></li>
</ul> -->
</body>
</html>