Sangeeta Chowdhary

Department of Computer Science
Rutgers University
New Brunswick, NJ 08901-8554
Email: sangeeta (dot) chowdhary (at) rutgers.edu

About me

I am a PhD student at Rutgers University, under the supervision of Prof. Santosh Nagarakatte.

My research focuses on building systems with novel abstractions to debug and verify programs. I am also interested in designing compilers for different domains.

Before joining Rutgers, I spent one year at UIC and worked with Prof. Chris Kanich.

Before joining UIC, I worked on designing networking interfaces for Samsung R&D Bangalore.

Update: I am starting as a researcher at AMD Research in summer.

Publications

  • A Fast Debugger to Detect and Diagnose Numerical Errors.
    Sangeeta Chowdhary, Santosh Nagarakatte
    In submission

  • EVA Improved: Compiler and Extension Library for CKKS.
    Sangeeta Chowdhary, Wei Dai, Kim Laine, and Olli Saarikivi
    Proceedings of the 9th on Workshop on Encrypted Computing & Applied Homomorphic Cryptography (WAHC 2021)

  • Parallel Shadow Execution to Accelerate the Debugging of Numerical Errors.
    Sangeeta Chowdhary, Santosh Nagarakatte
    Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2021) [PFPSanitizer | PDF]

  • Debugging and Detecting Numerical Errors in Computation with Posits.
    Sangeeta Chowdhary, Jay Lim, Santosh Nagarakatte
    Proceedings of the 2020 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2020) [PositDebug | FPSanitizer | PDF]

Summer Internships

  • I worked with Kim Laine on the EVA compiler in Summer 2020. EVA is a compiler for fully-homomorphic encryption and targets Microsoft SEAL library. I designed and built new features and enhanced the EVA compiler for public release.

  • I interned under the guidance of Srinath Setty in Summer 2019. I worked on designing LLVM backend for zero knowledge proofs.

Teaching

Graduate Course Work

  • Spring 2020: COS 510:Programming Languages (Princeton University)

  • Spring 2018: CS 516:Programming Languages and Compilers II

  • Spring 2017: CS 513:Design and Analysis of Data Structures and Algorithms I

  • Fall 2016: CS 520:Introduction to Artificial Intelligence

  • Fall 2016: CS 510:Numerical Analysis