Unless otherwise specified, all talks will take place in
220 Deschutes Hall (the CIS department colloquium room)
at 3:30, with refreshments following the presentation. Send comments, ideas,
and requests to Michel Kinsy.
| 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 |
| 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 |
| 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 |
| 11 | Profiles in Achievement, CAS Distinguished Alumni Fellow Symposium
Gurdeep Singh Pall, Microsoft |
| 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 |
| 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 |
| February 2007 |
|---|
| 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 |
| 08 | On the Design and Implementation of Static Analysis Tools
Thomas Ball, Microsoft Research |
| November 2006 |
|---|
| 30 | Putting the Curry-Howard Isomorphism to Work
Tim Sheard, Portland State University |
| 14 | Vector and Tensor Field Design on Surfaces
Eugene Zhang, Oregon State University |
| 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 |
| 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 |
| September 2006 |
|---|
| 28 | Introducing Faculty Research
CIS Faculty, University of Oregon |
