SPLASH 2014
Mon 20 - Fri 24 October 2014 Portland, Oregon, United States
Sarfraz Khurshid

Not registered as user yet

Name: Sarfraz Khurshid

Bio: I am an Associate Professor in the Department of Electrical and Computer Engineering at the University of Texas at Austin in the Center for Advanced Research in Software Engineering (ARiSE).

I was formerly a graduate student at the MIT Laboratory for Computer Science, where I co-led the MulSaw project. I defended my PhD thesis in December 2003. A PDF version of my dissertation is available here *.pdf.

My research interests include automated software engineering, in particular: software testing; static and dynamic checking of code conformance; repair of structurally complex data; model checking; formal specification languages; parallel and incremental algorithms for software analysis.

I am a recipient of the ACM SIGSOFT Impact Paper Award (2012), two ACM SIGSOFT Distinguished Paper Awards (ISSTA 2002 and ICSE 2010), a Best Research Paper Award (ASWEC 2009), and an NSF CAREER Award (2009).

My research is funded in part by the National Science Foundation (CAREER award CCF-0845628, and awards CCF-1319688, CNS-1239498, CNS-0958231, IIS-0438967, and CCF-0702680), the Air Force Office of Scientific Research, the Naval Undersea Warfare Center, and the Fujitsu Laboratories America, Inc.

Affiliation: University of Texas at Austin

Personal website: https://users.ece.utexas.edu/~khurshid/

SPLASH 2014 Activities

SPLASH 2014-profile
View general profile