Thursday, 21 June 2011
Time: 10 AM
Room: EN 3110
Ph.D. Defense
An Integrated Static and Dynamic Program Analysis Framework
for Checking Concurrency-Related Programming Errors .
Qichang Chen
Department of Computer Science
University of Wyoming, Laramie.
link: Abstract

Thursday, 10 June 2011
Time: 2 PM
Room: EN 3110
M.S. Defense
Detecting Concurrency Errors in OpenMP Programs
Using Static Program Analysis .
Rory Jarrard
Department of Computer Science
University of Wyoming, Laramie.
link: Abstract

Wednesday, 16 May 2011
Time: 11 AM
Room: EN 3110
M.S. Defense
The Design and Implementation of SWAT
(Scientific Workflow for Adjoint Tomography) .
Hao Qian
Department of Computer Science
University of Wyoming, Laramie.
link: Abstract

Wednesday, 13 May 2011
Time: $:00 PM
Room: EN 3114
Ph.D. Prelim
Embedding Multiple Types of Expert Knowledge into Machine Learning Algorithms .
Steve Diersen
Department of Computer Science
University of Wyoming, Laramie.
link: Abstract

Wednesday, 4 May 2011
Time: 4:10 PM
Room: EN 3114
M.S. Defense
Bayesian Classification for SQL Injection Detection .
Brandon Skari
Department of Computer Science
University of Wyoming, Laramie.
link: Abstract

Thursday, 21 April 2011
Time: 4:10-5:00 PM
Room: EN 3114
Incremental Detection of Local Community Structure .
L. Karl Branting
The MITRE Corporation
Fort Meade, MD.
link: Abstract

Friday, 15 April 2011
Time: 3:00 PM
Room: Business RM 129
PhD Defense
A Secure Framework for Information Sharing
and Structured Search of Distributed Research Resources .
Anthony W. Wallace
Department of Computer Science
University of Wyoming, Laramie.
link: Abstract

Friday, 5 November 2011
Time: 12 noon
Room: EN 3070
PhD Defense
Type Inference and Unification:
Formal and Informal Proofs in and Around Wand's Algorithm.
Sunil Kothari
Department of Computer Science
University of Wyoming, Laramie.
link: Abstract

Tuesday, 6 April 2010
Time: 4:10-5 PM
Room: EN 3106
Sustainable Storage: Energy Efficiency and Efficient Reliability.
Dr. Ahmed Amer
Storage Systems Research Center
University of California, Santa Cruz.
link: Abstract

Thursday, 1 April 2010
Time: 4:10-5 PM
Room: EN 3106
Design and Evaluation of Interactive 3D Environments
Dr. Amy Ulinsky
School of Computing at Clemson University
link: Abstract

Tuesday, 30 March 2008
Time: 4:10-5 PM
Room: EN 3106
Suffix Trees for Very Large Strings
Marina Barsky
Department of Computer Science
University of Victoria, Canada
link: Abstract

Thursday, 25 April 2010
Time: 4:10-5 PM
Room: EN 3106
Architecting a Symbiotic Virtual Machine Monitor for
Scalable High Performance Computing
Jack Lange
Electrical Engineering and Computer Science
Northwestern University, Chicago
link: Abstract