Edmund M.
Clarke

Carnegie Mellon


David L.
Dill

Stanford

Xiaowu J.
Su

Stanford
(Options)

Xiaowu SuX