FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
GLOBAL TALK AUTHOR INDEX
A
Abate, Alessandro
Abate, Alessandro
Abate, Alessandro
Abate, Alessandro
Abbas, Houssam
Abbasizanjani, Hoda
Abbott, John
Abdennadher, Slim
Abou-Msabah, Slimane
Abraham, Erika
Abrahamsson, Oskar
Abramsky, Samson
Accattoli, Beniamino
Acclavio, Matteo
Achermann, Reto
Achlioptas, Dimitris
Adams, Robin
Adjé, Assalé
Aerts, Bram
Affeldt, Reynald
Afshari, Bahareh
Agha-Mohammadi, Ali-Akbar
Agrafiotis, Ioannis
Ahmadi, Mohamadreza
Ahmed, Mansoor
Ahn, Ki Yung
Akazaki, Takumi
Akgun, Ozgur
Akiba, Ken
Akshay, S.
Al-Nuaimi, Mohammed
Alami, Rachid
Albarghouthi, Aws
Albert, Elvira
Alcolei, Aurore
Alglave, Jade
All Workshop Participants,
Allamanis, Miltos
Allred, Joel
Almeida, José Bacelar
Alrajeh, Dalal
Alt, Leonardo
Altenkirch, Thorsten
Alturki, Musab A.
Alves, Gleifer
Alves, Sandra
Alviano, Mario
Alvim, Mario S.
Amarioarei, Alexandru
Amendola, Giovanni
Ames, Aaron
Amiridze, Nino
Amortila, Philip
Américo, Arthur
Anand, Abhishek
Anandkumar, Anima
Andersen, Jakob Lykke
Anderson, David
Anderson, Greg
Anderson, Patrick
Anderson, Ross
Angelos, Daniella
Angiuli, Carlo
Antoniou, Grigoris
Antunes, Duarte
Aoto, Takahito
Araki, Keijiro
Arcaini, Paolo
Arcucci, Rossella
Argyros, George
Argyros, George
Arias, Joaquin
Arnaboldi, Luca
Arndt, Hannah
Aryal, Deepak
Asada, Kazuyuki
Asadi, Sepideh
Aschieri, Federico
Athanasiou, Konstantinos
Atkey, Robert
Atkinson, Liam
Atserias, Albert
Audinot, Maxime
Avanzini, Martin
Avelar, Andréia B.
Avellaneda, Florent
Avgustinov, Pavel
Avni, Guy
Awodey, Steve
Ayala-Rincon, Mauricio
Azadbakht, Keyvan
Azizi-Sultan, Ahmad-Saher
B
Baader, Franz
Baba Ali, Ahmed Riadh
Babic, Domagoj
Bacchus, Fahiem
Bacci, Giorgio
Bacci, Giovanni
Bacciu, Davide
Backeman, Peter
Backes, John
Backhouse, Kevin
Badelt, Stefan
Badonnel, Rémi
Baelde, David
Baeta, Nuno
Bahr, Patrick
Baier, Christel
Baioletti, Marco
Bak, Stanley
Bakker, Bert G.J.
Balco, Samuel
Balduccini, Marcello
Balle, Borja
Ban Kirigin, Tajana
Bannister, Callum
Bansal, Sorav
Bansal, Suguman
Barad, Gefry
Baral, Chitta
Barany, Gergö
Barbosa, Haniel
Barbosa, Manuel
Bardin, Sebastien
Barendregt, Henk
Baritel-Ruet, Cécile
Barnett, Lee
Barr, Earl
Barrett, Clark
Barthe, Gilles
Bartocci, Ezio
Bartocci, Ezio
Baryannis, George
Basin, David
Basset, Nicolas
Baston, Colm
Batsakis, Sotiris
Batty, Mark
Bauer, Matthew
Bauer, Sabine
Baumgartner, Alexander
Bayer, Jonas
Becchi, Anna
Becker, Bernd
Becker, Bernd
Becker, Heiko
Becker, Jan Steffen
Beckert, Bernhard
Bekki, Daisuke
Belardinelli, Francesco
Bellin, Gianluigi
Belta, Calin
Bembenek, Aaron
Ben Abdelali, Marwa
Ben Salah, Kais
Bendkowski, Maciej
Benjamin, Thibaut
Bentkamp, Alexander
Benton, Nick
Bentzen, Martin Mose
Benzaken, Véronique
Benzmüller, Christoph
Benzmüller, Christoph
Berger, Philipp
Berger, Ulrich
Berkholz, Christoph
Berryhill, Ryan
Berthon, Raphaël
Bertozzi, Davide
Bertrand, Nathalie
Berzish, Murphy
Bessa, Iury
Bessai, Jan
Beyene, Tewodros A.
Beyersdorff, Olaf
Beyersdorff, Olaf
Bhagyanath, Anoop
Bhaskar, Siddharth
Bhatt, Devesh
Bhayat, Ahmed
Bichler, Manuel
Bickford, Mark
Bienmüller, Tom
Biere, Armin
Bigatti, Anna Maria
Bingmann, Timo
Birkedal, Lars
Biró, Csaba
Bjorner, Nikolaj
Blaauwbroek, Lasse
Blair, Richard
Blanchet, Bruno
Blanchette, Jasmin Christian
Blanchette, Jasmin Christian
Blanqui, Frédéric
Blinkhorn, Joshua
Bliutze, Simon
Bloem, Roderick
Blondin, Michael
Blot, Valentin
Blotsky, Dmitry
Boag, Simon
Bobot, François
Bockenek, Joshua
Bodik, Rastislav
Bodirsky, Manuel
Bohrer, Brandon
Boisseau, Guillaume
Bojanczyk, Mikolaj
Boker, Udi
Bonacina, Maria Paola
Bonakdarpour, Borzoo
Bonchi, Filippo
Bonet, Maria
Bonichon, Richard
Bonifati, Angela
Boralv, Arne
Bouajjani, Ahmed
Boulier, Simon
Boulmé, Sylvain
Bourdais, Romain
Bouyer-Decitre, Patricia
Bradford, Russell
Brain, Martin
Brandt, Kasper Fabæch
Brauer, Joerg
Brazdil, Tomas
Brede, Nuria
Breik, Keenan
Brendel, Elliot
Breuvart, Flavien
Breza, Michael
Brihaye, Thomas
Brim, Lubos
Brockmeyer, Udo
Broda, Krysia
Broda, Sabine
Bromberger, Martin
Brookes, Stephen
Brotherston, James
Bruni, Roberto
Bruse, Florian
Bruyère, Véronique
Bryant, Aubrey
Buchholtz, Ulrik
Buchman, Ethan
Bulychev, Egor
Buruiana, Sebastian
Bury, Guillaume
Busard, Simon
Busoniu, Lucian
Buss, Samuel
Butler, Michael
Bønneland, Frederik M.
Büning, Julian
C
C. D. S. Oliveira, Bruno
Cabalar, Pedro
Calinescu, Radu
Cantor, Anthony
Capelli, Florent
Capretta, Venanzio
Carbin, Michael
Cardelli, Luca
Carette, Jacques
Carlier, Sébastien
Carral, David
Carro, Manuel
Cassandras, Christos G.
Castellan, Simon
Castellan, Simon
Castellana, Daniele
Catta, Davide
Cattaruzza, Dario
Cauderlier, Raphaël
Cavalcanti, Ana
Cavallo, Evan
Cavezza, Davide Giacomo
Cerna, David
Cerone, Andrea
Cervesato, Iliano
Ceska, Milan
Chadha, Rohit
Chakraborty, Supratik
Chalub, Fabricio
Chand, Saksham
Chanseau Saint-Germain, Ken
Chapoutot, Alexandre
Chapoutot, Alexandre
Charalambidis, Angelos
Chatterjee, Krishnendu
Chatzikyriakidis, Stergios
Chaudhuri, Kaustuv
Chaudhuri, Swarat
Chen, Hongxu
Chen, Hubie
Chen, Taolue
Chen, Yijia
Chenavier, Cyrille
Cheng, Chih-Hong
Cherif, Mohamed Sami
Cheung, Wai-Tak
Cheval, Vincent
Chifflier, Pierre
Chirkova, Rada
Chlipala, Adam
Chockalingam, Sabarathinam
Chockler, Hana
Chonev, Ventsislav
Chong, Stephen
Christiansen, David
Christiansen, Henning
Chrząszcz, Jacek
Chuang, Xue An
Chudnov, Andrey
Ciabattoni, Agata
Cimatti, Alessandro
Ciobaca, Stefan
Ciobanu, Gabriel
Cirstea, Corina
Ciurezu, Bogdan
Claessen, Koen
Clairambault, Pierre
Clark, Alexander
Clark, John
Claus, Maximilian
Clouston, Ranald
Clymo, Judith
Cock, David
Coglio, Alessandro
Cohen, Cyril
Cohen, Ernie
Cohen, Liron
Cohen, William
Cok, David
Colange, Maximilien
Collins, Nathan
Colvin, Robert
Combette, Guillaume
Conchon, Sylvain
Condie, Tyson
Condoluci, Andrea
Constable, Robert
Contejean, Evelyne
Cook, Byron
Cook, Byron
Cooksey, Simon
Copello, Ernesto
Copes, Matrín
Copestake, Ann
Coq Development Team,
Coquand, Thierry
Coquereau, Albin
Cordeiro, Lucas
Cordero, Christophe
Corsi, Giovanna
Cortier, Veronique
Costa, Oswaldo Luiz V.
Costabile, Roberta
Coti, Camille
Cottrell, Thomas
Courcelle, Bruno
Cousot, Patrick
Couto, Rui
Cowen-Rivers, Alexander
Crary, Karl
Creese, Sadie
Creissac Campos, José
Cropper, Andrew
Crouch, Richard
Cruanes, Simon
Cruanes, Simon
Crubillé, Raphaëlle
Csikász-Nagy, Attila
Cunha, Alcino
Cuteri, Bernardo
Cvitkovic, Milan
Czajka, Łukasz
Czarnik, Patryk
Czeizler, Eugen
Côrte-Real, Joana
D
D'Antoni, Loris
D'Innocenzo, Alessandro
D'Innocenzo, Alessandro
Daafouz, Jamal
Dabrowski, Yoann
Daggitt, Matthew L.
Dahlem, Marc
Daian, Philip
Dailler, Sylvain
Dal Lago, Ugo
Dallmeyer, Nils
Dalmonte, Tiziano
Dang, Thao
Danielski, Daniel
Dantchev, Stefan
Dardha, Ornela
Dartois, Luc
Darulova, Eva
Darwiche, Adnan
Das, Ankush
Das, Anupam
Das, Ariyam
Datta, Anupam
Dave, Vrunda
Davenport, James H.
Daviaud, Laure
David, Cristina
David, Cristina
David, Marco
Dawson, Jeremy
De Angelis, Emanuele
De Boer, Frank
de Felice, Giovanni
de Lima, Thaynara A.
de Lima, Tiago
de Melo, Gerard
de Moura, Leonardo
de Paiva, Valeria
de Putter, Sander
De Santis, Elena
de Silva, Nadish
de Vink, Erik
De Visme, Marc
De Vos, Marina
de Wolff, Timo
Debant, Alexandre
Declerck, David
Defoort, Michael
Defoort, Michael
Delahaye, David
Delaune, Stephanie
Delpeuch, Antonin
Delzanno, Giorgio
Demangeon, Romain
Demirović, Emir
Demri, Stéphane
Denecker, Marc
Denecker, Marc
Deng, Yiping
Dennis, Louise
Dershowitz, Nachum
Deshmukh, Jyotirmoy
Despeyroux, Joëlle
Devadas, Srini
Devambu, Prem
Devkota, Prabhat
Devriese, Dominique
Dhingra, Bhuwan
Di Benedetto, Maria Domenica
Di Pierro, Alessandra
Di Pompeo, Silvia
Di Stasio, Antonio
Dietsch, Daniel
Diez, Stefan
Diller, Martin
Dillig, Isil
Ding, Yuhao
Divasón, Jose
Dixon, Clare
Djemai, Mohamed
Djemai, Mohamed
Djouadi, Seddik
Dobre, Ana Maria
Doczkal, Christian
Dodaro, Carmine
Dodds, Josiah
Dohrau, Jérôme
Doménech, Jesús J.
Doré, Maximilian
Dougherty, Daniel
Doumane, Amina
Dovier, Agostino
Doyle, Jon
Dragan, Constantin Cătălin
Dragoste, Irina
Dreier, Jannik
Dreossi, Tommaso
Dressler, Mareike
Dries, Anton
Dross, Claire
Duan, Yihai
Dubischar, Simon
Dubois, Catherine
Dubslaff, Clemens
Duck, Gregory
Duggirala, Parasara Sridhar
Dullerud, Geir E.
Dumas, Marlon
Dumbrava, Stefania
Dunn, Sara-Jane
Dupont, Benjamin
Dupressoir, François
Durand, Arnaud
Durand, Irène
Dureja, Rohit
Durier, Adrien
Dutle, Aaron
Dutra, Inês
Dvijotham, Krishnamurthy
E
Eades Iii, Harley
Eberhart, Clovis
Eberl, Manuel
Ebner, Gabriel
Echenim, Mnacho
Edalat, Abbas
Eeralla, Ajay Kumar
Egerstedt, Magnus
Eggers, Andreas
Egly, Uwe
Egly, Uwe
Ehlers, Rüdiger
Ehlers, Thorsten
Ehrig, Rainald
Eilers, Marco
Eiter, Thomas
El Ouraoui, Daniel
Elffers, Jan
Elkind, Edith
Emmi, Michael
Endrullis, Joerg
Ene, Nneka
Enea, Constantin
England, Matthew
Ensan, Alireza
Erban, Radek
Erbatur, Serdar
Erbsen, Andres
Erdélyi, Balázs
Erola, Arnau
Escardó, Martín
Esparza, Javier
Etessami, Kousha
Eugster, Patrick Thomas
Evans, Richard
Even-Mendoza, Karine
F
Faber, Wolfgang
Faggian, Claudia
Fahrenberg, Uli
Fainekos, Georgios
Fainekos, Georgios
Faisal, Aldo
Falappa, Marcelo A.
Fan, Chuchu
Fanchon, Eric
Fandinno, Jorge
Farinas Del Cerro, Luis
Farinier, Benjamin
Farka, Frantisek
Farkas, Rebeka
Farmer, William
Fava, Daniel
Fazekas, Katalin
Fedyukovich, Grigory
Felgenhauer, Bertram
Feliu Gabaldon, Marco Antonio
Feller, David
Feng, Lu
Feng, Yijun
Ferdinand, Christian
Feret, Jerome
Fernandez, Maribel
Ferrando, Angelo
Ferrari, Alberto
Ferrari, Mauro
Ferreira, Joao F.
Ferrère, Thomas
Fiacchini, Mirko
Fichte, Johannes K.
Fiedor, Tomas
Figueira, Diego
Fijalkow, Nathanaël
Filiot, Emmanuel
Filippidis, Ioannis
Filliatre, Jean-Christophe
Finger, Marcelo
Finkbeiner, Bernd
Finzi, Alberto
Fioravanti, Fabio
Fioravanti, Fabio
Fiore, Marcelo
Fiorentini, Camillo
Fiorentino, Alessio
Firsov, Denis
Fischlin, Marc
Fisher, Michael
Fisk, Mike
Fisman, Dana
Fitzgerald, John
Flamm, Christoph
Fleury, Mathias
Florido, Mário
Flum, Jörg
Foliard, Guillaume
Fontaine, Pascal
Foo, Yi Shyh Eddy
Forest, Simon
Forets, Marcelo
Forrest, Stephen A.
Forster, Yannick
Foster, Simon
Fouque, Pierre-Alain
Fourman, Michael
Francalanza, Adrian
Fraser, Simon
Fredrikson, Matt
Frehse, Goran
Freitas, Leo
Fremont, Daniel J.
Frerix, Steffen
Frey, Jonas
Fribourg, Laurent
Fried, Dror
Friedman, Daniel
Friedrich, Tobias
Frisch, Alan
Frittella, Sabine
Frohn, Florian
From, Andreas Halkjær
Fruehwirth, Thom
Frumin, Dan
Fuhs, Carsten
Fujii, Soichiro
Fukui, Kousuke
Furber, Robert
Férée, Hugo
G
G. Larsen, Kim
Gaboardi, Marco
Gacek, Andrew
Gadducci, Fabio
Galal, Zeinab
Galdino, André Luiz
Galesi, Nicola
Gall, Daniel
Gallagher, John
Gallego Arias, Emilio Jesús
Galmiche, Didier
Gamble, Carl
Gamble, Carl
Ganesh, Vijay
Gange, Graeme
Ganty, Pierre
Gao, Pengfei
Gao, Sicun
Gao, Tiantian
Garbuzov, Dmitri
Garcia, Sergio
Garcia-Contreras, Isabel
García-Bañuelos, Luciano
Gardy, Patrick
Garg, Deepak
Garlan, David
Garoche, Pierre-Loïc
Gascón, Adrià
Gastin, Paul
Gavanelli, Marco
Gavazzo, Francesco
Gay, Simon
Gburek, Daniel
Ge, Cunjing
Gebser, Martin
Geeraerts, Gilles
Genaim, Samir
Gencer, Çigdem
Genest, Blaise
Genestier, Guillaume
Genet, Thomas
Gentilini, Raffaella
Geoffroy, Guillaume
Gericke, Moritz
Geser, Alfons
Ghani, Neil
Ghardallou, Wided
Ghasemi, Mahsa
Ghassabani, Elaheh
Ghedira, Khaled
Ghica, Dan R.
Ghilardi, Silvio
Ghorbal, Khalil
Ghosh, Shromona
Giacobazzi, Roberto
Giacobbe, Mirco
Giacomelli, Irene
Giannini, Paola
Giaquinta, Ruben
Gibbons, Jeremy
Giegerich, Robert
Gierasimczuk, Nina
Giese, Martin
Giesl, Jürgen
Giordano, Laura
Girard, Antoine
Girard, Antoine
Girard, Antoine
Girard, Antoine
Giraudo, Samuele
Girlando, Marianna
Giráldez-Cru, Jesus
Giunti, Marco
Gleiss, Bernhard
Gliozzi, Valentina
Gocht, Stephan
Goel, Shubham
Goeminne, Aline
Goertzel, Zarathustra
Goldman, Drew
Goldsmith, Michael
Goldwasser, Shafi
Gomez-Zamalloa, Miguel
Gonthier, Georges
Gonzalez-Dios, Itziar
Gooi, H. B.
Gore, Rajeev
Gorzny, Jan
Goubault, Eric
Gouveia, Filipe
Grabmayer, Clemens
Graham-Lengrand, Stephane
Grayson, Daniel R.
Grebing, Sarah
Greco, Giuseppe
Greiner, Johannes
Grellois, Charles
Griffin, Timothy G.
Griggio, Alberto
Grigore, Radu
Grimaud, Gilles
Grohe, Martin
Gross, Jason
Grosu, Radu
Grumberg, Orna
Grädel, Erich
Grégoire, Benjamin
Gu, Ronghui
Guarneri, Riccardo
Guatto, Adrien
Gueguen, Herve
Guerrieri, Giulio
Guglielmi, Alessio
Guha, Shibashis
Guiochet, Jérémie
Gulwani, Sumit
Gupta, Aarti
Gupta, Gopal
Gupta, Piyush
Gupta, Shubhani
Gurfinkel, Arie
Guth, Dwight
Gutierrez, Julian
Guttman, Joshua
Guéneau, Armaël
Gyorgy, Andras
Gérard, Ulysse
Gómez-Gutiérrez, David
Głuch, Grzegorz
H
Haagh, Helene
Haak, Anselm
Hadzihasanovic, Amar
Haehn, Rebecca
Hage, Nohra
Hahn, Christopher
Hahn, Michael
Hai Tran, Thanh
Hajdu, Ákos
Hajnal, Matej
Hall, Brendan
Hamana, Makoto
Hammond, Kevin
Hammoudeh, Zayd
Hamza, Jad
Hannula, Miika
Hao, Jianye
Hardy, Jörg
Harper, Robert
Harrenstein, Paul
Harris, William
Harrison, John
Hartmanns, Arnd
Hasanbeig, Mohammadhosein
Hasegawa, Masahito
Haslbeck, Max W.
Haslbeck, Maximilian P. L.
Hassan, Mostafa
Hassler, Malte Sophian
Hasuo, Ichiro
Hasuo, Ichiro
Hautem, Quentin
Hawes, Nick
Hawes, Nick
Haxthausen, Signe Geisler And Anne E.
Hayes, Ian J.
He, Jinlong
He, Yilun
Heath, David
Hecher, Markus
Hedges, Jules
Heemels, Maurice
Hehner, Eric
Heijltjes, Willem
Heiter, Edith
Heizmann, Matthias
Helfer, Joseph
Helie, Jean
Hencey, Brandon
Hensel, Jera
Henzinger, Monika
Henzinger, Thomas A
Heo, Kihong
Herbelin, Hugo
Herbelot, Aurelie
Hermenegildo, Manuel V.
Herrera, Christian
Hess, Andreas Viktor
Heule, Marijn
Hiet, Guillaume
Hildenbrandt, Everett
Hinde, Luke
Hirokawa, Nao
Hirschi, Lucca
Hirschkoff, Daniel
Hirschowitz, Tom
Ho, Son
Ho, Son
Ho Thanh, Cédric
Hoang, Thai Son
Hoenicke, Jochen
Hofbauer, Dieter
Hoffmann, Jan
Hoffmann, Ruth
Holik, Lukas
Holmes, Chris
Hooker, John
Hoos, Holger
Hoos, Holger
Horacek, Jan
Horne, Ross
Hou Favonia, Kuen-Bang
Houshmand, Arian
Hoxha, Bardh
Hrushovski, Ehud
Hsu, Justin
Hu, Hai
Hu, Qinheping
Hu, Shuwei
Huang, Chung-Hao
Huang, Kai
Huang, Pei
Huang, Zhenqi
Huber, Simon
Huffman, Brian
Hughes, Dominic
Humbel, Lukas
Husson, Adrien
Hustadt, Ullrich
Hym, Samuel
Hyvernat, Pierre
Hyvärinen, Antti
Höfner, Peter
Hölzl, Johannes
I
Icard, Thomas
Iden, Joachim
Idziak, Pawel
Ignatiev, Alexey
Igne, Federico
Iguernlala, Mohamed
Ikebuchi, Mirai
Inclezan, Daniela
Inoue, Katsumi
Interlandi, Matteo
Iosif, Radu
Iraci, Grant
Ireland, Murray
Irfan, Ahmed
Isabel, Miguel
Iser, Markus
Israney, Ankush
Itcus, Corina
Ivrii, Alexander
J
Jaax, Stefan
Jacob-Rao, Rohan
Jacobs, Bart
Jacobs, Ceriel
Jacobs, Swen
Jacomme, Charlie
Jaffar, Joxan
Jagadeesan, Radha
Jagtap, Pushpak
Jain, Achin
Jakubuv, Jan
Jamali, Sima
Janku, Petr
Janota, Mikolas
Janota, Mikolas
Jansen, Christina
Janson, Christian
Janssens, Gerda
Jantsch, Simon
Jaskelioff, Mauro
Jay, Barry
Jeandel, Emmanuel
Jeannerod, Nicolas
Jebelean, Tudor
Jecker, Ismaël
Jensen, Peter Gjøl
Jeppu, Yogananda
Jha, Somesh
Jha, Susmit
Ji, Kailiang
Jia, Limin
Jia, Yifan
Jiang, Jiaming
Johann, Patricia
Johnson, Andrew
Johnson, Robert F.
Johnson, Taylor T
Johnson, Taylor T
Jomaa, Narjes
Joosten, Sebastiaan
Jost, Steffen
Jouannaud, Jean-Pierre
Jouanny, Théo
Jovanović, Dejan
Jung, Achim
Jungers, Raphaël M.
Jungers, Raphaël M.
Junges, Sebastian
Jurdzinski, Marcin
Järvisalo, Matti
K
Kabanets, Valentine
Kabir, Ifaz
Kaestner, Daniel
Kafle, Bishoksan
Kahl, Patrick
Kahl, Wolfram
Kahsai, Temesghen
Kaliszyk, Cezary
Kalouli, Aikaterini-Lida
Kamali, Mojgan
Kamareddine, Fairouz
Kamburjan, Eduard
Kaminski, Roland
Kaminski, Tobias
Kammar, Ohad
Kanade, Varun
Kanazawa, Makoto
Kanazawa, Yoshiaki
Kanovich, Max
Kapinski, Jim
Kaposi, Ambrus
Kappé, Tobias
Kapron, Bruce
Karbyshev, Aleksandr
Karpiński, Michał
Katelaan, Jens
Katoen, Joost-Pieter
Katz, Guy
Kauers, Manuel
Kauers, Manuel
Kawai, Tatsuji
Kawano, Tomoaki
Kazakov, Yevgeny
Keller, Chantal
Kellison, Ariel
Kelmendi, Edon
Keramitas, Romain
Kerjean, Marie
Kesner, Delia
Kesseli, Pascal
Kesseli, Pascal
Ketab Ghale, Milad
Khakzad, Nima
Khan, Sharjeel
Khanna, Dhriti
Khazem, Kareem
Khouzani, Mhr
Kiefer, Moritz
Kieronski, Emanuel
Kiesl, Benjamin
Kimura, Daisuke
Kirchner, Helene
Kirkeby, Maja Hanne
Kissinger, Aleks
Kjellerstrand, Håkan
Klein, Gerwin
Klemen, Maximiliano
Klop, Jan Willem
Kneis, Joachim
Knop, Alexander
Knüppel, Alexander
Kobayashi, Naoki
Kochemazov, Stepan
Koepke, Peter
Kohl, Christina
Kohlhase, Michael
Kohli, Pushmeet
Kokke, Wen
Kolechkina, Alla G.
Kolokolova, Antonina
Komauli, Francesco
Komendantskaya, Ekaterina
Kong, Hui
Kong, Soonho
Konnov, Igor
Kop, Cynthia
Kordy, Barbara
Korneev, Svyatoslav
Korovin, Konstantin
Korten, Till
Koskinen, Eric
Kotelnikov, Evgenii
Kotsireas, Ilias
Koucky, Michal
Kovacs, Laura
Kovács, András
Kovásznai, Gergely
Kozen, Dexter
Kragl, Bernhard
Kraus, Nicolai
Krebbers, Robbert
Krebs, Andreas
Kremer, Gereon
Kremer, Steve
Kreuzer, Martin
Krings, Sebastian
Krishna, Siddharth
Krishnamurthi, Shriram
Krishnamurthy, Balaji
Krishnawami, Neel
Kroening, Daniel
Krzaczkowski, Jacek
Krämer, Julia
Krötzsch, Markus
Kucera, Antonin
Kugler, Hillel
Kukovec, Jure
Kukovec, Jure
Kulal, Sumith
Kulkarni, Sulekha
Kullmann, Oliver
Kumar, Ramana
Kunčak, Viktor
Kupferman, Orna
Kuppe, Markus
Kurpisz, Adam
Kurz, Alexander
Kutsia, Temur
Kutz, Yunus David Kerem
Kuusisto, Antti
Kuznetsov, Stepan
Kwiatkowska, Marta
König, Barbara
Křetínský, Jan
L
Labed Jilani, Lamia
Lacerda, Bruno
Lachnitt, Hanna
Lagniez, Jean Marie
Lahijanian, Morteza
Lahmadi, Abdelkader
Laird, James
Lakin, Matthew
Laleg-Kirati, Taous-Meriem
Lammich, Peter
Lampis, Michael
Lanciotti, Filiberto
Laneve, Cosimo
Lange, Martin
Langer, Alexander
Langworthy, David
Laporte, Vincent
Larchey-Wendling, Dominique
Larsen, John Bruntse
Larsen, Peter Gorm
Lasaulce, Samson
Laskowski, Patrick
Laud, Peeter
Laurent, Jonathan
Laurent, Olivier
Laurenti, Luca
Lauret, Menno
Lausdahl, Kenneth
Law, Mark
Lawson, Jimmie
Lazic, Ranko
Le Berre, Daniel
Le Coent, Adrien
Le Roux, Stephane
Leblanc, Emily
Leclerc, Anthony
Lecomte, Thierry
Lee, Joohyung
Lee, Woosuk
Leeners, Brigitte
Legay, Axel
Lehtinen, Karoliina
Leigh, Graham
Leino, Rustan
Lellmann, Bjoern
Lemay, Jean-Simon
Lengal, Ondrej
Lenisa, Marina
Lennartz, Werner
Leone, Nicola
Lepigre, Rodolphe
Lescanne, Pierre
Letan, Thomas
Lettmann, Michael Peter
Leucker, Martin
Leuschel, Michael
Leventi-Peetz, Anastasia
Leventis, Thomas
Levy, Jordi
Levy, Paul Blain
Lhote, Nathan
Li, Baiyu
Li, Chunxiao
Li, Haokun
Li, Jianwen
Li, Wei
Li, Wenchao
Li, Yue
Liang, Jia
Libal, Tomer
Licata, Daniel R.
Lier, Florian
Lierler, Yuliya
Lifschitz, Vladimir
Liiva, Kristjan
Limbrée, Christophe
Lin, Fangzhen
Lin, Shang-Wei
Linard, Alexis
Lindell, Steven
Lindenhovius, Bert
Lindner, Felix
Link, Sebastian
Liqat, Umer
Liquori, Luigi
Listenmaa, Inari
Liu, Heng
Liu, Shuang
Liu, Tian
Liu, Yang
Liu, Yanhong A.
Liu, Yufei
Liu, Zexiang
Lluch Lafuente, Alberto
Lochbihler, Andreas
Loitzenbauer, Veronika
Lomuscio, Alessio
Long, Waren
Longley, John
Lonsing, Florian
Lonsing, Florian
Lopez Hernandez, Julio Cesar
Lopez Pombo, Carlos
Lowe, Gavin
Lowndes, Alison
Lozes, Etienne
Lucanu, Dorel
Lucas, Salvador
Luckow, Kasper
Lugiez, Denis
Lukert, Philip
Lukina, Anna
Luo, Adriel
Luo, Chuan
Luo, Zhaohui
Lustig, Daniel
Luttenberger, Michael
Lutz, Carsten
Lv, Yiqi
Lynce, Ines
Lynch, Christopher
Lyon, Tim
Légaré, Sébastien
López-García, Pedro
Lühne, Patrick
M
Ma, Feifei
Ma, Hao
Ma, Weixi
Ma, Xutong
MacCarthaigh, Colm
Mace, John
Macedo, Hugo Daniel
Macedo, Nuno
Mackie, Ian
Madelaine, Eric
Madelaine, Florent
Madiot, Jean-Marie
Maeda, Yuya
Maffei, Matteo
Magill, Stephen
Magron, Victor
Mahajan, Anmol
Mahajan, Meena
Mahboubi, Assia
Maieli, Roberto
Maier, Jürgen
Majumdar, Rupak
Malacaria, Pasquale
Malbos, Philippe
Maleki, Mehrdad
Maler, Oded
Malik, Sharad
Malioutov, Dmitry
Malle, Bertram F.
Maly, Jan
Mancini, Toni
Manerkar, Yatin
Mangharam, Rahul
Mangin, Cyprien
Manighetti, Matteo
Manna, Marco
Mannaa, Bassel
Mansfield, Martin
Manzonetto, Giulio
Marantidis, Pavlos
Maratea, Marco
Marché, Claude
Marcinkowski, Jerzy
Mardare, Radu
Mari, Federico
Marin, Sonia
Markey, Nicolas
Markovtsev, Vadim
Markowski, Gabor
Marnette, Bruno
Marotta, Umberto
Marple, Kyle
Marques-Silva, Joao
Marre, Bruno
Marsden, Dan
Marshall, Andrew M.
Marson, Giorgia Azzurra
Marti, Michel
Martin, Barnaby
Martin, Ursula
Martinez, Maria Vanina
Martins, Eunice
Martins, Ruben
Martonosi, Margaret
Maréchal, Alexandre
Masci, Paolo
Massini, Annalisa
Matheja, Christoph
Mathews, Minu
Mathur, Umang
Matias, Lionel
Matthews, Stuart
Matyas, Jiri
Maubert, Bastien
Mauborgne, Laurent
Mauw, Sjouke
Mazaheri, Sogol
Mazaitis, Kathryn
Mazo Jr., Manuel
Mazza, Damiano
McBride, Conor
McCall, Mckenna
McCann, Julie
McCusker, Guy
McIver, Annabelle
McMillan, Kenneth
Meel, Kuldeep S.
Meggendorfer, Tobias
Meinicke, Larissa
Melatti, Igor
Melgratti, Hernan
Melham, Tom
Melioli, Riccardo
Melliès, Paul-André
Melquiond, Guillaume
Mendes, Alexandra
Meng, Yu
Mengel, Stefan
Menghi, Claudio
Mens, Irini-Eleftheria
Merayo, Alicia
Merkle, Daniel
Mertens, Eric
Mery, Daniel
Merz, Stephan
Meyer, Philipp J.
Meßner, Florian
Micali, Silvio
Micciancio, Daniele
Michaud, Thibaud
Middeldorp, Aart
Milani, Alfredo
Mili, Ali
Miller, Alice
Miller, Dale
Mimram, Samuel
Mineshima, Koji
Miné, Antoine
Mio, Matteo
Miquey, Étienne
Mislove, Michael
Mitchell, David
Mitchell, Ian M.
Mitra, Arindam
Mitra, Sayan
Mitra, Sayan
Mitsou, Valia
Miyazawa, Alvaro
Mo, Man Yue
Molyneux, Gareth
Momigliano, Alberto
Monin, Benoit
Monmege, Benjamin
Montanari, Ugo
Monteiro, Pedro T.
Montesi, Fabrizio
Montin, Mathieu
Montmirail, Valentin
Moore, Brandon
Moot, Richard
Mora, Federico
Morak, Michael
Morales, Jose F.
Morales, Marianela
Morarescu, Irinel Constantin
Morehouse, Edward
Morgado, Antonio
Morisset, Charles
Moscato, Mariano
Moser, Georg
Moshier, M. Andrew
Moss, Larry
Moss, Sean
Mossakowski, Till
Mota, Jean-Marc
Mottet, Antoine
Moy, Yannick
Mozo Carollo, Imanol
Mrazek, Vojtech
Mueller, Moritz
Muggleton, Stephen H.
Mullen, Eric
Mulligan, Casey
Munch-Maccagnoni, Guillaume
Munoz, Cesar
Murano, Aniello
Murawski, Andrzej
Muroya, Koko
Murray, Richard M.
Murray, Richard M.
Murugesan, Anitha
Mutluergil, Suha Orhun
Muñiz, Marco
Myojin, Tomoyuki
Mödersheim, Sebastian A.
Mörtberg, Anders
Møgelberg, Rasmus Ejlers
Müller, Christian
Müller, Dennis
Müller, Moritz
Müller, Peter
Münger, Severin
N
Nadel, Alexander
Nagashima, Yutaka
Nagele, Julian
Naik, Mayur
Nakagawa, Yuichiroh
Nakano, Keisuke
Nakazawa, Koji
Nalon, Cláudia
Namjoshi, Kedar
Nampally, Arun
Nanjo, Yoji
Nantes-Sobrinho, Daniele
Narboux, Julien
Narkawicz, Anthony
Narodytska, Nina
Naumann, David
Navas, Jorge A
Negri, Sara
Nellen, Johanna
Nelson, Tim
Nemouchi, Yakoub
Neubig, Graham
Neuper, Walther
New, Max
Newstead, Clive
Ng, Kang Feng
Nguyen, Hien
Nguyen, Huyen T.T.
Nguyen, Thanh
Nguyen, Van
Nguyễn, Lê Thành Dũng
Nickovic, Dejan
Nicolau Jr., Dan
Niemetz, Aina
Niewerth, Matthias
Nigam, Vivek
Nigam, Vivek
Nilsson, Petter
Nilsson, Petter
Nilsson, René
Nipkow, Tobias
Nirina, Andrianarivelo
Nishida, Naoki
Noetzli, Andres
Noll, Thomas
Nollet, Rémi
Nonato, Maddalena
Nordstrom, Jakob
Nori, Aditya
Norman, Gethin
Norrish, Michael
North, Paige
Novotný, Petr
Nowak, David
Nowland, Trisha
Nowotka, Dirk
Nutz, Alexander
Nuyts, Andreas
Nührenberg, Georg
O
O'Hearn, Peter
O. Myreen, Magnus
Oberhauser, Jonas
Obermeier, Philipp
Ochremiak, Joanna
Oda, Tomohiro
Oddi, Angelo
Oechsner, Sabine
Oepen, Jan-Hendrik
Ogawa, Hideto
Ogawa, Mizuhito
Oh, Chanseok
Oitavem, Isabel
Okada, Mitsuhiro
Olarte, Carlos
Olimpieri, Federico
Olivetti, Nicola
Ong, Luke
Oprea, Maria Antonia
Oraee, Simin
Orejas, Fernando
Orlandelli, Eugenio
Orton, Ian
Osama, Muhammad
Ostropolski-Nalewaja, Piotr
Otten, Jens
Otto, Thomas
Ouaknine, Joel
Overbeek, Roy
Owens, Scott
Ozay, Necmiye
Ozay, Necmiye
Ozay, Necmiye
Ozay, Necmiye
P
Pacheco, Hugo
Padget, Julian
Pagani, Michele
Page, Charlie
Pal, Abhik
Palacios, Adrián
Palamidessi, Catuscia
Palau Romero, Francisco
Palezzato, Elisa
Palmigiano, Alessandra
Panangaden, Prakash
Panchekha, Pavel
Pantel, Marc
Paolini, Luca
Paquet, Hugo
Pardo, Raúl
Pardylla, Carsten
Paredes, José
Park, Daejun
Park, Spencer
Parker, David
Parsert, Julian
Part, Fedor
Parys, Paweł
Pasareanu, Corina
Patil, Bhagyesh
Pattinson, Dirk
Pau, Cleo
Paulson, Lawrence C.
Paulus, Joseph
Pauly, Arno
Paun, Andrei
Paun, Mihaela
Pautasso, Daniele
Pavlogiannis, Andreas
Pavlovic, Dusko
Paxian, Tobias
Payet, Etienne
Peano, Andrea
Pearce, David
Pecheur, Charles
Peitl, Tomas
Peitl, Tomáš
Pelgrom, Nemi
Pellauer, Michael
Pelliccione, Patrizio
Pellissier, Luc
Peltier, Nicolas
Perdrix, Simon
Pereira, Filipe
Pereira, Vitor
Peressotti, Marco
Pernkopf, Franz
Perrin, Nicolas
Petrakis, Iosif
Petrasch, Jessica
Petrenko, Alexandre
Petrucci, Laure
Pettorossi, Alberto
Peuter, Dennis
Pfenning, Frank
Phan, Quoc-Sang
Phan, Vu
Phillips, Andrew
Pich, Ján
Pick, Lauren
Pientka, Brigitte
Pierce, Benjamin C.
Pierce, Ken
Pieters, Wolter
Pignard, Pascal
Pike, Lee
Pilipczuk, Michał
Pimentel, Elaine
Pin, Edwin
Pinchinat, Sophie
Piotrowski, Bartosz
Piotrów, Marek
Piróg, Maciej
Piskac, Ruzica
Pistone, Paolo
Pitts, Andrew M.
Pizani Flor, João Paulo
Plaisted, David
Platzer, Andre
Platzer, André
Plesa, Tomislav
Plotkin, Gordon
Podelski, Andreas
Poettering, Bertram
Pohjola, Johannes Åman
Pola, Giordano
Polgreen, Elizabeth
Pontelli, Enrico
Pope, Jeremy
Porncharoenwase, Sorawee
Portela, Bernardo
Postan, Ezequiel
Postoyan, Romain
Potet, Marie-Laure
Potyka, Nico
Poulsen, Danny Bøgsted
Pouly, Amaury
Pous, Damien
Powell, Thomas
Power, John
Pradel, Michael
Pradic, Pierre
Prathamesh, T. V. H.
Praveen, M.
Precup, Doina
Preiner, Mathias
Preto, Sandro
Previti, Alessandro
Proietti, Maurizio
Pu, Geguang
Pulina, Luca
Purandare, Rahul
Putot, Sylvie
Pym, David
Püschel, Markus
Q
Qadeer, Shaz
Qin, Shengchao
Qin, Xudong
Qu, Hongyang
Quaresma, Pedro
Quatmann, Tim
R
Rabe, Florian
Rabe, Markus
Rabusseau, Guillaume
Rademaker, Alexandre
Radomirovic, Sasa
Raffaeli, Laurent
Raffalli, Christophe
Raghothaman, Mukund
Rahli, Vincent
Rajani, Vineet
Rajkhowa, Pritom
Rakotonirina, Itsaka
Ralph, Benjamin
Ramakrishnan, C. R.
Raman, Vasumathi
Ramanayake, Revantha
Rambow, Thomas
Ramirez-Trevino, Antonio
Ramsdell, John
Randour, Mickael
Ranzato, Francesco
Rapp, Franziska
Rasconi, Riccardo
Raskin, Jean-Francois
Rasmussen, Cameron
Rasmussen, Cameron
Ratsch-Heitmann, Michel
Ravara, António
Rawson, Michael
Ray, Rajarshi
Razavi, Joseph
Real, Livy
Reale, Kristian
Rebola-Pardo, Adrian
Reeves, Steve
Reger, Giles
Reimer, Sven
Reimer, Sven
Reis, Giselle
Reitwiessner, Christian
Remy, Didier
Ren, Hao
Resch, Stefan
Retoré, Christian
Rety, Pierre
Reynier, Pierre-Alain
Reynolds, Andrew
Riba, Colin
Ribeiro, Pedro
Ricca, Francesco
Riccobene, Elvinia
Riehl, Emily
Riener, Martin
Rieu-Helft, Raphaël
Rigau, German
Rijke, Egbert
Ringeissen, Christophe
Ritirc, Daniela
Rivas, Exequiel
Rivière, Cédric
Rizkallah, Christine
Robere, Robert
Roberts, Hannah
Robillard, Simon
Rocha, Ricardo
Rodin, Andrei
Rodrigues, Nishant
Rodríguez, César
Roeck, Franz
Rohan, Thakker
Romica, Trandafir
Ronchi Della Rocca, Simona
Rondogiannis, Panos
Roohi, Nima
Roscoe, Timothy
Rosenthal, Arnon
Rossi, Francesca
Rossmanith, Peter
Rosu, Grigore
Rothenberger, Ralf
Rouahi, Aouatef
Rouhling, Damien
Roveri, Marco
Roversi, Luca
Rowe, Reuben
Roy, Dan
Rozier, Kristin Yvonne
Rubin, Sasha
Rubio, Albert
Ruchkin, Ivan
Ruemmer, Philipp
Ruess, Harald
Runge, Mario
Ruoppolo, Domenico
Russell, Stuart
Russo, Alessandra
Rutten, Jan
Ryvchin, Vadim
Régis-Gianas, Yann
Röblitz, Susanna
S
S, Krishna
Sa'Ar, Yaniv
Sabel, David
Sabuncu, Orkunt
Safranek, David
Sagiv, Mooly
Sagr, Basma
Sahlman, Lorenz
Sakama, Chiaki
Salazar, Elmer
Salvo, Ivano
Sammartino, Matteo
Sampath, Mohasha Isuru
Sanan, David
Sanchez, Cesar
Sanders, Peter
Sanfelice, Ricardo
Sangiorgi, Davide
Sangiovanni-Vincentelli, Alberto
Sankaranarayanan, Sriram
Sankur, Ocan
Sannella, Don
Santhanam, Rahul
Santolucito, Mark
Santucci, Valentino
Saoud, Adnane
Sarac, N Ege
Saribatur, Zeynep G.
Sasse, Ralf
Satake, Yuki
Sato, Genki
Sato, Naoto
Sato, Taisuke
Saurin, Alexis
Saxena, Aseem
Saxena, Manasvi
Scedrov, Andre
Schachte, Peter
Schaefer, Ina
Schalk, Andrea
Schanda, Florian
Schaub, Torsten
Scheftelowitsch, Dimitri
Schemmel, Daniel
Scherer, Gabriel
Schindler, Tanja
Schlaipfer, Matthias
Schlichtkrull, Anders
Schmerl, Bradley
Schmid, Lara
Schmid, Ulrich
Schmidt, Renate A.
Schmidt-Schauss, Manfred
Schneider, Gerardo
Schneider, Joshua
Schneider, Klaus
Schneider, Valentin
Schneidewind, Clara
Schnepf, Nicolas
Scholl, Christoph
Scholl, Christoph
Schrammel, Peter
Schrank, Tobias
Schrijvers, Tom
Schröder, Lutz
Schubert, Aleksy
Schuhmann, Anna
Schultz, William
Schulz, Stephan
Schulze, Uwe
Schupp, Sibylle
Schwartz-Narbonne, Daniel
Schwarzentruber, Francois
Schwitter, Rolf
Schöpf, Jonas
Scialanca, Agostino
Sciarappa, Luke
Scott, Dana
Seatzu, Carla
Sebastiani, Roberto
Sedwards, Sean
Seidl, Helmut
Seidl, Martina
Seidl, Martina
Seiller, Thomas
Sekanina, Lukas
Sekerinski, Emil
Selinger, Peter
Sellami, Yanis
Sellis, Timos
Serban, Cristina
Servetto, Marco
Seshia, Sanjit
Seshia, Sanjit A.
Seshia, Sanjit A.
Shah, Rohin
Shah, Shetal
Shakerin, Farhad
Shankar, Natarajan
Sharaf, Nada
Sharma, Subodh
Sharygina, Natasha
Shasha, Dennis
Shaulian, Yariv
Shen, Da
Sherman, Benjamin
Shimi, Adam
Shintani, Kiraku
Shkapsky, Alex
Shoham, Sharon
Shumailov, Ilia
Si, Xujie
Sickert, Salomon
Siebertz, Sebastian
Siek, Jeremy
Siekmann, Joerg
Sighireanu, Mihaela
Silva, Alexandra
Simari, Gerardo
Simon, Laurent
Simpson, Alex
Singh, Badal
Singh, Gagandeep
Singh, Rishabh
Singh, Vasu
Sinisi, Stefano
Sinz, Carsten
Sistla, Prasad
Skočovský, Peter
Slavnov, Konstantin
Slivovsky, Friedrich
Smallbone, Nicholas
Smith, Connor
Smith, Douglas
Smith, Graeme
Smith, Michael
Smolka, Gert
Smolka, Scott
Smt-Comp Organizers,
Sobocinski, Pawel
Sofronie-Stokkermans, Viorica
Sogokon, Andrew
Sojakova, Kristina
Sokolova, Ana
Solar-Lezama, Armando
Soloveichik, David
Son, Tran Cao
Sondergaard, Harald
Song, Fu
Soria Dustmann, Oscar
Sorrentino, Loredana
Soudjani, Sadegh
Soudjani, Sadegh
Soulat, Romain
Sousa, Marcelo
Sozeau, Matthieu
Spaccasassi, Carlo
Speight, Sam
Spencer, Frankie
Spitters, Bas
Spoto, Fausto
Srba, Jiri
Stadler, Peter F.
Stasch, Matthias
Statman, Richard
Staton, Sam
Steen, Alexander