59:51
Lessons from Megaprojects: The Creators and Destroyers of Capital
Microsoft Research
1:21:48
Making Reusable Hardware Design IPs Usable: an NoC perspective
1:14:15
Learning to Understand Natural Language in Physically-Grounded Environments
1:14:47
Frontiers of Accessibility: From the Body to the Mind, the Heart, and the Soul
1:16:05
Online Learning and Adaptation Over Networks
50:50
Optimal Falsifications for Cyber-Physical Systems using Trajectory Splicing
59:42
Sensing without Sensors
1:20:23
Gap Probabilities for Zeroes of Stationary Gaussian Functions
1:23:37
Analyzing neurological disorders using functional and structural brain imaging data
1:37:53
Easy Generation and Efficient Verification of Unsatisfiability Proofs
42:52
Revenue maximization and prophet inequalities
58:13
A Sensor Fusion Approach towards Gesture Recognition on the Wearable Ring Form Factor
1:22:38
Collaborative, Large-Scale Data Analytics and Visualization with Python
1:10:33
Random Walks on Groups and the Kaimanovich-Vershik Conjecture for Lamplighter Groups
1:09:52
Digital Traces in Online Places: Methods, Software, and Applications for Social Behavioral Research
54:03
On the Number of Matroids
45:03
RealTime Collaborative Analysis with (Almost) Pure SQL: A Case Study in Biogeochemical Oceanography
48:29
Monitoring the Snowpack in Remote, Ungauged Mountains from Satellite and Computers
14:39
Floating Point Representations in Quantum Circuit Synthesis
1:11:36
Stabilizer: Statistically Sound Performance Evaluation
57:55
ISHI Connects Us: Social Gaming with the Skype Team
37:49
Quantum Speedup by Quantum Annealing
1:21:51
Programming with People: Integrating Human-Based and Digital Computation
1:03:28
Online Node-weighted Steiner Forest and Extensions
1:06:01
The essence of language-integrated query
Self-Organizing Cellular Automata
56:13
Efficient Inference and Learning for Structured Models
56:44
Probabilistic aspects of minimum spanning trees
28:31
Revisiting Lower and Upper Bounds for Selective Decommitments
58:26
Clothing+ (Wearable Sensor Solutions)
45:41
Which side chooses in large random matching markets?
57:43
Privacy and Reliability in an Untrusted Cloud
1:21:07
The Economics of Resource Sharing in the Cloud
58:16
Entangling surfaces, tangibles, webs, clouds, and architectural spaces
55:12
Intersection of two passions
1:16:16
Getting Ready for Change: Handling Concept Drift in Predictive Analytics
59:48
Role of symbolic execution in software testing, debugging and repair
1:12:03
The Lab as Studio: Stories from Microsoft Research's first visiting artist
1:03:51
Can You Hide in an Internet Panopticon?
59:08
Analysis of Boolean Functions: advances and challenges
49:18
Probabilistic Elastic Part Model: A Pose-Invariant Representation for Real-world Face Recognition
1:03:05
Two basic problems in finite stochastic optimization
1:11:25
The CUBE: examples and research challenges in large scale interaction space
50:33
Everything you always wanted to know about web-based device fingerprinting (but were afraid to ask)
1:05:47
Checking App Behavior Against App Descriptions
52:43
Scalable learning of Bayesian network classifiers
1:17:33
Decision Learning: Learning with Strategic Decision Making
1:17:04
The Promises and Pitfalls of Demographic Inference in Social Media
47:28
Unsupervised Transcription of Historical Documents
1:26:35
Code Bubbles: Making the Vision Real
1:27:58
New Abstractions for Responsible Data Management
1:03:53
Contraction and Minor Graph Decomposition and Their Algorithmic Applications
49:51
Hardness of Robust Graph Isomorphism, Lasserre Gaps, and Asymmetry of Random Graphs
1:09:16
Dynamic Analysis for Smartphone Apps
1:01:46
An Appetite for Wonder
1:19:56
Body Powered Sensor Systems for Health and Environment
1:01:47
SAT-Based Decision Procedure for Analytic Sequent Calculi
58:36
Hastings-Levitov aggregation in the small-particle limit
57:18
Local Combinatorics, and Some Words on Local-to-Global Phenomena
55:42
Emotion Detection from Speech Signals
1:09:48
Models, Decisions, and Better Cyber-Physical Systems
Algorithms and Complexity for Quantum Computing
1:00:56
Taming the Quantum Tiger
1:29:20
Deep Learning of Representations
1:28:06
The Dunhuang Heritage: Digital Preservations and Challenges
1:08:44
Modeling Systems from Logs of their Behavior
1:15:36
Similarity for Shape Analysis
1:18:13
Bridging Software Engineering Economics and Digital Business Strategy
1:16:45
Computing in K-12: radical change in the UK
44:39
Photo Sequencing
49:43
Fairness in Theorem Proving
58:03
Learning and testing submodular functions
1:26:16
Automating Separation Logic Using SMT
1:03:49
Optimizing Database-Backed Applications with Query Synthesis
1:24:37
Efficient Global Methods for Robust Computer Vision
59:28
Metric Learning and Manifolds: Preserving the Intrinsic Geometry
1:09:55
Enabling Trustworthy Users
1:25:01
3D Object Tracking for Augmented Reality: Handling Multiple Objects, Motion-Blur, & Lack of Texture
47:41
Generalization Bounds and Consistency for Latent-Structural Probit and Ramp Loss
59:44
Making money with �free� apps
1:03:59
Automatically Assessing Personality from Speech
1:10:12
Video-based In Situ Tagging for Mobile Augmented Reality
1:13:11
Collecting a Heap of Shapes
41:38
Generalized Oblivious Transfer (GOT)
1:35:09
Ten User Experience Best Practices for Windows Phone Application Development
57:27
Batches: Unified and Efficient Access to RPC, WS, and SQL Services
37:09
A mobile context monitoring platform for dynamic mobile computing environments
1:08:59
Reliable Multithreading through Schedule Memoization
50:16
Bound Analysis of Imperative Programs with the Size-change Abstraction
1:25:45
Structured Prediction in NLP: Dual Decomposition and Structured Sparsity
58:49
Visualization Clusters: from Tiled Displays to Remote Visualization
1:20:07
High Availability for Database Systems in Cloud Computing Environments
1:15:52
From Contextual Search to Automatic Content Generation: Scaling Human Editorial Judgment
1:11:15
Privacy Amplification and Non-Malleable Extractors Via Character Sums
1:09:10
The Median Hypothesis
51:22
A novel framework of effective resource management for multi-hop wireless networks
1:15:37
Developing Natural Language-based Software Analyses & Tools to Expedite Software Maintenance
1:08:47
Semi-Supervised Learning for Acoustic and Prosodic Modeling in Speech Recognition
1:09:04
Trajectories and the Extended User Experience
52:53
Algorithms for bipartite matching problems with connections to sparsification and streaming
1:06:28
Privacy, Audit and Accountability
54:07
Quantum-Circuit Design for Efficiently Simulating Many-Body Quantum Dynamics
1:15:31
Model-based Code Generation and Debugging of Concurrent Programs
1:02:23
Taming the Data Monster: Ways to tell your story through data
52:40
Games to Address National Challenges
1:14:21
The Case for Continuous Time
55:08
Nonconvex optimization by Gaussian smoothing and continuation with applications to image alignment
1:12:01
Verifying the integrity of peripherals' firmware
1:25:34
Greening of Nuclear - Fission Energy
1:07:49
Exploring Richer Sequence Models in Speech and Language Processing
1:06:04
Intuitive proofs of Ergodic Theorems
1:13:41
From Under-approximations to Over-approximations and Back
1:15:39
Infinite Reality: Avatars, Eternal Life, New Worlds, and the Dawn of the Virtual Revolution
58:23
A Directionally Tunable but Frequency-Invariant Beamformer for an “Acoustic Velocity-Sensor Triad”
1:21:40
Shared variables and data races in C++11
1:04:34
The Exponential Mechanism for Social Welfare: Private, Truthful, and Nearly Optimal
1:21:52
Prototyping Windows Phone Applications
58:04
Abstract Conflict Driven Clause Learning
1:17:21
MemCAD, A Modular Abstract Domain for Reasoning on Memory States
1:07:29
The Sad, Happy-Ending Story of Logic and Abstraction
48:20
Bug Finding Techniques for Programs with Infinitely Many States
1:27:08
Quantum Computation for Quantum Chemistry: Status, Challenges, and Prospects - Session 1
1:33:44
Quantum Computation for Quantum Chemistry: Status, Challenges, and Prospects - Session 2
2:06:36
Quantum Computation for Quantum Chemistry: Status, Challenges, and Prospects - Session 3
1:27:57
Quantum Computation for Quantum Chemistry: Status, Challenges, and Prospects - Session 4
1:19:15
Probabilistic Methods for Efficient Search & Statistical Learning in Extremely HighDimensional Data
1:08:55
Performing Time, Space and Light
1:17:53
CryptDB: Processing Queries on an Encrypted Database
44:13
A Practical Approach to Reduce the Power Consumption of LCD Displays
55:14
Stochastic Dual Coordinate Ascent and its Proximal Extension for Regularized Loss Minimization
59:32
Approximating the Expansion Profile and Almost Optimal Local Graph Clustering
36:07
Behavior Based Authentication using Gestures and Signatures
1:14:12
Dispelling an Old Myth about an Ancient Algorithm
59:16
Vote Privacy, Revisited: New Definitions, Tools and Constructions
1:13:43
Snow Hydrology at the Scale of Mountain Ranges
1:03:21
Neural Acceleration for General-Purpose Approximate Programs
1:04:14
The similarity distance on graphs and graphons
1:00:44
Recovering Washington’s Wolves & Preserving the Critical Link
39:37
Asymptotic behavior of the Cheeger constant of super-critical percolation in the square lattice
Recent Research and Thoughts on Computational Photography
1:16:17
Three Favorite Results
41:53
3D Printing and Digital Fabrication
1:25:58
Future (Present?) of Machine Translation
1:01:20
Designing Collaborative Visual Analytics Tools: From Supporting Experts to Engaging The Public
51:01
Doubly Stochastic Primal-Dual Coordinate Method for Empirical Risk Minimization
1:10:55
High Throughput Functional Testing of Patient Derived Cancer Cells
54:24
Efficient Zero-Knowledge Authenticated Data Structures
57:13
Approximating the Nash Social Welfare with Indivisible Items
1:27:49
A Practical Approach to Ultra Long-Term Data Storage on DNA
1:09:22
Learning and Incentives in Crowd-Powered Systems
58:21
Exiting the Age of Priestly Medical Advice?
1:29:52
Programming Models and Systems Design for Deep Learning
55:28
Differential Computation Analysis: Hiding Your White-Box Designs is Not Enough
1:04:53
Ultrasound-Based Gesture Recognition
1:05:41
Near-Optimal Robust Matrix Completion via Non-convex Optimization
1:05:46
Skrybe: Designing Features to Improve Real-Time Captioning for Deaf & Hard of Hearing Students
1:11:43
Improving Reinforcement Learning with Human Input
54:17
Effective reversible (aka time travel) debugging of arbitrary native code
1:01:55
Pixel based Interaction Techniques
1:01:22
Global Education Data on What Drives Student Outcomes
38:44
The FedEx Problem
59:10
A Duality Based Framework for Designing Simple Mechanisms
1:09:33
Improving CNN Performances by Human Visual Channel Properties
1:09:59
Safe and Efficient Adaptive-Predictive Control of Constrained Nonlinear Systems
1:12:11
Newton Harrision on Climate Change
58:17
Architectures for the FPGA Implementation of Online Kernel Methods
1:28:14
Building Better Quantum Algorithms with Physics
1:02:08
A Fast Polynomial Space Algorithm for Subset Sum
The Invisible Hand of Laplace: The Role of Market Structure in Price Convergence and Oscillation
1:07:31
Matrix Completion has No Spurious Local Minimum
1:12:23
Social Research in the Age of Big Data
57:54
Boosting Developer Productivity: How Personal Data Will Revolutionize Software Development
54:54
The bullet problem with discrete speeds
49:50
Hardness of Approximation Between P and NP
1:22:48
A Practical Guide to Neural Machine Translation
47:33
International Workshop on Spoken Language Translation (IWSLT) 2016 - Session 3
52:19
A Translation NGO's View on Language Technology Trends
1:07:00
Biomarker Discovery in Personalized Medicine
1:06:52
Analyzing the Entire Program: Applying Natural Language Processing to Software Engineering
1:10:21
Characterization of OLTP Workloads: from Micro-architecture to Power/Performance
44:33
Convenient (and Collaborative) Audiovisual Media
1:13:57
Learning Language through Interaction
1:02:05
Scalable Semantic Code Search for High-Quality Program Repair
1:15:42
Leveraging Privacy in Data Analysis
1:14:13
Improving Programmability and Performance for Mobile/Cloud Applications
Personalized Behavior-Powered Systems
58:27
The Rise of the Social Developer Within a Participatory Culture of Software Engineering
1:05:20
The Science of Managing Our Digital Stuff
1:19:46
Procedural Language and Knowledge
58:32
Automatic Speech Emotion Recognition Using Recurrent Neural Networks with Local Attention
1:11:18
Making the Fastest Routers Programmable
1:06:32
Safety Net and Springboard
59:25
Information Fostering: Being Proactive in Information Seeking
59:39
Fukushima Daiichi - Six Years Later
1:19:32
Using Deep Learning to Understand Creative Language
1:30:56
Data Science Education at the Heart of the 21st Century University
1:25:32
Combining Algorithms and Humans for Large-Scale Data Integration
1:03:36
Streaming Lower Bounds for Approximating MAX-CUT
1:03:24
Seeing Experience from Many Angles: Educational Game Design as a Data-Informed Craft
1:10:13
Automating and Testing Program Transformations using Program Synthesis
Machine Learning from Verbal Instruction
1:20:48
Idea Date Science - Session 1
56:51
Progress in Error-Correction: A Survey
A Generic Framework for Mining Top-k Representative Subgraph Patterns
Life without CONS
1:12:48
Cognitive Computing on Heterogeneous Hardware Systems for the AI Revolution
1:23:48
Access and Understanding in the Classroom: How Deaf Children Learn (or not)
49:57
F*: Tactics, SMT, and metaprogramming
1:05:40
Uniformization of distributional limits of graphs
1:06:53
The Next Internet: A Ubiquitous, Viral Edge Cloud
53:25
What (and How) Can Linked-View Visualization tell us about the Universe, and Brains?
44:18
Position Tracking for Virtual Reality using Wi-Fi
Constrained Temporal Variation in Speech
1:07:39
Mining Input Grammars for Security Testing
1:06:39
Towards Program Synthesis for Security
1:12:33
Scalable Trust-Region Method for Deep Reinforcement Learning Using Kronecker-Factored Approximation
1:08:50
What 151,000,000 Calories Burned in a Single VR Game Says About the Future of Exercise
1:24:55
Robust, Visual-Inertial State Estimation: from Frame-based to Event-based Cameras
1:18:20
Project Catapult Academic Tutorial
1:15:59
Resilience and Security in Cyber-Physical Systems: Self-Driving Cars and Smart Devices
34:57
Project Catapult Academic Tutorial: Getting Started and Intro to APIs
1:18:11
The Programming Language Wars
44:28
Project Catapult Academic Tutorial: Example Project
1:24:41
Physics-based Manipulation with and Around People
51:54
Developing Bug-Free Machine Learning Systems Using Formal Mathematics
55:35
The Neural Genesis of a Joke
26:34
Project Catapult Academic Tutorial: OpenCL
33:34
Post-Quantum Zero-Knowledge and Signatures from Symmetric-Key
48:22
Hacking The Runway: Exploring Fashion Technology & Haute Tech Couture
58:09
Asynchronous Reactive Models – Event-based Analysis of Networks of Actors
1:04:17
The ACLU and Broken Windows Policing
58:42
Universal Fault-Tolerant Computing with Bacon-Shor Codes
49:35
Building Scale VR: Creating Indoor 3D Maps & its Application to Simulation of Disaster Situations
1:05:21
Fiat Cryptography: Automatic Correct-by-Construction Generation of Low-Level Cryptographic Code
1:15:25
Humans, Machines, and Work: The Future is Now
1:07:07
Numerical Tools for Non-Experts
1:13:04
The Future of Voice
1:04:22
On Characterizing the Capacity of Neural Networks using Algebraic Topology
1:01:34
Monopoly Without a Monopolist: An Economic Analysis of Bitcoin
1:08:14
Neural Models for Information Retrieval
1:29:02
Unsupervised Streaming Cyber-Analytics
1:28:23
Quantum Computing for Computer Scientists
56:08
Sparsity-aware Sound Field Capturing / Joint Source and Sensor Placement for Sound Field Control
1:24:01
Tiny Functions for Codecs, Compilation, and (maybe) soon Everything
47:43
Cryptographic Program Obfuscation: Current Capabilities and Challenges
Unsupervised Discovery of Objects and their Interactions for Common-Sense Physical Reasoning
1:35:37
Accessibility in the AI Frontier
1:08:31
Why Aren't More Users More Happy With Our VMs?
Differential Privacy for Growing Databases
1:03:43
On Intrinsic Rewards and Continual Learning
1:01:53
From Algorithms to Application Impact at Pacific Northwest National Lab (PNNL)
1:05:56
Found in Translation: Achieving Human Parity on Chinese to English News Translation
1:19:38
Learning Models of Language, Action and Perception for Human-Robot Collaboration
50:28
LiveHardware Development at UCSC
57:17
Symbolic Automata for Static Specification Mining
47:51
A Constant-Factor Approximation Algorithm for the Asymmetric Traveling Salesman Problem
1:12:51
Data Science in Cyber-Security and Related Statistical Challenges
1:03:07
Planar Graph Perfect Matching is in NC
1:03:00
Distributive Lattices, Stable Matchings, and Robust Solutions
1:17:38
Architectural Techniques for Improving NAND Flash Memory Reliability
1:12:16
How I Learned to Stop Worrying and Love the Exascale
1:41:13
History, Boundaries, Best Practices, and Team-Based Workable Paths Forward
55:17
A Cross-modal Audio Search Engine based on Joint Audio-Text Embeddings
52:03
Fully Online Matching
45:24
The Matching Problem in General Graphs is in Quasi-NC
33:55
LSH-Sampling Breaks the Computation Chicken-and-Egg Loop in Adaptive Stochastic Gradient Estimation
Telling Stories: Analyzing Text to Understand Personality, Social behavior, and Narratives
EdgeNet: A Lightweight Scalable Edge Cloud
1:30:15
Extending F* in F*: Proof automation and Metaprogramming for Typeclasses
1:05:44
Towards a Unified Bayesian Model for Cyber Security
57:10
Computational Modelling of Human Epilepsy: from Single Neurons to Pathology
48:03
Multilingual Modulation by Neural Language Codes
1:11:03
New Frontiers in Imitation Learning
1:13:27
The Nanophone: Sensing Sound with Nanoscale Spider Silk
1:10:01
Future Ethics
1:04:54
Stochastic Approximation and Reinforcement Learning: Hidden Theory and New Super-Fast Algorithms
1:14:25
Causal Effects and Overlap in High-dimensional or Sequential Data
Algorithmic Social Intervention
Policy Optimization as Predictable Online Learning Problems: Imitation Learning and Beyond
1:12:07
Deep Generative Models for Imitation Learning and Fairness
1:02:44
Automated Reasoning of Database Queries
LIVE
[Private video]
1:37:27
Advances in AI and the Future of Work: Perspectives and Discussion
58:41
Northwest Database Society Annual Meeting: Explainable Artificial Intelligence in Precision Medicine
Northwest Database Society Annual Meeting - Session 2
1:02:40
Northwest Database Society Annual Meeting - Session 3
1:20:33
Northwest Database Society Annual Meeting - Session 4
48:05
How does Batch Normalization Help Optimization?
1:20:46
Re-engineering Brain-Machine Interfaces to Optimize Control and Learning
1:21:42
Both Sides Now: Generating and Understanding Visually-Grounded Language
54:39
Deep Policy Gradient Algorithms: A Closer Look
1:13:08
Visually Impaired Persons: Assess and Assist
53:21
Scaling Write-Intensive Key-Value Stores
1:01:49
Models as Code: Differentiable Programming with Zygote
1:16:31
On The Hardness of Reinforcement Learning With Value-Function Approximation
Designing and Building Multi-Device Interfaces
3:11
Getting Started with TextWorld
44:15
Compacting the Uncompactable: The Mesh Compacting Memory Allocator
