Jatin Arora

13 papers A* 1B 2Misc 1Journal 9
YearRankTypeTitle / Venue / Authors
2025 J jnl
Local Optimization of Quantum Circuits (Extended Version).
CoRR
Jatin Arora, Mingkuan Xu, Sam Westrick, Pengyu Liu, Dantong Li, Yongshan Ding, Umut A. Acar
2025 J jnl
POPQC: Parallel Optimization for Quantum Circuits (Extended Version).
CoRR
Pengyu Liu, Jatin Arora, Mingkuan Xu, Umut A. Acar
2025 B conf
POPQC: Parallel Optimization for Quantum Circuits.
SPAA
Pengyu Liu, Jatin Arora, Mingkuan Xu, Umut A. Acar
2024 J jnl
2021 Amazon Last Mile Routing Research Challenge: Data Set.
Transp. Sci.
Daniel Merchán, Jatin Arora, Julian Pachon, Karthik Konduri, Matthias Winkenbach, Steven Parks, Joseph Noszek
2024 J jnl
Disentanglement with Futures, State, and Interaction.
Proc. ACM Program. Lang.
Jatin Arora, Stefan K. Muller, Umut A. Acar
2024 Misc conf
GraFeyn: Efficient Parallel Sparse Simulation of Quantum Circuits.
QCE
Sam Westrick, Pengyu Liu, Byeongjee Kang, Colin McDonald, Mike Rainey, Mingkuan Xu, Jatin Arora, Yongshan Ding, Umut A. Acar
2023 J jnl
Efficient Parallel Functional Programming with Effects.
Proc. ACM Program. Lang.
Jatin Arora, Sam Westrick, Umut A. Acar
2022 J jnl
Entanglement detection with near-zero cost.
Proc. ACM Program. Lang.
Sam Westrick, Jatin Arora, Umut A. Acar
2021 J jnl
Provably space-efficient parallel functional programming.
Proc. ACM Program. Lang.
Jatin Arora, Sam Westrick, Umut A. Acar
2020 J jnl
Finding Input Characterizations for Output Properties in ReLU Neural Networks.
CoRR
Saket Dingliwal, Divyansh Pareek, Jatin Arora
2019 B conf
Knowledge Compilation for Boolean Functional Synthesis.
FMCAD
S. Akshay, Jatin Arora, Supratik Chakraborty, Shankara Narayanan Krishna, Divya Raghunathan, Shetal Shah
2019 J jnl
Knowledge Compilation for Boolean Functional Synthesis.
CoRR
S. Akshay, Jatin Arora, Supratik Chakraborty, Shankara Narayanan Krishna, Divya Raghunathan, Shetal Shah
2019 A* conf
Verification of programs under the release-acquire semantics.
PLDI
Parosh Aziz Abdulla, Jatin Arora, Mohamed Faouzi Atig, Shankara Narayanan Krishna