Computer Science

Public Talks

Choose Type

• 
  All
• 
  Colloquium
• 
  Career Mentorship Colloquium
• 
  Directed Research Project
• 
  Area Exam
• 
  Dissertation Defense

All of these talks are open to the public, and will provide some insight into various research activities here and at other institutions.

Choose Year

June 2007
	28	Pex: Dynamic Analysis and Test Generation for .NET Nikolai Tillmann, Microsoft Research
	21	Structure-Shy Programming Revisited Karl Lieberherr, Northeastern University
	12	Acyclic Edge Coloring: Some Recent Developments C.R. Subramanian, Institute of Mathematical Sciences, India
	11	Bioinformatics Research in Whole Genome Duplication Julian Catchen, University of Oregon
	07	The Development of the Emerald Programming Language Andrew Black, Portland State University
May 2007
	31	Cryptographic Hashing: basics, blockciphers and beyond Tom Shrimpton, Portland State University
	24	Digital Identity Management and Protection Elisa Bertino, Purdue University
	22	On the State of Spoofing Prevention Toby Ehrenkranz, University of Oregon
	18	Network coding as an efficient scheduling algorithm for large scale systems Christos Gkantsidis, Microsoft
	17	Vulnerabilities and Opportunities in SMS-Capable Cellular Networks Patrick McDaniel, Pennsylvania State University
	15	Classifying Hosts Based on the Destination Address Distribution of their Outgoing Network Connections Shad Stafford, University of Oregon
	11	Profiles in Achievement, CAS Distinguished Alumni Fellow Symposium Gurdeep Singh Pall, Microsoft
	01	Mesh or Multiple-Tree: A Comparative Study of Live P2P Streaming Approaches Nazanin Magharei, University of Oregon
April 2007
	26	Embracing the Revolution: From Web 2.0 to CSCW 2.0 Du Li, Texas A&M University
	17	Distinguished Lecture Series - On the Evolution of Adversary Models in Security Protocols Virgil D. Gligor, University of Maryland
	12	Distinguished Lecture Series - New Style Parallel Programming Arvind, Massachusetts Institute of Technology
	10	Representing Oracle Turing Machines as Satisfiability Instances Katrina Ray, University of Oregon
March 2007
	22	Scheduling for heterogeneous clusters and Grid environments Thomas Rauber, Universitat Bayreuth, Germany Gudula Ruenger, Technische Universitat Chemnitz, Germany
	15	Making Your Own Xbox 360 Video Games with XNA Game Studio Express Charles Cox, Microsoft
	13	Computational Environment for the computational modeling of human head Adnan Salman, University of Oregon
	08	Neuroanatomical segmentation in MRI exploiting a priori knowledge Kai Li, University of Oregon
	06	cJ: Enhancing Java with Safe Type Conditions Shan Shan Huang, University of Oregon
February 2007
	27	Personalized pedestrian navigation: user profile assessment under PC-RE framework Xiangkui Yao, University of Oregon
	27	Computer Architecture Challenges for Game Developers Brian Apgar, Buzz Monkey Dan White, Pipeworks
	15	The True Challenges of 21st Century Information Security R&D Ming-Yuh Huang, Boeing
	14	Research Colloquium-Remove the Memory Wall: From performance modeling to architecture optimization Xian-He Sun, Illinois Institute of Technology
	14	Model-based Automatic Performance Diagnosis of Parallel Computations Li Li, University of Oregon
	13	Leverage Commonality at Model Level: Model Checking Smart Home Applications Zebin Chen, University of Oregon
	08	On the Design and Implementation of Static Analysis Tools Thomas Ball, Microsoft Research
January 2007
	26	Personalized Pedestrian Navigation Assistant: User Profile Assessment in PC-RE Framework Xiangkui Yao, University of Oregon
	23	Towards a Flexible, Reusable Model for Predicting Eye Movements During Visual Search of Computer Screens: Investigating the Effects of Semantic and Perceptual Grouping Tim Halverson, University of Oregon
	09	Determining the Scope of Alorithms Katrina Ray, University of Oregon
December 2006
	07	Automated Statistical Methods for Parallel Performance Analysis Kevin Huck, University of Oregon
	06	Cheat-Proof and Scalable Event Ordering for Massively Multiplayer Online Games Chris GauthierDickey, University of Oregon
November 2006
	30	Putting the Curry-Howard Isomorphism to Work Tim Sheard, Portland State University
	28	A semi-automatic framework for mining ERP patterns Jiawei Rong, University of Oregon
	28	Characterizing Peer-level Performance of BitTorrent Amir Rasti, University of Oregon
	14	Vector and Tensor Field Design on Surfaces Eugene Zhang, Oregon State University
	14	Toward Reference Reconciliation and Inconsistency in Ontology-based Data Integration Paea LePendu, University of Oregon
	13	Deconstructing phylogenetic reconstruction: Effects of assumption violations on evolutionary inference Bryan Kolaczkowski, University of Oregon
	09	Making arbitrary graphs transitively orientable: minimal comparability completions Pinar Heggernes, University of Bergen, Norway
	06	The Many Facets of Internet Topology Walter Willinger, AT&T Labs-Research
	06	Measuring and Characterizing Properties of Peer-To-Peer Systems Daniel Stutzbach, University of Oregon
	03	Specification and Solution of Multisource Data Flow Problems John Fiskio-Lasseter, University of Oregon
	02	Tracing Ideas Through Digital Sketching Nancy Yen-wen Cheng, Department of Architecture, University of Oregon
October 2006
	30	Stratego/XT. A Language and Toolset for Program Transformation Eelco Visser & Martin Bravenboer, Utrecht University, The Netherlands
	26	Control and Logic Zena Ariola, CIS Department, University of Oregon
	20	Assurance Techniques for Code Generators Bernd Fischer, University of Southampton
	12	Graduate Research Poster Contest Presentations and Awards CIS Graduate Students, University of Oregon
	05	Undergraduate Introduction to Research Zena Ariola, CIS Department, University of Oregon Jun Li, CIS Department, University of Oregon Michal Young, CIS Department, University of Oregon
	04	Complexity of Problems in Algorithms Katie Ray, University of Oregon
September 2006
	28	Introducing Faculty Research CIS Faculty, University of Oregon