ari prakash

she/her

👋🏽 Welcome!

Hi! I’m a third-year computer science undergraduate at Northeastern University. My research interests lie in the intersection of programming languages and human-computer interaction: I want to design tools to make it easier for developers to formally reason about their code and build safer systems.

News

• January 2026: I’m really excited to have accepted an internship offer at AMD, working with MLIR and IREE this fall!
• January 2026: I will be TAing for CS 4400 (Programming Languages) this spring
• December 2025: Our PriSC workshop submission on RichWasm 2 was accepted!
• October 2025: I presented our work on miniDusa at Scheme 2025 at ICFP/SPLASH
• October 2025: Zachary Eisbach and I presented our work on miniDusa at RacketCon!
• June 2025: I attended OPLSS 2025
• March 2025: I have been accepted as a research assistant under Prof. Amal Ahmed!

Publications

CounterChoice: Counterpoint Composition in Dusa with a Firmus Foundation – Aug 2026

1. Ahmet Yiğit Erdem
2. Ari Prakash
3. Carlo Angiuli
4. Rose Bohrer
5. James McCann
6. Chris Martens
7. Youyou Cong

FARM 2026

• PDF
• Demo

Specifying ABIs with Realizability and Type-Preserving Compilation – Jan 2026

1. Brianna Marshall
2. Ryan Doenges
3. Owen Duckham
4. Ari Prakash
5. Elan Semenova
6. Maxime Legoupil
7. Lars Birkedal
8. Amal Ahmed

PriSC 2026

• PDF

Teaching

• Spring 2026: TA for CS 4400/5400 (Programming Languages) with Prof. Steven Holtzen
• Summer 1 2025: Course assistant developing materials for CS 2000 (Intro to Program Design and Implementation) with Prof. Daniel Patterson
• Spring 2025: TA for CS 2510 accelerated with Prof. Ben Lerner
• Fall 2024: TA for CS 2500 accelerated (Fundamentals of CS 1) with Prof. Ben Lerner
• Summer 1 2024: TA for CS 2510 (Fundamentals of CS 2) with Prof. Leena Razzaq

Speaking

• miniDusa: an Extensible Finite-Choice Programming Language: RacketCon 2025, Scheme 2025

🏳️‍⚧️