|
10/7/2011 |
1:00 pm - 2:00 pm |
UTCS Colloquia - Marcos K. Aguilera/Microsoft Research, "Transactional Storage for Geo-Replicated Systems", ACES 2.402 |
|
2/19/2013 |
11:00 am - 12:00 pm |
UTCS Colloquia - Matei Zaharia, University of California, Berkeley, "Making Big Data Analytics Interactive and Real-Time" ACE 2.302 |
|
1/29/2013 |
11:00 am - 12:00 pm |
UTCS Colloquia - Mikkel Thorup, AT&T Labs - Research, "The Power of Tabulation Hashing," ACE 6.304 |
|
7/6/2011 |
3:00 pm - 4:00 pm |
UTCS Colloquia - Pedro Ribeiro/University of Porto - "G-Tries: an efficient data-structure for subgraph counting", ACES 4.304 |
|
1/31/2013 |
11:00 am - 12:00 pm |
UTCS Colloquia - Peter Chen, Professor, University of Michigan, "Supporting multithreaded programs with uniparallelism" |
|
10/18/2012 |
2:00 pm - 3:00 pm |
UTCS Colloquia - Ping Li/Assistant Professor, Cornell University, "BigData: Probabilistic Methods for Efficient Search and Statistical Learning in Extremely High-Dimensional Data," ACES 2.402 |
|
4/26/2011 |
1:00 pm - 2:00 pm |
UTCS Colloquia - Professor Fei Xie/Computer Science, Portland State University, "Automata-Theoretic Approach to Hardware/Software Co-verification", ACES 2.402 |
|
4/13/2011 |
11:00 am - 12:00 pm |
UTCS Colloquia - Professor Haibo Chen/Parallel Processing Institute, Fudan University, "Retrofitting Protection of Virtual Machines in Multi-tenant Cloud with CloudVisor", ACES 6.336 |
|
11/13/2012 |
11:00 am - 12:00 pm |
UTCS Colloquia - Rajeev Alur, Professor, University of Pennsylvania, "Computer Augmented Program Engineering," ACES 2.402 |
|
3/19/2013 |
11:00 am - 12:00 pm |
UTCS Colloquia - Ravi Chugh, Faculty Candidate, University of California, San Diego, "Static Verification for Web Scripting Languages" ACE 2.302 |
|
10/9/2012 |
3:30 pm - 4:30 pm |
UTCS Colloquia - Rob Bishop/Raspberry Pi Foundation, "Raspberry Pi Embedded System Platform," ACES 2.402 |
|
7/19/2011 |
10:30 am - 11:30 am |
UTCS Colloquia - Robert Grimm/New York University, "Parsing All of C by Taming the Preprocessor", ACES 2.402 |
|
2/8/2013 |
11:00 am - 12:00 pm |
UTCS Colloquia - Ryan Williams, Stanford University, Assistant Professor, "ACC Circuit Lower Bounds," GDC 4.516 |
|
10/28/2011 |
12:00 pm - 1:30 pm |
UTCS Colloquia - Saurabh Bagchi/Purdue University, Large Scale Debugging of Parallel Tasks using “Triumph of Majority” Principle, ACES 6.304 |
|
3/8/2011 |
11:00 am - 12:00 pm |
UTCS Colloquia - Seyoung Kim/Carnegie Mellon University, "Lasso-type methods for multi-task regression with structured sparsity", ACES 2.402 |
|
11/22/2010 |
10:00 am - 11:00 am |
UTCS Colloquia - Shaz Qadeer/Microsoft: "QED: A Simpifier for Concurrent Programs", ACES 6.304 |
|
11/20/2012 |
10:00 am - 11:00 am |
UTCS Colloquia - Sofya Raskhodnikova, Penn State, Associate Professor, Understanding Global Properties of Data Sets from Local Observations," ACE 2.402 |
|
3/9/2011 |
4:30 pm - 6:30 pm |
UTCS Colloquia - Steve Blackburn/Australian National University, "Looking Back on the Language and Hardware Revolutions: Measured Power, Performance, and Scaling", ACES 2.402 |
|
2/18/2011 |
11:00 am - 12:00 pm |
UTCS Colloquia - Subhash Suri/University of California, Santa Barbara, "Time-Dependent Shortest Paths", ACES 4.304 |
|
5/9/2011 |
11:00 am - 12:00 pm |
UTCS Colloquia - Sudhir Ghorpade/Indian Institute of Technology, Bombay, India, "Linear codes, classical varieties and enumerative combinatorics", ACE 6.304 |
|
3/7/2013 |
11:00 am - 12:00 pm |
UTCS Colloquia - Thomas Dillig, Faculty Candidate, College of William and Mary, "Precise and Fully-Automatic Verification of Container-Manipulating Programs" ACE 2.302 |
|
1/28/2011 |
11:00 am - 12:00 pm |
UTCS Colloquia - Vineeth Kashyap/University of California, Santa Barbara, "Exploring a New Approach to Timing- and Termination-Sensitive Secure Information Flow", ACES 3.408 |
|
2/28/2013 |
11:00 am - 12:00 pm |
UTCS Colloquia - Virginia Williams, Faculty Candidate, Stanford University, "Path problems, matrix products, algorithms, and equivalences" ACE 2.302 |
|
5/4/2011 |
1:30 pm - 3:00 pm |
UTCS Colloquia - Wenping Wang/The University of Hong Kong, "Centroidal Voronoi Tessellation vs. Optimal Delaunay Triangulation", ACES 4.304 |
|
4/29/2011 |
10:00 am - 11:00 am |
UTCS Colloquia - Wenping Wang/The University of Hong Kong, "Centroidal Voronoi Tessellation vs. Optimal Delaunay Triangulation", ACES 6.304 |
|
10/28/2011 |
11:00 am - 12:00 pm |
UTCS Colloquia -Dr. Philippe Block/Institute of Technology in Architecture, ETH Zurich, "Geometry in Compression Structures", ACES 4.304 |
|
11/10/2010 |
11:00 am - 12:00 pm |
UTCS Colloquia /AI - Csaba Szepesvari/University of Alberta: "How to choose cakes (if you must?) -- advice from statistics", ACES 2.402 |
|
1/20/2012 |
11:00 am - 12:00 pm |
UTCS Colloquia /AI - Patrick MacAlpine/UTCS, "UT Austin Villa 2011: RoboCup 3D Simulation League Champion" , PAI 3.14 |
|
4/15/2011 |
2:00 pm - 3:00 pm |
UTCS Colloquia /AI - Rob Fergus/New York University, "Deconvolutional Networks", JGB 2.218 |
|
10/18/2012 |
11:00 am - 12:00 pm |
UTCS Colloquia/AI - Alexander Smola, Google/CMU, "Learning at Scale," ACE 2.302 |
|
5/4/2012 |
11:00 am - 12:00 pm |
UTCS Colloquia/AI - Alexis Battle/Stanford University, "Combining data and networks to unravel the genetics of complex traits," ACES 2.302 |
|
4/13/2012 |
11:00 am - 12:00 pm |
UTCS Colloquia/AI - Andrea Thomaz/Georgia Tech, "Designing Learning Interactions for Robots", ACES 2.302 |
|
4/19/2012 |
1:00 pm - 2:00 pm |
UTCS Colloquia/AI - Bart Selman/Cornell University, "Going Beyond NP: New Challenges in Inference Technology," ACES 2.402 |
|
4/8/2011 |
11:00 am - 12:00 pm |
UTCS Colloquia/AI - Charles Isbell/Georgia Tech, "Adaptive Drama Management: Bringing Machine Learning to Interactive Entertainment", ACES 2.402 |
|
3/25/2011 |
11:00 am - 12:00 pm |
UTCS Colloquia/AI - Chitta Baral/Arizona State University, "Translating English to KR languages using inverse lambda and parameter learning", ACES 2.402 |
|
12/2/2011 |
3:00 pm - 4:00 pm |
UTCS Colloquia/AI - Chris Dyer/Carnegie Mellon University, "Statistical Translation as Constrained Optimization", PAI 3.14 |
|
4/20/2012 |
11:00 am - 12:00 pm |
UTCS Colloquia/AI - Daniele Nardi/Sapienza Università di Roma, "Cognitive Cooperative Robots," WEL 2.308 |
|
4/6/2012 |
11:00 am - 12:00 pm |
UTCS Colloquia/AI - Derek Hoiem/University of Illinois at Urbana-Champaign, "Representing and Inferring the 3D Layout of Rooms", ACES 2.302 |
|
11/18/2011 |
11:00 am - 12:00 pm |
UTCS Colloquia/AI - Geoff Hollinger/University of Southern California, "Robotic Decision Making for Sensing in the Natural World", RLM 6.116 |
|
3/23/2012 |
11:00 am - 12:00 pm |
UTCS Colloquia/AI - Jamie Pennebaker/Department of Psychology, UT, Austin, "What our most forgettable words say about us", ACES 2.302 |
|
9/14/2012 |
11:00 am - 12:00 pm |
UTCS Colloquia/AI - Jeff Clune/Cornell University, "Automatically generating regular, modular neural networks with computational abstractions of evolution and developmental biology," ACES 2.402 |
|
10/28/2011 |
11:00 am - 12:00 pm |
UTCS Colloquia/AI - Jeff Schneider/Carnegie Mellon University - Robotics Institute, "Learning Dynamic Models with Non-sequenced Data", ACES 2.302 |
|
5/17/2012 |
11:00 am - 12:30 pm |
UTCS Colloquia/AI - John Hale/Cornell, "Entropy Reduction and Asian Languages," PAR 101 |
|
4/29/2011 |
11:00 am - 12:00 pm |
UTCS Colloquia/AI - K. Brent Venable/University of Padova (Italy), "Compact Preference Models in Single- and Multi-agent Settings", ACES ACES 2.402 |
|
3/2/2012 |
11:00 am - 12:00 pm |
UTCS Colloquia/AI - Marc Denecker/Katholieke Universiteit Leuven, "The FO(.) Knowledge Base System project: an integration project", ACES 2.302 |
|
1/19/2012 |
11:00 am - 12:00 pm |
UTCS Colloquia/AI - Matthew L. Ginsberg/University of Oregon, "Dr. Fill: Crosswords Aren't Just for Humans Any More", PAI 3.14 |
|
11/5/2010 |
11:00 am - 12:00 pm |
UTCS Colloquia/AI - Michael Bowling/University of Alberta: "AI After Dark: Computers Playing Poker", PAI 3.14 |
|
4/1/2011 |
11:00 am - 12:00 pm |
UTCS Colloquia/AI - Michal Pechoucek/Czech Technical University in Prague, "Towards scalable, high-fidelity and mixed multi-agent simulation of manned/unamnned air traffic", ACES 2.402 |
|
3/28/2011 |
1:00 pm - 2:00 pm |
UTCS Colloquia/AI - Paul Bennett/Microsoft Research, "Class-Based Contextualized Search", ACES 2.402 |
|
5/3/2011 |
11:00 am - 12:00 pm |
UTCS Colloquia/AI - Pedro Domingos/University of Washington, "Unifying Logic and Probability: A Progress Report", ACES 2.402 |
