FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
TALK AUTHOR INDEX
A
Abate, Alessandro
Akshay, S.
Albarghouthi, Aws
Albert, Elvira
Anderson, Greg
Argyros, George
Arndt, Hannah
B
Backes, John
Bansal, Suguman
Bardin, Sebastien
Barrett, Clark
Bartocci, Ezio
Bauer, Matthew
Becchi, Anna
Berzish, Murphy
Biere, Armin
Bloem, Roderick
Blondin, Michael
Blotsky, Dmitry
Bonichon, Richard
Bouajjani, Ahmed
Bønneland, Frederik M.
Büning, Julian
C
Ceska, Milan
Chadha, Rohit
Chakraborty, Supratik
Chatterjee, Krishnendu
Chaudhuri, Swarat
Chen, Taolue
Cheval, Vincent
Chudnov, Andrey
Collins, Nathan
Cook, Byron
Cordeiro, Lucas
Coti, Camille
Cousot, Patrick
D
D'Antoni, Loris
David, Cristina
Dillig, Isil
Dodds, Josiah
Dohrau, Jérôme
Dureja, Rohit
E
Eilers, Marco
Emmi, Michael
Enea, Constantin
Esparza, Javier
F
Fan, Chuchu
Farinier, Benjamin
Fedyukovich, Grigory
Feng, Yijun
Finkbeiner, Bernd
Frehse, Goran
Fremont, Daniel J.
G
Gacek, Andrew
Ganesh, Vijay
Gao, Pengfei
Gao, Sicun
Ghassabani, Elaheh
Giacobazzi, Roberto
Giacobbe, Mirco
Goel, Shubham
Gomez-Zamalloa, Miguel
Goubault, Eric
Gu, Ronghui
Guldstrand Larsen, Kim
Gupta, Aarti
H
Hahn, Christopher
Hassan, Mostafa
He, Jinlong
Henzinger, Monika
Henzinger, Tom
Hsu, Justin
Hu, Qinheping
Huffman, Brian
I
Isabel, Miguel
J
Jaax, Stefan
Jansen, Christina
Jensen, Peter Gjøl
Jha, Somesh
Ji, Kailiang
K
Kabir, Ifaz
Katoen, Joost-Pieter
Kelmendi, Edon
Kesseli, Pascal
Khazem, Kareem
Kolokolova, Antonina
Kong, Hui
Kong, Soonho
Kragl, Bernhard
Kremer, Steve
Kretinsky, Jan
Kroening, Daniel
Krämer, Julia
Kulal, Sumith
L
Li, Haokun
Li, Jianwen
Li, Wenchao
Loitzenbauer, Veronika
Lukert, Philip
Luttenberger, Michael
M
MacCarthaigh, Colm
Maffei, Matteo
Magill, Stephen
Malik, Sharad
Matheja, Christoph
Mathur, Umang
Matyas, Jiri
McMillan, Ken
Meggendorfer, Tobias
Melham, Tom
Mertens, Eric
Meyer, Philipp J.
Mitra, Sayan
Mora, Federico
Mrazek, Vojtech
Mullen, Eric
Mutluergil, Suha Orhun
Muñiz, Marco
Myreen, Magnus
Müller, Peter
Münger, Severin
N
Namjoshi, Kedar
Nguyen, Huyen T.T.
Nickovic, Dejan
Niemetz, Aina
Noll, Thomas
Norrish, Michael
O
Oraee, Simin
P
Petrucci, Laure
Pick, Lauren
Pike, Lee
Polgreen, Elizabeth
Potet, Marie-Laure
Preiner, Mathias
Pu, Geguang
Putot, Sylvie
Püschel, Markus
Q
Qadeer, Shaz
Quatmann, Tim
R
Rabe, Markus N.
Rakotonirina, Itsaka
Ranzato, Francesco
Rasmussen, Cameron
Reynolds, Andrew
Robere, Robert
Rodriguez, Cesar
Roeck, Franz
Rozier, Kristin Yvonne
Rubio, Albert
S
Sa'Ar, Yaniv
Sahlman, Lorenz
Satake, Yuki
Schemmel, Daniel
Schneidewind, Clara
Schrammel, Peter
Sekanina, Lukas
Seshia, Sanjit A.
Shah, Shetal
Sickert, Salomon
Singh, Gagandeep
Sistla, Prasad
Solar-Lezama, Armando
Song, Fu
Soria Dustmann, Oscar
Sousa, Marcelo
Srba, Jiri
Stenger, Marvin
Subramanyan, Pramod
Summers, Alexander J
T
Tang, Qiyi
Tasiran, Serdar
Tautschnig, Michael
Tentrup, Leander
Tinelli, Cesare
Toman, Viktor
Tomb, Aaron
Torfah, Hazem
Trtik, Marek
Tullsen, Mark
Tuttle, Mark R.
U
Unno, Hiroshi
Urban, Caterina
V
van Breugel, Franck
van Dijk, Tom
Vardi, Moshe
Vardi, Moshe
Vasicek, Zdenek
Vechev, Martin
Viswanathan, Mahesh
Vizel, Yakir
Vojnar, Tomas
W
Wagner, Lucas
Walther, Christoph
Wang, Chao
Wang, Guozhen
Wang, Xinyu
Wehrle, Klaus
Weininger, Maximilian
Westbrook, Edwin
Whalen, Michael
Wolf, Clifford
Wu, Zhilin
X
Xia, Bican
Y
Yahav, Eran
Yan, Jun
Yang, Junfeng
Yang, Weikun
Yuan, Xinhao
Z
Zaffanella, Enea
Zhan, Naijun
Zhang, Jun
Zhang, Yueling
Zheng, Yunhui
Zhou, Weichao