WE ENGINEER EXCELLENCE
Professor Song received the NSF CAREER award for his work on "scalable of concolic execution."