Overview

I am a final year PhD student at the University of Pennsylvania, where I am fortunate to be advised by Rajeev Alur. My research interests lie in the intersection of computer systems and programming languages.

I am a member of the Technical Steering Committee of PaSh, a shell-script parallelization project hosted by the Linux Foundation.

Together with Manos Theodosis we co-created CS PhD MentoRes in 2021, a mentoring initiative for people that are interested in applying for PhD programs in Computer Science and related fields but don't have access to adequate resources. If you are interested in applying for a PhD (or just want to know more about what it entails), contact us!

---

📰 News: 📰 I am on the academic job market this year (2023-2024 cycle) looking for tenure track positions.

---

Links: Research, Group, Papers, Software, Projects, Service and Outreach, Misc

---

Note: I am committed to ensuring that everyone feels comfortable being part of our research community. I am always happy to talk to anyone (junior or senior) who feels like they want to share or discuss anything; be it a negative (or positive) experience, an interaction with another member of our community, or an issue with university and other processes. I have often needed to seek help myself and found that having access to a listening ear is very helpful.

---

Research

The goal of my research is to enable the development of high-performance applications with robust correctness guarantees. To achieve this goal, I build practical programmable software systems that target realistic workloads in widely-used environments. I build my systems on solid foundations using formal specifications and techniques drawn from the programming languages, compilers, and formal methods literature.

Here are some of my representative recent papers. A complete list of my publications, talks, reports, and software can be found here or on my Google Scholar profile.

Cloud Software Systems

• MuCache: a General Framework for Caching in Microservice Graphs (NSDI 24, eniac/mucache Star)
• Executing Microservice Applications on Serverless, Correctly (POPL 2023, eniac/mu2sls Star)
• Netherite: Efficient Execution of Serverless Workflows (VLDB 2022, microsoft/durabletask-netherite Star)
• Charon: A Framework for Microservice Overload Control (HotNets 2021)
• Durable Functions: Semantics for Stateful Serverless (OOPSLA 2021)

Compilers and Systems for Shell Scripts

• Executing Shell Scripts in the Wrong Order, Correctly (HotOS 23)
• DiSh: Dynamic Shell-Script Distribution (NSDI 23, binpash/dish Star)
• Practically Correct, Just-in-Time Shell Script Parallelization (OSDI 22, binpash/pash Star)
• An Order-aware Dataflow Model for Parallel Unix Pipelines (ICFP 2021)
• Unix Shell Programming: The Next 50 Years (HotOS 2021)⭐ Distinguished Presentation Award ⭐
• PaSh: Light-touch Data-Parallel Shell Processing (EuroSys 2021, binpash/pash Star)⭐ Best Paper Award ⭐

---

Software

Here are some selected software systems that have come out of my group's research. A complete list can be found here.

• try (Github) Star
  A tool that lets you run a command and inspect its effects before committing them to your system.
• PaSh (Github) Star
  A system that automatically parallelizes your shell scripts. Hosted by the Linux Foundation.
• mucache (GitHub) Star
  A system that automatically adds and manages caches in microservice applications.

Personal

In my free time I enjoy human activities. I really enjoy lying down and falling asleep in nature, with or without the presence of other people. During the late 2010s I was obsessed with escape rooms but I am not going that often anymore. I occasionally like producing rhythmic sounds from electric guitars, usually in the context of some jam session.