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

Paper Presentations Ⅱ

Presenter Paper
Xujin Zhang KLEE: Unassisted and automatic generation of high-coverage tests for complex systems programs
Ian Boros IntFlow: Improving the Accuracy of Arithmetic Error Detection Using Information Flow Tracking
Xunzhe Xu Unsupervised wrapper induction using linked data
Han Zhang Program element matching for multi-version program analyses
Sam Kelly Towards a Formal Foundation of Web Security
Bikong Wang Hybrid Dynamic Data Race Detection
Dixuan Yang SIMD- and Cache-Friendly Algorithm for Sorting an Array of Structures
Qingxiang Li A NICE Way to Test OpenFlow Applications
Luyi Lu GuardRails: A Data-Centric Web Application Security Framework
Shuai Wang A FrameWork for Automated Testing of JavaScript

Paper Presentations Ⅲ

Presenter Paper
Xujin Zhang Synthesizing Framework Models for Symbolic Execution
Dixuan Yang Scalable Thread Sharing Analysis
Qingxiang Li Finding Security Bugs in Web Applications using a Catalog of Access Control Patterns
Shuai Wang Type-Aware Concolic Testing of JavaScript Programs
Luyi Lu Finding security bugs in web applications using a catalog of access control patterns
Ian Boros IntEQ: Recognizing Benign Integer Overflows via Equivalence Checking Across Multiple Precisions
Han Zhang Shadow of a doubt: testing for divergences between software versions
Bikong Wang Scalable Thread Sharing Analysis
Sam Kelly Finding security bugs in web applications using a catalog of access control patterns
Xunzhe Xu Cross-supervised synthesisi of web crawlers
top