|
2/10/2009 |
11:00 am - 12:00 pm |
UTCS Colloquium: Albert Benveniste/IRISA/INRIA France: "Composing Web services in an open world: QoS issues" ACES 2.402, Tuesday, February 10, 2009 11:00 a.m. |
|
12/3/2010 |
11:00 am - 12:00 pm |
UTCS Colloquium: "Building Knowledge Bases from the Web," Rajeev Rastogi/Yahoo, ACES 6.304 |
|
5/8/2008 |
11:00 am - 12:00 pm |
UTCS Colloquium: Willard L. Miranker/Yale University Consciousness as an Adaptive Phenomenon TAY 3.128 Thursday May 8 2008 11:00 a.m |
|
11/16/2007 |
1:30 pm - 2:30 pm |
UTCS Colloquium: Steven German/IBM T.J. Watson Research Center. High Level Design and Refinement Checking in Hardware Murphi ACES 6.304 Friday November 16 2007 1:30 p.m. |
|
4/29/2008 |
10:00 am - 11:00 am |
UTCS Colloquium: Siggi Cherem/Cornell University: Compiler Support for Memory Management and Concurrency TAY 3.144 Tuesday April 29 2008 10:00 a.m. |
|
11/17/2008 |
2:00 pm - 3:00 pm |
UTCS Colloquium: Shaz Qadeer/Microsoft Research: Taming Concurrency: A Program Verification Perspective TAY 3.128 Monday November 17 2008 2:00 p.m. |
|
10/10/2008 |
9:45 am - 10:50 am |
UTCS Colloquium: Sergey Gorinsky/Washington University St Louis: RD Network Services: Differentiation through Performance Incentives ACES 2.402 Friday October 10 2008 9:45 a.m. |
|
3/2/2007 |
3:00 pm - 4:15 pm |
UTCS Colloquium: Saurabh Bagchi ECE Purdue University Failure Prediction in Cycle Sharing Distributed Systems ACES 2.402 Friday March 2 2007 at 3:00 p.m. |
|
8/20/2007 |
11:00 am - 12:00 pm |
UTCS Colloquium: Russell Impagliazzo UC San Diego A Chernoff-style Direct Product Theorem ACES 6.304 Monday August 20 2007 11:00 a.m. |
|
11/11/2008 |
11:00 am - 12:00 pm |
UTCS Colloquium: Professor Farnam Jahanian/University of Michigan: The Evolution of Internet Threats: A Case for Security in the Network Cloud ACES 2.302 Tuesday November 11 2008 11:00 a.m. |
|
10/22/2008 |
11:00 am - 12:00 pm |
UTCS Colloquium: Peter J. Weinberger/Google Inc.: Inside the Cloud ACES 2.302 Wednesday October 22 2008 11:00 a.m. |
|
10/22/2008 |
2:00 pm - 3:00 pm |
UTCS Colloquium: Pete Shirley/NVIDIA Research: Volume Rendering in Realistic Image Synthesis ACES 6.336 Wed. October 22 2008 2:00 p.m. |
|
11/17/2008 |
10:30 am - 11:30 am |
UTCS Colloquium: Pankaj Jalote/India Institute of Technology Delhi New Delhi India: Software Architecture Performance Analysis and Tuning ACES 6.304 Monday November 17 2008 10:30 a.m. |
|
11/5/2008 |
3:00 pm - 4:00 pm |
UTCS Colloquium: Nikolai Tillmann/Microsoft Research:Parameterized Unit Testing with Pex a White Box Test Input Generation Tool for .NET ACES 2.402 Wednesday November 5 2008 3:00 p.m. |
|
7/3/2008 |
1:30 pm - 2:30 pm |
UTCS Colloquium: Mario Mendez/University of New Mexico: Set Sharing and Resource Analysis of Java Bytecode ACES 2.402 1:30pm Thursday July 3 2008 |
|
2/25/2008 |
12:00 pm - 1:00 pm |
UTCS Colloquium: Lawrence Rauchwerger/TAMU Automatic Parallelization with Hybrid Analysis TAY 3.128 Monday February 25 2008 Noon |
|
2/12/2008 |
12:30 pm - 2:00 pm |
UTCS Colloquium: Lars Nyland/NVIDIA Ubiquitous Compute Acceleration (with CS 378) PAR 1 Tuesday February 12 2008 12:30 p.m. |
|
2/11/2008 |
9:30 am - 10:30 am |
UTCS Colloquium: Lars Nyland/NVIDIA The Simplest CUDA program (worth writing) ACES 2.402 Monday February 11 2008 9:30 a.m. |
|
2/11/2008 |
12:00 pm - 1:30 pm |
UTCS Colloquium: Lars Nyland/NVIDIA Speculation on Lock-Free Parallel Sorting TAY 3.128 Monday February 11 2008 12:00 p.m. |
|
11/18/2008 |
11:00 am - 12:00 pm |
UTCS Colloquium: Kevin Kane and Brian A. LaMacchia/Microsoft: Cyclotron: Building a Cycle-Stealing Computing Grid Using Virtualization and Constrained Delegation ACES 2.402 Tuesday November 18 2008 11:00 a.m. |
|
11/2/2007 |
11:00 am - 12:00 pm |
UTCS Colloquium: Jose Meseguer/Univ. of Illinois at Urbana-Champaign The Temporal Logic of Rewriting ACES 6.304 Friday November 2 2007 11:00 a.m. |
|
9/20/2007 |
4:00 pm - 5:00 pm |
UTCS Colloquium: Joel Trammell NetQoS Inc. (FoCS) Why is the Network Slow? ACES 2.402 4:00 p.m. |
|
11/7/2007 |
1:00 pm - 2:00 pm |
UTCS Colloquium: Jin-Yi Cai Univ. of Wisconsin Madison & Radcliffe Inst. Developments in Holographic Algorithms ACES 2.402 Wednesday November 7 2007 1:00 p.m. |
|
4/18/2007 |
2:00 pm - 3:00 pm |
UTCS Colloquium: Jay Wylie HP Labs Determining fault tolerance of XOR-based erasure codes efficiently ACES 6.304 Wednesday April 18 2007 at 2:00 p.m. |
|
10/5/2007 |
3:30 pm - 5:00 pm |
UTCS Colloquium: Jan Cuny Ph.D./National Science Foundation Gender Balance in Computing: Can't We Do Better? ACES 2.302 Friday October 5 2007 3:30 p.m. |
|
2/29/2008 |
10:00 am - 11:00 am |
UTCS Colloquium: J-P Martin/Microsoft Research Cambridge: Better Bug Reporting with Better Privacy TAY 3.128 Friday February 29 2008 10:00 a.m. |
|
11/9/2007 |
10:50 am - 12:00 pm |
UTCS Colloquium: Indranil Gupta/University of IL at Urbana-Champaign Wizards and Fruitflies: Using Eternal and Ephemeral Overlays for Monitoring Distributed Systems ACES 2.402 Friday November 9 2007 10:50 a.m. |
|
5/27/2009 |
2:00 pm - 3:00 pm |
UTCS Colloquium: Hugh Leather/University of Edinburgh: "Machine Learning in Compilers: The Future of Optimisation" TAY 3.128 Wednesday, May 27, 2009 2:00 p.m. |
|
4/8/2009 |
11:00 am - 12:00 pm |
UTCS Colloquium: Hao Jiang/Boston College: "Labeling Problems and Convex Solutions: ACES 2.404B, Wednesday, April 8, 2009 11:00 a.m. |
|
9/19/2008 |
3:00 pm - 4:00 pm |
UTCS Colloquium: Ganesh Ramanarayanan/Cornell University: Visual Equivalence - A New Standard of Image Fidelity for Computer Graphics ACES 6.304 Friday September 19 2008 3:00 p.m. |
|
5/20/2008 |
1:00 pm - 2:00 pm |
UTCS Colloquium: Gad Haber/IBM Research Post-Link Technology and Its Significance to the Marketplace ACES 2.402 Tuesday May 20 2008 1:00 p.m. |
|
9/11/2007 |
4:30 pm - 5:30 pm |
UTCS Colloquium: Eric Schoen Schlumberger (FoCS) What Oil Companies Want to Know: Inside Oilfield Data Interpretation ACES 2.402 Tuesday September 11 2007 at 4:30 p.m. |
|
11/8/2007 |
4:00 pm - 5:00 pm |
UTCS Colloquium: Dr. Won Kim/Sungkyunkwan University S. KOREA R&D Challenges for Information Processing Software Technology ACES 3.408 Thursday November 8 2007 4:00 p.m. |
|
10/6/2008 |
10:00 am - 11:15 am |
UTCS Colloquium: Douglas Comer/Cisco Systems & Purdue University: Lessons Learned From The Internet Project ACES 2.302 Monday October 6 2008 10:00 a.m. |
|
4/18/2008 |
11:00 am - 12:00 pm |
UTCS Colloquium: Clark W. Barrett/Dept. of Computer Science New York University Satisfiability Modulo Theories ACES 2.402 Friday April 18 2008 11:00 a.m. |
|
3/28/2008 |
11:00 am - 12:00 pm |
UTCS Colloquium: Charlie Van Loan/Cornell University Kronecker Product Approximation and Computational Multilinear Algebra Painter 3.14 Friday March 28 2008 11:00 a.m. |
|
8/16/2007 |
11:00 am - 12:05 pm |
UTCS Colloquium: Charanjit S. Jutla IBM T. J. Watson Research Center Average Case Complexity Good Codes and SHA ACES 2.402 Thursday August 16 2007 at 11:00 a.m. |
|
10/15/2008 |
11:00 am - 12:00 pm |
UTCS Colloquium: Byron Cook/Microsoft Research Cambridge University: Proving That Software Eventually Does Something Good ACES 2.402 Wednesday October 15 2008 11:00 a.m. |
|
4/2/2007 |
11:00 am - 12:00 pm |
UTCS Colloquium: Brent Waters SRI International Attribute-Based Encryption: A Cryptosystem for Expressive Access Control on Encrypted Data ACES 6.304 Monday April 2 2007 at 11:00 a.m. |
|
6/3/2008 |
4:15 pm - 5:15 pm |
UTCS Colloquium: Brad Chamberlain/Cray Inc. Chapel: the Cascade High Productivity Language ACES 2.402 Tuesday June 3 2008 4:15 p.m. |
|
4/7/2008 |
12:00 pm - 1:00 pm |
UTCS Colloquium: Bjarne Stroustrup/Texas A&M University C++0x: An Overview (Post-Bellevue) ACES 2.302 Monday April 7 2008 Noon |
|
5/8/2007 |
10:00 am - 11:00 am |
UTCS Colloquium: Angelina Lee/MIT Programming with Exceptions in JCilk ACES 6.304 Tuesday May 8 2007 %40 10:00 a.m. |
|
11/19/2008 |
3:30 pm - 5:00 pm |
UTCS Colloquium: Andrew Chien/Intel: Bold New Directions in Essential Computing ACES 2.302 Wednesday November 19 2008 3:30 p.m. |
|
10/22/2007 |
2:00 pm - 3:00 pm |
UTCS Colloquium: Andrew Bernat/Computing Research Association Federal Funding for Computing Research Building Community and Words from My Sponsor ACES 2.402 Monday October 22 2007 at 2:00 p.m. |
|
4/17/2007 |
2:00 pm - 3:30 pm |
UTCS Colloquium: Alexandros Stamatakis Ecole Polytechnique Federale de Lausanne/School of Comp & Communication Sciences Faster Algorithms for Support Value Computation & Emerging Parallel Architectures for Phylogeny Reconstruction TAY 3.128 (East |
|
10/23/2007 |
3:00 pm - 4:00 pm |
UTCS Colloquium: Alan R. Hevner/NSF/CISE Design Science Research and the Software for Real-World Systems (SRS) Program at NSF ACES 2.402 Tuesday October 23 2007 3:00 p.m. |
|
4/3/2009 |
8:30 am - 5:00 pm |
UTCS Colloquium/Workshop-2009 Workshop on Distributed Computing/PODC 2009 Program Committee: "Work-in-Progress Talks by Distributed Computing Researchers" ACES 2.402, Friday, April 3, 2009 8:30 a.m. |
|
10/26/2009 |
12:00 pm - 1:00 pm |
UTCS Colloquium/Programming Languages-Steve Blackburn/Australian National University: "Abstraction Without Guilt," PAI 3.14, Monday, October 26, 12:00 noon |
|
3/26/2007 |
12:15 pm - 1:15 pm |
UTCS Colloquium/Programming Languages Seminar: Martin Burtscher/Cornell University Multicore and Other New Approaches to Reduce the Data Access Latency TAY 3.128 Monday March 26 2007 at 12:15 p.m. |
|
1/18/2010 |
11:00 am - 12:00 pm |
UTCS Colloquium/LASR-Yuval Shavitt/Tel-Aviv University: "Mapping the Internet with DIMES and Counting Motifs," ACES 2.402, Monday, January 18, 2010, 11:00 a.m. |
