Knowledge Compilation for Boolean Functional Synthesis. - S. Akshay 001; Jatin Arora 002; Supratik Chakraborty; Shankara Narayanan Krishna; Divya Raghunathan; Shetal Shah (FMCAD, 2019)

Verification of programs under the release-acquire semantics. - Parosh Aziz Abdulla; Jatin Arora 002; Mohamed Faouzi Atig; Shankara Narayanan Krishna (PLDI, 2019)

Finding Input Characterizations for Output Properties in ReLU Neural Networks. - Saket Dingliwal; Divyansh Pareek; Jatin Arora 002 (CoRR, 2020)

Provably space-efficient parallel functional programming. - Jatin Arora 002; Sam Westrick; Umut A. Acar (Proc. ACM Program. Lang., 2021)

Entanglement detection with near-zero cost. - Sam Westrick; Jatin Arora 002; Umut A. Acar (Proc. ACM Program. Lang., 2022)

Efficient Parallel Functional Programming with Effects. - Jatin Arora 002; Sam Westrick; Umut A. Acar (Proc. ACM Program. Lang., 2023)

GraFeyn: Efficient Parallel Sparse Simulation of Quantum Circuits. - Sam Westrick; Pengyu Liu; Byeongjee Kang; Colin McDonald; Mike Rainey; Mingkuan Xu; Jatin Arora 002; Yongshan Ding 001; Umut A. Acar (QCE, 2024)

2021 Amazon Last Mile Routing Research Challenge: Data Set. - Daniel Merchán; Jatin Arora 002; Julian Pachon; Karthik Konduri; Matthias Winkenbach; Steven Parks; Joseph Noszek (Transp. Sci., 2024)

Disentanglement with Futures, State, and Interaction. - Jatin Arora 002; Stefan K. Muller; Umut A. Acar (Proc. ACM Program. Lang., 2024)

POPQC: Parallel Optimization for Quantum Circuits. - Pengyu Liu; Jatin Arora 002; Mingkuan Xu; Umut A. Acar (SPAA, 2025)

Local Optimization of Quantum Circuits (Extended Version). - Jatin Arora 002; Mingkuan Xu; Sam Westrick; Pengyu Liu; Dantong Li; Yongshan Ding 001; Umut A. Acar (CoRR, 2025)

POPQC: Parallel Optimization for Quantum Circuits (Extended Version). - Pengyu Liu; Jatin Arora 002; Mingkuan Xu; Umut A. Acar (CoRR, 2025)