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 |