An open source compositional deadlock detector for Android Java

We’ve developed a new open source static analyzer that catches deadlocks in Java code for Android without ever running the code | Continue reading


@engineering.fb.com | 2 years ago

Facebook.com

Pysa is an open source static analysis tool we’ve built to detect and prevent security and privacy issues in Python code. | Continue reading


@engineering.fb.com | 2 years ago

FOQS: Making a distributed priority queue disaster-ready

FOQS has evolved from a regional to a global deployment for highly available data, even through large-scale disaster scenarios. | Continue reading


@engineering.fb.com | 2 years ago

Meta expands bug bounty to include scraping

Meta's bug bounty program is expanding to help combat the industry-wide issue of scraping and provide more opportunities for researchers. | Continue reading


@engineering.fb.com | 2 years ago

Delos: Simple, flexible storage for the Facebook control plane

Delos, a fundamentally new architecture for replicated storage systems, provides flexibility and simplicity without sacrificing performance or reliability. | Continue reading


@engineering.fb.com | 2 years ago

Hwrdbbdkiikkbvsabnak

Update on September 29, 2021: Information in this article may be outdated. For current information about our suicide and self-injury content detection technology, please visit our Safety Center. As described in the Safety Center, our algorithms are intended to help identify poten … | Continue reading


@engineering.fb.com | 2 years ago

Malbec subsea cable connects Argentina and Brazil with the rest of the world

Malbec provides improvements in capacity and reliability for Argentina, and will increase internet penetration in Argentina by 6 percent. | Continue reading


@engineering.fb.com | 2 years ago

Kangaroo: A new flash cache optimized for tiny objects

Kangaroo combines log-structured and set-associative caches to reduce both DRAM and flash-write overheads. | Continue reading


@engineering.fb.com | 2 years ago

More details about the October 4 outage

Now that our platforms are up and running after yesterday’s outage, we are sharing more detail on what happened and what we've learned. | Continue reading


@engineering.fb.com | 2 years ago

Steering oceans of content to the world (2017)

A version of this post was originally published at research.fb.com. The Facebook network is an integral part of Facebook’s infrastructure. Every day, people and communities rely on Facebook’s global network and infrastructure to share information, ranging from photos and videos t … | Continue reading


@engineering.fb.com | 2 years ago

Update about the October 4th outage

To all the people and businesses around the world who depend on us, we are sorry for the inconvenience caused by today’s outage across our platforms. We’ve been working as hard as we can to restore access, and our systems are now back up and running. The underlying cause of this … | Continue reading


@engineering.fb.com | 2 years ago

Open/R: Open routing for modern networks (Facebook) (2017)

We are open-sourcing Open/R, an extensible network routing platform that enables rapid innovation in network functions and applications. Open/R is being used in Facebook’s backbone and data center networks. The platform supports different network topologies (such as WANs, data ce … | Continue reading


@engineering.fb.com | 2 years ago

2Africa Pearls subsea cable brings affordable, high-speed internet to 3B people

2Africa Pearls connects three continents — Africa, Europe, and Asia and makes 2Africa the longest subsea cable system ever deployed. | Continue reading


@engineering.fb.com | 2 years ago

Superpack: Pushing the limits of compression in Facebook’s mobile apps

Superpack combines compiler analysis with data compression for size optimizations beyond the capability of traditional compression tools | Continue reading


@engineering.fb.com | 2 years ago

CacheLib, Facebook’s open source caching engine for web-scale services

CacheLib is a pluggable in-process caching engine to build and scale high-performance services collaboratively. | Continue reading


@engineering.fb.com | 2 years ago

Facebook open-sourcing a more precise time server

Facebook engineers built and open sourced an Open Compute Time Appliance, an important component of the modern timing infrastructure. | Continue reading


@engineering.fb.com | 2 years ago

ZippyDB: Facebook's general purpose key value store

Zippy DB: How Facebook built its general purpose key value store | Continue reading


@engineering.fb.com | 2 years ago

Khushesharma

De-identified Telemetry (DIT) aims to further minimize any metadata tied to a specific person or phone number, and ultimately makes WhatsApp even more private. | Continue reading


@engineering.fb.com | 2 years ago

Enforcing Encryption at Scale

We've designed a system to enforce encryption policies within our network, to catch any regression quickly and shut it off. | Continue reading


@engineering.fb.com | 2 years ago

Migrating Facebook to MySQL 8.0

We are sharing how we tackled the migration to MySQL 8.0 — and some of the surprises we had in the process. | Continue reading


@engineering.fb.com | 2 years ago

Migrating Facebook to MySQL 8.0

We are sharing how we tackled the migration to MySQL 8.0 — and some of the surprises we had in the process. | Continue reading


@engineering.fb.com | 2 years ago

Fully Sharded Data Parallel: Faster AI Training with Fewer GPUs

Fully Sharded Data Parallel (FSDP) makes training larger, more advanced AI models more efficiently than ever using fewer GPUs. | Continue reading


@engineering.fb.com | 2 years ago

WhatsApp enables multi-device capability

WhatsApp's new multi-device capability lets you use WhatsApp on your phone and up to four other nonphone devices simultaneously. | Continue reading


@engineering.fb.com | 2 years ago

Ribbon filter: Practically smaller than Bloom and Xor

The Ribbon filter is a new data structure that is more space-efficient than the popular Bloom filters used for optimizing data retrieval. | Continue reading


@engineering.fb.com | 2 years ago

Asicmon: A platform agnostic observability system for AI accelerators

We developed Asicmon, a scalable observability framework that abstracts metrics from high level health and monitoring software. | Continue reading


@engineering.fb.com | 2 years ago

Driving towards an open internet ecosystem to help tackle the digital divide

Facebook is sharing updates on several efforts in collaboration with partners to help tackle the global digital divide. | Continue reading


@engineering.fb.com | 2 years ago

Running BGP in large-scale data centers

BGP can form a robust data center routing foundation, but it requires tight codesign with the topology, switch software, and pipeline. | Continue reading


@engineering.fb.com | 2 years ago

SQLite-based offline-first app

To build this new version of Messenger, we needed to rebuild the architecture from the ground up and rewrite the entire codebase. | Continue reading


@engineering.fb.com | 2 years ago

Network hose: Managing uncertain network demand

Using network hose planning for the production network allows us to reduce the forecast complexity by an order of magnitude. | Continue reading


@engineering.fb.com | 2 years ago

Facebook deals with PCIe faults to keep our data centers running reliably

Facebook has developed a new solution to detect, diagnose, remediate, and repair faults in PCIe-based hardware components. | Continue reading


@engineering.fb.com | 2 years ago

Predictive test selection: A more efficient way to ensure reliability of code

In one year, predictive test selection has allowed Facebook to double the efficiency of our testing infrastructure and catch 99.9 percent of regressions. | Continue reading


@engineering.fb.com | 2 years ago

Peering Automation at Facebook

We've developed a new automated peering method, which allows for faster self-service peering configuration. | Continue reading


@engineering.fb.com | 2 years ago

A brief history of Rust at Facebook

Why Facebook is embracing Rust, one of the fastest-growing programming languages available today, and what the future holds. | Continue reading


@engineering.fb.com | 3 years ago

Faster Reverse Debugging at Scale

We developed a new reverse debugging technique allowing engineers to trace a run to find the root cause without rerunning the program. | Continue reading


@engineering.fb.com | 3 years ago

FB Encodes Videos

How Facebook uses machine learning and other methods to prioritize video encoding and ensure the best viewing experience for everyone. | Continue reading


@engineering.fb.com | 3 years ago

Facebook announces two transpacific undersea cables

Two new subsea cables — Echo and Bifrost — will provide vital new connections between the Asia-Pacific region and North America. | Continue reading


@engineering.fb.com | 3 years ago

Natural Security

We're exploring a new approach to reporting events with greater anonymity while still combatting fraud by using techniques like blind signatures. | Continue reading


@engineering.fb.com | 3 years ago

FOQS: Scaling a distributed priority queue – Facebook Engineering

Facebook Ordered Queueing Service (FOQS) supports the asynchronous computing workloads that run many of Facebook’s services at scale. | Continue reading


@engineering.fb.com | 3 years ago

Boosting the performance of virtual machines with Jump-Start

The Jump-Start technique has significantly improved warm-up and steady-state performance for the HipHop Virtual Machine. | Continue reading


@engineering.fb.com | 3 years ago

Kartikpatel

In a hurry? Try Hack now: http://hacklang.org/ Today we’re releasing Hack, a programming language we developed for HHVM that interoperates seamlessly with PHP. Hack reconciles the fast development cycle of PHP with the discipline provided by static typing, while adding many featu … | Continue reading


@engineering.fb.com | 3 years ago

Fix Fast for finding and fixing regressions – Facebook Engineering

The goal of Fix Fast is to reduce the effort required to fix regressions by improving engineers' experience and moving detection upstream. | Continue reading


@engineering.fb.com | 3 years ago

Facebook Enginering: Automatic root cause analysis

Minesweeper is a new technique for automating root cause analysis (RCA) that identifies the causes of bugs based on their symptoms. | Continue reading


@engineering.fb.com | 3 years ago

How machine learning powers Facebook's News Feed ranking algorithm

We are sharing new details of how we designed an ML-powered News Feed ranking system for content that’s personally relevant to billions around the world. | Continue reading


@engineering.fb.com | 3 years ago

Fighting Spam with Haskell

One of our weapons in the fight against spam, malware, and other abuse on Facebook is a system called Sigma. Its job is to proactively identify malicious actions on Facebook, such as spam, phishing attacks, posting links to malware, etc. Bad content detected by Sigma is removed a … | Continue reading


@engineering.fb.com | 3 years ago

A smaller, faster video calling library for Facebook’s apps

Rsys is a new video calling library for all the relevant products across our apps and services, including Instagram, Messenger, Portal, Workplace chat, etc.  | Continue reading


@engineering.fb.com | 3 years ago

Probabilistic Flakiness: How do you test your tests?

The probabilistic flakiness score helps us measure and monitor test reliability and quickly adapt to any changes over time. | Continue reading


@engineering.fb.com | 3 years ago

Facebook keeps its large-scale infrastructure hardware up and running

Machine learning and automated root cause analysis play an important role in how we quickly identify and repair hardware issues in our data centers. | Continue reading


@engineering.fb.com | 3 years ago

Infer powering Microsoft’s Infer#, a new static analyzer for C#

Infer# brings Infer's static analysis platform to developers for Microsoft’s C# language to detect null-pointer dereference and resource leak bugs. | Continue reading


@engineering.fb.com | 3 years ago