|
FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
TALK AUTHOR INDEX
A | Abate, Alessandro | | B | Bessa, Iury | | Bodik, Rastislav | | C | Cattaruzza, Dario | | Colange, Maximilien | | Cordeiro, Lucas | | D | David, Cristina | | Deshmukh, Jyotirmoy | | Dimitrova, Rayna | | F | Finkbeiner, Bernd | | Fisman, Dana | | G | Ghasemi, Mahsa | | Goldman, Drew | | H | Hahn, Christopher | | Hamza, Jad | | J | Jacobs, Swen | | K | Kesseli, Pascal | | Kroening, Daniel | | Kulal, Sumith | | Kunčak, Viktor | | L | Liu, Zexiang | | Lukert, Philip | | M | Michaud, Thibaud | | Muggleton, Stephen H. | | O | Ozay, Necmiye | | P | Perrin, Nicolas | | Peuter, Dennis | | Piskac, Ruzica | | Polgreen, Elizabeth | | S | Santolucito, Mark | | Shah, Rohin | | Sofronie-Stokkermans, Viorica | | T | Tentrup, Leander | | Topcu, Ufuk | | V | Vechev, Martin | | W | Weseley, Allyson | |
|
|