Meta Research

Social media seemed to have had a major role to play in the information landscape as a conduit for circulation of ideas and opinions among friends on which people seemed base...

We propose Accountable JS, a browser extension and opt-in protocol for accountable delivery of active content on a web page. We prototype our protocol, formally model its...

In particular, we study contention, which occurs when multiple bursts arrive simultaneously at the dynamically shared rack buffer.

We study embedding table placement for distributed recommender systems, which aims to partition and place the tables on multiple hardware devices (e.g., GPUs) to balance the...

In this paper, we present Magma, an open and flexible system for building low-cost wireless access networks.

This paper presents Flash, a novel system that achieves fast, consistent data plane verification when update arrivals can include update storms, long-tail update arrivals, or both.

This paper presents Meta’s Production Wide Area Network (WAN) Entitlement solution used by thousands of Meta’s services to share the network safely and efficiently.

In this work, we consider the formal verification of the public-key encryption scheme of Saber, one of the selected few post-quantum cipher suites currently considered for potential...

We propose Themis, a novel collective scheduling scheme that dynamically schedules collectives (divided into chunks) to balance the communication loads across all dimensions...

In this work we review a number of existing proposals for distributed payment systems that offer some form of auditability for regulators.