| 1. USENIX Security-08 |
AutoISES: Automatically Inferring Security Specifications and Detecting Violations. In the Proceedings of the 17th USENIX Security Symposium, July-August, 2008. San Jose, California. Acceptance Rate: 16% (27/170). [PDF] [PS] [Slides in PDF] [BIBTEX] |
| 2. SOSP-07 |
|
| 3. DASC-07 |
iKernel: Isolating Buggy and Malicious Device Drivers Using Hardware Virtualization Support. In the Proceedings of the 3rd IEEE International Symposium on Dependable, Autonomic and Secure Computing, September 2007. Columbia, Maryland. [PDF] [PS] [BIBTEX]
|
| 4. HotOS-07 |
HotComments: How to Make Program Comments More Useful? In the Proceedings of the 11th Workshop on Hot Topics in Operating Systems, May 2007. San Diego, California. Acceptance Rate: 20% (21/105). [PDF] [BIBTEX]
|
| 5. ASID-06 |
Have Things Changed Now? - An Empirical Study of Bug Characteristics in Modern Open Source Software. In the proceedings of the First Workshop on Architectural and System Support for Improving Software Dependability held together with ASPLOS, October 2006. San Jose, California. [PDF] [Slides in PDF] [BIBTEX]
|
|
6. ACM-TACO-06
(Journal) |
Bit-Split String Matching Engines for Intrusion Detection and Prevention. ACM Transactions on Architecture and Code Generation, 2006. [PDF] [BIBTEX] |
|
7. TOP PICKS-06
(Journal) |
Architectures for Bit-Split String Scanning in Intrusion Detection. IEEE Micro: Micro's Top Picks from Computer Architecture Conferences, January-February 2006. Acceptance Rate: 16% (13/80). [PDF (Unofficial preprint)] [BIBTEX] |
| 8. SOSP-05 |
Hibernator: Helping Disk Arrays Sleep Through the Winter. In the proceedings of the 20th ACM Symposium on Operating Systems Principles, October 2005. Brighton, United Kingdom. Acceptance Rate: 13% (20/155). [PDF] [BIBTEX] |
| 9. ISCA-05 |
A High Throughput String Matching Architecture for Intrusion Detection and Prevention. In the proceedings of the 32nd (100,000two-th) Annual International Symposium on Computer Architecture, June 2005. Madison, Wisconsin. Acceptance Rate: 23% (45/194). [PDF] [Errata] [Slides in PPT] [BIBTEX] |
| 10. BUGS-05 |
BugBench: A Benchmark for Evaluating Bug Detection Tools. In Workshop on the Evaluation of Software Defect Detection Tools Co-located with PLDI, June 2005. Chicago, Illinois. [PDF] [BIBTEX] |
| 11. WARFP-05 | Supporting Interdisciplinary Domain Specific Architecture Research with Reconfigurable Devices. In Workshop on Architecture Research using FPGA Platforms held together with HPCA, February 2005. San Francisco, California. [PDF] [BIBTEX] |
Talks:
/* iComment: Bugs or Bad Comments? */ (SOSP'07) [Slides in PDF] [Slides in PDF with NO animation]
HotComments: How to Make Program Comments More Useful? (HotOS'07)
Have Things Changed Now? -- An Empirical Study of Bug Characteristics in Modern Open Source Software. (ASID'06) [Slides in PDF]
A High Throughput String Matching Architecture for Intrusion Detection and Prevention. (ISCA'05) [Slides in PPT]
Professional Activities and Services:
Reviewer for DSN, COMNET, and the IEEE Journal on Selected Areas in Communications (JSAC) special issue of "High-speed Network Security - Architecture, Algorithms and Implementation."
External Reviewer for SOSP, ASPLOS, PLDI, HPCA, USENIX, PACT, HotOS, and HotDep.
ACM Member & USENIX Member