-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathindex.html
More file actions
189 lines (175 loc) · 8.15 KB
/
index.html
File metadata and controls
189 lines (175 loc) · 8.15 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
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
<!doctype html>
<html lang="en">
<head>
<!-- Required meta tags -->
<meta charset="utf-8">
<meta name="viewport" content="width=device-width, initial-scale=1, shrink-to-fit=no">
<!-- Bootstrap CSS -->
<link rel="stylesheet"
href="https://stackpath.bootstrapcdn.com/bootstrap/4.3.1/css/bootstrap.min.css"
integrity="sha384-ggOyR0iXCbMQv3Xipma34MD+dH/1fQ784/j6cY/iJTQUOhcWr7x9JvoRxT2MZw1T"
crossorigin="anonymous">
<link rel="stylesheet" type="text/css" href="css/main.css">
<link rel="stylesheet" href="https://use.fontawesome.com/releases/v5.6.3/css/all.css" integrity="sha384-UHRtZLI+pbxtHCWp1t77Bi1L4ZtiqrqD80Kn4Z8NTSRyMA2Fd33n5dQ8lWUE00s/" crossorigin="anonymous">
<!-- Optional JavaScript -->
<!-- jQuery first, then Popper.js, then Bootstrap JS -->
<script src="https://code.jquery.com/jquery-3.3.1.slim.min.js"
integrity="sha384-q8i/X+965DzO0rT7abK41JStQIAqVgRVzpbzo5smXKp4YfRvH+8abtTE1Pi6jizo"
crossorigin="anonymous"></script>
<script src="https://cdnjs.cloudflare.com/ajax/libs/popper.js/1.14.7/umd/popper.min.js"
integrity="sha384-UO2eT0CpHqdSJQ6hJty5KVphtPhzWj9WO1clHTMGa3JDZwrnQq4sF86dIHNDz0W1"
crossorigin="anonymous"></script>
<script src="https://stackpath.bootstrapcdn.com/bootstrap/4.3.1/js/bootstrap.min.js"
integrity="sha384-JjSmVgyd0p3pXB1rRibZUAYoIIy6OrQ6VrjIEaFf/nJGzIxFDsf4x0xIM+B07jRM"
crossorigin="anonymous"></script>
</head>
<header class="header">
</header>
<body>
<div class="container-fluid">
<div class="about">
<div class="row">
<div class="col-sm-2"></div>
<div class="col-sm-2">
<img src="images/dvytin-small.jpg" class="img-responsive">
</div>
<div class="col-sm-6 desc">
<h3>Dimitrios Vytiniotis</h3>
<p class="text-justify">
I am a research scientist for
<a href="https://deepmind.com">DeepMind</a> in
London, UK. Before joining DeepMind, I was a
researcher in the Programming Principles and Tools Group
at <a href="https://www.microsoft.com/en-us/research/lab/microsoft-research-cambridge/">Microsoft
Research Cambridge</a>, UK.
</p>
<p> <a class="btn-floating blue accent-1"><i class="fas fa-envelope"></i></a> dimitriv at gmail dot com.</p>
</div>
<div class="col-sm-2"></div>
</div>
</div>
<div class="row">
<div class="col-sm-2"></div>
<div class="col-sm-8">
<h3>Research</h3>
<p class="text-justify">
My work revolves around programming languages design and
implementation, as well as the use of techniques from programming languages in
other domains.
I've worked on: design and implementation of programming
languages, domain-specific languages, type systems and
constraint solving (notably in the context of Haskell and the <a href="https://www.haskell.org/ghc/">Glasgow Haskell Compiler</a>), functional programming,
static analyses and formal verification, use of symbolic techniques in
problems in systems and machine learning, memory management
and garbage collection; and compilation for high-performance
signal processing applications and for AI accelerators.
</p>
<p class="text-justify">
In DeepMind I am thinking about:
<ul>
<li>Programming models,
transformations, and compilation techniques targetting machine
learning applications. </li>
<li>The integration
of machine learning techniques in compilers and
symbolic reasoning.</li>
</ul>
</p>
<!-- </div> -->
</div>
<div class="col-sm-2"></div>
</div>
<div class="row">
<div class="col-sm-2"></div>
<div class="col-sm-8 full-desc">
<h3>Opportunities</h3>
<p class="text-justify">
<button type="button" class="btn btn-small btn-danger">Internships</button>
I am looking for brilliant PhD students working on
programming languages and compilers to join me and the
DeepMind Performance team for research internships.
</p>
<p class="text-justify">
<button type="button" class="btn btn-small btn-danger">Research Scientists</button>
If you are a researcher in programming languages aspiring
to join our team in London to work in the intersection of PL and ML feel free to reach out
and check out our <a href="https://deepmind.com/careers/">careers</a> page.
</p>
</div>
<div class="col-sm-2"></div>
</div>
<div class="row">
<div class="col-sm-2"></div>
<div class="col-sm-8 full-desc">
<h3>Recent work/talks</h3>
<p class="text-justify">
<a href="partir-ppdp.pdf">PartIR: declarative abstractions for tensor program partitioning</a>
with collaborators in DeepMind and Google. Invited talk at PPDP'20.
<p class="text-justify">
<h3>News</h3>
<p class="text-justify">
<button type="button" class="btn btn-small btn-danger">October 2019</button>
Our short note on
<a href="papers/hoad-workshop.pdf">The Differentiable Curry </a> with Martin Abadi, Gordon Plotkin, Richard Wei,
and Dan Belov will be presented at the NeurIPS 2019 workshop on
<a href="https://program-transformations.github.io">Program Transformations for Machine Learning</a>
</p>
<p class="text-justify">
<button type="button" class="btn btn-small btn-danger">May 2019</button>
Our paper
<a href="">Efficient Differentiable Programming in a Functional Array-Processing Language</a>
with Amir Shaikhha, Andrew Fitzgibbon, Simon Peyton Jones,
and Christoph Koch is conditionally accepted
in <a href="https://icfp19.sigplan.org/">ICFP 2019</a>. Work done while still at MSR.
<p class="text-justify">
</p>
</div>
<div class="col-sm-2"></div>
</div>
<div class="row" id="Publications">
<div class="col-sm-2"></div>
<div class="col-sm-8 full-desc">
<h3>Publications</h3>
<h5>
<a class="btn btn-small btn-info"
href="https://dblp.uni-trier.de/pers/hd/v/Vytiniotis:Dimitrios">DBLP</a>
<a class="btn btn-small btn-info"
href="https://scholar.google.co.uk/citations?user=9tCyXw8AAAAJ&hl=en">Google Scholar</a>
</h5>
</div>
<div class="col-sm-2"></div>
</div>
<div class="row" id="Service">
<div class="col-sm-2"></div>
<div class="col-sm-8 full-desc">
<h3>Service </h3>
I am honored to have served the programming languages community in various capacities:
<ul>
<li> Current: ACM SIGPLAN 2019
<a href="https://www.sigplan.org/Highlights/">Research Highlights</a>
committee member. </li>
<li> Upcoming: PC member, PLDI 2020. </li>
<li> Types forum moderator, 2014-2017. </li>
<li> Member of IFIP WG2.8 on Functional Programming,
local organizer for the 2015 meeting.</li>
<li> PC member (non-complete list): POPL 2019, ICFP 2018, PLDI 2018, Haskell 2016, ICFP 2016.
<li> Co-organizer of the Programming Languages Mentoring Workshop (PLMW), 2016.
</div>
<div class="col-sm-2"></div>
</div>
<div class="row" id="Awards">
<div class="col-sm-2"></div>
<div class="col-sm-8 full-desc">
<h3>Awards</h3>
<ul>
<li> ACM ICFP 2016 most influential paper award (10-year "test of time" award)
for <a href="https://dl.acm.org/citation.cfm?id=1159811">Simple unification-based type inference for GADTs</a>, co-authored with
Simon Peyton Jones, Stephanie Weirich, Geoff Washburn, in ICFP 2006. </li>
<li> PLDI 2015 distinguished paper award for
<a href="http://www.cse.psu.edu/~dbz5017/pub/pldi15.pdf">Diagnosing type errors with class</a>, co-authored with Danfeng Zhang, Andrew Myers, and Simon Peyton Jones.</li>
</div>
<div class="col-sm-8"></div>
</div>
</div>
</body>
</html>