|
FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
TALK AUTHOR INDEX
A | Almeida, José Bacelar | | Audinot, Maxime | | B | Barbosa, Manuel | | Baritel-Ruet, Cécile | | Barthe, Gilles | | Basin, David | | Blanchet, Bruno | | Bonakdarpour, Borzoo | | C | Chen, Hongxu | | Cheval, Vincent | | Chudnov, Andrey | | Cortier, Veronique | | D | Daian, Philip | | Devadas, Srini | | Dragan, Constantin Cătălin | | Dreier, Jannik | | Dupressoir, François | | E | Eugster, Patrick Thomas | | F | Finkbeiner, Bernd | | Fischlin, Marc | | Fouque, Pierre-Alain | | Fredrikson, Matt | | G | Garg, Deepak | | Giacomelli, Irene | | Grégoire, Benjamin | | Guth, Dwight | | H | Haagh, Helene | | Hess, Andreas Viktor | | Hildenbrandt, Everett | | Hirschi, Lucca | | J | Jacomme, Charlie | | Janson, Christian | | Jha, Somesh | | Jia, Limin | | K | Karbyshev, Aleksandr | | Khouzani, Mhr | | Kordy, Barbara | | Kremer, Steve | | L | Laporte, Vincent | | Li, Baiyu | | Liu, Yang | | Luckow, Kasper | | M | Malacaria, Pasquale | | Marson, Giorgia Azzurra | | Mazaheri, Sogol | | McCall, Mckenna | | Micciancio, Daniele | | Moore, Brandon | | Mödersheim, Sebastian A. | | Müller, Christian | | N | Naumann, David | | O | Oechsner, Sabine | | P | Pacheco, Hugo | | Palamidessi, Catuscia | | Park, Daejun | | Pasareanu, Corina | | Pereira, Vitor | | Phan, Quoc-Sang | | Pinchinat, Sophie | | Poettering, Bertram | | Portela, Bernardo | | R | Radomirovic, Sasa | | Rajani, Vineet | | Rodrigues, Nishant | | Rosu, Grigore | | S | Sasse, Ralf | | Saxena, Manasvi | | Schmid, Lara | | Seidl, Helmut | | Spitters, Bas | | Stefanescu, Andrei | | Strub, Pierre-Yves | | T | Tiu, Alwen | | Turuani, Mathieu | | W | Warinschi, Bogdan | | X | Xu, Zhiwu | | Y | Yeom, Samuel | | Z | Zalinescu, Eugen | | Zhang, Hengruo | | Zhang, Yi | | Zhu, Xiaoran | |
|
|