Department of Computer Science
Rutgers University
New Brunswick, NJ 08901-8554
Email: sangeeta (dot) chowdhary (at) rutgers.edu
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.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]
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.
Spring 2019: CS 415 - Compilers (Prof. Ulrich (Uli) Kremer) Teaching Assistant
Spring 2018: CS 352 - Internet Technology (Prof. Richard P. Martin) Teaching Assistant
Fall 2017: CS 352 - Internet Technology (Prof. Desheng Zhang) Teaching Assistant
Spring 2017: CS 352 - Internet Technology (Prof. Richard P. Martin) Teaching Assistant
Fall 2016: CS 352 - Internet Technology (Prof. Badri Nath) Teaching Assistant
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