FMCAD 2019: FORMAL METHODS IN COMPUTER-AIDED DESIGN 2019
TALK AUTHOR INDEX
A
Akshay, S.
Aldous, Peter
Arora, Jatin
B
Bachrach, Jonathan
Barbosa, Haniel
Barthe, Gilles
Baumgartner, Jason
Berryhill, Ryan
Biere, Armin
Bloem, Roderick
C
Carloni, Luca
Cassimiro Teixeira Dos Santos, Aellison
Chakraborty, Supratik
Chockler, Hana
D
Deshmukh, Jyotirmoy
Di Guglielmo, Giuseppe
Dureja, Rohit
Dutra, Rafael
E
Ebnenasir, Ali
Ebrahimi, Masoud
Eilers, Renate
F
Fedyukovich, Grigory
Finkbeiner, Bernd
Frohn, Florian
G
Gajavelly, Raj Kumar
Ganichev, Igor
Ge-Ernst, Aile
Geier, Gideon
Georgiou, Pamina
Ghosh, Shiladitya
Giesl, J├╝rgen
Gleiss, Bernhard
Goswami, Pronnoy
Gupta, Indranil
Gurfinkel, Arie
H
Heim, Philippe
I
Ivrii, Alexander
J
Joshi, Sarang
K
Kalim, Faria
Kanzelman, Robert
Kauers, Manuel
Kaufmann, Daniela
Klein, Felix
Kovacs, Laura
Kuderski, Jakub
Kullmann, Oliver
L
Larraz, Daniel
M
Madhusudan, P.
Maffei, Matteo
Markgraf, Oliver
Mehar, Jayasi
Mercer, Eric
Mordvinov, Dmitry
Muduli, Sujit Kumar
Murali, Adithya
N
Nadel, Alexander
Narodytska, Nina
Navas, Jorge A.
Neider, Daniel
Nigam, Vivek
O
Ogles, Benjamin
P
Palmskog, Karl
Piccolboni, Luca
R
Raghunathan, Divya
Ravindran, Binoy
Ray, Sayak
Reynolds, Andrew
Rozier, Kristin Yvonne
Ryzhyk, Leonid
S
S, Krishna
Schneider, Ben
Scholl, Christoph
Sen, Koushik
Sevinc, Soner
Shah, Shetal
Shukla, Ankit
Strichman, Ofer
Subramanyan, Pramod
T
Tahat, Amer
Tinelli, Cesare
V
van de Pol, Jaco
van der Berg, Freark I.
Veneris, Andreas
W
Wang, Chao
Wang, Jingbo
Wimmer, Ralf
Wu, Meng