Skip to main content

Programming Systems

At Uber's Programming Systems Team, we are at the forefront of innovation, harnessing cutting-edge advancements in programming languages, software engineering, distributed systems, and artificial intelligence to make Uber more efficient and reliable. Our mission is to pioneer transformative technologies, integrating state-of-the-art static and dynamic program analysis, compiler optimizations, and performance tuning to push the boundaries of software capabilities.

A key pillar of our work is revolutionizing developer productivity. By combining sophisticated program analysis with Generative AI, we empower engineers to tackle complex challenges, from bug detection and advanced debugging to program synthesis and automated program repair. Our solutions are designed not just to enhance the quality of engineering output but also to minimize the burden of routine tasks, enabling developers to focus on innovation. Committed to advancing technology for the broader community, we proudly contribute the majority of our tools as open-source projects and publish at top research venues.

PSG Programming Systems Group logo with research, code, and growth icons, tagline: From research ideas to uber-scale impact
PSG Programming Systems Group logo with research, code, and growth icons, tagline: From research ideas to uber-scale impact

Programming Systems

At Uber's Programming Systems Team, we are at the forefront of innovation, harnessing cutting-edge advancements in programming languages, software engineering, distributed systems, and artificial intelligence to make Uber more efficient and reliable. Our mission is to pioneer transformative technologies, integrating state-of-the-art static and dynamic program analysis, compiler optimizations, and performance tuning to push the boundaries of software capabilities.

A key pillar of our work is revolutionizing developer productivity. By combining sophisticated program analysis with Generative AI, we empower engineers to tackle complex challenges, from bug detection and advanced debugging to program synthesis and automated program repair. Our solutions are designed not just to enhance the quality of engineering output but also to minimize the burden of routine tasks, enabling developers to focus on innovation. Committed to advancing technology for the broader community, we proudly contribute the majority of our tools as open-source projects and publish at top research venues.

PSG Programming Systems Group logo with research, code, and growth icons, tagline: From research ideas to uber-scale impact
PSG Programming Systems Group logo with research, code, and growth icons, tagline: From research ideas to uber-scale impact

Programming Systems

At Uber's Programming Systems Team, we are at the forefront of innovation, harnessing cutting-edge advancements in programming languages, software engineering, distributed systems, and artificial intelligence to make Uber more efficient and reliable. Our mission is to pioneer transformative technologies, integrating state-of-the-art static and dynamic program analysis, compiler optimizations, and performance tuning to push the boundaries of software capabilities.

A key pillar of our work is revolutionizing developer productivity. By combining sophisticated program analysis with Generative AI, we empower engineers to tackle complex challenges, from bug detection and advanced debugging to program synthesis and automated program repair. Our solutions are designed not just to enhance the quality of engineering output but also to minimize the burden of routine tasks, enabling developers to focus on innovation. Committed to advancing technology for the broader community, we proudly contribute the majority of our tools as open-source projects and publish at top research venues.

PSG Programming Systems Group logo with code research icons leading to upward growth chart
PSG Programming Systems Group logo with code research icons leading to upward growth chart

Meet the team

Sonal Mahajan

Sonal Mahajan

Research Manager II 🎓

milind3

Milind Chabbi

Principal Researcher 🎓

Farnaz Behrang

Farnaz Behrang

Senior Researcher 🎓

Yuxin Wang

Yuxin Wang

Senior Researcher 🎓

Chris Zhang

Chris Zhang

Senior Researcher 🎓

Man with curly black hair, glasses, and a short beard, wearing a dark blue checkered shirt, smiling against a plain white background.

Ameya Ketkar

Senior Researcher 🎓

Man with short black hair and a trimmed beard, wearing a red-collared shirt, looking directly at the camera with a neutral expression.

Nimit Singhania

Senior Researcher 🎓

Seemanta Saha

Seemanta Saha

Researcher II 🎓

Vlad Saioc

Georgian-Vlad Saioc

Researcher II 🎓

Diego Marcilio

Diego Marcilio

Senior Researcher 🎓

Daniel Ramos

Daniel Ramos

Researcher II 🎓

Hunkar Tunc

Hunkar Tunc

Researcher II 🎓

Nikhil Parasaram

Nikhil Parasaram

Researcher II 🎓

You

Are you a Program Analysis & AI/ML expert?

Collaborators

Visiting Researchers:


Interns:

2026
  • Daneshvar Amrollahi, Stanford University
  • Karthik Adyathimar, Stony Brook University
  • Reshabh Sharma, University of Washington
  • Ruixin Wang, Purdue University
  • Jay Richards, University of Kent
  • Jinyao Guo, Purdue University
  • Zheng Shi, National University of Singapore
  • Jiwon Park, University of Berkeley
2025
  • Catarina Gamboa, Carnegie Mellon University
  • Chengpeng Li, University of Texas - Austin
  • Elton Pinto, Georgia Institute of Technology
  • Jay Richards, University of Kent
  • Jiwon Park, University of California-Berkeley
  • Jianing Xu Wang
  • Rahual Rai (UberStar), Howard University
  • Ruixin Wang, Purdue University
  • Shrey Tiwari, Carnegie Mellon University
  • Shi Zheng, National Univrsity of Singapore
2024
  • Chengpeng Li, University of Texas
  • Daniel Ramos, Carnegie Mellon University
  • Georgian-Vlad Saioc, Aarhus University
  • Hunkar Tunc, Aarhus University
  • Jose Magalhaes, The University of Edinburgh
  • Paulo Santos, Carnegie Mellon University
  • Ruixin Wang, Purdue University
2023
  • Daniel Ramos, Carnegie Mellon University
  • Feiyang Jin, Georgia Tech
  • Georgian-Vlad Saioc, Aarhus University
  • Yufan Xu, University of Utah
  • Zhiqiang Zang, The University of Texas at Austin
2022
  • Chris Zhang, UC Santa Barbara
  • Diego Marcilio, Università della Svizzera italiana
  • Georgian-Vlad Saioc, Aarhus University
  • Julia Turcotti, UC Berkeley
  • Narges Shadab, University of California -Riverside
  • Nima Karimipour, University of California -Riverside
  • Pranav Bijapur, Carnegie Mellon University
  • Shubham Ugare, University of Illinois Urbana-Champaign
  • Swastik Mittal, North Carolina State University
2021
  • Chris Zhang, UC Santa Barbara
  • Ghadeer Alabandi, Texas State University
  • Lingchao Chen, The University of Texas at Dallas
  • Nada Attia, Cornell University
  • Yuxin Wang, Pennsylvania State University
2020
  • Chris Zhang, UC Santa Barbara
  • Donald Pinckney, Northeastern University
2019
  • Farnaz Behrang, Georgia Institute of Technology
  • Pengfei Su, College of William & Mary
  • Ye Wang, Virginia Tech
  • Haosen Wen, University of Rochester
2018
  • Zhengyang Liu, University of Utah
  • Subarno Banerjee, University of Michigan
  • Anonymous, University of California - Los Angeles

Projects

AutoClean
AutoClean

Feature flags, frequently used for gradual rollouts and feature experimentation, often leave behind unnecessary code once the experiment concludes. This increases complexity, bloats the source and binary, and can lead to bugs and misconfigurations. AutoClean leverages our Piranha code transformation toolset to automatically eliminate these stale feature flags from production and test code.

NilAway NullAway
NullAway and NilAway

NullAway for Java and NilAway for Go are static analysis tools designed to prevent null/nil-related errors. NullAway uses @Nullable annotations to ensure pointers are not null when dereferenced, while NilAway employs an inference engine to catch potential nil panics at compile time without requiring manual annotations. Together, these tools enhance code safety by addressing null/nil-related issues proactively.

CRISP
CRISP

Modern microservice architectures bring scalability and flexibility but often introduce challenges in diagnosing latency and errors. CRISP is a tool that helps engineers analyze performance issues by identifying critical paths and visualizing bottlenecks using differential flamegraphs. It provides actionable insights into latency and error propagation, assisting teams in improving system reliability and efficiency.

DrFix
Dr.Fix

Dr.Fix is a project designed to automatically fix bugs, enhancing both software quality and developer productivity. Dr.Fix introduces a novel hybrid approach that combines program analysis with generative AI, providing robust solutions to real-world problems. Currently, Dr.Fix streamlines various developer workflows: it repairs concurrency issues in Go, optimizes Go services, and fixes flaky tests.

Last Diff Analyzer
Last Diff Analyzer

Last Diff Analyzer is a multi-language, platform-agnostic tool for automatically approving behavior-preserving code changes. By integrating with code hosting platforms, it streamlines workflows by approving updates and bypassing costly CI tests. With support for Golang and Java, its extensible framework unifies language structures while allowing for easy expansion to Kotlin, Swift, TypeScript and more.

LeakGuard
LeakGuard

Automated Detection and Remediation of Resource Leaks

LeakGuard is a suite of tools that work together to find and fix leaks in Java and Go applications. These tools use a combination of static and dynamic analysis, generative AI, and new runtime techniques to find and fix performance bottlenecks and memory issues. By using LeakGuard, developers can save time and effort while also making their systems more reliable and efficient.

Publications

Technical papers, talks and blog articles featuring current and former team members*

2026
2025
2024
2023
2022
2021
2020
2019
2018

*Disclaimer: The views and opinions expressed in the publications are those of the authors and the publications are not affiliated with Uber Technologies Inc.