Susan Davidson

Query Driven Crowd Mining

Albert Cohen

Correct-by-Construction Multiprocessor Programming

Moses Charikar

An Approximation Perspective on Algorithms

Joseph Sifakis

System Design – Challenges and Work Directions

Olga Sorkine-Hornung

3D shape modeling, animation and fabrication using computation-friendly variational methods

Lise Getoor

Big Graph Data Science

Martin Haenggi

Modeling and Analysis of Next-Generation Cellular Networks

Eva Tardos

Games, Learning and the Price of Anarchy

Amin Shokrollahi

Chordal Codes for Chip-to-Chip Communication

Alexandre Proutiere

Community Detection via Random and Adaptive Sampling

Martin Vechev

Programming with Probabilistic Graphical Models

Gerhard Weikum

Big Text Data: from Names and Phrases to Entities and Relations

Derek Chiou

A Reconfigurable Fabric for Large-Scale Datacenter Services

Sarita Adve

Approximate Computing: (Old) Hype or New Frontier?

Prof. Roger Wattenhofer

Is Bitcoin Stable, Secure, and Scalable?

Bonnie Berger

Computational biology in the 21st century: Scaling with compressive algorithms

Stratis Ioannidis

Learning from Strategic Agents

Marcel Salathé

Opportunities & Challenges in Digital Epidemiology and Digital Health

Francis Bach

Beyond stochastic gradient descent for large-scale machine learning

Charles Sutton

Statistical Analysis of Computer Program Text

Machine Learning and Natural Language Processing Meets Software Engineering

Tim Roughgarden

How Computer Science Informs Modern Auction Design

Dr. Atila Neves

Why D?

Nicola Marzari

Here and now: the intersection of computational science and computer science

Carlos Castillo

Big Crisis Data

an exciting frontier for applied computing

Mijung Park

Be Bayesian when it matters

Bayesian methodologies for efficient data analysis

Andrew Gordon Wilson

Scalable Gaussian Processes for Scientific Discovery

Martin Jaggi

Optimization, Learning and Systems

Ce Zhang

DeepDive: A Data Management System for Machine Learning Workloads

Diana Franklin

Diversity in Computer Science

Noga Alon

Signrank and its applications in combinatorics and complexity

Sam Tobin-Hochstadt

Tracing JITs for Functional Languages

Emin Gün Sirer

Blockchains and Their Limits

Zhendong Su

EMI Testing

Finding 1000+ Bugs in GCC and LLVM in 3 Years

Luca Cardelli

Telling Molecules What To Do

Victoria Stodden

Imagining a Reproducible Scholarly Record

Venkat Guruswami

Progress in Error-Correction

New Codes for Old Noise Models

Tova Milo

Crowd-Powered Data Management

Alexander Lipton

Blockchains and distributed ledgers in retrospective and perspective

Sébastien Bubeck

New Results at the Crossroads of Convexity, Learning and Information Theory

Michele Garetto

Two examples of stochastic processes on graphs

Jean-Pascal Pfister and Arko Ghosh

To tap or not to tap

Theoretical and cognitive neurosciences to explain smartphone behaviour

Oleg Kiselyov

Sound and Efficient Language-Integrated Query: Maintaining the ORDER

Constantine Dovrolis

From the Internet to embryos and brains:

The hourglass architecture of hierarchically modular systems

Marta Kwiatkowska

Safety Verification of Deep Neural Networks

Srini Devadas

Sanctum: Towards an Open-Source, Formally-Verified Secure Processor

Rakesh Agrawal

Toward Data-Driven Education

Stephan Mandt

Probabilistic representation learning and scalable Bayesian inference

Richard L. Sites

Finding Datacenter Software Tail Latency

Swarat Chaudhuri

Program Synthesis: New Strides in an Old Problem

Tim Roughgarden

Distribution-Free Models of Social and Information Networks

Sandhya Dwarkadas

Performance Isolation on Modern Multi-Socket Systems

Maurice Herlihy

Blockchains and the Future of Distributed Computing