Hanan Samet

Dissertation: Automatically Proving the Correctness of Translations Involving Optimized Code

Mathematics Subject Classification: 68—Computer science

Advisor 1

Name	Institution	Year	Students
Marco Adelfio	University of Maryland College Park	2014	0
Houman Alborzi	University of Maryland College Park	2006	0
Chuan-Heng Ang	University of Maryland College Park	1990	2
Walid G. Aref	University of Maryland College Park	1993	21
Thor Bestul	University of Maryland College Park	1992	0
Shivarajpur Bhaskar	University of Maryland College Park	1993	0
Frantisek Brabec	University of Maryland College Park	2005	0
Charles B. Cranston	University of Maryland College Park	2007	0
Michael Broadstone Dillencourt	University of Maryland College Park	1988	0
Claudio Esperança	University of Maryland College Park	1995	5
Kikuo Fujimura	University of Maryland College Park	1989	0
Gisli R. Hjaltason	University of Maryland College Park	2000	0
Erik Gerhard Hoel	University of Maryland College Park	1995	0
Glenn S. Iwerks	University of Maryland College Park	2004	0
Edwin H. Jacox	University of Maryland College Park	2007	0
David Kuijt	University of Maryland College Park	2001	0
Michael Thomas Lee	University of Maryland College Park	2006	0
Michael Lieberman	University of Maryland College Park	2012	0
Alan Saalfeld	University of Maryland College Park	1993	0
Jagan Sankaranarayanan	University of Maryland College Park	2008	0
Clifford Alan Shaffer	University of Maryland College Park	1986	5
Ron Sivan	University of Maryland College Park	1996	0
Aya Chasia Soffer	University of Maryland College Park	1996	0
David Alan Tahmoush	University of Maryland College Park	2008	0
Robert Edward Webber	University of Maryland College Park	1983	2
Yaser F. Yacoob	University of Maryland College Park	1994	0

Genealogy