|
FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
TALK AUTHOR INDEX
A | Allamanis, Miltos | | Anandkumar, Anima | | Atkinson, Liam | | B | Barr, Earl | | Bulychev, Egor | | C | Chaudhuri, Swarat | | Cohen, William | | Cvitkovic, Milan | | D | Devambu, Prem | | Dhingra, Bhuwan | | H | Helie, Jean | | Heo, Kihong | | K | Keramitas, Romain | | Kohli, Pushmeet | | Kulkarni, Sulekha | | L | Lee, Woosuk | | Long, Waren | | M | Markovtsev, Vadim | | Markowski, Gabor | | Marnette, Bruno | | Mazaitis, Kathryn | | N | Naik, Mayur | | Neubig, Graham | | P | Pradel, Michael | | R | Raghothaman, Mukund | | S | Si, Xujie | | Singh, Badal | | Singh, Rishabh | | Slavnov, Konstantin | | T | Tarlow, Danny | | V | Vechev, Martin | | Villard, Jules | | W | Winston, Ezra | | Wright, Ian | | Y | Yahav, Eran | | Z | Zhang, Richard | | Ziegler, Albert | |
|
|