Computer Science and Engineering Colloquia Episode Guide

Episode Guide

• 20 Questions for Startup Success
• 25 Yr. Perspective on Binary Translation
• 3-D Structures and Proteins
• Adventures of a Spaceflight Participant
• Aggregating Imprecise Data in OLAP: Principles and Algorithms

  Lecture by T.S. Jayram of the IBM Almaden Research Center.

• All I Really Need to Know I Learned From Google

  Oren Etzioni discusses the evolution of the KnowItAll family of systems.

• Amazon.com: A Data-Driven Enterprise
• Ambric's New Teraops Chip
• The Application of Platform-Based Design to Embedded Electronics and Synthetic Biological Systems
• Applying Control Theory to Computing Systems
• Apprenticeship Learning for Robotic Control

  Apprenticeship learning techniques have enabled people to solve real-world control problems in robots.

• Bionic and Bioionic Neural Interfaces

  Retinal prostheses offer hope for patients suffering from age-related macular degeneration and other diseases affecting vision.

• Boolean Methods for Arithmetic Reasoning

  The importance of detecting and correcting errors in computer systems before run-time.

• Bringing Sensing to the Masses: Infrastructure Mediated Sensing

  Shwetak Patel develops a method for existing home infrastructure to sense human activity.

• Broadening Computer and Robotics Education and Participation for Women (C.A.R.E.)

  Professor Andrew Williams discusses the untapped human-resource potential in industry and academic research.

• Building Secure Systems From Buggy Code With Information Flow Control

  Redesigning operating systems, network protocols and hardware to address security at a more fundamental level.

• C.A.R.E.
• Calculi for Access Control
• Channel Capacity Against Errors
• Closing the Innovation Gap

  Author Judy Estrin discusses how America must reignite sustainable innovation in business, education and government.

• Coarse-to-Fine Natural Language Processing

  Syntactic parsing; acoustic modeling for speech recognition; machine translation issues.

• Community Systems: The World Online
• Computational Biology: Comparing Vertebrate Genomes

  Comparing genome sequences becomes an important area of computational biology.

• Computational Textiles and the Democratization of Ubiquitous Computing

  The growing research field of e-textiles integrates computation with fabric.

• Computer Science: Past, Present, and Future

  Reviewing the progress in the computing research field and upcoming problems to tackle.

• Computer Science Research for Global Development

  A team of researchers explores solutions in the context of agriculture, health care and education.

• Computer Tech: Public Health
• Computing Over the Reals: Where Turing Meets Newton

  Lenore Blum of Carnegie Mellon University discusses the introduction of basic notions from numerical analysis into complexity theory.

• Computing Structural Biology

  David Baker of the University of Washington gives a biochemistry lecture.

• Content-Preserving Warps for Video Stabilization and Wide-Angle Imaging
• Controlled Natural Language
• Cooking in Silico
• Coverage Resolution: Sensor Networks
• CSE Photosynth
• Declarative Networking: What Is Next
• Deduplication Storage System

  Disk-based deduplication storage emerges as the new generation storage system for enterprise data protection to replace tape libraries.

• The Design and Analysis of Simple Algorithms

  Lecture by Allan Borodin of the University of Toronto.

• The Desktop: Frontiers in Systems Research Next on: Thursday 3rd December 3:00am EST - ResearchChannel
• Developing Computer Science Curriculum
• Digital Simplicity Through Activity-Based Computing

  Small, on-body sensors assist people with everyday activities.

• DNA Self-Assembly and Computer System Fabrication

  Enabling new modes of computation that are impractical under the constraints of conventional fabrication methods.

• Dynamics of Real-World Networks

  Information diffusion and cascading behavior in networks; dynamics of the structure of time-evolving networks.

• e-Science and Cyberinfrastructure

  Tony Hey of Microsoft discusses the collaborations between scientists and the IT industry.

• Effect of Collusion: Network Games
• An Effective Verification Solution for Modern Microprocessors

  Describing a novel verification framework targeting today's complex microprocessors.

• Embedded Links: A Misunderstood and Fundamental Element of Urban-Scale Networks

  The technical challenges of providing high-speed Internet access infrastructures at a low cost to urban communities.

• The End of Alchemy Empirical Software Security Assurance

  Methodologies for building secure software; benchmarks for developing and growing an enterprise-wide software security initiative.

• Enhancing Creativity Through Toolkits
• Failure Diagnosis in Software
• Google Ad Systems
• Google: Behind the Scenes Look
• Hardness Amplification by Repetition
• How to Get the Most out of a Startup

  Computer science undergraduates learn how to evaluate, interview at and negotiate with startups.

• Human Computation: Channeling Human Brainpower

  Image recognition and other trivial human tasks continue to challenge even the most sophisticated computer programs.

• Human Computer Interaction
• Image Segmentation Using Spectral Rounding

  Lecture by Gary L. Miller of Carnegie Mellon University.

• Information and Physical Security
• Information Processing Sensor Networks

  Feng Zhao of Microsoft discusses networked embedded devices.

• Intelligence in Wikipedia
• The Intentional Domain Workbench

  Making the definition, creation, editing, combination, extension, and processing of Domain Specific Languages more practical.

• Interactive Machine Learning

  Dan Olsen discusses new directions for machine learning algorithms.

• Internet Evolution and Some Challenges for the Early 21st Century

  Computer scientist Vint Cerf discusses ways to improve the Internet's utility.

• Interruptibility
• An Introduction to Venture Capital

  Securing financing is a critical step for startup companies.

• Is Hardware Innovation Over?

  Raising the level of design and lowering the cost of application-specific integrated-circuit development using Bluespec.

• Kinsey: Statistics with Secrecy
• Large Scale Copy Detection

  Copy detection.

• Large Scale Software
• Learning Hierarchical, Nonparametric Models for Visual Scenes

  Exploring hierarchical models using contextual and geometric relationships.

• Learning to Map Sentences to Meaning

  Describing machine learning algorithms for the problem of mapping natural language sentences to representations of their underlying meaning.

• Learning to Program DNA

  Ongoing improvements in DNA sequencing and DNA synthesis technologies make genetic material and genetic information interconvertible.

• Learning to Transform Time Series With a Few Examples

  Lecture by Ali Rahimi of Intel Research.

• Lessons Learned From Applying Control Theory to Computing Systems: A Manifesto for Resource Management Engineering

  Lecture by Joe Hellerstein.

• The Limits of Quantum Computers

  Analyzing four results in quantum computing theory.

• Management of Chronic Disease
• Market-Making: From Algorithms for Price-Setting to Emergent Market Properties

  Lecture by Sanmay Das.

• Markets: Price-Setting Algorithms
• Massive Parallelism in the TeraOPS Chip

  Mike Butts of Ambric discusses his company's high-performance programmable chips.

• Measuring the Accuracy of Distributed Algorithms on Multirobot Systems
• Merrimac: Supercomputing With Streams
• Methods for Software Reliability
• Microsoft Research India: The First Year

  Padmanabhan Anandan discusses the first-year progress of the Microsoft Research India Lab.

• Microsoft's Parallel Computing Platform: Applied Research in a Product Setting

  Joe Duffy discusses the goal of Microsoft's Parallel Computing Platform team.

• Modeling, Analysis and Optimization of On-Chip Communication Architectures

  Network-on-chip communication architectures have emerged as a promising alternative to the classical bus-based and point-to-point communication architectures.

• Models for Scene Recognition
• Models for Texture, Object and Scene Recognition

  Lecture by Svetlana Lazebnik of the University of Illinois at Urbana-Champaign.

• Multiprocessor Architectures for Programmability

  Discussing ways to design computer systems that help simplify parallel programming.

• Multiprocessor Synchronization
• Natural Language Processing

  'Large margin' methods in machine learning can be generalized to 'structured' problems found in natural language processing.

• Near-Optimal Sensor Placements

  Lecture by Carlos Guestrin of Carnegie Mellon University.

• Network Coded Wireless Architecture

  Network designers work to solve the challenges of the wireless medium.

• Neurobiology: Turing

  Understanding the brain mechanisms that give rise to such higher cognitive functions as planning, remembering, and deciding.

• Neuromorphic VLSI for Learning and Memory

  John Arthur describes attempts to re-create the functionality of the hippocampus in an engineered device.

• New Directions in Multiprocessor Synchronization

  Transactional memory promises to alleviate problems associated with locking.

• Nucleic Acid Logic Circuits for Programming Biology

  The design and experimental implementation of DNA-based logic gates and circuits in vitro.

• Object Recognition With Deformable Models

  The problem of detecting and localizing objects in images has important applications in a variety of areas.

• Online Phishing Scams
• Overcoming Security Challenges in Emerging Technologies

  Achieving the promises offered by new technologies without the associated security and privacy risks; wireless implantable medical devices.

• PlanetLab: Evolution vs. Intelligent Design in Global Network Infrastructure

  Larry L. Peterson of Princeton discusses the requirements and design principles of PlanetLab, a global platform for evaluating and deploying network services.

• Powerset and Natural Language Search

  A startup company attempts to bring natural language search to the world.

• Probabilistic Models for Complex Domains

  Daphne Koller of Stanford describes a language that allows the modeling of richly structured domains.

• Quantum Information Science: A Quantum Computer Revolution

  Dave Bacon discusses two of the biggest questions in quantum computing.

• Real-Time Specification for Java

  Jan Vitek reviews the status of the Real-time Specification for Java (RTSJ) and its implementation in the Ovm Java virtual machine.

• Research Challenges Inspired by Large-Scale Computing at Google
• Research in Educational Technology
• Rethinking Internet Traffic Management Using Optimization Theory

  Computer-science professor Jennifer Rexford discusses ways to better manage Internet traffic.

• Rna Motifs in Bacteria
• Robotic Cars: Challenges and Perspectives

  Sebastian Thrun from Stanford University discusses robotic cars and ongoing research on smarter, safer and more efficient transportation.

• Robotic Reasoning
• Robust Design of Arithmetic Units
• SAGE: Software for Algebra and Geometry Experimentation

  A University of Washington project attempts to create an optimal, free, open source software environment for research in algebra, geometry and related areas.

• Satan's Computer Revisited: API Security

  Designers of distributed systems have spent years struggling with security protocols.

• Securing the Web With Decentralized Information Flow Control

  Securing both today's Web sites and tomorrow's Web computing platforms with a new OS technique.

• Self-Defending Software: Collaborative Learning for Security

  An application community may automatically defend itself against previously unknown zero-day exploits.

• Semiconductor-Organic Heterostructures

  The incorporation of molecular monolayers into electronic devices; the modulation of device properties using surface chemistry.

• Sensor-Based Statistical Models of Human Interruptibility

  Lecture by James Fogarty of Carnegie Mellon University.

• Simple Algorithms
• Smart Cell Phones: Making Sense on Small Screens

  Lecture by Patrick Baudisch of Microsoft.

• Software Development Tasks
• Software Transactions: A Programming-Languages Perspective

  Software transactions hold great promise for simplifying shared-memory concurrency.

• Some Hotter Topics in Information and Physical Security
• Spectral Rounding
• Static Analysis of Dynamic Data Structures

  Professor Radu Rugina discusses new heap analysis techniques.

• Stochastic Optimal Control in Biology and Engineering

  A new problem formulation greatly simplifies the construction of optimal control laws.

• Stream Programming: Luring Programmers Into the Multicore Era

  William Thies discusses the computer industry's move to multicore processors.

• Surface Computing and Computer Vision-Based Human Computer Interaction

  New projects exploit sensing technologies to enable fluid, natural interactions on walls and tabletop surfaces.

• Tabletop Groupware

  Computer support for face-to-face group work.

• Technologies for the Rural Developing World
• Technology for Long-Term Care: Scaling Elder Care to the Next Billion
• Theory of Similarity Functions
• A Theory of Similarity Functions for Learning and Clustering

  Kernel functions have proven useful for dealing with many different kinds of data and also have a solid theoretical foundation.

• Third World Distance Learning
• Towards a Simpler Internet

  The complexity of the Internet's protocol stack creates enormous technical problems.

• Traffic Matrix Inference and Anomaly Detection in Large IP Networks

  Albert Greenberg of Microsoft discusses tomo-gravity and anomography.

• Training and Reality: Adventures of a Spaceflight Participant

  'Space tourist' Charles Simonyi discusses the preparation needed for his journey.

• Understanding Venture Capital

  An overview of start-up financing and venture capital.

• Unifying Logical and Statistical A.I.
• The UrbanSim Project: Urban Simulation to Inform Public Decision-Making

  Lecture by Alan Borning.

• Virtual Private Machines: A Resource Abstraction for Multicore Computer Systems

  Learning about architectures, multicore hardware, resource efficiency and operating system policies.

• Visual Interfaces Databases
• Voyagers and Voyeurs: Supporting Collaborative Information Visualization
• The Web the Way You Want
• Why the Algorithm Might Soon Be the Only Game in Town

  Computer science professor Bernard Chazelle discusses algorithms.