Research Seminar - Spring 2009
| Name | Title | Schedule |
|---|---|---|
| Dr. Wing-Kai Hon, National Tsing Hua University | Compressed data structures (for dictionary matching problem) dynamic. | Feb 02, 2009 1:30 PM - 256 Coates |
| Dr. Ankur Gupta,
Butler University |
"Succincter" data structures. | Feb 09, 2009 1:30 PM - 256 Coates |
| Dr. Qihua Wang, Purdue University | Satisfiability and Delegation in Workflow Authorization Systems | Feb 12, 2009 3:00 PM - 256 Coates | Dr. Supratik Mukhopadhyay, Utah State University | Model Checking, Program Analysis, and Constraint Databases | Feb 16, 2009, 2:00 PM - 256 Coates | Dr. Scott Fleming, Michigan State University | Empirically Investigating Strategies and Tools for Debugging Multithreaded Programs | Feb 27, 2009. 3:00 PM - 256 Coates | Dr. David Molnar, University of California, Berkeley | Theory plus Practice in Computer Security: Radio Frequency Identification and White box Fuzzing | Mar 6, 2009. 3:00 PM - 256 Coates | Dr. Nan Niu , University of Toronto | Extractive Product Line Requirements Engineering | Mar 10, 2009. 3:00 PM - 256 Coates | Dr. Xin Li , Stonybrook | Shape Mapping and its Applications in Graphics and Visual Computing | April 9, 2009. 3:00 PM - 256 Coates | Dr. Hartmut Kaiser , Chemnitz University of Technology | Boost.Spirit: A Modern, Object oriented, Recursive-Descent Parser and Output Generation Library | April 17, 2009. 3:00 PM - 256 Coates |