I am a master's student at The University of Texas at Austin, where I am being advised by Prof. Aditya Akella. I am interested in programming languages and formal verification of systems.

I recently graduated from IIT Bombay, India, with a B.Tech. in Computer Science and Engineering. For my senior-year thesis, I worked with Prof. Supratik Chakraborty and Prof. Amitabha Sanyal on translation validation techniques for optimizing compilers.

Last summer, I interned at Netflix in their Big Data Platform team. We worked on optimizations to reduce the latency of their workflow orchestrator engine. In summer 2021, I worked at Mosaic Research Capital -- a high-frequency trading firm in Hong Kong -- as a Core Engineer Intern. We developed market-making & liquidity-taking algorithms and implemented them on a highly concurrent low-latency system to trade on leading cryptocurrency exchanges. I have also interned at Uber and AWL Inc. -- an IoT startup in Hokkaido, Japan.

I visited TU Braunschweig in summer 2019, where I was advised by Prof. Thomas Deserno and we worked on building a system for crowdsourcing image segmentation.

Updates

Apr 2022: I will be joining Netflix this summer as a Software Developer Intern!

Aug 2021: I received a fully-funded GRAship offer at UT Austin!

Jul 2021: I was awarded the JN Tata Endowment scholarship to pursue graduate studies!

May 2021: Began my internship at Mosaic Research Capital, a crypto HFT!

Oct 2020: Selected for an exchange to ETH Zurich in the spring 2021 semester

Jun 2020: I presented our work in the virtual ISMM 2020 (virtually co-located with PLDI'20!)

Apr 2020: Our work on garbage collectors was accepted in ISMM 2020!

Jan 2020: Our work on crowdsourcing segmentations at TU Braunschweig was accepted in the SPIE Medical Imaging 2020.

Oct 2019: We placed 2nd in Ubisoft Pune's 48hr GameJam! Check out our game here

Publications

Garbage Collection using a Finite Liveness Domain

Aman Bansal*, Saksham Goel*, Preey Shah*, Amitabha Sanyal, Prasanna Kumar

International Symposium on Memory Management (ISMM), 2020

[paper] [pdf] [presentation] [code]

WeLineation: crowdsourcing delineations for reliable ground truth estimation

Saksham Goel, Yash Sharma, Malte-Levin Jauer, Thomas M. Deserno

SPIE Medical Imaging, 2020.

[paper] [website]

Teaching

Fall 2020: Teaching Assistant for CS 333/347: Operating Systems and Lab

Fall 2019: Teaching Assistant for MA 105: Calculus.