| 8:00-9:00 |
Registration and Breakfast |
| |
|
| 9:00-9:15 |
Henry Samueli School of Engineering & Applied Science Welcome |
| |
V.
Dhir, Dean, HSSEAS |
9:15-9:30 |
Computer Science Department Welcome |
| |
Milos Ercegovac, Chair |
| |
|
| 9:30-10:00 |
Cryptographic
Counters and Applications to Electronic Voting |
| |
Rafail Ostrovsky, CS UCLA |
| |
|
| 10:00-10:30 |
Break |
| |
|
| 10:30-12:00 |
MORNING SESSION |
| |
|
| 10:30-11:00 |
A
Whistlestop Tour of Readable Software Systems |
| |
Eddie
Kohler, CS UCLA |
| 11:00-11:30 |
Precise
and Scalable Software Verification |
| |
Rupak
Majumdar, CS UCLA |
| 11:30-12:00 |
Practical Predicate Dispatch |
| |
Todd Millstein, CS UCLA |
| |
|
| 12:00-1:30 |
Lunch |
| |
|
| 1:30-3:00 |
AFTERNOON PARALLEL SESSIONS |
| |
|
Session A |
Resilient
Networks |
| |
Rafail
Ostrovsky, UCLA |
| |
Michalis
Faloutsos, UCR |
| |
Gene
Tsudik, ISI |
| |
John
Heidemann, ISI |
| |
Songwu
Lu, UCLA |
| |
|
Session B |
Advances in VLSI CAD/Reconfigurable Technologies |
| |
Formal
Verification in Intel: Challenges, Research and Practice -
Jin Yang, Intel |
| |
Reconfigurable
Computing for Collaborative Embedded Systems - Soheil Ghiasi,
UCLA |
| |
Embedded System Design Using Application Specific Instruction
Processor - Guoling Han, UCLA |
| |
Minimizing
Global Interconnect Using Bypassing and Chaining - Jennifer
Wong, UCLA |
| |
|
Session C |
Database |
| |
XQuery,
XML and Information Integration for Next-Generation DBMSs,
Unifying Structured & Unstructured Data - Hamid Pirahesh,
IBM Almaden Res. Center |
| |
Data Stream Management Systems: A Search for Power & Flexibility
- Haixun Wang, IBM T.J. Watson Res. Center |
| |
|
| 3:00-3:30 |
Break |
| |
|
| 3:30-6:00 |
Research Posters and Demonstrations |
| |
Upwards of 75 hands-on demos
and posters will be on display, featuring results and directions
of various research projects conducted by Computer Science
Department faculty and students. Students and faculty members
will be on hand to discuss their work. |
| |
|
| 6:00-6:45 |
Reception |
| |
|
| 6:45-8:30 |
Banquet and Best Poster Awards |
| |
|
