Rec Pool Lodge, Davis, California
October 9th, 2004
9:30 - 10:00 Registration
10:00 - 11:00 Invited talk
SLAM and Static Driver Verifier: Technology Transfer of Formal Methods
inside Microsoft
Thomas Ball, Senior Researcher, Microsoft Research
11:00 - 11:10 Break
11:10 - 12:25 Session I
Hardware Accelerated Techniques for Visualizing Time-Varying
Non-Uniform Grid Volume Data
Hiroshi Akiba, Kwan-Liu Ma
Hierarchical Morse-Smale Complex in 3D
Attila Gyulassy, Peer-Timo Bremer, Valerio Pasucci, Bernd Hamann
Texture Animation for Tensor Field Visualization
Louis Feng, Ingrid Hotz
Design and Simulation of an Ion-Trap Quantum Information Processor
Tzvetan Metodiev, Darshan Thaker
Synchroscalar: An Overview
John Oliver, Ravishankar Rao, Paul Sultana, Jedidiah Crandall, Erik
Czernikowski, Leslie W. Jones IV, Diana Franklin, Venkatesh Akella, Frederic
Chong
12:25 - 1:30 BBQ Lunch
1:30 - 2:45 Session II
Spatio-Temporal Aggregates over Raster Image Data
Jie Zhang, Michael Gertz
An Artificial Neural Networks Approach in Detecting Phishing Attacks
Ebrima N. Ceesay
Modeling Intrusion Detection Alerts for Correlation
Jingmin Zhou, Adam Carlson, Matt Bishop
Time Synchronization of Aggregated Heterogeneous Logs
Thomas Ristenpart, Steven Templeton, Matt Bishop
Preconditioning Techniques for Multi-length-scale Linear Systems
from Quantum Simulation in Solid State Physics
Ichitaro Yamakazi, Zhaojun Bai, Richard Scalettar
2:45 - 2:55 Break
2:55 - 3:55 Session III
VGrid: Vehicular AdHoc Networking and Computing Grid for Intelligent Traffic
Control
Jason LeBrun, Joey Anda, Chen-Nee Chuah, Michael Zhang, Dipak Ghosal
Shrinking Network Graphs into Small-worlds
Van Nguyen, Chip Martel
Haplotyping as Perfect Phylogeny: A Linear Time Solution
Zhihong Ding, Dan Gusfield, Vladimir Filkov
Methods for Random Decomposition of a Graph into Modules
Zachary M. Saul, Vladimir Filkov
3:55 Ice Cream and "Best Presentation" Award