|
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 | |
|
|