SAT 2015: 18TH INTERNATIONAL CONFERENCE ON THEORY AND APPLICATIONS OF SATISFIABILITY TESTING
TALK AUTHOR INDEX
A
Abdulla, Parosh Aziz
Agarwal, Chirag
Akshay, S.
Atig, Mohamed Faouzi
B
Barrett, Clark
Biere, Armin
Bingham, Jesse
Bjorner, Nikolaj
Brayton, Robert
Brockschmidt, Marc
Burlyaev, Dmitry
C
Chakraborty, Supratik
Cimatti, Alessandro
D
Drechsler, Rolf
E
Erickson, John
Esparza, Javier
F
Farzan, Azadeh
Fradet, Pascal
G
Ganjei, Zeinab
Gario, Marco
Gurfinkel, Arie
H
Harel, David
Hylander, Paul
I
Ivrii, Alexander
J
John, Ajith
K
Katz, Guy
Kincaid, Zachary
Komuravelli, Anvesh
Kroening, Daniel
L
Lange, Tim
Larraz, Daniel
Lewis, Matt
M
Madhukar, Kumar
Mahajan, Yogesh
Malik, Sharad
Mattarei, Cristian
McMillan, Kenneth
Meshman, Yuri
Meyer, Philipp J.
Michelson, Jonathan
N
Neuhäußer, Martin R.
Niemetz, Aina
Noll, Thomas
O
Oliveras, Albert
P
Preiner, Mathias
R
Rabe, Markus N.
Ray, Sandip
Ray, Sayak
Rezine, Ahmed
Rinetzky, Noam
Rodríguez Carbonell, Enric
Rozier, Kristin Y.
Rubio, Albert
S
Shah, Shetal
Singhal, Vigyan
Sinn, Moritz
Soeken, Mathias
Srivas, Mandayam
Sterin, Baruch
Subramanyan, Pramod
T
Talupur, Murali
Tentrup, Leander
Tonetta, Stefano
Trivedi, Ashutosh
V
Veith, Helmut
Vizel, Yakir
W
Wachter, Björn
Weissenbacher, Georg
Y
Yahav, Eran
Z
Zhu, Yunyun
Zuleger, Florian