Profile Picture

I am a computer science PhD student at MIT. I am advised by Saman Amarasinghe and Jonathan Ragan-Kelley. I am interested in designing extensible and productive languages (and tools!) for heterogeneous systems.

I was previously an undergraduate at Stanford Univeristy studying mathematics (BS'23). At Stanford, I was incredibly fortunate to work with Fredrik Kjolstad and Dawson Engler.

Email Me: manya227 WHERE csail DOT mit DOT edu

Publications

Lightweight and Locality-Aware Composition of Black-Box Subroutines

Manya Bansal, Dillon Sharlet, Jonathan Ragan-Kelley, Saman Amarasinghe

ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2025

Mosaic: An Interoperable Compiler for Tensor Algebra

Manya Bansal, Olivia Hsu, Kunle Olukotun, Fredrik Kjolstad

ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), June 2023

Distinguished Paper Award

Posters

Using Debug Hardware to Build Tiny and Efficient Dynamic Kernel Checkers

Zachary Yedidia, Akshay Srivastan, Manya Bansal, Dawson Engler

ACM SIGOPS Symposium on Operating Systems Principles (SOSP), 2024

Talks

Teaching

I was a course assistant for CS140E: Operating Systems Design and Implementation in Winter 2023.

I tutored mathematics undergraduates through the Stanford University Mathematical Organization for five math courses at Stanford University: linear algebra, multi-variable calculus, differential equations, applied matrix theory and proof-based matrix theory.

I tutored computer science undergraduates for introductory courses at Stanford University through Black Lair.

Personal

Before discovering the joys of computer science research, I was interested in philosophy. I represented India at the International Philosophy Olympiad, winning the silver medal. While I read and discuss philosophy much less than I used to, I am more than happy to subject any unlucky ear to my rehearsed spiels.

I also struggle to spell all sorts of words, even ones I use every day, and I spend most of my waking hours listening to music.

Last updated: September 7, 2025