As part of Meta’s commitment to innovation, members of the Developer Infrastructure (DevInfra) team are often involved in academic papers. Over the past six months, our research has broken new ground into the design of build systems, code optimizations for mobile apps, bug finding tools, and ML models for developer productivity. We’ve also worked with others outside Meta as we seek to build and share what we’ve learned. In this post, we’ve collected recent papers of interest to the engineering community.
Meta is always looking at the theoretical foundations of build systems, and particularly in relation to our homegrown Buck build system, to provide more formal guarantees regarding its soundness and efficiency.
The sheer size of some mobile apps can pose a challenge to users who don’t have access to high-end devices or broadband wireless networks. To ensure that our services are available to the largest possible audience, we have developed new optimization techniques to automatically reduce the binary size of mobile apps.
Automatically surfacing important, hard-to-find bugs to developers early in the development cycle allows them to move faster and with more confidence. Similarly, building reliable software requires tooling that offers strong guarantees to developers that critical bugs will be either caught early or prevented entirely. We have leveraged formal verification techniques and developed new program logics to deliver high-quality signals to developers and raise confidence in critical software components.
The topic of neural networks and machine learning (ML) has been a great driver of recent innovations in computer science. We have been exploring the use of advanced ML models in developer tooling to provide better, more accurate information during code development and review.
Developer Infrastructure (DevInfra) owns most of the coding life cycle at Meta, from the time code leaves an engineer’s mind until it reaches the people who use our products. Our goal is to increase developer efficiency so that we can continue to give people the power to build community and bring the world closer together. Meta is one of the leaders in the industry, building innovative developer tools and automation infrastructure that are reliable and fast, ensuring that every second of engineering time is spent on the things that matter most.