All Research Areas
Research Areas
Year Published

492 Results

November 3, 2018

The Effect of Computer-Generated Descriptions on Photo-Sharing Experiences of People with Visual Impairments

Conference on Computer-Supported Cooperative Work and Social Computing (CSCW)

Like sighted people, visually impaired people want to share photographs on social networking services, but find it difficult to identify and select photos from their albums. We aimed to address this problem by incorporating state-of-the-art computer-generated descriptions into Facebook’s photo-sharing feature.

By: Yuhang Zhao, Shaomei Wu, Lindsay Reynolds, Shiri Azenkot
October 1, 2018

The effects of natural scene statistics on text readability in additive displays

Human Factors and Ergonomics Society

The minimum contrast needed for optimal text readability with additive displays (e.g. AR devices) will depend on the spatial structure of the background and text. Natural scenes and text follow similar spectral patterns. Therefore, natural scenes can mask low contrast text – making it difficult to read. In a set of experiments, we determine the minimum viable contrast for readability on an additive display.

By: Daryn R. Blanc-Goldhammer, Kevin J. MacKenzie
Areas: AR/VR
September 23, 2018

From Start-ups to Scale-ups: Opportunities and Open Problems for Static and Dynamic Program Analysis

IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM)

This paper describes some of the challenges and opportunities when deploying static and dynamic analysis at scale, drawing on the authors’ experience with the Infer and Sapienz Technologies at Facebook, each of which started life as a research-led start-up that was subsequently deployed at scale, impacting billions of people worldwide.

By: Mark Harman, Peter O'Hearn
August 19, 2018

A real-time framework for detecting efficiency regressions in a globally distributed codebase

Knowledge Discovery in Databases (KDD)

This paper describes the end-to-end regression detection system designed and used at Facebook. The main detection algorithm is based on sequential statistics supplemented by signal processing transformations, and the performance of the algorithm was assessed with a mixture of online and offline tests across different use cases.

By: Martin Valdez-Vivas, Caner Gocmen, Andrii Korotkov, Ethan Fang, Kapil Goenka, Sherry Chen
July 29, 2018

Online Optical Marker-based Hand Tracking with Deep Labels

Special Interest Group on Computer Graphics and Interactive Techniques (SIGGRAPH)

We propose a technique that frames the labeling problem as a keypoint regression problem conducive to a solution using convolutional neural networks.

By: Shangchen Han, Beibei Liu, Robert Wang, Yuting Ye, Christopher D. Twigg, Kenrick Kin
July 9, 2018

Continuous Reasoning: Scaling the Impact of Formal Methods

Logic in Computer Science

This paper describes work in continuous reasoning, where formal reasoning about a (changing) codebase is done in a fashion which mirrors the iterative, continuous model of software development that is increasingly practiced in industry. We suggest that advances in continuous reasoning will allow formal reasoning to scale to more programs, and more programmers.

By: Peter O'Hearn
June 28, 2018

Hardware Remediation At Scale

International Conference on Dependable Systems and Networks (DSN)

Large scale services have automated hardware remediation to maintain the infrastructure availability at a healthy level. In this paper, we share the current remediation flow at Facebook, and how it is being monitored.

By: Fan (Fred) Lin, Matt Beadon, Harish Dattatraya Dixit, Gautham Vunnam, Amol Desai, Sriram Sankar
June 25, 2018

“I’m Never Happy with What I Write”: Challenges and Strategies of People with Dyslexia on Social Media

International Conference on Web and Social Media

This work studies the experiences, challenges, and strategies of people with dyslexia when using social media. We interviewed 11 people with dyslexia to understand their general experiences with reading and writing content on Facebook. The interview study findings highlight the challenges they face when writing content on Social Networking Sites (SNSs), and their strategies for mitigating these challenges.

By: Lindsay Reynolds, Shaomei Wu
June 25, 2018

Do Diffusion Protocols Govern Cascade Growth?

International AAAI Conference on Web and Social Media (ICWSM)

Large cascades can develop in online social networks as people share information with one another. Though simple reshare cascades have been studied extensively, the full range of cascading behaviors on social media is much more diverse. Here we study how diffusion protocols, or the social exchanges that enable information transmission, affect cascade growth, analogous to the way communication protocols define how information is transmitted from one point to another.

By: Justin Cheng, Jon Kleinberg, Jure Leskovec, David Liben-Nowell, Bogdan State, Karthik Subbian, Lada Adamic
June 20, 2018

HHVM JIT: A Profile-Guided, Region-Based Compiler for PHP and Hack

Programming Language Design and Implementation (PLDI)

This paper describes the design of the second generation of the HHVM JIT and how it addresses the challenges to efficiently execute PHP and Hack programs. This new design uses profiling to build an aggressive region-based JIT compiler. We discuss the benefits of this approach compared to the more popular method-based and trace-based approaches to compile dynamic languages.

By: Guilherme Ottoni