Communities in Trauma: Disclosure, Disinhibition, and Desensitization on Social Media
Millions of people undergo traumatic experiences annually, ranging from personal crises to those that are societal or collective.
181
Filling in the Blanks - The Importance of Basic Computing Research
One of the most exciting aspects of computer science is that the results of basic research so often end up being applied in completely unexpected ways.
60
Proactive Congestion Avoidance under Network Dynamics
Latency sensitive applications, such as search, online games and video conferences, are rapidly growing and increasingly rely on cloud network infrastructures to deliver their traffic smoothly.
79
Keynote and closing remarks
Keynote and closing remarks Moderator: Kristin Tolle, Microsoft Research Windows Azure for Research and Beyond Daron Green, Microsoft Research
27
Culture-Aware Approaches to Music Information Research
Music traditions from around the world share a few common characteristics. Yet, they differ substantially when viewed within their geographical and cultural context.
64
New Techniques and Models
Multi-Party Computation of Polynomials and Branching Programs without Simultaneous Interaction Hoeteck Wee, CNRS and ENS, Paris Efficient Secure Three-party Computation Alex J.
127
The Excitement of a Career in Research
One of the most creative intellectual pursuits is scientific research.
191
Solving Max-SAT by Decoupling Optimization and Satisfaction
Max-SAT is an optimization version of SAT that can represent a wide variety of important optimization problems.
3 826
30.7
The Milky Way's Entourage: Dwarf Galaxies, Dark Matter and Machine Learning
No Abstract Available
599
12.9
On Data & Computation: An Artist's View
In this artist's talk, Jason will present projects from the last decade exploring content ranging from Playboy Centerfolds to generative Abstract Expressionist painting to the entirety of the
19
A Modular Integration of SAT/SMT Solvers to Coq through Proof Witnesses
In this talk, I will present a way to enjoy the power of SAT and SMT provers in Coq without compromising soundness.
1 084
18.7
A Story in the Land of Programming Languages
In this talk, I will present my personal history with programming languages. Lately, I've been designing and implementing Mezzo, a next-generation dialect of ML that features a novel type system.
191
Data Science Summer School - An Empirical Analysis of Stop-and-Frisk in New York City
No Abstract Available
224
Data-Oblivious Computation
How to Implement (ORAM in) MPC Marcel Keller, University of Bristol Secure Computation with Random Access Machines Mariana Raykova, SRI Obliv-C: A Lightweight Compiler for Data-Oblivious Computation
700
46.3
Invited Talk: Secure Computation in 2029: Boom, Bust, or Bonanza
Invited Talk: Secure Computation in 2029: Boom, Bust, or Bonanza
172
Social Computing
Chair: Nina Mishra, Microsoft Research Speakers: Barbara Poblete, University of Chile Emre Kiciman, Microsoft Research Fernando Diaz, Microsoft Research
1 747
44.5
Big Data and Machine Learning
Chair: Steven Drucker, Microsoft Research Speakers: Mike Zyskowski, Microsoft Research Lihong Li, Microsoft Research Jonathan Huang, Stanford University
1 384
65.6
Challenges of Computational Hydrology and the Potential Community Empowerment
Chair: Kristin Tolle, Microsoft Research Speakers: Faisal Hossain, University of Washington Robert Brakenridge, University of Colorado Jim Nelson, Brigham Young University
117
Transforming Education via Research
Chair: Roy Zimmermann, Microsoft Research Speakers: Steven Drucker, Microsoft Research Siddharth Prakash, Microsoft Research Miguel Nussbaum, Pontificia Universidad Católica de Chile
46
Correctness Kernel of Abstract Interpretations
In abstract interpretation-based static analysis, approximation is encoded by abstract domains.
364
17
Astronomy and Visualizations
Chair: Eduardo Hardy, ALMA Speakers: Douglas Roberts, Northwestern University Juan Cortés, ALMA
54
TouchDevelop: Create Rich Mobile Cloud Apps on Your Device
Chair: Judith Bishop, Microsoft Research Speakers: Peli de Halleux, Microsoft Research Michal Moskal, Microsoft Research
366
30.2
Device-Oriented Research
Chair: Nicolas Villar, Microsoft Research Speakers: Andres Neyem, Pontifica Universidad Católica, Chile
122