
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   GomezZamalloa, 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, JoostPieter   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, MarieLaure   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   SolarLezama, 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  

