Researchchannel - Videos from Microsoft Research
  Programs A to Z Premieres Webcast Schedule Where to Watch Contact Us Help
      Learn How to Watch ResearchChannel  
Programming Home > Browse by Institution >

Microsoft Research

Microsoft Research In 1991, Microsoft Corp. became the first software company to create its own computer science research organization. Microsoft Research (MSR) has developed into a unique entity among corporate research labs, balancing an open academic model with an effective process for transferring its research to product development teams. Microsoft recognizes that to create the foundation for future technology breakthroughs, it is necessary to support long-term computer science research that is not bound by product cycles. Today, the world-renowned scientists of Microsoft Research make up one of the largest, fastest-growing and most highly respected software research organizations in the world — one that will help define and redefine the computing experience for millions of people for decades to come.



Programs from this Institution:

(4,4)-Split Jacobians of Curves of Genus 2
Nils Bruin, professor, Mathematics, Simon Fraser University (BC, Canada)
April 23, 2009
(Computational) Linguistics and the Web: Hot research questions
Henry S. Thompson, Ph. D., Reader in Artificial Intelligence and Cognitive Science, School of Informatics, University of Edinburgh
9/28/2007
1. Vision: Extraordinary Computing Experiences & 2. Robots for the Masses: Fiction or Reality
Paolo Pirjanian, chief scientist, Evolution Robotics, Inc
October 6, 2004
10 Rules for Strategic Innovators
Vijay Govindarajan and Chris Trimble
December 15, 2005
15 Years of Research in Technology for the Classroom
Miguel Nussbaum, professor, Computer Science, School of Engineering, Catholic University of Chile
June 29, 2009
2D, 3D and Surface Texture Analysis and Synthesis
Yizhou Yu, Department of Computer Science, University of Illinois at Urbana-Champaign
May 11, 2005
3D Object Localization and Shape Matching
Radu Horaud, director, Research, INRIA Grenoble Rhône-Alpes, France
July 17, 2008
50/50 by 2020 -- Living Anita's Vision and the Importance of Gender Equity in Technology
Dr. Telle Whitney, President and CEO, Anita Borg Institute for Women and Technology
August 11, 2004
60 GHz Single-Chip CMOS Digital Radios and Phased Array Solutions for Gaming and Connectivity
Dr. Joy Laskar, M.S., Ph.D., Schlumberger chair, Microelectronics, School of Electrical and Computer Engineering, Georgia Tech
July 13, 2009
802.11i Security Analysis: Can We Build a Secure WLAN?
Changhua He, Ph.D student, Stanford University
March 24, 2005
A Brief Synopsis of Recent Research at Multimedia Communications and Systems Lab
Professor Mihaela van Schaar, Yi Su and Fangwen Fu
May 13, 2009
A CLP Approach to Modelling Systems
Joxan Jaffar, Singapore National University
November 15, 2004
A Combinatorial Characterization of the Testable Graph Properties: It's All About Regularity
Asaf Shapira, Ph.D. candidate, School of Computer Science, Tel Aviv University
January 27, 2006
A Component Language for Structured Concurrent Programming
Luc Bläser, independent software consultant, Switzerland
September 29, 2008
A Compositional Method for Verifying Software Transactional Memory
Serdar Tasiran, Ph.D.
4/8/2008
A Crowd of One: The Future of Individual Identity
John Henry Clippinger, senior fellow, Berkman Center for Internet & Society, Harvard Law School
April 24, 2007
A Cryptographic Compiler for Information-Flow Security
Cedric Fournet, Programming Principles and Tools, Microsoft Research, Cambridge, UK
October 22, 2008
A Dirty-Slate Approach to Routing Scalability
Hitesh Ballani, Ph.D. student, computer science, Cornell University
April 13, 2009
A Dive into the Panorama Business
Alexandre Jenny, founder and CEO, Kolor
August 11, 2009
A Dynamic Pari-Mutuel Market for Hedging, Wagering, and Information Aggregation
A Family of License Languages
Dines Bjorner, Professor, Author
2/25/2008
A Framework for Combined Bayesian Analysis and Optimization for
Afsaneh Shirazi, PhD student, Department of Computer Science, University of Illinois at Urbana-Champaign
July 30, 2009
A Framework for Runtime Verification of Concurrent Programs
A Framework for Unrestricted Whole-Program Optimization
A Frequency Analysis of Light Transport
A Game Developer's Perspective On Parallelism
Andrew Brownsword, EA BlackBox
8/22/2007
A General Linear Camera Model with Applications
A Grand Challenge on Network Information Theory
Jeffrey G. Andrews, Ph. D., Professor, Department of Electrical and Computer Engineering, University of Texas at Austin
8/21/2007
A High-Level Fusion Method to Fuse Disparate High-Resolution Airborne Sensor Date for Change-Detection Application
A Large-Margin Framework for Learning Structured Prediction Models
A Learning-based Approach to Summarization
A Life Decoded: My Genome, My Life
J. Craig Venter, founder, chairman and president, J. Craig Venter Institute
November 16, 2007
A Low-Level Approach to Reuse for Programming-Language Infrastructure
A Lower Bound for Cooperative Broadcast in the Presence of Noise
A Marriage of Rely/Guarantee and Separation Logic
Matthew Parkinson, Royal Academy of Engineering and EPSRC Research Fellow, University of Cambridge's Computer Lab
June 30, 2008
A Multi-Corpus Evaluation of Dynamic Markov Coding for Spam Filtering
Gordon V. Cormack, professor, Computer Science, University of Waterloo
April 3, 2006
A Novel Approach to Sequence Analysis Using Assign-SBTTM Software Improves Heterozygous Base Calling: Implications for Re-sequencing, SNP detection and SNP scoring
A P-Adic Algorithm to Compute the Hilbert Class Polynomial
Reinier Broker, Ph.D., University of Calgary
January 29, 2007
A Passion for Calendars -- From the Maya to Mars
Nachum Dershowitz, Professor, Computer Science, Tel Aviv University
6/14/2007
A Programming Language for the New Web
Shriram Krishnamurthi, associate professor, Computer Science, Brown University
June 4, 2009
A Real-World Test-bed for Mobile Ad hoc Networks: Methodology, Experimentations, Simulation and Results.
Per Gunningberg, Ph. D., Professor, Computer Communication, Uppsala University
6/25/2007
A Research Program Proposal--Universal Cache Miss Equations for the Memory Hierarchy
Y.C. Tay, PhD, professor, Departments of Mathematics and Computer Science, National University of Singapore
June 12, 2009
A Rewriting Logic Sampler
Jose Meseguer, Ph.D., professor, Computer Science, University of Illinois at Urbana-Champaign (UIUC)
August 21, 2006
A Rigorous Perspective on Liouville Quantum Gravity and KPZ
Bertrand Duplantier, research director, Institut de Physique Théorique, CEA-Saclay
August 28, 2009
A Sample of Monte Carlo Methods in Robotics and Vision
A Search Engine for Natural Language Applications
A Search Engine for the Real World, or, A Top-Down Approach to Vision
Kevin Murphy, University of British Columbia
August 11, 2006
A Simple Solution to the $k$-core Problem
Malwina Luczak, Ph.D., Department of Mathematics, London School of Economics
December 7, 2006
A Spoken Language Interpretation Component for a Robot Dialogue System
Ingrid Zukerman, PhD, professor, Computer Science, Monash University
July 2, 2009
A Systemic Approach to Appraisal: Identifying Opinion and Sentiment in Text
A Unification of Menger's and Edmonds' Theorems and Network Coding Theorems
A Variant of Lehmer's Conjecture
Kumar Murty, Ph.D., professor, Mathematics, University of Toronto
February 27, 2007
A Virtualization Architecture for Wireless Network Cards
A Voice-Enabled Procedure Navigator for the International Space Station
A World Filled With Cameras: Security at the Cost of Freedom? Or Can We Have Both?
ABC-MART: Recent Improvements in Boosting, Trees and Classification Algorithms
Ping Li, Ph.D., assistant professor, Cornell
May 18, 2009
Abducted: How People Come to Believe They Were Kidnapped By Aliens
Susan Clancy, postdoctoral fellow, Psychology, Harvard University
November 17, 2005
Abelian surfaces with a given number of points
Peter Stevenhagen, professor of mathematics, Universiteit Leiden
March 10, 2009
Abstraction Methods for Liveness
Amir Pnueli, Professor of Computer Science, Courant Institute of Mathematical Sciences, New York University
1/14/2008
Abstractions for event-driven design
Bertrand Meyer, Professor, Software Engineering, ETH Zurich, Chief Architect, Eiffel Software
2/07/2008
Accelerated Democracy: How Technology Might Change Voting
Jason Tester, co-founder, Stanford Persuasive Technology Lab
October 12, 2004
Accelerating Architectural-Level Full-System Multiprocessor Simulations Using FPGAs
Eric Chung, PhD student (2007), Electrical and Computer Engineering, Carnegie Mellon University
October 24, 2007
Acoustic Analysis and Modeling of Pathological Voices
Benedito Guimarães Aguiar Neto, Ph.D., full professor, Academic Unit of Electrical Engineering, Federal University of Campina Grande (UFCG)
November 19, 2007
Acoustic Signal Processing for Next-Generation Multichannel Human/Machine
Walter Kellermann, professor for communications, Chair of Multimedia Communications and Signal Processing, University of Erlangen-Nuremberg, Germany
September 19, 2008
Adaptation=Vulnerability under RoQ Attacks
Mina Guirguis, Ph.D. candidate, research fellow, Department of Computer Science, Boston University
May 11, 2006
Addressing the Memory Bottleneck in Packet Processing Systems
Jayaram Mudigonda, Ph.D., post doctoral fellow, Computer Sciences, University of Texas
May 1, 2006
Advances in P2P Live Video Streaming
Keith W. Ross, Leonard J. Shustek Chair Professor, Computer Science, Polytechnic Institute of NYU
June 4, 2009
Advances in the CM Method for Elliptic Curves
Francois Morain, professor, École Polytechnique, France
April 22, 2009
Advancing Women in Science and Engineering at the University of Michigan
Abigail Stewart, Psychology and Women's Studies, University of Michigan
May 26, 2005
Algorithmic Analysis of Infinite-State Concurrent Systems
Naghmeh Ghafari, Ph.D., visiting scholar, Integrated System Design Lab, University of British Columbia
June 29, 2009
Algorithmic Foundations of P2P and Wireless Networks: Scheduling Complexity, Selfishness, and Evil Attacks
Thomas Moscibroda, Ph.D. candidate, Computer Science, ETH Zurich, Switzerland
April 19, 2006
Algorithmic Performance in Complex Networks
Milena Mihail, Ph.D., associate professor, College of Computing, Georgia Tech
November 6, 2006
Algorithms for Data Management and Migration
Samir Khuller, Ph.D., professor and associate chair, Department of Computer Science, University of Maryland
June 22, 2006
All Rise: Somebodies, Nobodies and the Politics of Dignity
Robert Fuller, Ph.D., author
July 20, 2006
America in the King Years, 1965 - 1968
Taylor Branch, author
February 21, 2006
American Vulgar: The Politics of Manipulation Versus the Culture of Awareness
Robert Grudin, Ph.D., author
October 3, 2006
An Abstract Decision Procedure for Algebraic Data Types
Clark Barrett, Ph.D., New York University
November 6, 2006
An Axiomatic Approach to Ranking Systems
Moshe Tennenholtz, professor, Industrial Engineering and Management, Technion
February 15, 2007
An Empirical Analysis of Rate Limiting Mechanisms to Contain Internet Worms
An Examination of User Behaviour During Web Information Tasks
Melanie Kellar, recently completed PhD, Faculty of Computer Science, Dalhousie University
April 17, 2007
An Interface to Support Multi-faceted Information Seeking and Targeted Relevance Feedback
David Harper, research professor, School of Computing, The Robert Gordon University
April 12, 2006
An Introduction to Chapel: Cray Cascade's High-Productivity Language
An Overview of Recent CMU Research on Model-Based Face Processing
Analysis of Multiagent Teams using Distributed POMDPs
Ranjit Nair, Ph.D. candidate, University of Southern California
May 27, 2004
Analyzing Metabolomics Data for Automated Prediction of Underlying Biological Mechanisms
Gultekin Ozsoyoglu, professor, Department of Electrical Engineering and Computer Science, Case Western Reserve University
July 17, 2008
Analyzing Mobile Ad Hoc Network Protocols via Probabilistic Model Checking
Marta Kwiatkowska, School of Computer Science, University of Birmingham; Midlands e-Science Centre of Excellence in Modelling and Analysis of Large Complex Systems
April 26, 2005
Anansi Boys and Mirrormask
Neil Gaiman, author
October 4, 2005
And Then There's This: How Stories Live and Die in Viral Culture
Bill Wasik, senior editor, Harper's magazine
June 17, 2009
Animating the Dead: Computational Necromancy with Reinforcement Learning
Bill Smart, assistant professor, computer science, Washington University in St. Louis
October 13, 2008
Anomalous Diffusion and Polya Recurrence
Domokos Szász, Mathematical Institute of the Budapest, University of Technology
June 16, 2004
Anomaly Detection in Large Networks using Approximation Techniques
Nina Taft, Senior Research Scientist, Intel Research Berkeley
10/1/2007
Anonymity in Peer-to-Peer Systems
Nikita Borisov, Ph.D. student at UC Berkeley
May 2, 2005
AOP for Distributed and Concurrent Applications
Mario Suedholt, Ph.D., associated professor, Computer Science, Ecole des Mines de Nantes, France
October 30, 2006
Applications of Approximate Inference Techniques for Optimal Design in Self-Assembly and Automated Programming
Vladimir Jojic, Ph.D. candidate, Computer Science, University of Toronto
March 22, 2006
Applications of First-Order Integer Arithmetic to the Verification of Programs with Lists
Radu Iosif, Ph.D., French National Research Center (CNRS); full-time researcher, Verimag laboratory (Grenoble, France)
August 22, 2006
Applied Nonparametric Bayes and Statistical Machine Learning
Michael Jordan, University of California, Berkeley
March 29, 2005
Applying Data Mining Techniques to Computer Systems
Zhenmin Li, Ph.D. candidate, Computer Science, University of Illinois at Urbana-Champaign
March 9, 2006
Approximability of the Unique Coverage Problem
Mohammad R. Salavatipour, Ph.D., Department of Computing Science, University of Alberta
August 18, 2005
Approximate Inference Techniques for Identity Uncertainty
Hanna Pasula, Ph.D., research associate, Computer Science, University of Washington
July 6, 2006
Approximation Algorithms for Discrete Stochastic Optimization Problems
David Shmoys, Professor of Operations Research and Information Engineering as well as of Computer Science, Cornell University
1/17/2008
Approximation Algorithms for Embedding with Extra Information and Ordinal Relaxation
Erik Demaine, assistant professor, computer science, MIT
August 26, 2004
Approximation Algorithms for Unique Games
Yury Makarychev, graduate student, Princeton University
January 31, 2007
Are Aspects Really Needed For Aspect-Oriented Programming?
Kevin Sullivan, associate professor, VEF Faculty Fellow, Computer Science, University of Virginia
May 6, 2005
Are You Ready to Succeed?: Unconventional Strategies to Achieving Personal Mastery in Business and Life
Dr. Srikumar Rao, Louis and Johanna Vorzimer professor, Marketing, C.W. Post Campus, Long Island University; visiting professor, London Business School; adjunct professor, Columbia Business School
May 25, 2006
ASM View of Abstract Cryptography
Davor Runje
January 25, 2005
Assertion-driven Error Recovery
Sarfraz Khurshid, assistant professor, Electrical and Computer Engineering Department, University of Texas at Austin
June 23, 2008
Asymptotic Enumeration of Spanning Trees via Traces and Random Walks
Russell Lyons, Indiana University
May 24, 2004
Atomics for a Real-time Virtual Machine
Jan Vitek, Purdue University
January 24, 2006
Attack-Resistant Algorithms for Massive Networks
Jared Saia, Ph.D., assistant professor, University of New Mexico
August 14, 2006
Attacks On and From P2P File-Sharing Systems
Keith Ross, Ph.D., Leonard J. Shustek Chair professor, Computer Science, Polytechnic University
September 1, 2006
Attribute-Based Security and Messaging
Carl Gunter, Head, Systems and Networking Area, Department of Computer Science, UIUC
Audio Cameras for Audio-Visual Scene Analysis
Ramani Duraiswami, PhD, associate professor, Department of Computer Science, Institute for Advanced Computer Studies, University of Maryland, College Park
June 3, 2009
Augmented Social Cogniton: Using Social Web technology to enhance the ability of groups to remember, think, and reason
Ed H. Chi, area manager,senior research scientist, Palo Alto Research Center's Augmented Social Cognition Group
May 4, 2009
Automated Assume-Guarantee Verification
Corina Pãsãreanu, Ph.D., research scientist, NASA Ames Research Center, Robust Software Engineering Group
July 21, 2008
Automated Reconstruction of 3D City Models from Laser Scans and Camera Images
Christian Frueh, Ph.D., University of California at Berkeley
February 9, 2005
Automated Revision of Distributed and Real-Time Programs
Borzoo Bonakdarpour, Ph.D. Candidate, Computer Science, Michigan State University
3/07/2008
Automated Termination Analysis of Programs using Term Rewriting
Peter Schneider-Kamp, Researcher, RWTH Aachen University, Aachen, Germany
1/31/2008
Automated Testing of Refactoring Engines Using Test Abstractions
Darko Marinov, Assistant Professor, Department of Computer Science, University of Illinois at Urbana-Champaign
November 10, 2008
Automatic Facial Expression Analysis
Dr. Ying-Li Tian, associate professor, Electrical Engineering Department, The City College of the City University of New York (CCNY)
June 16, 2009
Automatic Failure Diagnosis in Large-Scale Systems
Alice X. Zheng, Ph.D. candidate, UC Berkeley
November 22, 2004
Automatic Identification and Classification of Protein Domains
Elon Portugaly, Ph.D. student, Hebrew University of Jerusalem
April 18, 2005
Automatic Workload Evaluation (AWE): Predicting Web 2.0 Workload Behavior
Kristal Sauer, second-year graduate studen, RAD Lab, UC Berkeley
May 5, 2009
Automatically Finding Patches Using Genetic Programming
Westley Weimer, assistant professor, Computer Science Department, University of Virginia
May 18, 2009
Automatically Proving the Termination of C Programs
Dr. Byron Cook, researcher, Microsoft Research-Cambridge
October 3, 2005
Automating the Construction of Compiler Heuristics using Machine Learning
Mark Stephenson, Ph.D. candidate, Computer Science and Artificial Intelligence Laboratory, MIT
May 9, 2006
Automatizability and Learnability
Mikhail Alekhnovich, Ph.D., member, Institute for Advanced Study
January 20, 2005
Average-Case Analysis for Combinatorial Problems Featuring Subset Sums and Stochastic Spanning Trees
Abraham Flaxman, Ph.D. student, Mathematical Sciences, Carnegie Mellon University
February 1, 2006
Bayesian Inference of Grammars
Prof. Mark Johnson
February 13, 2007
Bayesian infinite matrix factorization
Yuan (Alan) Qi, assistant professor, departments of Computer Science and Statistics, Purdue University
March 31, 2009
Bayesian Methods for Unsupervised Language Learning
Sharon Goldwater, Ph. D., Postdoctoral Scholar, Stanford University
7/16/2007
Bayesian topic models
Tom Griffiths, Assistant Professor, Psychology and Cognitive Science, UC Berkeley
6/11/2007
Because It Is There: Kili the Right Way
Ken Stober, Christi Masi, and Elirehema Peter Lema
August 10, 2004
Behavior-Based Malware Detection
Mihai Christodorescu, doctoral candidate, Computer Science, University of Wisconsin, Madison
April 19, 2007
Behind the Code
Microsoft's most influential technical employees tell their stories.
Belief Updating in Spoken Language Interfaces
Dan Bohus, Ph.D. student, Computer Science Department, Carnegie Mellon University
February 19, 2007
Bergman Complexes, Coxeter Arrangements, and Graph Associahedra
Lauren Williams, final-year math graduate student, MIT
January 18, 2005
Better k-best Parsing, Hypergraphs, and Dynamic Programming
Liang Huang, third year Ph.D. student, University of Pennsylvania
December 7, 2005
Better Multiple Intents Re-ranking
Nikhil Bansal, Ph.D., IBM T.J. Watson Research Center, Algorithms group
September 8, 2009
Beyond Brainstorming: Eight Secrets for Generating Big, Bold, Creative and Profitable Ideas
John Sweeney, motivational speaker and improv comedian
April 19, 2005
Beyond Optimality: New Trends in Network Optimization
Mung Chiang, Ph.D., assistant professor of Electrical Engineering, Princeton University
June 23, 2008
Bilinear Complexity of the Multiplication in a Finite Extention of a Finite Field
Robert Rolland, honorary member, laboratories ERISC and Institut de Mathématiques de Luminy
October 15, 2008
Bill Gates, Warren Buffett and Other Great Minds Show how Creative Capitalism Can Save the World
Michael Kinsley, columnist, Time Magazine
February 19, 2009
Billions: Selling to the New Chinese Consumer
Tom Doctoroff, CEO, Greater China, J. Walter Thompson
March 16, 2006
Biomal Human Emotion Recognition and Peer Steaming Projects at Ryerson Multimedia Research Lab
Ling Guan, Electrical and Computer Engineering, Ryerson University, Canada
January 17, 2005
BitTube: Case Study of a Web-based Peer-Assisted Video-on-Demand (VoD) System
Dr. Yi Cui, assistant professor, Department of Electrical Engineering and Computer Science, Vanderbilt University
June 9, 2008
Blink: The Power of Thinking Without Thinking
Malcolm Gladwell, staff writer, The New Yorker Magazine
January 21, 2005
Block Switching: Towards a Robust Protocol Stack for Diverse Wireless Networks
Arun Venkataramani, PhD, assistant professor, Department of Computer Science, University of Massachusetts Amherst
June 3, 2009
Blog Reading and Blog Readers: Tools and Practices
Eric Baumer, Ph.D. candidate, Department of Informatics, School of Information and Computer Sciences, University of California, Irvine
May 8, 2008
Body for Life for Women
Pamela M. Peeke, M.D., M.P.H., F.A.C.P, nutritionist; author
October 13, 2005
Boosting Energy-Efficiency, Performance, and Fault-Tolerance by Leveraging Unused System Resources
Hai Huang, Ph.D. candidate, Electrical Engineering and Computer Science, University of Michigan
March 20, 2006
Brain Computer Interface Systems: Progress and Opportunities
Brendan Allison, Ph.D., research associate, Cognitive Electrophysiology Lab, The Scripps Research Institute
June 26, 2006
Brain in a Bottle, Structure and Algorithms
Dr. Seth Copen Goldstein, Ph.D., faculty, Carnegie Mellon University
July 30, 2008
Brazil: After Neo-Liberalism
Jonathan Warren
March 30, 2006
Breaking Development Barriers with "Better Than Worst-Case" Design
Todd Austin, associate professor, Electrical Engineering and Computer Science, University of Michigan
December 12, 2006
Breaking the Frame: Novel Strategies for Interactive Computer Graphics
Benjamin Watson and David Luebke
July 20, 2004
Bridging Art and Architecture: How Emergent Digital Media Have Transformed Our Landscapes
Christian Moeller, Design/Media Arts, University of California at Los Angeles
January 19, 2005
Bridging Computer Science and Behavioral Science: Research Examples
Joseph A. Konstan, Computer Science and Engineering, University of Minnesota
July 20, 2004
BUFFALO: Bloom Filter Forwarding Architecture for Large Organizations / Accountability in Hosted Virtual Networks
Eric Keller and Minlan Yu
July 8, 2009
Building a Safer Web
Charles Reis, PhD candidate, Department of Computer Science & Engineering, University of Washington
March 12, 2009
Building Better Places -- Second Life, Collaborative Creation, and 5 Missing Pieces
Cory Ondrejka, vice president, Product Development, Second Life
August 17, 2005
Building Mashups by Example
Dr. Craig Knoblock, Ph.D., senior project leader, Information Sciences Institute; research professor, Computer Science, University of Southern California
August 1, 2008
Building Quantitative Models in Software Engineering: Understanding, Predicting, and Controlling Software Quality
Lionel C. Briand, visiting professor, Simula Research Laboratories, Oslo, Norway
March 6, 2006
Building Secure Systems from Buggy Code with Information Flow Control
Nickolai Zeldovich, soon-to-be assistant professor, MIT
June 18, 2008
Building Systems That Enforce Measurable Security Goals
Trent Jaeger, Associate Professor. Computer Science and Engineering Department, Pennsylvania State University; Co-Director, Systems and Internet Infrastructure Security Lab
September 16, 2009
Building Trustworthy Mesh Networks: Why Security and Fault-Tolerance Must Be Considered Together
Cristina Nita-Rotaru, assistant professor, Department of Computer Science, Purdue University
February 13, 2006
Bulldozers, Termites, and Chainsaws: Finding a Gradual Path to Parallelism
Doug Burger, Ph. D., Associate Professor of Computer Sciences, University of Texas at Austin
10/4/2007
Business process changes and technology enhancements to embed collaboration tools into an organization
Patricia Romeo, leader, social networking application D Street, Deloitte LLP
August 13, 2009
Buying In: The Secret Dialogue Between What We Buy and Who We Are
Rob Walker, writer, ?Consumed?, The New York Times Magazine
June 25, 2008
C to FPGA Compilation and Domain-Specific Computing
Dr. Jason Cong, professor and chairman, Computer Science Department, University of California, Los Angeles; co-director, VLSI CAD Laboratory
June 6, 2008
Can Parallel Computing Finally Impact Mainstream Computing?
Uzi Vishkin, member, University of Maryland Institute for Advanced Computer Studies
March 23, 2005
Candidate Talk: A Constraint Solver for Software Engineering: Finding Models and Cores of Large Relational Specifications
Emina Torlak, Ph. D. Candidate, Computer Science MIT
4/10/2008
Candidate Talk: A Discriminative Kernel-based Model to Rank Images from Text Queries
David Grangier, Ph. D. Candidate, Ecole Polytechnique Federale de Lausanne, Switzerland
2/12/2008
Candidate Talk: Accelerating High Performance Computing Applications with Reconfigurable Logic
Yongfeng Gu, PhD candidate, Department of Electrical and Computer Engineering, Boston University
5/29/2007
Candidate Talk: Attacking Bit Torrent Peers: A Measurement Study
Prithula Dhungel, PhD candidate, Polytechnic Institute of NYU
February 6, 2009
Candidate Talk: Building Bodies of Knowledge about Software Development Practices
Dr. Forrest Shull, Senior Scientist, Fraunhofer Center for Experimental Software Engineering, Maryland (FC-MD)
March 12, 2008
Candidate Talk: Building natural language parsers
Mark Johnson, Professor of Cognitive and Linguistic Sciences and Computer Science, Brown University
December 13, 2007
Candidate talk: Computing Nash Equilibria
Constantinos Daskalakis, Ph. D.,
1/18/2008
Candidate Talk: Conversational Turn-Taking as a Dynamic Decision Process
Antoine Raux, PhD candidate, Language Technologies Institute, Carnegie Mellon University's School of Computer Science
September 29, 2008
Candidate Talk: Critical Data Protection for Reliability and Security
Karthik Pattabiraman, PhD candidate, Computer Science, University of Illinois at Urbana-Champaign (UIUC)
March 12, 2008
Candidate Talk: Critical percolation on finite graphs
Asaf Nachmias, Mathematics Ph.D. student, UC Berkeley
1/4/2008
Candidate Talk: Debugging Reinvented: Asking and Answering Why and Why Not Questions about Program Behavior
Andrew Ko, Ph.D. candidate, Human-Computer Interaction Institute, Carnegie Mellon University's School of Computer Science
March 18, 2008
Candidate Talk: Defining and Enforcing Privacy in Data Publishing
Ashwin Machanavajjhala, Ph.D. Candidate, Cornell University's Department of Computer Science
4/24/2008
Candidate Talk: Demystifying Internet Traffic
Kashi V. Vishwanath, Ph.D. Candidate, department of Computer Science, University of California, San Diego
May 5, 2008
Candidate Talk: Developing, Optimizing and Hosting Data Driven Web Applications
Fan Yang, Ph. D. Candidate, Computer Science, Cornell University
4/14/2008
Candidate Talk: Disk Failure: How It Happens And What To Do About It
Candidate talk: Domain Adaptation with Structural Correspondence Learning
John Blitzer, Ph.D. Student, University of Pennsylvania
8/27/2007
Candidate Talk: Dynamics of real networks: patterns and algorithms
Jure Leskovec, Ph. D. Candidate, Machine Learning Department, Carnegie Mellon University
3/17/2008
Candidate Talk: End-to-end Security for Web Applications : A Language-based Approach
Nikhil Swamy, Ph.D. Candidate, University of Maryland, College Park
4/1/2008
Candidate Talk: Enhancing the P racticality and R eachability of Interactive Technology
Johnny Chung Lee, Ph. D Graduate Student, Human-Computer Interaction Institute, Carnegie Mellon University
2/11/2008
Candidate Talk: Exploring Large Social Networks With Matrix-Based Representations
Nathalie Henry, joint Ph.D student, Human Computer Interaction and Information Visualization, Université of Paris-Sud/INRIA, France and the University of Sydney, in Australia
May 15, 2008
Candidate Talk: Extensible Overlay Networks for Stream Processing and Dissemination
Olga Papaemmanouil, Ph.D. Candidate, Computer Science Department, Brown University
4/2/2008
Candidate Talk: Fault Localization in Large-Scale Computing Systems
Naoya Maruyama, Ph.D. Candidate, Tokyo Institute of Technology, Japan
2/12/2008
Candidate Talk: Fighting concurrency bugs
Shan Lu, Ph.D. Candidate, Department of Computer Science, University of Illinois, Urbana-Champaign
4/21/2008
Candidate Talk: Graphical User Interfaces as Updatable Views
James Terwilliger, Computer Science Ph.D. candidate, Portland State University
June 23, 2008
Candidate Talk: Hardware Features Can Undermine Software Security
Francis David, PhD candidate, Department of Computer Science, University of Illinois at Urbana-Champaign
June 2, 2008
Candidate Talk: Helping Moore's Law: Architectural Techniques to Address Parameter Variation
Radu Teodorescu, PhD candidate, Department of Computer Science, University of Illinois at Urbana-Champaign.
May 8, 2008
Candidate Talk: Interaction Design Based on Human Capabilities for Contemporary and Emerging Technologies
Tovi Grossman, Ph.D. Candidate, Dynamic Graphics Project (DGP) laboratory, Department of Computer Science, University of Toronto
4/23/2008
Candidate talk: Knowledge Analysis towards Automatic Question Answering for Discussion Forums
Donghui Feng
3/03/2008
Candidate Talk: Levy Processes and Applications to Machine Learning
Romain Thibaux, Graduate Student, Department of Electrical Engineering and Computer Science, University of California, Berkeley
4/22/2008
Candidate Talk: Matching and 3D Reconstruction in Urban Environments
Branislav Micusik, Ph.D., research scholar, George Mason University
September 15, 2008
Candidate Talk: Model Compression
Candidate Talk: MOSAIC: Unified Platform for Dynamic Overlay Selection and Composition
Yun Mao, Ph.D. Candidate, Department of Computer and Information Science, University of Pennsylvania
3/31/2008
Candidate Talk: Multi-view approaches for camera calibration and image-based modeling
Sudipta Sinha, Ph. D. Student, Computer Science Department, University of North Carolina
4/1/2008
Candidate Talk: New Algorithmic Ideas for Search, Ads, and Recommendations.
Yury Lifshits , Post Doc, Cal Tech
2/08/2008
Candidate Talk: On Best-Response Bidding in Ad Auctions
Ioannis Giotis, Ph.D. Candidate, University of Washington
4/18/2008
Candidate Talk: On the Evaluation and Extraction of Thread-Level Parallelism in Ordinary Programs
Arun Kejariwal, doctoral student, Center for Embedded Computer Systems, University of California, Irvine (UCI)
November 19, 2007
Candidate Talk: Partially Disjunctive Shape Analysis
Roman Manevich, Ph.D. Candidate, Computer Science Department, Tel Aviv University
4/24/2008
Candidate Talk: Power-Aware Platform Design for Wireless Sensor Networks
Dimitrios Lymberopoulos, Ph.D. candidate Department of Electrical Engineering, Yale University
March 20, 2008
Candidate Talk: Predicting Bugs by Analyzing Software History
Sunghun Kim, Ph. D., Postdoctoral Associate, MIT
4/29/2008
Candidate Talk: Query Lower Bounds for Matroids via Group Representations
Nicholas Harvey, Ph.D. Student, Theoretical Computer Science, MIT
1/28/2008
Candidate Talk: Reconfigurable Computing: Architectural and Design Tool Challenges
Ken Eguro, Ph.D. candidate, Department of Electrical Engineering, University of Washington
May 8, 2008
Candidate Talk: Reducing the Risk of Pragmatic Reuse Tasks
Reid Holmes, Ph. D. Candidate, University of Calgary
3/25/2008
Candidate Talk: Reliable Communication for Datacenters
Mahesh Balakrishnan, Ph. D. candidate, Department of Computer Science, Cornell University
4/21/2008
Candidate Talk: Scalable Virtual Machine Multiplexing
Diwaker Gupta, PhD candidate, University of California, San Diego
October 22, 2008
Candidate Talk: Securing the Web With Decentralized Information Flow Control
Maxwell Krohn, Ph. D. Candidate, Computer Science, MIT
3/27/2008
Candidate Talk: Semantic Components: A Model for Enhancing Retrieval of Domain-Specific Information
Dr. Susan Price, Ph. D., Computer Science,Portland State University
4/23/2008
Candidate Talk: Soft Margin Estimation for Automatic Speech Recognition
Jinyu Li , Ph.D. student, School of Electrical and Computer Engineering, Georgia Institute of Technology, Atlanta, U.S
December 4, 2007
Candidate Talk: Software and Architectural Techniques for Cache Leakage Reduction in Nanometer-scale Embedded Systems
Maziar Goudarzi, Ph. D., Guest Associate Professor, System LSI Research Center, Kyushu University, Fukuoka, Japan
4/17/2008
Candidate Talk: Streamroller: A Unified Compilation and Synthesis System for Streaming Applications
Manjunath Kudlur, Ph. D. Candidate, Computer Science and Engineering
4/22/2008
Candidate Talk: TCP and P2P: supporting Internet from layer 4 and layer 7
Shao Liu, Postdoctoral Researcher, Department of Electrical Engineering, Princeton University
4/28/2008
Candidate Talk: Techniques and Tools for Engineering Secure Web Applications
Gary Wassermann, Ph.D. candidate, Computer Science, UC Davis
March 13, 2008
Candidate Talk: The Limiting Shape of Internal DLA with Multiple Sources
Lionel Levine, Ph. D
1/30/2008
Candidate Talk: The Quest for the Minimal Hardness Assumptions
Iftach Haitner, Ph. D. Student, Weizmann Institute of Science
3/21/2008
Candidate Talk: Thread-saft Dynamic Binary Translation Using Transactional Memory
JaeWoong Chung, Ph.D candidate, Department of Electrical Engineering, Stanford University
May 27, 2008
Candidate Talk: Virgil: Objects on the Head of a Pin
Ben L. Titzer, PhD candidate, Computer Science, UCLA
April 25, 2007
Candidate Talk: Why task-structure matters: The effects of task and social forces on coordination in software development
Christopher Poile, Ph.D candidate, Department of Management Sciences, Faculty of Engineering, University of Waterloo, ON, Canada
March 17, 2008
Candidate Talk: ZebraNet and Beyond: Collaboration in Sparse Mobile Networks
Pei Zhang, Ph.D.
4/7/2008
Candidate Talks: Zero Overhead Online Verification of Software Programs and On Range Search in Distributed Sensor Networks
Hong Lu, Ph.D. Candidate, Department of Computer Science, Texas A&M University
May 5, 2008
Capacity and Fairness Issues in Enterprise-class Wireless Mesh Networks
Ashish Raniwala, doctoral candidate, Experimental Computer Systems Lab, State University of New York - Stony Brook
April 26, 2006
Capo: An Operating System Interface for Practical Deterministic Multiprocessor Replay
Samuel King and Josep Torrellas, professors, Computer Science Department, University of Illinois
April 17, 2009
Capture and Recreation of Spatial Audio for HCI and Virtual Reality
Ramani Duraiswami, Computer Science and the Institute for Advanced Computer Studies, University of Maryland
August 24, 2005
Capturing People
Adrian Hilton, professor, Computer Vision & Graphics, University of Surrey, UK
June 12, 2006
Casual Games Discussion
Annakaisa Kultima, Researcher, University of Tampere, Finland
9/24/2007
CCCP: Secure Remote Storage for Computational RFIDs
Mastooreh Salajegheh, PhD student, Computer Science Department, University of Massachusetts Amherst
July 22, 2009
Change or Die: Overcoming the Five Myths of Change at Work and in Life
Alan Deutschman, senior writer, Fast Company; author
January 18, 2007
Change the Way You See Everything: Asset-Based Thinking
Kathryn D. Cramer, Ph.D., licensed psychologist and founder, The Cramer Institute
August 17, 2006
Characterizing Generic Global Rigidity
Steven J. Gortler, Professor, Computer Science, Harvard University
8/23/2007
Characterizing Truthful Market Design
Elan Pavlov, Ph.D., post-doc, MIT Media Lab
January 22, 2007
Checking Consistency of Concurrent Data Types on Relaxed Memory Models
Sebastian Burckhardt, Ph.D. student, Computer Science, University of Pennsylvania
February 26, 2007
Checking Well-Definedness of XQueries
Jan Van den Bussche, Theoretical Computer Science, Limburgs Universitair Centrum
October 20, 2004
Child Sexual Abuse: Facts and Myths - What You Need To Know To Keep All Children Safe
Janice Palm and Jill Armitage
October 17, 2008
China's Challenges: Domestic Dilemmas vs. Global Ambitions
David Bachman, Chinese Politics and Foreign Policy, University of Washington
September 22, 2005
Chinese Economic Growth: Past, Present and Future
Dr. Lawrence J. Lau, vice-chancellor (President), Chinese University of Hong Kong
September 12, 2005
City at the End of Time
Greg Bear, author, science fiction and fantasy
August 14, 2008
CitySense: A Vision for an Urban-Scale Wireless Sensor Testbed
Matt Welsh, Associate Professor, Computer Science, Harvard University
3/27/2008
Class Morphing: Safely Shaping a Class in the Image of Others
Yannis Smaragdakis, Associate Professor, University of Oregon
3/03/2008
Client-Side Echo Cancellation for Multi-Party Audio Conferencing
Junlin Li, third year PhD student, School of Electrical and Computer Engineering, Georgia Institute of Technology
August 16, 2006
Cloud Computing for e-Science
Paul Watson, professor, Computer Science and director, North East Regional e-Science Centre
June 12, 2008
Clustering Algorithms for Perceptual Image Hashing
Vishal Monga, Ph.D. candidate, University of Texas, Austin
February 2, 2005
CMPLE - Melting the Ice Between Cores
Suleyman Sair, Ph.D., assistant professor, Electrical and Computer Engineering, North Carolina State University
May 24, 2006
Coding Techniques for Data-Storage Systems
Yuval Cassuto, Ph. D Graduate, Electrical Engineering, Caltech
12/11/2007
Coding Theory: Survey of Recent Progress and Open Questions
Madhu Sudan, Ph.D., professor, Computer Science, MIT
August 15, 2005
Cohomology in Grothendieck Topologies and Lower Bounds in Boolean Complexity
Joel Friedman, professor, University of British Columbia
April 20, 2006
Collaborative Algorithms for a Class of Clustered Wireless Networks
Ananth Subramanian, teaching fellow, UCLA
July 19, 2004
Combinatorial Approach to Data Mining
Yury Lifshits, Ph. D, Postdoc, Caltech
12/3/2007
Combinatorial Betting
David Pennock, principal research scientist, Yahoo! Research
January 8, 2009
Combining Static and Dynamic Analysis for Bug Finding
Christoph Csallner, PhD Student, Georgia Tech
8/28/2007
Common Sense Reasoning for Interactive Applications
Henry Lieberman and Alex Faaborg
December 1, 2004
Communication Effects in Economic Environments
Liad Blumrosen, Engineering and Computer Science, Hebrew University of Jerusalem
January 26, 2006
Communication Technology: Interruption and Overload
Laura Dabbish, doctoral candidate, Human-Computer Interaction Institute, Carnegie Mellon University
March 31, 2006
Compiler and Microarchitectural Techniques for Leakage Power Reduction
Aviral Shrivastava, Assistant Professor, Department of Computer Science and Engineering, Arizona State University, Sarma Vrudhula
9/14/2007
Compiling the Web - Building a Just-in-Time Compiler for JavaScript
Andreas Gal, Project Scientist, Computer Science Department, University of California, Irvine
December 2, 2008
Complex Arithmetic for Hardware Implementation: Division and Square Root
Dr. Milos D. Ercegovac, professor and chair, UCLA Computer Science Department
April 20, 2004
Component Programming with Object-Oriented Signals
Sean McDirmid, Ph.D. student, University of Utah
February 17, 2005
Compressive Sensing
Richard G. Baraniuk, Victor E. Cameron Professor of Electrical and Computer Engineering Department, Rice University
August 4, 2008
Computational Aspects of Biological Information
Computational Aspects of Biological Information
12/5/2007-12/6/2007
Computational History in Action: Discovering Gutenberg's Printing Process
Blaise Agüera y Arcas, CTO and President of Sand Codex LLC
October 8, 2004
Computational Insights Into the Social Life of Zebras and Other Animals
Dr. Tanya Berger-Wolf, Assistant Professor, Department of Computer Science, University of Illinois, Chicago
4/7/2008
Computational methods for the detection of positive and lineage-specific selection from genomic sequence data
Adam Siepel, Assistant Professor, Department of Biological Statistics and Computational Biology, Cornell University
3/03/2008
Computational Thinking for a Modern Kidney Exchange
Tuomas Sandholm, Professor, Computer Science Department, Carnegie Mellon University
March 30, 2009
Computer Consciousness
Ed Fredkin, professor, Carnegie Mellon University; visiting professor, MIT
June 17, 2004
Computer Science Clinic and Research at Harvey Mudd College
Robert Keller, Csilla and Walt Foley professor, Computer Science, Harvey Mudd College; director, Computer Science Clinic
January 3, 2007
Computer Science for the Future
John E. Hopcroft, Engineering and Applied Mathematics in Computer Science, Cornell University
January 4, 2006
Computers Versus Common Sense
Doug Lenat, Ph.D., CEO, Cycorp
December 6, 2006
Computing class polynomials with the Chinese Remainder Theorem
Andrew Sutherland, Research Scientist, mathematics department, MIT
November 19, 2008
Computing Hilbert Modular Forms over Real Quadratic Fields
Lassina Dembele, post-doc, University of Calgary
June 20, 2006
Computing with Selfish Agents
Nicole Immorlica, Computer Science and Artificial Intelligence Laboratory, MIT
January 28, 2005
Concave Utility Functions on Finite Sets
Yakar Kannai, Ph.D.
February 1, 2005
Concept Lexicon Construction and Affective Analysis: From Photos to MTV
Qi Tian, Ph.D., associate professor, Department of Computer Science, University of Texas at San Antonio
May 21, 2008
Concurrency Simple and Safe? State of SCOOP
Bertrand Meyer, Professor, Software Engineering, ETH Zurich, Chief Architect, Eiffel Software
2/07/2008
Conditional Models for Combining Diverse Knowledge Sources in Information Retrieval
Rong Yan, doctoral candidate, Language Technologies Institute, Carnegie Mellon University
March 29, 2006
ConferenceXP 2007
ConferenceXP 2007 Seminars
Confronting Reality: Doing What Matters to Get Things Done Right
Larry Bossidy, retired chairman of the board and CEO of Honeywell International
December 10, 2004
Congestion Games: Optimization in Competition
Heiko Röglin, Ph. D. Student, RWTH Aachen, Germany
7/2/2007
Consolidarity: Exploring Patterns of Social Commonality Among File Directories at Work
John C. Tang
5/30/2007
Constraint-Based Analysis in the Presence of Uncertainty and Imprecision
Isil and Thomas Dillig, Stanford University
February 19, 2009
Constructing and Evaluating Sensor-Based Statistical Models of Human Interruptibility
James Fogarty, Ph.D. student, School of Computer Science, Carnegie Mellon University
February 8, 2006
Constructing Broad-Coverage Knowledge Repositories by Collecting Knowledge from Volunteer Contributors
Dr. Timothy Chklovski, Information Sciences Institute, University of Southern California
February 18, 2005
Content Delivery in the Modern Internet
Stefan Saroiu, Ph.D., Computer Science, University of Washington
April 19, 2004
Context-Aware Scheduler: Avoiding Unfavorable Scheduling to Improve Virtual Machine Performance
Witty Srisa-an, Associate Professor, Department of Computer Science and Engineering, University of Nebraska-Lincoln
October 7, 2008
Continuous Coordination: Bridging Formal and Informal Coordination with Palantir
Anita Sarma, Ph.D. student, Computer Science, Donald Bren School of Information and Computer Sciences, University of California, Irvine
February 16, 2007
Continuous Queries over Data Streams
Arvind Arasu, Ph.D. candidate, Stanford University
May 26, 2005
Controlling Overlap in Content-Oriented XML Retrieval
Charlie Clarke, School of Computer Science, University of Waterloo
February 21, 2005
Convergence in Competitive Games
Vahab S. Mirrokni, Applied Mathematics, Massachusetts Institute of Technology
July 14, 2004
Convex Geometry of Orbits
Greg Blekherman, graduate student, Michigan
January 17, 2005
Cooperative Data and Computation Partitioning for Distributed Architectures
Michael Chu, member, Compiler Creating Custom Processors research group, EECS Department, University of Michigan
May 10, 2007
Copyright and P2P: Global Collision, National Responses
Patricia Akester, Ph.D., Centre for Intellectual Property & Information Law, University of Cambridge
March 2, 2007
Cords: 3D Curve Primitives that Wrap Around Geometry
Karan Singh, associate professor, University of Toronto
March 11, 2005
Corner Percolation and the Square Root of 17
Gabor Pete, UC Berkeley
January 24, 2006
Correlation Decay in Statistical Physics and Applications to Counting Problems
David Gamarnik, Ph.D., MIT Sloan School of Management
October 10, 2005
Cost-Sharing Mechanisms for Network Design
Stefano Leonardi
January 26, 2005
Counterexamples in the Central Limit Theory of Markov Chains
Olle Haggstrom, Ph.D., Professor, Mathematical Statistics, Chalmers, Sweden
9/5/2007
Counting Independent Sets Up to the Tree Threshold
Dror Weitz, postdoc at DIMACS
March 24, 2006
Crashing the Gate: Netroots, Grassroots, and the Rise of People-Powered Politics
Markos Zúniga and Jerome Armstrong
April 7, 2006
Creating Diverse Ensemble Classifiers to Reduce Supervision
Prem Melville, Ph.D. candidate, University of Texas at Austin
August 30, 2005
Cryptography: From Theory to Practice
Mihir Bellare, Professor, Computer Science Department, UCSD
October 6, 2008
Culture and Prosperity: The Truth About Markets
John Kay, Britain's leading economist; columnist, Financial Times
June 1, 2004
Customizing the Computational Capabilities of Processors
Nate Clark, member, Compilers Creating Custom Processors, University of Michigan
April 18, 2007
Dartmouth Digital Dorm
Martin Redman and David Kotz
October 20, 2004
Data Abstraction without Control Abstraction in Software Model Checking
Michael Jones, assistant professor, Computer Science Department, Brigham Young University
June 22, 2006
Data Clustering and Stability of Finite Samples
Ohad Shamir, Ph.D candidate, Hebrew University
December 10, 2007
Data Harvesting: A Random Coding Approach to Rapid Dissemination and Efficient Storage of Data
Supratim Deb, Laboratory for Information and Decision Systems, MIT
September 2, 2004
Data Mining & Machine Learning to Empower Business Strategy
Oliver Downs, founder, Analytical Insights, Inc.
October 7, 2004
Data Streaming Algorithms for Efficient and Accurate Estimation of Flow Size Distribution
Abhishek Kumar, Computer Science, Georgia Institute of Technology
September 3, 2004
Data Structure Repair
Data-driven methods in Description-based Audio Information Processing
Shiva Sundaram Ph. D. candidate in the Signal and Image Processing Institute (SIPI) at USC
4/11/2008
Databases in Grid Applications: Locally in Distribution
Dealing with Darwin: How Great Companies Innovate at Every Phase of their Evolution
Geoffrey A. Moore, author of four bestselling business books
March 7, 2006
Dealing with Data: Classification, Clustering and Ranking
Dengyong Zhou, Machine Learning, NEC Laboratories America
April 11, 2006
Debian: Anatomy of an Open Source Project
Ian Murdock, chief technology officer, Linux Foundation
February 20, 2007
Decision Procedures for Recursive Data Structures with Integer Arithmetic
Ting Zhang, Ph.D. student, Computer Science, Stanford University
April 27, 2006
Declarative Querying of Sensor Networks Through Automatic Service Planning
Deep Economy: The Wealth of Communities and the Durable Future
Bill McKiibben, American environmentalist and writer
March 21, 2007
Deep Photo and Gigapixel Images
Johannes Kopf, Ph.D. Candidate, University of Konstanz
2/25/2008
Defying Categorization: DXARTS
Delegatable Anonymous Credentials
Melissa Chase, Ph. D Candidate, Computer Science, Brown University
2/08/2008
Delimited and Composable Continuations in PLT Scheme
Matthew Flatt, Computer Scientist, University of Utah (Salt Lake City)
March 20, 2008
Deniable Authentication on the Internet
Yevgeniy Dodis, Associate Professor, computer science, New York University
October 9, 2008
Dense Triangle-Free Digraphs
Blair D. Sullivan, fourth year Ph.D. student (2007), Mathematics Department, Princeton University
April 27, 2007
Dependable and Sustainable Cyber-Physical Computing - An Overview of IMPACT Lab's Research
Sandeep K. S. Gupta, professor, Department of Computer Science and Engineering, Arizona State University
May 27, 2008
Dependable Messaging in Sensor Networks
Hongwei Zhang, Ph.D. student, Department of Computer Science and Engineering, The Ohio State University
March 30, 2006
Dependable Software via Automated Verification
Wei-Ngan Chin, Ph.D., associate professor, Department of Computer Science, National University of Singapore
November 20, 2007
Deputy: Dependent Types for Safe Systems Software
Jeremy Condit, graduate student, University of California, Berkeley
March 13, 2007
Dereverberation Suppression for Improved Speech Recognition and Human Perception
Design and development of a content-based music search engine
Doug Turnbull, Graduate Student, UC San Diego
1/11/2008
Design Meets Disability
Graham Pullin, lecturer, Interactive Media Design, University of Dundee, Scotland
July 16, 2009
Design Thinking and Design Research
Bill Burnett, Executive Director, Product Design Program, Stanford
December 13, 2007
Designing a Virtual Information Telescope Using Mobile Phones and Social Participation
Romit Roy Choudhury, Ph.D., assistant professor, ECE and CS, Duke University
July 29, 2008
Designing Ad Auctions: An Algorithmic Perspective
Designing Adaptive Embedded Systems
Devika Subramanian, Ph.D., professor, Computer Science, Rice University
Designing and Evaluating Glanceable Peripheral Displays
Tara Matthews, Ph.D. candidate, Electrical Engineering and Computer Science (EECS), University of California at Berkeley
February 22, 2007
Designing Extensible IP Router Software
Designing for Intimacy: Interaction Research at the Human Communication Technologies (HCT) Laboratory
Designing Interactions
Bill Moggridge, founder, IEO
December 12, 2006
Designing Robust Enterprise Wireless Networks: High Throughputs, Energy Efficiency, Passive Security, and Rich Media Services
Suman Banerjee, Assistant Professor, Department of Computer Sciences, University of Wisconsin-Madison
March 17, 2009
Deterministic Encryption: Theory and Applications
Alexandra Boldyreva, Ph.D., assistant professor, School of Computer Science, Georgia Institute of Technology
July 29, 2008
Deterministic Network Coding by Matrix Completion
Developing Annotated Korean Learner Corpus and Automatic Analysis of Learner Language
Sun-Hee Lee, Wellesley College and Seok Bae Jang, Brigham Young University
June 25, 2009
Developing Game-Themed Applications With XNA Game Studio: Session 1
Kelvin Sung, associate professor, Computing and Software Systems, University of Washington Bothell (UWB)
April 11, 2009
Developing Game-Themed Applications With XNA Game Studio: Session 2
Kelvin Sung, associate professor, Computing and Software Systems, University of Washington Bothell (UWB)
April 11, 2009
Developing Physically-Based, Dynamic Vocal Tract Models Using ArtiSynth
Sidney Fels and John Lloyd, University of British Columbia
January 24, 2007
Developing the Best Life and Death Solver in Go
Akihiro Kishimoto, Department of Media Architecture, Future University-Hakodate, Japan
November 13, 2007
Developments in Dynamic Graph Algorithms
Liam Roditty, Ph.D. student, Tel-Aviv University
February 20, 2006
Dialogue Session: Worklife Balance and the Retention of Talent
Digital Simplicity Through Activity-Based Computing
James Landay, associate professor, Computer Science & Engineering, University of Washington
February 8, 2007
Directing the Datacenter with Machine Learning
Armando Fox, co-founder, Berkeley RAD Lab
October 27, 2008
Director of MIT's Auto-ID Laboratory and a Professor of Information Engineering
John Williams, director, MIT's Auto-ID Laboratory; professor, Information Engineering
April 18, 2007
Discovering Heap Anomalies in the Wild
Maria Jump, Ph. D. Candidate, Department of Computer Sciences, The University of Texas at Austin
10/11/2007
Discovering Properties about Arrays in Simple Programs
Mathias Péron, PhD student, Verimag laboratory (France)
June 20, 2008
Discriminative Learning and Spanning Tree Algorithms for Dependency Parsing
Discriminative Graphical Models for Structured Data Prediction
Yan Liu, doctoral candidate, Language Technologies Institute, Carnegie Mellon University
March 30, 2006
Disjunctive Invariants for Modular Static Analysis
Corneliu Popeea, PhD candidate, School of Computing, National University of Singapore
May 30, 2008
Dispersion of Mass and the Complexity of Randomized Algorithms
Santosh Vempala, associate professor, Mathematics Department, Massachusetts Institute of Technology
June 20, 2006
Distant Speech Recognition: No Black Boxes Allowed
John McDonough, Institute for Computer Science and Engineering, Intelligent Sensor-Actuator Systems (ISAS), University of Karlsruhe
September 19, 2008
Distinguishing Chambers of the Moment Polytope
Distributed Hash Tables for Large-Scale Cooperative Applications
Distributed Implementations of Vickrey-Clarke-Groves Mechanisms
Distributed Multi-Robot Exploration and Mapping
Distributed Spectrum Access: Protocols and Prototype
Ashu Sabharwal, Director, Center for Multimedia Communications, Rice University
7/26/2007
Distributed Speculative Execution: A Programming Model for Reliability and Increased Performance
Cristian Tapus, Ph.D., postdoctoral scholar, Center for Advanced Computing Research (CACR)
April 18, 2007
Distributed Storage Systems Made Easy
Nalini Belaramani, Ph.D Candidate, University of Texas at Austin
April 9, 2009
Doing a Mao and the Xray Paradox: How Can Humanity Overcome Organization?
Max McKeown, management advisor to top companies and innovative speaker
November 30, 2006
Donnybrook: Enabling Large-Scale, High-Speed, Peer-to-Peer Games
Jeffrey Pang, 5th year PhD student, Carnegie Mellon University
August 12, 2008
Dreaming in Code: Two Dozen Programmers, Three Years, 4,732 Bugs and One Quest for Transcendent Software
Scott Rosenberg, OpenSalon
January 23, 2007
DRM and MSFT: A Product No Customer Wants
DTN Routing and capacity Enhancement in an Outdoor Mobile Environment
Mark Corner, Ph.D., University of Massachusetts-Amherst and Brian Neil Levine, Ph.D., University of Massachusetts Amherst
October 27, 2006
Dynamic Algebraic Algorithms
Piotr Sankowski, Ph. D., Post-Doc Fellow, University of Rome "La Sapienza", Italy
8/16/2007
Dynamic Inference of Abstract Types
Michael D. Ernst, associate professor, Electrical Engineering and Computer Science, Computer Science and Artificial Intelligence Lab, Massachusetts Institute of Technology
December 12, 2006
Dynamic Mechanism Design
Ilya Segal, Roy and Betty Anderson Professor, Humanities and Sciences, Stanford University
1/3/2008
Dynamic Point Samples for Free-Viewpoint Video
Dynamic Semantics of Programming Languages and Applications to Testing
Dynamics and Equilibria: Communication Complexity and Adaptive Heuristics
Sergiu Hart, Dept of Mathematics, Dept of Economics, The Hebrew University of Jerusalem
February 7, 2007
Dynamics of Highly Connected Queuing Networks
Senya Shlosman, directeur de recherche, Centre de Physique Theorique, Luminy, Marseille; senior researcher, Institute of Information Transmission Problems, Moscow
December 11, 2007
Dynamics, Emergence and Simulation
Will Wright, creator of SimCity and Spore
November 7, 2007
Dynamosaics: Dynamic Mosaics with Non-Chronological Time
e-Heritage Project
Dr. Katsushi Ikeuchi, PhD, professor, University of Tokyo
May 2, 2008
Earth: The Sequel- The Race to Reinvent Energy and Stop Global Warming
Fred Krupp, Ph.D.
3/19/2008
Ecological Intelligence: How Knowing the Hidden Impacts of What We Buy Can Change Everything
Daniel Goleman, author
May 15, 2009
Economic Gangsters: Corruption, Violence and the Poverty of Nations
Edward Miguel, associate professor, economics; Director, UC Berkeley Center of Evaluations for Global Action
October 23, 2008
Edge-Preserving Decomposition for Multi-Scale Tone and Detail Manipulation
Zeev Farbman, PhD student, School of Computer Science and Engineering, Hebrew University of Jerusalem, Israel
August 7, 2008
Edgenet 2006
Edgenet 2006 - Life at the Edge: Research and Practice in Corporate/Campus Networks
Education for a Brighter Future
Gwen Vu, board chair, VNSF; Paul Tamura, vice-chair/treasurer, VNSF
October 19, 2007
EE Talk - How to Make Things Happen: Mastering Project Management
Scott Berkun, Author
4/15/2008
Effective and Efficient User Interaction for Long Queries
Giridhar Kumaran, Ph.D. Candidate, Department of Computer Science, University of Massachusetts Amherst
2/05/2008
Effective Scientific Data Management through Provenance Collection
Yogesh Simmhan, Doctoral Candidate, Indiana University
6/12/2007
Effective Static Race Detection
Effective Static Race Detection for Java
Mayur Naik, fourth year Ph.D. student, Computer Science Department, Stanford University
April 5, 2007
Effective Use of Microsoft Word for Academic Writing
Efficient Actions in Dynamic Auction Environment
Efficient and Effective File Replication and Consistency Maintenance in P2P Systems
Dr. Haiying (Helen) Shen, Assistant Professor, Department of Electrical and Computer Engineering, Clemson University
September 11, 2009
Efficient and Robust Routing in the Presence of Computing Interests
Efficient Data Dissemination in Bandwidth-Asymmetric P2P Networks
Thinh Nguyen, Ph.D., Oregon State University
April 28, 2006
Efficient Data-Parallel Computing on Small Heterogeneous Clusters
Rebecca Isaacs, researcher, MSR Cambridge
March 13, 2009
Einstein: His Life and Universe
Walter Isaacson, President and CEO, Aspen Institute
May 2, 2007
Elliptic Nets with Applications to Cryptography
Katherine Stange, student, Brown University
January 30, 2007
Email Activity Management: A Machine Learning Approach
Nicholas Kushmerick, senior lecturer, School of Computer Science & Informatics, University College Dublin, Ireland
February 27, 2006
Embedded Memory in Nanometer Regime: Improving Yield, Scalability, and Error Resiliency with Low-overhead Multi-bit Error Coding
Jangwoo Kim, PhD candidate, Computer Architecture Lab, Carnegie Mellon University
August 21, 2008
Emergency Informatics and the Survivor Buddy Project
Robin Murphy, Ph.D., Raytheon Professor of Computer Science and Engineering at Texas A&M
February 19, 2009
Emotion Recognition in Speech Signal: Experimental Study, Development and Applications
Empirical Evaluation of Agile Software Development Processes: Industrial Case Studies
Employing Decision Procedures for Automatic Program Analysis and Verification of Heap-Manipulating Programs
Greta Yorsh, Ph.D. candidate, School of Computer Science, Tel Aviv University
March 19, 2007
Enabling Easily Learnable Eyes-Free Interaction by Exploiting Human Experience
Kevin Li, PhD candidate, Computer Engineering, University of California San Diego
April 23, 2009
Enabling Internet Malware Investigation and Defense Using Virtualization
Xuxian Jiang, Ph.D. candidate, Computer Science, Purdue University
April 4, 2006
Enabling NASA's New Vision for Space Exploration through Human-Centered Intelligent Systems
Enabling What-If Explorations in Distributed Systems
Eno Thereska, PhD student, Carnegie Mellon University
March 26, 2007
End-User Control in the Smart Home
Anind Dey, assistant professor, Human-Computer Interaction Institute, Carnegie Mellon University
June 2, 2006
Ender?s Game for Science and Engineering: Games for Real, for Now, or we Lose the Brain War
Merrilea Mayo, Ph.D., Director of the Government-University-Industry Research Roundtable, National Academies
8/21/2007
Energy and Bandwidth Efficiency in Wireless Networks
Wayne Stark, Ph.D., professor, Electrical Engineering and Computer Science, University of Michigan
October 2, 2006
Energy Based Models: From Relational Regression to Similarity Metric Learning
Sumit Chopra, doctoral student, Courant Institute of Mathematical Sciences, New York University
May 6, 2008
Energy Conservation Techniques in Mobile Delay-Tolerant Sensor Networks
Chris Sadler, Ph.D. student, Princeton University
March 21, 2007
Engineering Performance
Engineering Performance
5/14/2007
Enhancing Cloud SLA with Security: A Secure, Searchable, and Practical Cloud Storage System
Raluca Ada Popa, beginning graduate school at MIT in the Fall 2009
September 4, 2009
Enhancing Security of Real-World Systems with a Better Understanding of the Threats
Enhancing Text Representation Through Knowledge-Based Feature Generation
Evgeniy Gabrilovich, Ph.D. student, Computer Science Department, Technion Israel Institute of Technology
June 15, 2006
Enhancing the Markov Chain Monte Carlo Method
Nayantara Bhatnagar, Ph.D candidate, Algorithms, Combinatorics and Optimization program, Georgia Tech
January 18, 2007
Enhancing the Musical Experience - From the Acoustic to the Digital...and Back
Gil Weinberg, M.S., Ph.D., director, Music Technology, Georgia Institute of Technology
July 21, 2008
Enlightened Trial and Error - Gaining Design Insight Through New Prototyping Tools
Björn Hartmann, PhD candidate, Human Computer Interaction, Stanford University; Editor-in-Chief, Ambidextrous magazine, Stanford's Journal of Design
March 12, 2009
Enriching Speech Translation: Exploiting Information Beyond Words
Vivek Kumar Rangarajan Sridhar, B.E. (honors) degree in electrical and electronics engineering, Birla Institute of Technology and Science, Pilani, India; M.S. degree in electrical engineering, University of Southern California, Los Angeles
May 1, 2008
Entanglement Entropy in Extended Systems
EnviroSuite: An Environmentally-Immersive Programming Framework for Sensor Networks
Liqian Luo, Ph.D. candidate, Department of Computer Science, University of Illinois at Urbana-Champaign
March 12, 2007
Epigenetic Development: Generating Internal Representations through Interactions with the Real-World Environments
Juyang (John) Weng, Professor, Department of Computer Science and Engineering, Michigan State University
8/20/2007
Error Detection Using Shape Analysis with Local Reasoning
eScience Workshop 2005
Estimating Geometric Scene Context from a Single Image
Estimation of Intrinsic Dimensionality Using High-Rate Vector Quantization
Ethane: A Protection Architecture for Enterprise Networks
Martin Casado, PhD student, Computer Science, Stanford University
September 20, 2006
EUCALYPTUS: An Open Source Service Infrastructure for Elastic Computing Research
Rich Wolski, M.S, Ph.D., professor, Computer Science, University of California, Santa Barbara (UCSB)
July 30, 2008
Evaluating Retrieval System Effectiveness
Event-Driven Simultaneous Compilation
Dean Tullsen, professor, Computer Science and Engineering, UCSD
September 20, 2006
Everything Bad is Good for You: How Today's Popular Culture is Actually Making Us Smarter
Everything is Miscellaneous: The Power of the New Digital Disorder
David Weinberger, co-author, The Cluetrain Manifesto; author, Small Pieces, Loosely Joined
May 16, 2007
Evolutionarily Stable Strategies of Random Games, and the Vertices of Random Polygons
Sergiu Hart, Dept of Mathematics, Dept of Economics, The Hebrew University of Jerusalem
February 6, 2007
Exa-Scale Volunteer Computing
Dr. David P. Anderson, Ph.D., research scientist, BOINC project, U.C. Berkeley
August 11, 2008
Exact 2-CSP Optimization Using Matrix Multiplication
Examining Bugs to Improve Static Analysis
William Pugh, Ph.D., professor, University of Maryland, College Park
July 17, 2008
Examining Representation, Classification, and Personalization Using a Unified Framework
Exceptional Situations and Program Reliability
Exceptions and side-effects in atomic blocks
Exhaustive Phase Order Search Space Exploration and Evaluation
Prasad A. Kulkarni, Ph.D. candidate, Computer Science, Florida State University
April 18, 2007
Exiting the Cleanroom: On Ecological Validity and Ubiquitous Computing
Dr. Jennifer Mankoff, assistant professor, Human Computer Interaction Institute, Carnegie Mellon University
June 2, 2006
Explicit-Symbolic Modeling for Formal Verification
Sérgio V. Campos, Ph.D., associate professor, Computer Science, Universidade Federal de Minas Gerais
November 14, 2007
Exploiting Comparable Corpora
Dragos Munteanu, Ph.D. student, University of Southern California
November 29, 2006
Exploiting Hardware/Software Interactions for Embedded Systems Design
Sibin Mohan, Ph.D. student, Department of Computer Science, North Carolina State University
2/5/2008
Exploiting Multiple Cores Today: Scalability and Reliability For Off-the-Shelf Software
Emery Berger, Ph.D., assistant professor, University of Massachusetts, Amherst
August 8, 2006
Exploiting Redundancy for Robust Sensing
Exploiting the Transients of Adaptation for RoQ Attacks on Internet Resources
Exploring Mars by 4-Wheel Drive
Exploring Tools and Techniques for Distributed Continuous Quality Assurance
Adam Porter, Ph.D., associate professor, Department of Computer Science, Institute for Advanced Computer Studies, University of Maryland
November 8, 2006
Expressive Speech-Driven Facial Animation
Yong Cao, Ph. D., Assistant Professor, Computer Science Department, Virginia Tech
9/13/2007
ExScal: Elements of an Extreme Scale Wireless Sensor Network
Extensible Object-Theories in HOL-OCL
Burkhart Wolff, associate professor and lecturer, ETH Zürich
August 24, 2006
Externalities in Online Advertising
Mohammad Mahdian, research scientist, Yahoo! Research
June 25, 2008
Extracting and Managing Structured Web Data
Ken McMillan, fellow at Cadence Research Labs, Berkeley, California, author, "Symbolic Model Checking"
March 5, 2009
Extracting Product Features and Opinions from Reviews
Extractors for a Constant Number of Polynomially Small Min-Entropy Independent Sources
Anup Rao, Ph.D. student, Computer Science, University of Texas at Austin
January 19, 2007
Extremal Set Theory, Boolean Functions, and Occam's Razor
Eyes on Multimodel Interaction
Face Recognition: Opportunities and Challenges
Dr. Yu Hen Hu, IEEE
March 17, 2006
Fast Belief Propagation for Early Vision
Fast Database and Data Streaming Operations Using Graphics Processors
Fast Infinite-State Model Checking in Integer-Based Systems
Fast Keypoint Recognition and Recent Work at CVLab
Vincent Lepetit, founding member, Computer Vision Laboratory
November 14, 2008
Faster Decoding with Synchronous Grammars and n-gram Language Models
Liang Huang, 4th-year Ph.D. student, University of Pennsylvania
December 11, 2006
Faster Symmetry Discovery using Sparsity of Symmetries
Karem A. Sakallah, Professor of Electrical Engineering and Computer Science, University of Michigan, Ann Arbor
February 27, 2009
Feature Selection through Lasso
Bin Yu, Professor of Statistics, University of California at Berkeley
March 6, 2006
Feedback Arc Sets and Girth in Digraphs
Blair D. Sullivan, Grad Student, Mathematics Department, Princeton University
10/11/2007
File Systems are Broken
Remzi Arpaci-Dusseau, M.S., Ph.D., associate professor, Computer Sciences, University of Wisconsin, Madison
June 22, 2009
Filtering of a Group Delay Equalized Delta-Sigma Modulated Envelope Signal in an EER Architecture
Jorge Mártires, Ph.D. student, Electrical Engineering
September 27, 2006
First Steps to NetViz Nirvana: Evaluating Social Network Analysis with NodeXL
Cody Dunne and Elizabeth Bonsignore, PhD students, University of Maryland
August 28, 2009
First-Order Probabilistic Inference
Rodrigo de Salvo Braz, postdoctoral researcher, Computer Science Division, EECS, University of California, Berkeley
September 5, 2008
Fitting a C^M Smooth Function to Data
Charles Fefferman, Mathematics Department, Princeton University
March 27, 2006
Fixing the String Kernel - A Semi-Definite Programming Approach
Flow Control in Wireless Networks
Minghua Chen, Ph.D. student, Electrical Engineering and Computer Sciences, University of California at Berkeley
June 6, 2006
Folklore of Network Protocol Design (Anita Borg Lecture)
Formal Commercial Contracts
Formal Methods Research in Support of the Next Generation Air Transportation System
Dr. Cesar Munoz, Ph.D., lead, Formal Methods Group, National Institute of Aerospace at Langley Research Center
June 5, 2008
Fountain Codes over Arbitrary Channels and Threshold Phenomena
Free: The Future of a Radical Price
Chris Anderson, Editor in Chief, Wired Magazine
August 15, 2009
Friendly Virtual Machines: Leveraging a Feedback-Control Model for Application Adaptation
From Biology To Robots: The RobotCub Project
Giorgio Metta, senior scientist, Italian Institute of Technology; assistant professor, University of Genoa
July 17, 2009
From Dust to Doctors: Wireless Sensor Networks for Medical Applications
From Local to Global Visual Similarity in Space and in Time
Eli Shechtman, Ph.D. student, Weizmann Institute of Science
March 1, 2007
From Models to Systems: Applications of Model-based Design to Modern Large-Scale Systems
Ethan Jackson, Ph.D. candidate, Computer Science, Vanderbilt University
December 6, 2006
From Multi-Lingual Character Recognition (Printed, on-line and offline handwritten) to Multi-model Biometric Verification and Identification
From Personal Computers to Personal Information Environments
From Promoter to Expression - A Probabilistic Framework for Inferring Regulatory Mechanisms
From Sensors to Semantics: Intelligent Context for Situated Computing
Donald J. Patterson, Assistant Professor, Donald Bren School of Information and Computer Sciences, University of California at Irvine
10/1/2007
From Software Engineering to Software as Service: Computing Task Dependencies from Work Artifacts
James D. Herbsleb, associate professor, Computer Science; director, Software Industry Center, Carnegie Mellon University
August 11, 2006
From Textons to Parts: Local Image Features for Texture and Object Recognition
From TimeSync to EmStar: What's Really Hard in Sensor Networks?
From Wayback Machine to Weblab: New Opportunities for Social Research
Michael Macy, professor and chair, Sociology, Cornell University
May 24, 2006
Fusion of Optical and Radio Frequency Techniques: Cameras, Projectors and Wireless Tags
Ramesh Raskar, Ph. D., Senior Research Scientist, MERL
6/4/2007
Future Hype: The Myths of Technology Change
Bob Seidensticker, former Microsoft employee
April 18, 2006
G2 Microsystems Presents to Microsoft
Mr. Gloekler, founder, president and ceo, Ernst & Young
March 31, 2006
Gadgets for Good: How Computer Researchers Can Help Save Lives in Poor Countries
Game and Market Equilibria
Shang-Hua Teng,Professor, Computer Science Department at Boston University
March 19, 2008
Game-theoretic probability and its applications
Glenn Shafer, Board of Governors Professor, Rutgers Business School Newark and New Brunswick
October 15, 2008
Games, gamers, and digital entertainment in the home: sociological studies of computation and play
Tracy Kennedy, Doctoral Candidate, Department of Sociology, University of Toronto
8/23/2007
Games@MSR - The Pleasures of Virtual/Fantasy Warfare: Learning from Counter-Strike
Talmadge Wright, Ph. D, Associate Professor, Sociology, Loyola University Chicago
7/17/2007
Garbage Collection without Paging
Garbage-First Garbage Collection (and a Related Compiler Optimization)
General Theorem Proving for Satisfiability Modulo Theories: An Overview
Maria Paola Bonacina, professor, Computer Science, Dipartimento di Informatica, Universita` degli Studi di Verona, in Verona, Italy
May 14, 2008
Generalized Algebraic Data Types and All That
Martin Sulzmann, assistant professor, School of Computing, National University of Singapore
August 22, 2006
Generating Parallel Transforms Using Spiral
Franz Franchetti and Markus Püschel, Carnegie Mellon University
September 20, 2006
Generation of dense linear algebra software for shared memory and multicore architectures
Dr. Paolo Bientinesi, Ph. D.
3/25/2008
Generative Models of Discourse
Eugene Charniak, Ph. D, Professor, Computer Science and Cognitive Science, Brown University
7/12/2007
Generic Entity Resolution
Generic Programming in the Parallel Boost Graph Library
Doug Gregor, Ph. D Researcher, Open Systems Laboratory, Indiana University
11/28/2007
GENI - Global Environment for Network Innovations
Chip Elliott, Chief Engineer, BBN Technologies
November 30, 2007
Genus-2 curves with a given number of points
Everett Howe, Center for Communications Research in San Diego
March 10, 2009
GeoDec: Enabling Geospatial Decision Making
Geometric Optics, Duality and Congestion in Sensornets
Christos H. Papadimitriou, C. Lester Hogan professor, Computer Science, UC Berkeley
August 10, 2006
Geometry and Expansion: A Survey of Recent Results
Getting Started in Podcasting
Gibbs Measures on Trees and Random Graphs
Allan Sly, student, UC Berkeley
November 14, 2007
Giving Campaign Lunch: Woodland Park Zoo
Lisa Dabek, Paul Balle, Monica Lake, Karen Ofsthus
October 23, 2007
Globally Optimized Robust System Design
Subhasish Mitra, Ph.D., assistant professor, Departments of Electrical Engineering and Computer Science, Stanford University
August 29, 2008
Graph approximation and local clustering, with applications to the solution of diagonally-dominant systems of linear equations
Daniel Spielman, Professor, Applied Mathematics and Computer Science, Yale
September 29, 2008
Graph Cuts without Eigenvectors
Brian Kulis, Ph.D. student, University of Texas at Austin
July 10, 2006
Graph Powers and Capacities
Eyal Lubetzky, Ph.D. student, School of Mathematics, Tel Aviv University
January 4, 2007
Grassroots, Viral, Low Cost/High Impact Learning Content Diffusion: Getting Your Brand Noticed without a Big Ad Campaign
Grey: Making Logic-Based Access Control Practical and Usable
Lujo Bauer, Research Scientist, CyLab and the Electrical and Computer Engineering Department, Carnegie Mellon University
July 30, 2009
Group Forming and Grassroots Organizing Technology
Zack Rosen, co-founder and executive director, CivicSpace Foundation
March 29, 2006
Guanxi (The Art of Relationships) : Microsoft, China, and Bill Gates's Plan to Win the Road Ahead
Robert Buderi and Gregory T. Huang
May 9, 2006
Gumstix: It's A Small Yet Fully Functional Computer
Don Anderson
9/5/2007
Hardware-Software Co-Design for General-Purpose Processors
Craig Zilles, Assistant Professor, Computer Science Department, University of Illinois, Urbana-Champaign
4/16/2008
Harnessing the Multicores: Nested Data Parallelism in Haskell
Simon Peyton Jones, Microsoft Research (Cambridge)
October 23, 2008
Harvesting, Searching, and Ranking Knowledge form the Web
Gerhard Weikum, research director, Max-Planck Institute for Informatics (MPII), Saarbruecken, Germany
June 2, 2008
HASS: A Scheduler for Heterogeneous Multicore Systems
Daniel Shelepov, SDE in Internet Explorer, Microsoft
January 12, 2009
Havoc on Ntfs'
Brian Hackett, PhD candidate, Computer Science Department, Stanford
10/3/2007
Headwinds and Tailwinds: Where is the U.S. Economy Going?
Heap assertions on demand
Andreas Podelski, professor, University of Freiburg, Germany
11/26/2007
Heed: A Framework for Situation Aware Monitoring
Conrad Albrecht-Buehler,Ph.D. candidate, Northwestern University
December 2, 2008
Hiding Global Invariants by Local Reasoning in Region Logic
Dave Naumann, faculty, Computer Science, Stevens Institute of Technology
May 13, 2008
Hierarchical Dirichlet Processes
Hierarchical Phrase-Based Translation with Suffix Arrays.
Adam Lopez, Software Engineer, IBM Corporation
5/21/2007
High Fidelity Image-Based Modeling
Yasutaka Furukawa, Ph.D. Candidate, University of Illinois, Urbana-Champaign
8/24/2007
High, Wide, & Deep: Displayed Image Color Appearance and Perception
Mark D. Fairchild, Ph.D., professor, Munsell Color Science Laboratory, Chester F. Carlson Center for Imaging Science, Rochester Institute of Technology
July 7, 2008
Highly Integrated 3D RF Front-Ends for Convergent (Telecommunication, Computing and Entertainment) Applications: Status and Challenges
History of Parallel Computing
Scalable parallel computing on many/multicore systems.
Hit the Ground Running: A Manual for New Leaders
Jason Jennings, founder, Jennings-McGlothin & Company
March 26, 2009
Holistic Video Game Optimization
Eric Preisz, department chair, Architectures, course director, Optimization, Full Sail University
November 20, 2008
Honest Signals: How They Shape Our World
Sandy Pentland, co-directs the Digital Life Consortium, MIT
November 20, 2008
How Can We Apply the Most Powerful Tools of Our Time to the Search for an Effective HIV Vaccine?
How does the ASTREE analyzer deal with digital filters?
Dr. Jerome Feret, Ph.D., Postdoctoral Research Fellow, Ecole Normale Superieure, Paris, France
8/16/2007
How Helpful is Network Coding?
Baochun Li, associate professor, Department of Electrical and Computer Engineering, University of Toronto
September 22, 2006
How Likely is Buffon's Needle to Meet a Cantor Square?
Fedor Nazarov, Ph.D. Salem Prize winner 1999
April 6, 2007
How Low Can Safe Languages Go?
How to Disembed a Program
How to Give a Great Research Talk
John Krumm, Patrick Baudisch, Rick Szeliski, Mary Czerwinski
July 24, 2007
How to make Discretionary Access Control Resistant to Trojan Horses
Ninghui Li, Assistant Professor, Computer Science at Purdue University
3/10/2008
How to Make Love the Bruce Campbell Way
How to Survive a Robot Uprising: Tips to Defend Yourself Against the Coming Rebellion
Human Computation
Luis von Ahn, post-doctoral fellow, Computer Science, Carnegie Mellon University
March 30, 2006
Human Detection and Pose from Images and Videos
Bill Triggs, permanent researcher, Centre National de Recherche Scientifique
October 10, 2006
Human-Level Performance on Word Analogy Questions by Latent Relational Analysis
Hyperparameter and Kernel Learning for Graph Based Semi-Supervised Classification
I-Room - Intelligent Collaborative Spaces for Emergency Response
Austin Tate, Professor, Chair, Knowledge-Based Systems, Director, Artificial Intelligence Applications Institute, University of Edinburgh
2/8/2008
iBrain: Surviving the Technological Alteration of the Modern Mind
Dr. Gary Small, professor of psychiatry, UCLA Semel Institute
October 21, 2008
Iconic Scene Graphs and Iconic Summaries for Internet Photo Collections
Svetlana Lazebnik, Ph.D., assistant professor, Computer Science Department, University of North Carolina at Chapel Hill
June 30, 2008
Iconoclast: A Neuroscientist Reveals how to Think Differently
Gregory Berns, Chair of Neuroeconomics, Emory
October 30, 2008
Identifying Similar Past Events in a Continuous Monitoring System
Magdalena Balazinska, Ph.D., Assistant Professor, Computer Science and Engineering Department, University of Washington
9/28/2007
Imitating the Immune System
Claus Lundegaard, associated professor, Immunological Bioinformatics, CBS, Technical University of Denmark
March 23, 2007
Impala: A Middleware System for Managing Autonomic, Mobile, Wireless Sensor Networks
Implicit Feedback: Techniques for Deployment and Evaluation
Improved Gapped Alignment in BLAST Genomic Search
Improving Data Recovery From Embedded Networked Sensing Systems with Fault Detection and Diagnosis
Nithya Ramanathan, Ph.D Student, Computer Science, Center for Embedded Networked Sensing, UCLA
2/1/2008
Improving Deep Packet Inspection Through Extended Automata
Cristian Estan, assistant professor, Computer Sciences Department, University of Wisconsin-Madison
November 21, 2008
Improving Packet Delivery Efficiency Using Multi-Radio Diversity in Wireless LANs
Allen Miu, Ph.D. candidate, Massachusetts Institute of Technology
April 27, 2006
Improving Routing Scalability Through Mobile Geographic Hashing MANETs
Saumitra Das, Ph.D. candidate, School of Electrical and Computer Engineering,Purdue University, West Lafayette
April 3, 2006
Improving Software Production Environments with Non-Invasive, Quantitative Experience Collection using Microsoft Office and Visual Studio
Giancarlo Succi, Professor with Tenure, Free University of Bolzano-Bozen, Italy
August 13, 2009
Improving Software Security with Precise Static and Runtime Analysis
Benjamin Livshits, Ph.D. candidate, Computer Science, Stanford University
June 26, 2006
Improving the Development of Interactive Software Through New Language Features and Patterns
Brian Chin, graduate student, U.C. Los Angeles
September 8, 2009
Improving the Reliability of Commodity Operating Systems
In-Car Speech User Interfaces and Their Effects on Driving Performance
Andrew L. Kun, Ph.D., associate professor, Electrical and Computer Engineering, University of New Hampshire
July 23, 2008
In-Network, Physical Adaptation of Sensor Networks
William J. Kaiser, PhD, Professor Electrical Engineering Department, UCLA
5/24/2007
In-Situ Model Checking of MPI Parallel Programs
Ganesh Gopalakrishnan, Professor, School of Computing, University of Utah
8/27/2007
Incentivizing Outsourced Computation
Alptekin Küpçü, Ph.D. candidate, Brown University Computer Science Department
August 25, 2008
Increasing Concurrency using EDGE Architectures
Karthikeyan Sankaralingam, Ph.D. candidate, Computer Sciences, The University of Texas at Austin
May 3, 2006
India's Emerging Competitiveness
Indifference is Death: Responsibility, Leadership, & Innovation
Inferring Class Invariants in Object-Oriented Languages Via Abstract Interpretation
Inferring Information Status for Reference Generation in Open Domains
Inferring Rankings under Constrained Sensing
Devavrat Shah, Jamieson Career Development Associate Professor, Department of Electrical Engineering and Computer Science, MIT
June 15, 2009
Information Flow, Modularity, and Declassification
Anindya Banerjee, associate professor, Computing and Information Sciences, Kansas State University
October 26, 2006
Information Interfaces: Blending Information Visualization and Human-Computer Interaction
John Stasko, professor, Georgia Institute of Technology
March 24, 2006
Information Technologies and International Development: An Overview of Recent Results from Africa and India
Dr. Michael L. Best, assistant professor, Sam Nunn School of International Affairs and the School of Interactive Computing, Georgia Institute of Technology
November 15, 2007
Information Wants to be Free (but is Everywhere in Chains)
Innovation Challenges KeyNote Kickoff
Clay Shirky
September 17, 2008
Innovention - The Process of Innovation and Invention
David Pensak, senior fellow, Wharton School of Business, University of Pennsylvania
November 16, 2006
Instruction-Based Prediction Techniques in Operating Conjecture
Integrating Art With Information Visualization to Create Interactive Tabletop Applications
Sheelagh Carpendale, Canada Research Chair, Information Visualization; NSERC/SMART/iCORE Industrial Research Chair, Interactive Technologies, University of Calgary
April 28, 2009
Integrating OLAP and Ranking: The Ranking-Cube Methodology
Dong Xin, graduating Ph.D. student, Department of Computer Science, University of Illinois at Urbana-Champaign
March 28, 2007
Interaction Design for One-Handed Use of Mobile Devices
Amy Karlson, Ph.D. Candidate, Computer Science, University of Maryland, College Park
5/17/2007
Interaction Design Projects for Health and Wellness
Axel Roesle, Ph. D., Assistant Professor, University of Washington
6/7/2007
Interactive Machine Learning: Leveraging Human Intelligence
Interfaces for Staying in the Flow
Interfaces That Influence Groups
Internet 3.0: Ten Problems with Current Internet Architecture and Solutions for the Next Generation
Raj Jain, professor, Computer Science and Engineering, Washington University, St. Louis, MO
April 6, 2007
Internet Access Using Dense Self-Managing Wireless Networks
Peter Steenkiste, professor, Computer Science and of Electrical and Computer Engineering, Carnegie Mellon University
July 22, 2009
Internet Advertising and the Generalized Second Price Auction: Selling Billions of Dollars Worth of Keywords
Internet Background Radiation
Ruoming Pang, Computer Science at Princeton University
April 4, 2005
Internship Projects from MSR Community Technologies Group: Social Studies of Online Discussion Groups
Itai Himelboim and Alan Schussman, interns this Winter in the Community Technologies Group
March 23, 2007
Interprocedural Analysis and the Verification of Concurrent Programs
Akash Lal, doctoral candidate, Computer Sciences Department, University of Wisconsin-Madison
May 27, 2009
Interruptions On Software Teams: A Comparison of Paired and Solo Programmers
Jan Chong, doctoral student, Department of Management Science and Engineering, Stanford University
August 24, 2006
Introducing Nielsen Buzzmetrics Research - The Global Measurement Standard in Consumer Generated Media
Navot Akiva, M.Sc., M.B.A., research scientist, Nielsen Buzzmetrics
August 11, 2006
Inventing Virtual Reading Teachers and Virtual Speech Therapists
Inversion Transduction Grammar with Linguistic Constraints
Colin Cherry, Ph.D. student, University of Alberta
November 30, 2006
Investigation of Complex Social Systems from Communication Data: Scaling from 10^2 to 10^8
Nathan Eagle
June 29, 2009
Invisible Engines: How Software Platforms Drive Innovation
David Evans, founder, Market Platform Dynamics; managing director, LECG's Global Competition Policy Practice; and visiting professor, University College, London
November 14, 2006
IP Network Traffic Matrix Inference and Anomaly Detection
Albert Greenberg, AT&T Fellow; director, Network Measurement and Engineering Research, AT&T Labs-Research
September 18, 2006
Is Linux Maintainable?
Is Scalable, Reliable Quantum Computation Possible?
ISP-Enabled Behavioral Ad Targeting without User Consent (and Beyond)
Aleksandar Kuzmanovic, assistant professor, EECS Department, Northwestern University
June 11, 2009
J is for JavaScript: A direct-style correspondence between Algol-like languages and JavaScript using first-class continuations
Olivier Danvy, programming languages, Aarhus University in Denmark
August 4, 2009
JET: Join-Exit Tree for Time Efficient Contributory Group Key Management
Joint Cluster Analysis of Attribute Data and Relationship Data: Problems, Algorithms and Applications
Martin Ester, Ph.D., senior and advisory systems engineer, Swissair
January 8, 2007
Juicing the Orange: How to Turn Creativity into a Powerful Competitive Advantage
Pat Fallon and Fred Senn, Fallon Worldwide
July 11, 2006
Keeping Fit with the Jetsons
Biray Alsac, international fitness and wellness speaker
October 15, 2008
Keyframe-based SLAM for hand-held Augmented Reality
Georg Klein, post-doc, Active Vision Group, University of Oxford
December 1, 2008
Kluge: The Haphazard Construction of the Human Mind
Gary Marcus, Research Psychologist
4/24/2008
Kneser-Ney smoothing with a correcting function for small data sets
Peter Taraba, Machine Learning Software Engineer, Smart Desktop, Seattle
2/22/2008
Knowledge Sharing and Awareness in Collaborative Computing: Experimental Research Methods
Gregorio Convertino, Fulbright Fellow, Teaching Fellow, PhD Candidate, College of IST of Penn State
May 5, 2008
Laboratory for Recognition and Organization of Speech
Lambda Legal: Making the Case for Equality
Kevin M. Cathcart, executive director, Lambda Legal
August 3, 2006
Language Search Engines and Machine Translation: Making MT and Human Translators Smarter
Tim Hunt and Aaron Davis
7/17/2007
Large Margin Generative Models
Large-scale 3D Reconstruction from Video
Lattice-Based Cryptography
Chris Peikert, researcher, Stanford Research Institute
March 3, 2009
Lattice-Based Discriminative Training: Theory and Practice
Dan Povey, Ph.D., IBM's T.J. Watson Research Center
December 11, 2006
Learn About Woodland Park Zoo's Successful Programs Protecting Wildlife in the Northwest and Around the World
Paul Balle, Dr. Lisa Dabek, Frank Hein, Becky Barker, Karen Ofsthis
October 13, 2006
Learnable Similarity Functions and Their Applications in Information Integration and Clustering
Mikhail Bilenko, Ph.D. candidate, Department of Computer Sciences, University of Texas at Austin
March 27, 2006
Learning and Competition with Finite Automata
Abraham Neyman, professor, Mathematics, Hebrew University of Jerusalem
February 22, 2007
Learning and Inferring Transportation Routines
Learning Discriminative Models with Incomplete Data
Learning Models of Human Activities and Interactions using Multi-Modal Wearable Sensors
Tanzeem Choudhury, Ph. D., affiliate faculty member, University of Washington
9/24/2007
Learning Rules for Textual Entailment
Fabio Massimo Zanzotto, Associate Professor, University of Rome "Tor Vergata"
March 17, 2008
Learning to Label Images
Rich Zemel, associate professor, Department of Computer Science, University of Toronto
August 15, 2006
Learning using Large Datasets
Léon Bottou, Ph. D, Researcher, NEC Labs America in Princeton
12/10/2007
Leaving Microsoft to Change the World
John Wood, Room To Read
September 22, 2006
Leveraging Fine-Grained Multithreading for Efficient SIMD Control Flow
Tor M. Aamodt, Assistant Professor, Department of Electrical and Computer Engineering, University of British Columbia
2/15/2008
Lifelong user models, memory and learning
Judy Kay, Principal, Computer Human Adaptive Interaction Group
10/4/2007
Limits of Obfuscation
Linguistic Visualization for Fun and Profit
Christopher Collins, PhD candidate, computational linguistics, information visualization, and human-computer interaction, University of Toronto
October 2, 2008
Linked Decompositions of Networks and Polya Urns with Choice
Christos H. Papadimitriou, C. Lester Hogan professor, Computer Science, UC Berkeley
April 25, 2007
Liquid Types
Ranjit Jhala, assistant professor, Department of Computer Science and Engineering, UC San Diego
July 31, 2008
Literacy Bridge and the Talking Book Project
Cliff Schmidt, grassroots lobbyist
May 19, 2009
Live Long and Prosper! Exercise, Nutrition and Supplements for Optimal Energy and Productivity
Load Management and Fault-Tolerance in a Distributed Stream Processing System
Local Chromatic Number of Quadrangulation of Surfaces
Gabor Tardos
February 27, 2006
Locality and Phases: Dynamic Structures in Large-Scale Program Behavior (2006)
Chen Ding, Computer Science Department, University of Rochester
November 16, 2006
Locality and Phases: Dynamic Structures of Large-Scale Program Behavior (2005)
Locating Family Values: A Field Trial of the Whereabouts Clock
Dr. Barry Brown, innovative interdisciplinary researcher
December 3, 2007
Location, Time and Context in Systems: Rover - An Example
Dr. Ashok K. Agrawala, professor, Computer Science and Electrical and Computer Engineering, University of Maryland
November 15, 2006
Location-Based Activity Recognition
Dieter Fox, associate professor and director, Robotics and State Estimation Lab, Computer Science & Engineering, University of Washington
May 17, 2006
Log-Based Architectures: Using Chip Multiprocessors to Help Software Behave Correctly
Todd C. Mowry, director, Intel Research Pittsburgh; associate professor, Computer Science Department, Carnegie Mellon University
September 6, 2006
LogTM: Log-Based Transactional Memory
Looking Beyond Performance: Processors for Time Travel
Satish Narayanasamy, Ph.D. candidate, Computer Science, University of California, San Diego
March 15, 2007
Lost in Space: The Fall of NASA and the Dream of the New Space Age
Low Distortion Embeddings for Edit Distance
Yuval Rabani, Ph.D., associate professor, Technion - Israel Institute of Technology
October 12, 2006
Lower Bounds for Linear Degeneracy Testing
Machina Coelestis: Computationally Enabled, Data Intensive Astronomy for the 21st Century
S. George Djorgovski, Professor of Astronomy, Co-Director, Center for Advanced Computing Research (CACR), Caltech
4/17/2008
Machine Learning Exploration Of Brain fMRI Data To Study Inhibitory Control Mechanisms
Dimitris Samaras, Ph. D., Associate Professor, Stony Brook University
8/10/2007
Machine Learning Methods for Discovery of Regulatory Elements in Bacteria
Machine Learning Methods for Structured and Collective Classification
Thomas Hofmann
April 3, 2006
Machine Understanding of Human Audio/ visual Affective Expressions
Zhihong (John) Zeng, Beckman Postdoctoral Fellow, Beckman Institute, UIUC.
4/25/2008
Making Concurrency Mainstream
Edward A. Lee, Robert S. Pepper Distinguished professor, EECS and chair, Electrical Engineering and Computer Sciences (EECS) Department, U.C. Berkeley
January 12, 2007
Making ISP (Dynamic Verification for MPI) Practical
Ganesh Gopalakrishnan, School of Computing, University of Utah
March 30, 2009
Making Large Legacy Software Run Twice as Fast on a Quad-Core with Just One Month of Programmer Effort: A Case Study with BerkeleyDB
Todd C. Mowry, professor, Computer Science Department, Carnegie Mellon University
April 13, 2009
Making Networks More Robust
Making Semiconductors Ferromagnetic: Reasons, Challenges, and Opportunities
Jacek Furdyna, Marquez Endowed Chair, Information Theory and Computer Technology, University of Notre Dame
December 1, 2006
Making Smart Science Easier: The CombeChem Experience - eScience from the Laboratory to the Library
Dr. Jeremy Frey, reader, School of Chemistry, University of Southampton, UK
April 27, 2007
Making Wireless LANs Faster and Fairer
Managing Large-scale Probabilistic Databases
Christopher Ré's, PhD candidate, department of Computer Science and Engineering, advised by Professor Dan Suciu
March 9, 2009
Managing Uncertainty Using Probabilistic Databases
Nilesh Dalvi, Ph.D. candidate, University of Washington
April 2, 2007
Mantis and JouleSort: Power Models and Metrics in Enterprise Computing
Suzanne Rivoire, final-year Ph.D. student, electrical engineering, Stanford University
December 6, 2007
Market-Based Programming Paradigms for Sensor Networks
Mathematical Analysis of Programs
Mathematical Sketching: A New Approach for Creating and Exploring Dynamic Illustrations
Maximizing the Spread of Influence in a Social Network
ME++
Measurement and Monitoring in Wireless Sensor Networks
Measurement-Driven Modeling and Design of Internet-Scale Systems
Media Computation: Introducing Computing Contextualized in Video and Audio Processing
Mark Guzdial, Professor, School of Interactive Computing, College of Computing, Georgia Institute of Technology
3/17/2008
Mediators
Moshe Tennenholtz, Ph. D., Professor, Industrial Engineering and Management, Technion
7/17/2007
Memex Summit
Memex Summit (Digital Memories Workshop)
July 19. 2006
Memory Model = Instruction Reordering + Store Atomicity
Prof. Arvind, Johnson Professor, Computer Science and Engineering, MIT
May 15, 2006
Menger's Theorem for Infinite Graphs
Mentoring: The People Who Lead Us Toward Our Purpose in Life
Message-Passing for Graph-Structured Linear Programs: Proximal Methods and Rounding Schemes
Alekh Agarwal, 2nd year PhD student, Computer Science Dept., UC Berkeley
July 21, 2009
Metaprogramming AJAX Apps with Static Types
Adam Chlipala, postdoc, computer science, Harvard University
July 24, 2009
Microcosm: E. coli and the New Science Life
Carl Zimmer, science writer, New York Times; author of six books including "Evolution: The Triumph of an Idea and Parasite Rex"
June 3, 2008
Microphone Array for Audience Capture in Lecture Rooms
Rong Hu, fourth year PhD student, Department of Computer Science, University of Missouri-Columbia
August 18, 2006
Microsoft Research, Turning Ideas Into Reality for 15 Years, 15th Anniversary Celebration Event
The latest technology in research areas such as surface computing, augmented cognition and visualization and get a glimpse into future computing scenarios.
Mirroring People: The New Science of How We Connect With Others
Marco Iacoboni, director, Transcranial Magnetic Stimulation Lab, Ahmanson-Lovelace Brain Mapping Center, David Geffen School of Medicine/UCLA
June 5, 2008
Mobile Personal Sensing Systems: Applications and Architecture
Deborah Estrin, professor, Computer Science and Electrical Engineering, UCLA
June 15, 2009
MobileASL: Making Cell Phones Accessible to the Deaf Community
Richard E. Ladner, Boeing professor, Computer Science and Engineering, University of Washington
December 8, 2006
Mobility for Sensing Uncertainty Reduction in Sensor Networks
Aman Kansal, Ph.D. student, University of California, Los Angeles
March 23, 2006
Model Checking of Predicate Abstracted Programs without BDDs
Model Checking Transactional Memories
Vasu Singh, summer intern, MSR
August 15, 2008
Model Drive Development of Enterprise Applications
Model-based Testing with Labeled Transition Systems
Jan Tretmans, researcher, Embedded Systems Institute (ESI), Eindhoven; part-time associate professor, Radboud University Nijmegen, Netherlands
August 14, 2006
Model-Checking Modulo Theories: Declarative Framework and Pragmatic Issues
Silvio Ranise, Ph.D., researcher, INRIA
September 1, 2009
Modeling and Analysis of Access Control Survivability
Modeling and Enacting Electronic Contracts
Kamal Karlapalem, PhD, professor, International Institute of Information Technology, Hyderabad
January 8, 2009
Modeling and Facilitating Human Communication
Modeling and Observing Climate Change
Professor Simon Tett, Chair of Earth System Dynamics and Modeling, University of Edinburgh
December 18, 2007
Modeling Deformable Surfaces from Single Videos
Pascal Fua, professor, School of Computer and Communication Science, EPFL
June 19, 2008
Modeling Intention in Email: Speech Acts, Information Leaks and User Ranking Methods
Vitor R. Carvalho, Ph. D. Candidate, School of Computer Science, Carnegie Mellon University
2/28/2008
Modeling Science: Topic models of Scientific Journals and Other Large Document Collections
David Blei, Ph.D., Assistant Professor, Computer Science, Princeton University
4/17/2007
Models as Structures: The Structural Semantics of Model-based Design
Ethan Jackson, PhD candidate, Computer Science, Vanderbilt University
January 30, 2007
Modern Computer Arithmetic
Paul Zimmermann, PhD, author and co-author
June 12, 2009
Modular Static Analysis with Sets and Relations
Viktor Kuncak, Ph.D. candidate, MIT
March 22, 2006
Modular verification of concurrent programs with heap
Alexey Gotsman, PhD candidate, University of Cambridge (UK)
March 31, 2009
Monitoring Atomicity in Concurrent Programs
Madhusudan Parthasarathy, Ph.D., assistant professor, University of Illinois at Urbana-Champaign
August 1, 2008
Monitoring Distributed Data Streams
Assaf Schuster, Computer Science Department, Technion Israel Institute of Technology
8/20/2007
MOP: A Generic and Efficient Runtime Verification Framework
Grigore Rosu, assistant professor, University of Illinois at Urbana-Champaign (UIUC)
April 27, 2007
More Data Less Work: SVM Training in Time Decreasing with Larger Data Sets
Nathan Srebro, Ph.D., assistant professor, Toyota Technological Institute--Chicago (TTI-Chicago)
July 30, 2008
More Natural Programming Through User Studies
More than Human: Embracing the Promise of Biological Enhancement
Moving VoIP Beyond the Phone
MS-PAC Amb. Paul Bremer MSPAC Lunch
Amb. Paul Bremer
February 2, 2006
MSPAC - United States Senator Ted Kennedy
MSPAC Discussion and Book Signing with Senator John Kerry and Teresa Heinz Kerry
Senator John Kerry and Teresa Heinz Kerry
April 3, 2007
MSR Symposium on Computational Photography
MSR Symposium on Computational Photography
7/18/2007
MSR Technical Education Series: Designing .NET Class Libraries
Krzysztof Cwalina, program manager, .NET Framework Team, Microsoft
January 22, 2007
Multi-Engine Machine Translation Guided by Explicit Word Matching
Multi-Camera Tracking with a Probabilistic Occupancy Grid
Francois Fleuret
May 19, 2006
Multi-layer Architectures for Secure Communication: Information Theoretic Perspectives
Ashish Khisti, Ph.D. candidate, MIT
May 15, 2008
Multi-stack automata reachability: A New Tractable Subclass
Madhusudan Parthasarathy, Ph.D., Assistant Professor, University of Illinois at Urbana-Champaign
5/15/2007
Multimedia Streaming in Self-Organized Mesh Networks
Yi Cui, Ph.D., Assistant Professor, Department of Electrical Engineering and Computer Science at Vanderbilt University
March 7, 2006
Multimodal Processing of Human Behavior in Intelligent Instrumented Spaces: A Focus on Expressive Human Communication
Carlos Busso, Ph.D. candidate, Electrical Engineering, University of Southern California (USC)
May 5, 2008
Multiple View Geometry and L-infinity Optimization
Multiprocessor Architectures for Programmability
Luis Ceze, PhD candidate, Department of Computer Science, University of Illinois Urbana-Champaign (UIUC)
April 4, 2007
Music Information Retrieval: Query-By-Humming and Source Estimation
Bryan Pardo, assistant professor, Department of Electrical Engineering and Computer Science; courtesy appointment School of Music, Northwestern University
October 13, 2006
Music Technology for Enhancing Creative Expression and Education
Youngmoo Kim, Ph.D., assistant professor, Electrical and Computer Engineering Department, Drexel University
July 30, 2008
Music-Specific Audio Content Analysis
Musicophilia: Tales of Music and the Brain
Dr. Oliver Sacks, neurologist and author, Columbia University
October 19, 2007
Naked Conversations: How Blogs are Changing the Way Businesses Talk with Customers
Shel Israel and Robert Scoble
March 28, 2006
Natural Logic and Alignment in Natural Language Inference
Bill MacCartney, doctoral candidate, Computer Science, Stanford University
October 8, 2008
Natural Scene Categorization in Humans and Computers
Prof. Fei-Fei Li's, faculty member, Beckman Institute
April 14, 2006
NCWIT "IT Innovation and the Role of Diversity" Town Hall
Lucy Sanders, NCWIT CEO; Bill Wulf, President, National Academy of Engineering; Rick Rashid, Senior Vice President, Microsoft Research; Padmasree Warrior, Executive Vice President and CTO, Motorola; Dr. Kathie Olsen, NSF Deputy Director and COO; and more
May 17, 2006
Need: How PowerPoint Adversely Mediates Thought and Possible Remedies
David K. Farkas, professor, Department of Technical Communication, University of Washington
June 21, 2006
Neighbourhood Component Analysis
Net.TV is not TV (as we know it)! The Economics of Open Content
Jeff Ubois, manager, archiving production practice, Intelligent Television
, March 29, 2006
Network Coded Wireless Architecture
Sachin Katti, Ph.D., postdoctoral scholar, U.C.Berkeley
April 20, 2009
Network Data Streaming - A Computer Scientist's Journey in Signal Processing
Jun (Jim) Xu, Ph.D., associate professor, College of Computing, Georgia Institute of Technology
August 22, 2008
Network Market Design for Efficient Resource Allocation
Rahul Jain, visiting scholar, University of California, Berkeley
July 24, 2006
Network Visualization: Two new strategies and their case study evaluations
Ben Shneiderman, Professor, Department of Computer Science, Founding Director, Human-Computer Interaction Laboratory, University of Maryland
9/26/2007
New Approaches for Building Cryptographic Hash Functions
Thomas Ristenpart, Ph. D. Student, UC San Diego
8/1/2007
New Directions in Pointer Analysis
New Directions in Robust Automatic Speech Recognition
New Directions in Static Analysis for Error-Detection and Garbage Collection
New Locally Decodable Codes and Private Information Retrieval Schemes
Sergey Yekhanin, Ph.D., Massachusetts Institute of Technology
January 3, 2007
New Market Models and Algorithms
Vijay Vazirani, Ph.D., fellow, ACM; author
May 24, 2006
New Trends in Parametric Models from 1 to the 3-D Case
Niche Envy: Marketing Discrimination in the Digital Age
Joseph Turow, Robert Lewis Shayo professor of communication, Penn's Annenberg School for Communication
January 30, 2007
No Ifs, Ands, or Buts: Uncovering the Simplicity of Conditionals
Jonathan Edwards, research fellow, Software Design Group, MIT CSAIL
November 28, 2007
Noise Robust Blind System Identification and Subband Equalization of Room Transfer Functions with Applications to Speech Dereverberation
Nikolay Gaubitch, Ph.D., research associate, Communications and Signal Processing Group, Imperial College London
May 20, 2008
Non-spherical microphone arrays for spherical harmonic analysis of 3D spatial sound fields
Thushara Abhayapala,Associate Editor, EURASIP Journal; Aastha Gupta, PhD student, Research School of Information Sciences & Engineering, the Australian National University (ANU)
September 19, 2008
Normalisation by Evaluation
Klaus Aehlig, University of Munich
April 20, 2009
Not Even Wrong
Not from Scratch: What the Fine Arts brings to HCI
Numerical algorithms in material science
Sylvie Aubry. Ph. D., Research Associate at Stanford University
4/10/2008
Nurtureshock: New Thinking About Children
Po Bronson, writer, New York Magazine and The Guardian in the United Kingdom
September 15, 2009
Off the Beaten Path in Pervasive Computing
Dr. Joe Marks, director, MERL Research
June 5, 2006
On Evaluating Language Technologies
Ellen Voorhees, manager, Retrieval Group, Information Access Division, National Institute of Standards and Technology (NIST)
August 11, 2008
On Graph Kernels
S V N Vishwanathan, Ph. D., Principal Researcher, National ICT Australia
9/28/2007
On the Automatic Verification of Dynamic/Parametrized Systems
Ahmed Bouajjani, Professor in Computer Science, University Paris Diderot, head of the Verification group, Liafa
August 20, 2008
On the Capacity of Information Networks
On the Compressibility of NP Instances and Cryptographic Applications
Moni Naor, professor, Computer Science, Weizmann Institute of Science in Rehovot, Israel
August 9, 2006
On the Measure of Intersecting Families, Spectral Methods
One Dimensional DLA
One-Forms and Tutte-Like Embeddings
Online Approximation Techniques for Spatial Data
Online Ascending Auctions for Gradually Expiring Items
Online Auctions, Strategyproofness and Random Valuations
Opportunistic Spectrum Access via Dynamic Resource Allocation
Mingyan Liu, Associate Professor, Department of Electrical Engineering and Computer Science, University of Michigan, Ann Arbor
3/14/2008
Opportunities and Challenges in End-to-End Verification of Software Systems
Opportunities and Challenges in Sensing, Inference and Context-aware Computing
Anthony LaMarca, Ph. D., Associate Director, Intel Research Seattle
7/23/2007
Optimal control in biology and engineering
Emanuel Todorov
December 5, 2007
Optimal Dynamic Auctions
Mallesh Pai, graduate student, Kellogg School of Management, Northwestern University
March 21, 2006
Optimal Marketing Strategies over Social Networks
Mukund Sundararajan, Graduate Student
3/25/2008
oPtions: The Secret Life of Steve Jobs
Daniel Lyons, senior editor, Forbes
October 23, 2007
Oracle Semantics for Concurrent Separation Logic
Aquinas Hobor, graduate student, Princeton University
June 5, 2008
Organizing Flickr: Object Mining Using Particular Object Retrieval
James Philbin, pursuing D. Phil., Oxford University
May 6, 2009
OSIsoft PI System Overview
Christian Luckock, Directory of Enterprise Architecture, Data Center & IT Solutions Group
4/2/2008
Out of Our Heads: Why You Are Not Your Brain and Other Lessons from the Biology of Consciousness
Alva Noe, writer, philosopher, member, Institute for Cognitive and Brain Sciences and the Center for New Media, UC Berkeley
April 6, 2009
Out of Poverty: What Works When Traditional Approaches Fail
Paul Polak, founder, International Development Enterprises
November 17, 2008
Overview of Ricoh's California Research Center
John Barrus, director, Ricoh's California Research Center
June 25, 2008
Overview of the Science Fiction Museum
Overview of Tree-to-String Translation Models
Yang Liu, PhD, assistant researcher, Institute of Computing Technology (ICT), Chinese Academy of Sciences
July 13, 2009
P2P and Online Social Networking Research at Mirage Group
Reza Rejaie, Assistant Professor, Department of Computer and Information Science, University of Oregon
3/26/2008
PageRank and the Random Surfer Model
Pall Melsted, Graduate Student, The Department of Mathematical Sciences, Carnegie Mellon University
1/16/2008
Pair Programming Re-Design
Larry Leifer and Jan Chong
March 20, 2006
Pairing-Based Non-Interactive Zero-Knowledge Proofs
Dr. Jens Groth, PhD, assistant professor, Computer Science Department, University College London
August 26, 2009
Paradigms of Worm Defense & Thoughts from an Ivory Tower
ParaEval: Using Paraphrases to Improve Machine Translation and Summarization Evaluations
Liang Zhou, Ph.D. student from the Information Sciences Institute
April 20, 2006
Parallel Execution Models for Future Multicore Architectures
Guri Sohi, faculty member and chair, Computer Sciences Department, University of Wisconsin-Madison
February 17, 2006
Parallel Monotonicity Reconstruction
C. Seshadhri, Fifth-Year Graduate Student, Princeton University
December 19, 2007
Parallel Programming with Chorus
Swarat Chaudhuri, Ph.D., assistant professor, Computer Science, Pennsylvania State University
August 17, 2009
Parallel Thinking
Guy Blelloch, PhD, professor, Computer Science; associate dean, Planning, Carnegie Mellon
June 5, 2009
Parameterized Model Checking of Protocols: Two Developments
Part 1: Improved Mixing Time Bounds for the Thorp Shuffle and L-Reversal Chain
Ben Morris, UC Davis
September 16, 2008
Part II:Improved mixing time bounds for the Thorp shuffle and L-reversal chain
Ben Morris
September 18, 2008
Partially Observable Markov Decision Processes for Spoken Dialogue Systems
Steve Young, professor, Information Engineering, Cambridge University
May 15, 2009
Pastiche: Decentralized, Low Cost Backup Using Untrusted Internet Storage
Path invariants
Andrey Rybalchenko, Researcher, Max Planck Institute for Computer Science, Ecole Polytechnique Federale de Lausanne
6/14/2007
Path Projection for User-Centered Static Analysis Tools
Jeff Foster, Assistant Professor, Department of Computer Science, University of Maryland, College Park
4/10/2008
Pathfinder/MonetDB: Making xQuery Scale Using the Relational Approach
Paths Beyond Local Search: A Tight Bound for Randomized Fixed-Point Computation
Shang-Hua Teng, full professor, Computer Science Department, Boston University
5/24/2007
Patterns as Signs
Paying Attention to Interruption: A Human-Centered Approach to Intelligent Interruption Management
Brian P. Bailey, Ph.D., assistant professor, Department of Computer Science, University of Illinois-Urbana
December 12, 2006
People Pen and Computers
François Guimbretière, assistant professor, University of Maryland Human-Computer Interaction Lab
June 16, 2006
Perelman's Work on the Thurston's Geometrization Conjecture - 1
Perelman's Work on the Thurston's Geometrization Conjecture - 2
Perelman's Work on the Thurston's Geometrization Conjecture - 3
Personal Passion and Professional Excellence - You Can't Have One Without the Other!
Persuasive Games: The Expressive Power of Videogames
Ian Bogost, PH.D., Assistant Professor, School of Literature, Communication and Culture, Georgia Institute of Technology
6/21/2007
Pervasive Technologies for Health: a Focus on the Human
Dr. Kay Connelly, Assistant Professor, Computer Science Department, co-founder, Ethical Technologies in the Homes of Seniors lab, Associate Director, Center for Applied Cybersecurity Research, Indiana University
August 19, 2008
Phase-Aware Program Profiling
Phonological Licensing of Grammatical Morphology in Early Speech
Katherine Demuth, professor, Cognitive and Linguistic Science, Brown University
November 16, 2006
Pig: Dataflow Programming for Map-Reduce Clusters
Christopher Olston, senior research scientist, Yahoo! Research
July 17, 2008
Place Lab: Device Positioning Using Radio Beacons in the Wild
PlanAhead Design and Analysis
Don Matson, Sr. Field Applications Engineer, Xilinx
March 25, 2009
Play Between Worlds: Exploring Online Game Culture
T. L. Taylor, associate professor, Digital Aesthetics and Communication, IT University of Copenhagen
May 12, 2006
Play: How it Shapes the Brain, Opens the Imagination, and Invigorates the Soul
Dr. Brown, medical doctor, scientific researcher, founder, National Institute for Play
April 2, 2009
PLOW: A Collaborative Task Learning Agent
James Allen, Senior Research Scientist and Associate Director of the Institute for Human and Machine Cognition, Pensacola Florida
March 11, 2008
Point-Based Methods in Shape Modeling and Physical Simulation
Power Management from Handhelds to DataCenters: Chasing the Next 10X Improvements
Partha Ranganathan, principal research scientist, Hewlett Packard Labs
September 15, 2006
Power series, power serious
Doug McIlroy, Dartmouth
December 3, 2007
Precision-Integrated Scalable Monitoring
Navendu Jain, Ph.D. candidate, Computer Science, UT Austin
May 21, 2008
Predicting Secret Keys via Branch Prediction
Çetin Kaya Koç , Ph. D., Member, Steering Committee of CHES
2/4/2008
Predicting the 'Unpredictable'
Predicting Value from Design
Pricing Games in Networks
Eva Tardos, Chair of Computer Science, Cornell University
December 13, 2007
Privacy-Enhanced Personalization
Probabilistic Latent Variable Decompositions for Image and Audio Analysis
Bhiksha Raj, Ph.D., staff scientist, MERL
July 11, 2006
Probabilistic Models for Parsing Images
Xiaofeng Ren, Ph.D. student, Computer Vision Group at U.C. Berkeley
February 16, 2006
Process Extraction in an Abstract Logic of Events
Bob Constable, professor and dean, CIS, Cornell University
April 13, 2006
Program Analysis with Binary Decision Diagrams
Program Composition by Non-Programmers
Ken Kahn, Developer, Toon Talk
7/11/2007
Program Verification via Three-Valued Logic Analysis
Alexey Loginov, University of Wisconsin at Madison
April 19, 2006
Programming by Sketching
Programming for Everyone: How Scratch is Making Programming More Accessible, Meaningful, and Social
Mitchel Resnick, Professor of Learning Research, MIT Media Lab
March 3, 2009
Programming with Time Using Graphical Data Flow
Jacob Kornerup, Senior Software Engineer, LabVIEW R&D team, National Instruments
December 17, 2007
Project Fabulous: Turning Grumbling into Energy
Protocol Composition Logics
Provably Optimal Solutions to Geometric Vision Problems
Richard Hartley, Professor, Vision Science, Technology and Applications Program, National ICT, Australia
7/12/2007
Proxy-Based Peer-to-Peer Network: Analysis, Optimization and Algorithms
S.-H. Gary Chan, Associate Editor, IEEE Transactions on Multimedia
October 7, 2008
Pseudorandom Walks in Directed Graphs and the RL vs. L Question
Public Key Cryptosystems: Stronger Security from General Assumptions
Tal Malkin, assistant professor, Computer Science, Columbia University
August 11, 2009
Purpose: The Starting Point of Great Companies
Nikos Mourkogianis, senior partner, Panthea
November 10, 2006
Putting Our Digital Information In Its Place: Lessons Learned from Fieldwork and Prototyping in the Keeping Found Things Found Project
William Jones, research associate professor, Information School, University of Washington
June 11, 2009
QoS-Based Resource Management
Quantum Loop Gas Approach to Topological Phases of Correlated Electrons
Query Processing for Large-Scale XML Message Brokering
QuickSilver Scalable Multicast
Krzys Ostrowski, Ph.D. student, Computer Science Department, Cornell University
November 9, 2006
Race-Aware Runtimes for Concurrent Software Development & Deployment
Tayfun Elmas, Ph.D. student, Koc University
August 23, 2006
Raising the Bar: Integrity and Passion in Life and Business: The Story of Clif Bar, Inc.
Raksha: A Flexible Information Flow Architecture for Software Security
Michael Dalton, 2nd year graduate student, Computer Science, Stanford University, Hari Kannan, 2nd year graduate student, Electrical Engineering, Stanford University
8/17/2007
Random Forests and the Data Sparseness Problem in Language Modeling
Random Kitchen Sinks: Replacing Optimization with Randomization in Learning
Ali Rahimi, senior research scientist, Intel Labs Berkeley
July 24, 2009
Random Matrices and Spectral Clustering Abstract
Ravi Kannan, Ph.D., Theoretical Computer Science, Applied Mathematics, Optimization and Discrete Mathematics, Yale University
July 27, 2006
Random Sorting Networks
Alexander Holroyd, Ph.D., University of British Columbia
October 27, 2006
Random Walk and Random Aggregation, Derandomized
Randomly Coloring Planar Graphs with Fewer Colors Than the Maximum Degree
Juan Vera, post-doctoral researcher, Georgia Tech
December 11, 2006
Rapid Language Portability for Speech Processing Systems
Alan W Black, Associate Professor, Language Technologies Institute, Carnegie Mellon University
October 17, 2008
Rapt: Attention and the Focused Life
Winifred Gallagher, science journalist and author
May 7, 2009
RAPUNSEL & CREOL - Games that Teach Kids to Program
Rate Control Protocal (RCP): Congestion Control to Make Flows Complete Quickly
Nandita Dukkipati, expecting Ph.D. degree in June 2007, Electrical Engineering, Stanford University
April 25, 2007
rCAD - RNA Comparative Analysis using SQLServer
Robin Gutell, Associate Professor, Integrative Biology, UT Austin
December 10, 2007
Reachability Under Uncertainty and Bayesian Inverse Reinforcement Learning
Eyal Amir, Assistant Professor, Computer Science, University of Illinois at Urbana-Champaign
May 7, 2008
Real-Time Approaches for Dynamic Structure and Electronic Excitations in Condensed Matter
J. J. Rehr, Ph.D., professor, Physics, University of Washington
August 11, 2008
Real-Time Concurrent Garbage Collection
Erez Petrank, Ph.D., associate professor, Computer Science, Technion
May 21, 2008
Real-Time Visual Localisation and Mapping with a Single Camera
Andrew Davison, Reader in Robot Vision, Imperial College London
September 25, 2008
Reasoning About Reliability and Security Using Boolean Methods
Rebuilding Rome in a Day
Sameer Agarwal, PhD, Department of Computer Science and Engineering, University of Washington
June 12, 2009
Recent Advances in Convex Optimization
Stephen P. Boyd, Samsung Professor of Engineering, Professor of Electrical Engineering, Information Systems Laboratory, Stanford University
October 17, 2008
Recent Developments in Linguistics - And in the UW Department of Linguistics
Recent Progress in Group Editors and Operational Transformation Algorithms
Reconstruction and visualization of large photo collections
Noah Snavely, Ph.D. candidate, Graphics and Imaging Laboratory (GRAIL), Department of Computer Science and Engineering, University of Washington
3/25/2008
Records, Sums, Cases, and Exceptions: Row-polymorphism at Work
Matthias Blume, assistant professor, Computer Science, Toyota Technological Institute at Chicago (TTI-C)
April 30, 2007
Recovering Human Shape and Motion from Video Sequences
Recurrence of the Simple Random Walk Path
Ori Gurel-Gurevich, Ph. D. Student, Weizmann Institute of Science, Israel
1/2/2008
Reducing Errors in Computer Recognition of Handwritten Material
Refinding Information on the Web: What do we do?
Robert Capra, Ph.D., School of Information and Library Science, UNC Chapel Hill
June 29, 2006
Refinement of Thread-Modular Verification
Alexander Malkis, Ph D. Student, University of Freiburg, Germany
11/27/2007
Reformulating the HMM as a Trajectory Model by Imposing Explicit Relationship Between Static and Dynamic Features
Regression Verification: Proving the Equivalence of Similar Programs
Ofer Strichman, associate professor, Technion, Haifa, Israel
July 30, 2009
Regular Extrapolation of Behavioral Models-Searching for Regular Patterns by Observation
Regular Symbolic Analysis of Dynamic Networks of Pushdown Systems
Relational Databases in the Social and Health Sciences: The View from Demography
Samuel Clark, demographer, Sociology Department, University of Washington
October 26, 2006
Releasing Human Adaptive Power through Design Innovation
David Woods, professor, Cognitive Human Factors, Ohio State University
July 2, 2008
Relevance Heuristics for Program Analysis
Reliability Estimation During Architectural Design
Reliable Feedback from Clicking Behavior in Adaptive WWW Search
Repositioning Computer Science: Increasing Diversity and Creativity in CS Education
Requirements in the wild: How small companies do it
Jorge Aranda,PhD student, Department of Computer Science, University of Toronto
December 12, 2007
Research challenges in P2P networking
Dah Ming Chiu, associate editor, IEEE/ACM Transaction on Networking
August 18, 2008