Dependently Typing R Vectors, Arrays, and Matrices. - John Wrenn; Anjali Pal; Alexa VanHattum; Shriram Krishnamurthi (CoRR, 2023)

Equality Saturation Theory Exploration à la Carte. - Anjali Pal; Brett Saiki; Ryan Tjoa; Cynthia Richey; Amy Zhu; Oliver Flatt; Max Willsey; Zachary Tatlock; Chandrakana Nandi (Proc. ACM Program. Lang., 2023)

Enhanced smartphone imaging: Assessment of deep learning based image signal processing pipeline. - Anjali Pal; Priti Sehgal; Roli Bansal 001 (Digit. Signal Process., 2025)

An efficient single-stage ISP for smartphones using global context residual dense and residual channel attention modules. - Roli Bansal 001; Anjali Pal; Priti Sehgal (J. Real Time Image Process., 2025)