Date |
Place |
Speaker |
Title |
| 12/06/98 |
WeH 4601 |
Doug Baker |
Distributional Clustering of Words for Text Classification |
| 19/06/98 |
WeH 4623 |
Michael Mateas |
Terminal Time: A Recombinant History Apparatus |
| 26/06/98 |
WeH 4601 |
Jürgen Dingel |
Concurrency and Refinement |
| 03/07/98 |
WeH 4601 |
John Langford |
Compilation Techniques for Planning |
| 10/07/98 |
WeH 4601 |
Doug Beeferman |
Lexical Discovery with an Enriched Semantic Network |
| 17/07/98 |
WeH 4623 |
Franklin Chen |
Standard ML for Parallel / Scientific Computing |
| 24/07/98 |
WeH 4601 |
Chris Colohan |
An Architecture for Thread-Level Data Speculation |
| 31/07/98 |
WeH 4601 |
Leemon Baird |
Reinforcement Learning Through Gradient Descent |
| 07/08/98 |
WeH 4601 |
Chris Stone |
Practical Issues in a Type-Passing Compiler |
| 14/08/98 |
WeH 4601 |
Edwin Chan |
Tool Support for Design Patterns |
| 21/08/98 |
WeH 4601 |
Seán Slattery |
Relational Learning for Web Page Classification |
| 04/09/98 |
WeH 4601 |
Rob O'Callahan |
The Quest for the Holy Grail: Scalable, Deep, Useful Program Analysis |
| 18/09/98 |
WeH 4601 |
Michael Garland |
Simplifying Triangulated Surfaces in 1 Minute or Less |
| 02/10/98 |
WeH 4601 |
Will Uther |
CM-Trio Training Camp: The inside story... |
| 16/10/98 |
WeH 4601 |
Bridget Spitznagel |
A Taxonomy of Modifications to Connectors |
| 23/10/98 |
WeH 4601 |
Dayne Freitag |
Learning to Extract Information from Messy Text |
| 30/10/98 |
WeH 4601 |
Doug Rohde |
Connectionist Modeling of Sentence Comprehension and Production |
| 13/11/98 |
WeH 4601 |
Marc Fasnacht |
Monte Carlo Simulations of Proteins |
| 15/01/99 |
WeH 4623 |
Bob Monroe |
Rapid Development of Custom Software Architecture Design Environments |
| 29/01/99 |
WeH 4601 |
Belinda Thom |
Learning Melodic Pitch Preference in Real-time Interactive Jazz Improvisation |
| 12/02/99 |
WeH 4601 |
Jügen Dingel |
Refinement for Parallel Programs |
| 19/02/99 |
WeH 8220 |
Adam Berger |
Machine translation: past, present and future |
| 26/02/99 |
WeH 8220 |
Paul Placeway |
Preliminary Results in Multi-Pass Parsing of Natural Language |
| 05/03/99 |
WeH 4601 |
Eli Brandt |
Low-Latency Music Software Using Off-The-Shelf Operating Systems |
| 12/03/99 |
WeH 4601 |
Marius Minea |
Verification of Timed Systems using Partial Order Reduction |
| 02/04/99 |
WeH 4601 |
Lisa Saksida |
Neural substrates of stimulus memory: A connectionist model of effects of lesions in perirhinal cortex |
| 09/04/99 |
WeH 4601 |
Mihai Budiu |
The CMU Reconfigurable Computing Project |
| 16/04/99 |
WeH 4623 |
Aaron Greenhouse |
A Tool for Systematic Program Evolution and its Object-Oriented Effects System |
| 30/04/99 |
WeH 4623 |
Dawn Song |
Athena: a New Efficient Automatic Checker for Security Protocol Analysis |
| 03/09/99 |
WeH 8220 |
Belinda Thom |
Learning Models for Interactive Melodic Improvisation |
| 17/09/99 |
WeH 4623 |
Andrej Bauer |
Realizability: Who Needs It |
| 01/10/99 |
WeH 4623 |
Jovan Popic |
Interactive Control of Rigid Body Motion |
| 15/10/99 |
WeH 4623 |
Hal Burch |
Cyber-Cartography: Drawing the Internet |
| 29/10/99 |
WeH 4623 |
Bridget Spitznagel |
Constructing Software Connectors |
| 05/11/99 |
WeH 4623 |
Dushyanth Narayanan |
Multi-Fidelity Support for Interactive Mobile Applications |
| 12/11/99 |
WeH 4623 |
James Thomas |
Machine Learning vs. The Efficient Market Hypothesis |
| 03/12/99 |
WeH 8220 |
Christoper Werry |
Imagined Electronic Community: Representations of Virtual Community in Contemporary Business Discourse |
| 21/01/00 |
WeH 4623 |
Chris Colohan |
Potential Parallelism: A New Way of Looking at Parallel Machines |
| 25/02/00 |
WeH 4623 |
Carsten Schürmann |
Towards Automated Verification of Safety Architectures |
| 10/03/00 |
WeH 4623 |
John Pane |
Natural Programming: An HCI Approach to Programming Language Design |
| 31/03/00 |
WeH 4623 |
Dan Pelleg |
X means --- extending K-means to estimate the number of clusters |
| 07/04/00 |
WeH 8220 |
Mark Moll |
An Overview of Probabilistic Path Planning Algorithms |
| 21/04/00 |
WeH 4623 |
Rob Miller |
Integrating a Command Shell Into a Web Browser |
| 28/04/00 |
WeH 4623 |
Adam Fass |
PicturePiper: Using a re-configurable pipeline to find images on the WWW |
| 05/05/00 |
WeH 4623 |
Sanjay Rao |
End System Multicast: A New Architecture for Group Communication over the Internet |
| 12/05/00 |
WeH 4623 |
Paul Bennett |
Using the Naive Bayes Classifier to Obtain Reasonable Class Posteriors |
| 29/09/00 |
WeH 4601 |
Jerry Zhu |
Improving Trigram Language Modeling with the World Wide Web |
| 20/10/00 |
NSH 1507 |
Michael Bowling |
Multiagent Reinforcement Learning using a Variable Learning Rate |
| 27/10/00 |
NSH 1507 |
Dennis Strelow |
Reducing Web Latency with Hierarchical, Cache-based Prefetching |
| 03/11/00 |
NSH 1507 |
Jovan Popovic |
Control of Rigid Body Simulations in Computer Animation |
| 17/11/00 |
NSH 1507 |
Karin Sigurd |
Evolutionary Game Theory: A brief Tutorial and Some Results |
| 01/12/00 |
NSH 1507 |
Andrew Faulring |
Using Thumbnails to Search the Web |
| 08/12/00 |
NSH 1507 |
Umut Acar |
The Data Locality of Work Stealing |
| 15/12/00 |
NSH 1507 |
Andrej Bauer |
What is Category Theory? |
| 30/03/01 |
NSH 1507 |
Jeffrey Polakow |
Reasoning about resources with linear logic. |
| 13/04/01 |
NSH 1507 |
Ariadna Font Llitjos |
Knowledge of Language Origin Improves Pronunciation Accuracy of Proper Names |
| 20/04/01 |
NSH 1507 |
Mihai Budiu |
NanoFabrics: Spatial Computing using Molecular Electronics |
| 27/04/01 |
NSH 1507 |
Aleksandar Nanevski |
Automatic Generation of Staged Geometric Predicates |
| 04/05/01 |
NSH 1507 |
Robert O'Callahan |
Shadow of the Lizard: Open Problems Inspired By The Mozilla Project |
| 11/05/01 |
NSH 1507 |
Brigitte Pientka |
Verifying the Termination of Programs |
| 18/05/01 |
NSH 1507 |
Belinda Thom |
BoB: An Improvisational Music Companion |
| 07/09/01 |
WeH 4615 |
Jun Gao |
Securing Programmable Routers with Access Control |
| 28/09/01 |
WeH 4623 |
Takahide Matsutsuka |
A Web-Tier Framework for Enterprise Business Applications |
| 26/10/01 |
WeH 4623 |
Martin Zinkevich |
Online Algorithms for Market Clearing |
| 09/11/01 |
WeH 4623 |
Bianca Schroeder |
Improving Performance of Web Servers Under Overload |
| 16/11/01 |
WeH 4623 |
Bridget Spitznagel |
Applying Connector Transformations |
| 30/11/01 |
WeH 4623 |
Dennis Strelow |
Extending Shape-from-Motion to Noncentral Omnidirectional Cameras |
| 07/12/01 |
WeH 4623 |
Katherine Larson |
Auctions with Computationally Limited Bidding Agents |
| 22/02/02 |
NSH 1507 |
Ke Yang |
On the (Im)possibility of Obfuscating Programs |
| 01/03/02 |
NSH 1507 |
Shuchi Chawla |
An Optimal Algorithm for the List Update Problem |
| 08/03/02 |
NSH 1507 |
Dan Bohus |
Detecting Misunderstandings in the CMU Communicator Spoken Dialog System |
| 15/03/02 |
NSH 1507 |
Hakan Younes |
Probabilistic Verification of Discrete Event Systems |
| 22/03/02 |
WeH 4615A |
Elly Winner |
Learning Templates for Efficient Planning |
| 29/03/02 |
NSH 1507 |
Thomas Kang |
Hiasynth: Human-In-Action Synthesis |
| 12/04/02 |
NSH 1507 |
Sanjit Seshia |
Modular Verification of Multithreaded Software |
| 19/04/02 |
NSH 1507 |
Urs Hengartner |
Detection and Analysis of Routing Loops in the Internet |
| 26/04/02 |
NSH 1507 |
Nikhil Bansal |
Correlation Clustering |
| 03/05/02 |
NSH 1507 |
Derek Dreyer |
What is a Module System? |
| 10/05/02 |
NSH 1507 |
Shimin Chen |
Improving Index Performance through Prefetching |
| 07/06/02 |
NSH 1507 |
Ted Wong |
My cache or yours? Making storage more exclusive |
| 30/08/02 |
NSH 1507 |
Rune Jensen |
How to Speed Up Heuristic Search with Reduced Ordered Binary Decision Diagrams |
| 27/09/02 |
NSH 1507 |
Antonia Zhai |
Compiler Optimization of Scalar Value Communication Between Speculative Threads |
| 18/10/02 |
NSH 1507 |
Monica Rogati |
Unsupervised Learning of Arabic Stemming using a Parallel Corpus |
| 25/10/02 |
NSH 1507 |
Nicholas Hopper |
Steganography: Undercover Cryptography |
| 01/11/02 |
NSH 1507 |
Alexander Gray |
High-Dimensional Nearest-Neighbor Location: Statistics, Geometry and Algorithms (talk cancelled) |
| 08/11/02 |
NSH 1507 |
Sungwoo Park |
A Calculus for Probabilistic Languages |
| 22/11/02 |
NSH 1507 |
Adam Wierman |
Understanding the Slowdown of Large Jobs in an M/GI/1 System |
| 07/02/03 |
NSH 1507 |
Brigitte Pientka |
Overcoming Performance Barriers: Efficient Proof Search in Logical Frameworks |
| 14/03/03 |
NSH 1507 |
Kay Sripanidkulchai |
Efficient Content Location Using Interest-Based Locality in Peer-to-Peer Systems |
| 21/03/03 |
WeH 5409 |
Lucian Lita |
Truecasing |
| 04/04/03 |
NSH 1507 |
Desney Tan |
Physically Large Displays Improve Spatial Performance |
| 18/04/03 |
NSH 1507 |
Alexander Gray |
Statistics, Geometry, and the Cosmos |
| 25/04/03 |
NSH 1507 |
Weng-Keen Wong |
Early Disease Outbreak Detection |
| 02/05/03 |
WeH 4623 |
Glenn Judd |
Providing Contextual Information to Pervasive Computing Applications |
| 09/05/03 |
NSH 1507 |
Patrick Riley |
SPADES --- System for Parallel Agent, Discrete Event Simulation |
| 19/09/03 |
NSH 1507 |
Jernej Barbic |
Mesh generation and Delaunay-based meshes |
| 03/10/03 |
NSH 1507 |
Yang-hua Chu |
Deployment Experience with an Overlay-based Internet Broadcasting System |
| 24/10/03 |
NSH 1507 |
Takayuki Osogami |
Analysis of cycle stealing with switching cost |
| 31/10/03 |
NSH 1507 |
Sagar Chaki |
Two-level Counterexample Guided Abstraction Refinement |
| 07/11/03 |
NSH 1507 |
Vincent Conitzer |
Expressive Negotiation over Donations to Charities |
| 14/11/03 |
NSH 1507 |
Rajesh Balan |
Tactics-Based Remote Execution for Mobile Computing |
| 21/11/03 |
NSH 1507 |
Brendan McMahan |
Efficient Planning in Cost-Paired Markov Decision Process Games |
| 05/12/03 |
NSH 1507 |
Kedar Dhamdhere |
Closet Metric Problems |
| 20/02/04 |
NSH 1507 |
Sanjay G. Rao |
The Case for End System Multicast |
| 12/03/04 |
NSH 1507 |
Dan Blandford |
Compact Representations of Ordered Sets |
| 19/03/04 |
NSH 1507 |
Jun Gao |
A Scalable Peer-to-Peer Content Discovery System Supporting Complex Queries |
| 09/04/04 |
NSH 1507 |
Dan Blandford |
Compact Representations of Ordered Sets |
| 23/04/04 |
NSH 1507 |
Ting Liu |
The IOC algorithm: Efficient Many-Class Non-parametric Classification for High-Dimensional Data |
| 30/04/04 |
NSH 1507 |
Murali Talupur |
An Efficient Decision Procedure for Separation Logic |
| 07/05/04 |
NSH 3305 |
Ning Hu |
Polyphonic Audio Matching and Alignment |
| 07/05/04 |
WeH 4623 |
Mark Fuhs |
The Mixture Modeling Theory of Hippocampal Place Cell Remapping |
| 03/09/04 |
WeH 4601 |
Pedro V. Artigas |
Bridging the gap between Software and Hardware Compilation |
| 17/09/04 |
WeH 4601 |
Hyang-Ah Kim |
Autograph: Toward Distributed, Automated Worm Signature Detection |
| 24/09/04 |
WeH 4601 |
Amit Manjhi |
Finding Frequent Items in Distributed Data Streams |
| 01/10/04 |
WeH 4601 |
Yan Ke |
An Efficient Parts-based Near-duplicate and Sub-image Retrieval System |
| 29/10/04 |
WeH 4601 |
Ningning Hu |
Available Bandwidth Measurement Using Packet Train Probing |
| 05/11/04 |
WeH 4601 |
Yinglian Xie |
Seurat: A Pointillist Approach to Anomaly Detection |
| 19/11/04 |
WeH 4601 |
Alina Oprea |
Space-Efficient Block Storage Integrity |
| 03/12/04 |
WeH 4601 |
Suman Nath |
Synopsis Diffusion for Robust Aggregation in Sensor Networks |
| 14/01/05 |
NSH 1507 |
Maxim Likhachev |
Anytime A* Search with Provable Bounds on Sub-Optimality |
| 04/02/05 |
NSH 1507 |
Stefan Niculescu |
Parameter Related Domain Knowledge for Learning in Bayesian Networks |
| 11/02/05 |
NSH 1507 |
Sanjit Seshia |
Boolean Methods for Arithmetic Reasoning |
| 18/02/05 |
NSH 1507 |
Murali Talupur |
Verification by Network Decomposition |
| 25/02/05 |
NSH 1507 |
Anubhav Gupta |
SAT-based Abstraction Refinement |
| 11/03/05 |
NSH 1507 |
Dave Koes |
A Progressive Register Allocator for Irregular Architectures |
| 18/03/05 |
WeH 4623 |
Joao Pedro Sousa |
Scaling Task Management in Space and Time |
| 25/03/05 |
NSH 1507 |
Chengwen Chris Wang |
Multi-Splay Trees |
| 08/04/05 |
NSH 1507 |
Minglong Shao |
Clotho: decoupling memory page layout from storage organization |
| 22/04/05 |
NSH 1507 |
Rob Reeder |
User Interface Dependability through Goal-Error Prevention |
| 29/04/05 |
NSH 1507 |
Lucian Vlad Lita |
Data-Driven Question Answering |
| 06/05/05 |
NSH 3305 |
Joshua Dunfield |
Applying Type Refinements |
| 13/05/05 |
NSH 1507 |
Anton Likhodedov |
Boosting Seller's Revenue in Combinatorial Auctions |
| 20/05/05 |
NSH 1305 |
Jonathan W. Moody |
A Type Theory for Distributed Programming |
| 16/09/05 |
NSH 1507 |
Anton Likhodedov |
Boosting Seller's Revenue in Combinatorial Auctions |
| 23/09/05 |
NSH 3305 |
Andrew G. Gilpin |
Finding Equilibria in Large Sequential Games of Imperfect Information |
| 30/09/05 |
NSH 1507 |
Ben Rister |
Managing Scale and Dynamism in Claytronics |
| 07/10/05 |
NSH 1507 |
Tom Murphy |
What Is Modal Logic and What Is It Good for? |
| 14/10/05 |
NSH 1507 |
Jia Yu (Tim) Pan |
ViVo: Visual Vocabulary Construction for Mining Biomedical Images |
| 21/10/05 |
NSH 1507 |
Aleksey Kliger |
A Monadic Analysis of Information Flow Security with Mutable State |
| 28/10/05 |
NSH 1507 |
Srinath Sridhar |
Reconstructing Evolutionary Trees Optimally |
| 04/11/05 |
NSH 1507 |
Mike De Rosa |
Scalable Shape Sculpting via Hole Motion: Motion Planning for Claytronics |
| 11/11/05 |
NSH 1507 |
Shobha Venkataraman |
New Streaming Algorithms for Fast Detection of Superspreaders |
| 18/11/05 |
WeH 4625 |
Himanshu Jain |
Predicate Abstraction and Refinement for Verifying Hardware Designs |
| 09/12/05 |
NSH 1507 |
Matt Streeter |
Extreme Value Theory and the Max k-Armed Bandit Problem |
| 20/01/06 |
NSH 1507 |
Rose Hoberman |
Conserved spatial patterns in genomes: signal or noise? |
| 03/02/06 |
NSH 1507 |
Kaustuv Chaudhuri |
Focused Forward Proof Search in Linear Logic |
| 10/02/06 |
NSH 1507 |
Lucian Vlad Lita |
Adaptable Automatic Evaluation Metrics for Machine Translation |
| 17/02/06 |
NSH 1507 |
Andreas Krause |
Near-optimal Sensor Placements: Maximizing Information while Minimizing Communication Cost |
| 24/02/06 |
NSH 1507 |
Haowen Chan |
Using Regularity in One-Hop Clustering for Sensor Network Localization |
| 24/03/06 |
NSH 1507 |
Jimeng Sun |
SPIRIT: Streaming Pattern Discovery : methods and applications |
| 31/03/06 |
NSH 1507 |
Paul Reitsma |
Evaluating Expected Character Performance in Data-Driven Animation |
| 07/04/06 |
NSH 1507 |
Khalid El-Arini |
Autonomous Visualization |
| 14/04/06 |
NSH 1507 |
Christopher Twigg |
Browsing Simulation Options |
| 28/04/06 |
NSH 1507 |
Jonathan Moody |
Mobility and Locality Types for Distributed Programming |
| 05/05/06 |
NSH 1507 |
Susmit Sarkar |
Certified Computation |
| 12/05/06 |
NSH 1507 |
Kevin Bowers |
Consumable Credentials in Logic-Based Access Control |
| 26/05/06 |
NSH 1507 |
Jason Reed |
From Adequate Proofs to Efficient Proofs |
| 13/10/06 |
NSH 1507 |
Haowen Chan |
Secure Hierarchical In-network Aggregation for Sensor Networks |
| 03/11/06 |
NSH 1507 |
Daniel Lee |
Machine-Checked Proofs about Full-Scale Programming Languages |
| 10/11/06 |
NSH 1507 |
Stephen Magill |
Combining Shape Analysis and Arithmetic Reasoning |
| 17/11/06 |
NSH 1507 |
Jeffrey Stylos |
Making APIs More Usable through Studies of API Design Choices |
| 01/12/06 |
NSH 1507 |
Francisco Pereira |
Beyond Brain Blobs: machine learning classifiers as instruments for analyzing fMRI data |
| 08/12/06 |
NSH 1507 |
Jimeng Sun |
Incremental Pattern Discovery on Tensor Streams |
| 02/02/07 |
NSH 1507 |
Nikos Hardavellas |
Database Servers on Chip Multiprocessors: Limitations and Opportunities |
| 09/02/07 |
NSH 1507 |
Carol Frieze |
Culture and Environment as Determinants of Women's Participation in Computer Science |
| 16/02/07 |
NSH 1507 |
Pratyusa K. Manadhata |
An Attack Surface Metric |
| 23/03/07 |
NSH 1507 |
Yang Gu |
Tactic-Based Motion Modeling and Multi-Sensor Tracking |
| 30/03/07 |
NSH 1507 |
Dan Wendlandt |
Surviving BGP Attacks: Don't Secure Routing, Secure Data Delivery |
| 06/04/07 |
NSH 1507 |
Sean McLaughlin |
Proof Producing Algorithms |
| 13/04/07 |
WeH 5409 |
Daniel Spoonhower |
Reasoning About the Performance of Parallel Programs |
| 20/04/07 |
WeH 5409 |
Manfred Lau |
Animating Virtual Characters with Motion Planning Techniques |
| 27/04/07 |
NSH 1507 |
Laura Hiatt |
Towards Probabilistic Plan Management |
| 04/05/07 |
NSH 1507 |
Yan Karklin |
Encoding Probability Distributions in the Visual Cortex of the Brain |
| 11/05/07 |
NSH 1507 |
Rebecca Hutchinson |
Hidden Process Models for Analyzing fMRI Data |
| 07/09/07 |
NSH 1507 |
Elaine Shi |
Multi-Dimensional Range Query over Encrypted Data |
| 28/09/07 |
NSH 1507 |
Manfred Lau |
Face Poser: Interactive Modeling of 3D Facial Expressions Using Model Priors |
| 05/10/07 |
NSH 1507 |
Justin Weisz |
What Can YouTube Learn From Mystery Science Theatre 3000? |
| 26/10/07 |
NSH 1507 |
Jeff Pang |
Making Local Service Discovery Confidential with Tryst |
| 02/11/07 |
NSH 1507 |
Donna Malayeri |
Combining Structural Subtyping and External Dispatch |
| 09/11/07 |
WeH 4623 |
Yong Lu |
Identifying Cycling Genes by Combining Sequence Homology and Expression Data |
| 16/11/07 |
NSH 1507 |
Doru Balcan |
Characterization of Robust Linear Coding Solutions |
| 30/11/07 |
NSH 1507 |
Nikos Hardavellas |
R-NUCA: Data Placement in a Distributed Shared Cache |
| 07/12/07 |
NSH 1507 |
Ruy Ley-Wild |
Compiling Self-Adjusting Programs |
| 18/01/08 |
Wean 4623 |
Ashwin Bharambe |
Distributed Arcthitectures for Online Multiplayer Games |
| 22/02/08 |
NSH 1507 |
Nikos Hardavellas |
R-NUCA: Data Placement in a Distributed Shared Cache |
| 29/02/08 |
NSH 1507 |
Yong Lu |
Identifying Cell Cycle Genes by Combining Sequence Data and Expression Data |
| 21/03/08 |
NSH 1507 |
Kevin Killourhy |
Toward Realistic and Artifact-Free Insider-Threat Data |
| 04/04/08 |
NSH 1507 |
Vyas Sekar |
cSamp: A System for Network-Wide Flow Monitoring |
| 18/04/08 |
Wean 5409 |
Kami Vaniea |
An Empirical Study of a Smartphone-Based Access-Control System |
| 25/04/08 |
NSH 1507 |
Jason Franklin |
Modeling and Analysis of Networked Secure Systems |
| 02/05/08 |
NSH 1507 |
Terrill Frantz |
ORA: Software for Dynamic Network Analysis |
| 09/05/08 |
Wean 4623 |
Robert J. Simmons |
Test The Program, Test The Abstraction, Make It Better, Prove It Right |