FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
TALK AUTHOR INDEX
A
Allamanis, Miltos
Anandkumar, Anima
Atkinson, Liam
B
Barr, Earl
Bulychev, Egor
C
Chaudhuri, Swarat
Cohen, William
Cvitkovic, Milan
D
Devambu, Prem
Dhingra, Bhuwan
H
Helie, Jean
Heo, Kihong
K
Keramitas, Romain
Kohli, Pushmeet
Kulkarni, Sulekha
Kuncak, Viktor
L
Lee, Woosuk
Long, Waren
M
Markovtsev, Vadim
Markowski, Gabor
Marnette, Bruno
Mazaitis, Kathryn
N
Naik, Mayur
Neubig, Graham
P
Pradel, Michael
R
Raghothaman, Mukund
S
Si, Xujie
Singh, Badal
Singh, Rishabh
Slavnov, Konstantin
T
Tarlow, Danny
V
Vechev, Martin
Villard, Jules
W
Winston, Ezra
Wright, Ian
Y
Yahav, Eran
Z
Zhang, Richard
Ziegler, Albert