Dr. Wei Le Receives ACM SIGSOFT Distinguished Paper Award at FSE16
News
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).