Filter by Research Area
Filter by Research Area
Year Published

119 Results

October 12, 2018

Energy-Optimized Trajectory Planning for High Altitude Long Endurance (HALE) Aircraft

By: Hamidreza Bolandhemmat, Benjamin Thomsen, Jack Marriott
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 27, 2018

Providing Streaming Joins as a Service at Facebook

International Conference on Very Large Data Bases (VLDB)

This paper describes an end-to-end streaming join service that addresses the challenges above through a streaming join operator that uses an adaptive stream synchronization algorithm that is able to handle the different distributions we observe in real-world streams regarding their event times.

By: Gabriela Jacques da Silva, Ran Lei, Luwei Cheng, Guoqiang Jerry Chen, Kuen Ching, Tanji Hu, Yuan Mei, Kevin Wilfong, Rithin Shetty, Serhat Yilmaz, Anirban Banerjee, Benjamin Heintz, Shridhar Iyer, Anshul Jaiswal
August 26, 2018

Rosetta: Large Scale System for Text Detection and Recognition in Images

Knowledge Discovery in Databases (KDD)

In this paper we present a deployed, scalable optical character recognition (OCR) system, which we call Rosetta, designed to process images uploaded daily at Facebook scale.

By: Fedor Borisyuk, Albert Gordo, Viswanath Sivakumar
August 22, 2018

FBOSS: Building Switch Software at Scale

ACM SIGCOMM

We present FBOSS, our own data center switch software, that is designed with the basis on our switch-as-a-server and deploy-early-and-iterate principles.

By: Sean Choi, Boris Burkov, Alex Eckert, Tian Fang, Saman Kazemkhani, Rob Sherwood, Ying Zhang, James Hongyi Zeng
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 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
July 9, 2018

Experience developing and deploying concurrency analysis at Facebook

Static Analysis Symposium

This paper tells the story of the development of RacerD, a static program analysis for detecting data races that is in production at Facebook. The technical details of RacerD are described in a separate paper; we concentrate here on how the project unfolded from a human point of view.

By: Peter O'Hearn
July 1, 2018

We Need a Testability Transformation Semantics

16th International Conference on Software Engineering and Formal Methods

This paper briefly reviews Testability Transformation, its formal definition, and the open problem of constructing a set of formal test adequacy semantics to underpin the current practice of deploying transformations to help testing and verification activities.

By: Mark Harman