Posts by Collection

portfolio

Portfolio item number 1

Short description of portfolio item number 1

Portfolio item number 2

Short description of portfolio item number 2

publications

Formal verification of approximate-DP via the characteristic function

Published in Penn State University, 2023

Undergraduate Honor Thesis

Download here

Analyzing gem5 Commit-Code inconsistency with LLMs

Published in Gem5 workshop @ ISCA 2026, 2026

recipes

Aloo Methi (Potato Fenugreek)

Potatoes cooked with earthy, slightly bitter fenugreek leaves and simple Indian spices.

Baked Salmon

Flaky oven-baked salmon with a simple lemon, garlic, and herb finish.

Bhindi Sabji (Okra)

A quick okra stir-fry with warm spices and a tender-crisp texture.

Buffalo chicken sliders

Spicy buffalo chicken tucked into soft slider buns for a movie snack or an entire meal.

Buttery Lemon Pasta With Almonds and Arugula

Linguine tossed with brown butter, toasted almonds, lemon, rosemary, and peppery arugula.

Chicken Milanese

Crispy Parmesan-panko chicken cutlets served with a bright arugula salad and lemon.

Chicken Tikka Masala

Charred yogurt-marinated chicken simmered in a creamy, spiced tomato gravy.

Chickpea Curry

A hearty chickpea curry simmered in onion-tomato masala with warming spices.

Crispy Cheddar Chicken Tacos

Corn tortillas baked onto crispy cheese shells and filled with smoky chipotle chicken.

Crispy Tofu and Broccoli With Ginger-Garlic Teriyaki Sauce

Cornstarch-coated tofu and roasted broccoli served over rice with homemade ginger-garlic teriyaki sauce.

Dry potato sabji

A simple Gujarati-style potato shaak cooked dry with turmeric, chili, and everyday spices.

Easy Sautéed Spinach

Fresh spinach quickly wilted with garlic for a bright, easy side dish.

Frozen chicken meal

A fast zero effort pantry-style bowl with buffalo chicken strips, rice, beans, and vegetables.

Ginger-Dill Salmon

Slow-baked salmon with a ginger-dill topping, citrus salad, radishes, and avocado.

Gobi Matar (Cauliflower)

Cauliflower and green peas cooked in a lightly spiced onion-tomato masala.

Green Curry Salmon With Coconut Rice

One-pot salmon and coconut rice flavored with Thai green curry paste, scallions, and cilantro.

Grilled Paneer Sandwich

A crisp grilled sandwich filled with paneer, vegetables, and savory seasoning.

Halal cart chicken and rice

Street-cart-style marinated chicken served over spiced yellow rice with creamy white sauce and spicy red sauce.

Ham and Cheese Sliders

Pull-apart Hawaiian roll sliders layered with ham, Swiss, Dijon, and a buttery poppy seed glaze.

Harissa honey chicken

Juicy chicken glazed with smoky harissa, honey, lemon, garlic, and warm spices.

Khathi-Methi Dal

Gujarati sweet-and-sour dal (lentil soup) balanced with gentle spices, tang, and warmth.

Kheemo

Savory Indian-style minced boiled eggs cooked with aromatics and warming spices.

Khichidi

A comforting one-pot rice and dal dish finished simply with ghee and achaar.

Lemon-Dill Meatballs With Orzo

Turkey or chicken meatballs simmered with toasted orzo, greens, lemon, dill, and garlicky yogurt.

Maple and Miso Sheet-Pan Salmon With Green Beans

A quick sheet-pan salmon dinner glazed with maple, miso, soy, garlic, and lime.

Miso-Honey Chicken and Asparagus

Broiled chicken thighs and asparagus with a savory-sweet miso, honey, ginger, and garlic marinade.

Moong dal tadka

Soft moong dal finished with a fragrant tempering of spices and aromatics.

Oven Baked Tilapia

Mild tilapia baked until flaky with a simple, weeknight-friendly seasoning.

Overnight Oats

A no-cook breakfast where oats soften overnight into a creamy, customizable bowl.

Palak Paneer (Spinach Cottage cheese stew)

Paneer simmered in a smooth, spiced spinach gravy for a classic North Indian meal.

Paneer Bhurji

Crumbled paneer cooked with onions, tomatoes, and spices into a quick savory scramble.

Paneer Tikka Masala

Grilled paneer cubes simmered in a creamy, spiced tomato-onion gravy.

Pav Bhaji

Surat-style mashed vegetable curry served with buttered bread and fresh garnishes.

Poha

Flattened rice cooked with onions, potatoes, peanuts, herbs, and light spices.

Quinoa and Black Bean bowl

A filling grain bowl with quinoa, black beans, feta cheese, tomatoes and avocados.

Rasawala betaka nu shak (gravy potato)

Gujarati potato curry in a light, comforting gravy with everyday spices.

Red Chicken Curry

Saucy red chicken curry with Kashmiri chili, yogurt, warm spices, and tangy sauces.

Ricotta Pasta Alla Vodka

A spicy, creamy tomato-vodka pasta finished with Pecorino and cool dollops of ricotta.

Sambar

A tangy South Indian lentil and vegetable stew flavored with tamarind and sambar spices.

Spinach Salad

A fresh spinach salad that works as a light side or quick meal base.

Upma

A warm South Indian semolina breakfast cooked with spices, herbs, and aromatics.

talks

Interactive proofs in higher order concurrent separation logic: iris proof mode demo

Published: May 24, 2024

There has been tremendous progress on program logics for increasingly sophisticated programming language that reason about challenging features. In this talk, I presented a paper that mechanizes reasoning in CSL by embedding it in the Coq proof assistant. The goal of this paper is to make reasoning in the object logic in the same style as reasoning in Coq proof assistant. When using a proof assistants to reason in an embedded logic one cannot benefit from the proof contexts and basic tactics of the proof assistants. This results in proofs that are at a too low level of abstraction because they are cluttered with bookkeeping code related to manipulating the object logic. I will be talking about a so-called proof mode that extends the Coq proof assistant with named proof contexts for the object logic. I also gave a demo where we dived into emacs with examples of how proofs are done in both Coq and Iris proof modes.

Attacks on open source software - hypocrite commit, SSH backdoor

Published: October 15, 2024

The Ultimate Conditional Syntax

Published: November 26, 2024

Pattern matching on algebraic datatypes is the cornerstone of functional programming as it allows us to write code which is concise and type safe. But can it be more expressive and more readable compared to existing implementations in languages like OCaml and Haskell? I presented a paper that introduces the ultimate conditional syntax (UCS) — treating pattern matching as a generalization of if-then-else by adding destructing and binding capabilities to boolean expressions. This allows us to write nested multi-way if-expressions which can be split in arbitrary ways. I will first talk about these key features of UCS, followed by describing the source syntax. I will then talk about how UCS is compiled into a core language which is simpler, and how the compilation handles problems like backtracking, missing, and redundant cases. Finally, I will talk about how UCS compares to existing approaches in terms of expressiveness, type checking, and practicality of usage.

Collabrative verification of information flow for high insurance app store

Published: February 18, 2025

Enforcing privacy nutrition labels using information flow control

Published: April 24, 2026

Aaryan Patel

Posts by Collection

portfolio

publications

recipes

talks

teaching