|
FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
TALK AUTHOR INDEX
A | Agarwal, Chaitanya | | Albert, Elvira | | Alt, Leonardo | | Alur, Rajeev | | Amir, Guy | | Appel, Andrew W. | | Arvind, | | B | Baccelli, Emmanuel | | Badings, Thom | | Bae, Kyungmin | | Bak, Stanley | | Bang, Seongwon | | Banno, Ryotaro | | Bansal, Suguman | | Bao, Jialu | | Barbosa, Haniel | | Barrett, Clark | | Bastani, Osbert | | Becchi, Anna | | Bellés-Muñoz, Marta | | Besson, Frédéric | | Beutner, Raven | | Bian, Song | | Blicha, Martin | | Blondin, Michael | | Bogomolov, Sergiy | | Bouajjani, Ahmed | | Boutglay, Wael-Amine | | C | Cai, Shaowei | | Casadio, Marco | | Castro, Pablo | | Chatterjee, Krishnendu | | Chatterjee, Prantik | | Cheang, Kevin | | Chen, Haibo | | Chen, Mingshuai | | Chen, Taolue | | Chlipala, Adam | | Choi, Joonwon | | Chun, Inwhan | | Cimatti, Alessandro | | Coenen, Norine | | Cohen, Joshua M. | | Colange, Maximilien | | D | D'Argenio, Pedro R. | | Dachselt, Raimund | | Daggitt, Matthew L. | | Dardinier, Thibault | | De Oliveira Oliveira, Mateus | | Demasi, Ramiro | | Dimitrov, Dimitar I. | | Doveri, Kyveli | | Dubois, Jérôme | | Duret-Lutz, Alexandre | | F | Faella, Marco | | Fan, Yuxin | | Fang, Bin | | Fang, Wang | | Feng, Weizhi | | Finkbeiner, Bernd | | Fischer, Marc | | Fremont, Daniel | | Frenkel, Hadar | | Fu, Hongfei | | G | Gaddamadugu, Pranav | | Ganty, Pierre | | Gbaguidi Aisse, Alexandre | | Giannakopoulou, Dimitra | | Gillard, Clément | | Gittis, Andreas | | Godbole, Adwait | | Goharshady, Amir Kafshdar | | Golia, Priyanka | | Goubault, Eric | | Gros, Timo P. | | Guan, Ji | | Guha, Shibashis | | H | H. Pham, Long | | Habermehl, Peter | | Hahn, Christopher | | Hasuo, Ichiro | | Havlena, Vojtěch | | Hermanns, Holger | | Hoffmann, Joerg | | Horak, Tom | | Hsu, Justin | | Hym, Samuel | | Hyvärinen, Antti | | I | Isabel, Miguel | | J | Jansen, Nils | | Jhoo, Ho Young | | Ji, Yucheng | | Jin, Peng | | Jothimurugan, Kishor | | Juba, Brendan | | Junges, Sebastian | | K | Katis, Andreas | | Katoen, Joost-Pieter | | Katsumata, Shin-ya | | Katz, Guy | | Klauck, Michaela | | Klinkenberg, Lutz | | Kochdumper, Niklas | | Kokke, Wen | | Komendantskaya, Ekaterina | | Kori, Mayuko | | Köhl, Maximilian Alexander | | Křetínský, Jan | | L | Laeufer, Kevin | | Lal, Akash | | Lauko, Henrich | | Lee, Jia | | Lee, Juneyoung | | Lengal, Ondrej | | Leutgeb, Lorenz | | Lew, Ethan | | Li, Bohan | | Li, Yannan | | Li, Yong | | Lin, Shaokai | | Liu, Wanwei | | M | Manerkar, Yatin A. | | Martin, Antoine | | Matsumoto, Naoki | | Matsuoka, Kotaro | | Mavridou, Anastasia | | Mazowiecki, Filip | | Mazzocchi, Nicolas | | Meda, Jaydeepsinh | | Medioni, Thomas | | Meel, Kuldeep S. | | Meggendorfer, Tobias | | Metzger, Niklas | | Mora, Federico | | Moser, Georg | | Moses, Yoram | | Muruganandham, Pazhamalai | | Müller, Peter | | N | Nam, Seunghyeon | | Niemetz, Aina | | Noetzli, Andres | | O | Offtermatt, Philip | | P | Parlato, Gennaro | | Parthasarathy, Gaurav | | Pathak, Drashti | | Paulsen, Brandon | | Polgreen, Elizabeth | | Potomkin, Kostiantyn | | Preiner, Mathias | | Pressburger, Thomas | | Putot, Sylvie | | Putruele, Luciano | | R | Refaeli, Idan | | Renault, Etienne | | Renkin, Florian | | Reynolds, Andrew | | Rodríguez-Núñez, Clara | | Roy, Subhajit | | Rubio, Albert | | S | Schlehuber-Caissier, Philipp | | Schumann, Johann | | Seshia, Sanjit A. | | Sharygina, Natasha | | Siber, Julian | | Singh, Gagandeep | | Song, Fu | | Spaan, Matthijs T. J. | | Sprecher, Christian | | Stoelinga, Marielle | | Suenaga, Kohei | | Summers, Alexander J. | | Sun, Jun | | T | Talpin, Jean-Pierre | | Tian, Jiaxu | | Tinelli, Cesare | | Trivedi, Nitesh | | Turrini, Andrea | | U | Urabe, Natsuki | | V | Vardi, Moshe | | Vechev, Martin | | Vin, Eric | | Volk, Matthias | | W | Waga, Masaki | | Wang, Chao | | Wang, Jingbo | | Wang, Qinshi | | Weeks, Noé | | Wen, Xuejun | | Winkler, Tobias | | Wolf, Verena | | Y | Ying, Mingsheng | | Yu, Geunyeol | | Yuan, Shenghao | | Z | Zandberg, Koen | | Zhang, Liangfeng | | Zhang, Lijun | | Zhang, Min | | Zhang, Xindi | | Zhi, Dapeng | | Zuleger, Florian | | Š | Šmahlíková, Barbora | | Ž | Žikelić, Đorđe | |
|
|