Marple

 

 

• [FSE 08]        W.  Le  (Best Student Presentation Award)

                           Marple: A Demand-Driven Path-Sensitive Buffer Overflow Detector

                           16th International Symposium on the Foundations of Software Engineering

                           November 2008

            

 

• [PASTE 07]    W.  Le

                           Refining Buffer Overflow Detection via Demand-Driven Path-Sensitive Analysis

                            Program Analysis for Software Tools and Engineering

                           June 2007

 

 

• [Microsoft]    W.  Le

                                   A Testing Framework for Security

                                   Center for Software Excellence,  Microsoft

                                   February 2006.