October 21, 2016
Dr. Wei Le is the co-author of a paper titled, "Proteus: Computing Disjunctive Loop Summary via Path Dependency Analysis", which has been selected to receive an ACM SIGSOFT Distinguished Paper Award (DPA) at the International Symposium on Foundations of software Engineering (FSE). The symposium, one of the top software engineering conferences, will be held in Seattle, WA in Nov 2016.