Paper Presentations Ⅰ
Presenter | Paper |
---|---|
Xujin Zhang | Meta-Modeling Design Patterns: Application to Pattern Detection and Code Synthesis |
Qingxiang Li | Towards a Formal Foundation of Web Security |
Shuai Wang | From symbolic execution to concolic testing |
Ian Boros | Understanding Integer Overflow in C/C++ |
Sam Kelly | Nemesis: Preventing Authentication & Access Control Vulnerabilities in Web Applications |
Luyi Lu | Finding Bugs in Dynamic Web Applications |
Han Zhang | Symbolic Execution for Software Testing: Three Decades Later |
Xunzhe Xu | Extracting Structured Data from Web Pages |
Bikong Wang | Escape Analysis for Java |
Dixuan Yang | FastTrack: Efficient and Precise Dynamic Race Detection |