Publications:
Automatic Partial Loop Summarization in Dynamic Test
Generation:
Patrice Godefroid, Daniel Luchaup.
2011 International Symposium on Software Testing and
Analysis (ISSTA 2011)
Speculative Parallel Pattern Matching:
Daniel Luchaup, Randy Smith, Cristian Estan, Somesh Jha.
will appear in June 2011 issue of the IEEE Transactions on Information Forensics & Security
Multi-Byte Regular Expression Matching with Speculation:
Daniel Luchaup, Randy Smith, Cristian Estan, Somesh Jha.
12th International Symposium On Recent Advances In Intrusion
Detection, Saint-Malo, France, September 23-25, 2009
Rest: Under construction..