We stand with Ukraine  

Jatin Arora

Orcid: 0000-0001-8302-6844

Affiliations:
  • Amazon.com, Inc., Bellevue, WA, USA
  • Carnegie Mellon University, Pittsburgh, PA, USA
  • IIT Bombay, India (until 2019)


According to our database1, Jatin Arora authored at least 12 papers between 2019 and 2025.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2025
POPQC: Parallel Optimization for Quantum Circuits (Extended Version).
[BibTeX]
[DOI]
Pengyu Liu
,
Jatin Arora
,
Mingkuan Xu
,
Umut A. Acar
CoRR, June, 2025

Local Optimization of Quantum Circuits (Extended Version).
[BibTeX]
[DOI]
Jatin Arora
,
Mingkuan Xu
,
Sam Westrick
,
Pengyu Liu
,
Dantong Li
,
Yongshan Ding
,
Umut A. Acar
CoRR, February, 2025

POPQC: Parallel Optimization for Quantum Circuits.
[BibTeX]
[DOI]
Pengyu Liu
,
Jatin Arora
,
Mingkuan Xu
,
Umut A. Acar
Proceedings of the 37th ACM Symposium on Parallelism in Algorithms and Architectures, 2025

2024
Disentanglement with Futures, State, and Interaction.
[BibTeX]
[DOI]
Jatin Arora
,
Stefan K. Muller
,
Umut A. Acar
Proc. ACM Program. Lang., January, 2024

2021 Amazon Last Mile Routing Research Challenge: Data Set.
[BibTeX]
[DOI]
Daniel Merchán
,
Jatin Arora
,
Julian Pachon
,
Karthik Konduri
,
Matthias Winkenbach
,
Steven Parks
,
Joseph Noszek
Transp. Sci., 2024

GraFeyn: Efficient Parallel Sparse Simulation of Quantum Circuits.
[BibTeX]
[DOI]
Sam Westrick
,
Pengyu Liu
,
Byeongjee Kang
,
Colin McDonald
,
Mike Rainey
,
Mingkuan Xu
,
Jatin Arora
,
Yongshan Ding
,
Umut A. Acar
Proceedings of the IEEE International Conference on Quantum Computing and Engineering, 2024

2023
Efficient Parallel Functional Programming with Effects.
[BibTeX]
[DOI]
Jatin Arora
,
Sam Westrick
,
Umut A. Acar
Proc. ACM Program. Lang., 2023

2022
Entanglement detection with near-zero cost.
[BibTeX]
[DOI]
Sam Westrick
,
Jatin Arora
,
Umut A. Acar
Proc. ACM Program. Lang., 2022

2021
Provably space-efficient parallel functional programming.
[BibTeX]
[DOI]
Jatin Arora
,
Sam Westrick
,
Umut A. Acar
Proc. ACM Program. Lang., 2021

2020
Finding Input Characterizations for Output Properties in ReLU Neural Networks.
[BibTeX]
[DOI]
Saket Dingliwal
,
Divyansh Pareek
,
Jatin Arora
CoRR, 2020

2019
Verification of programs under the release-acquire semantics.
[BibTeX]
[DOI]
Parosh Aziz Abdulla
,
Jatin Arora
,
Mohamed Faouzi Atig
,
Shankara Narayanan Krishna
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

Knowledge Compilation for Boolean Functional Synthesis.
[BibTeX]
[DOI]
S. Akshay
,
Jatin Arora
,
Supratik Chakraborty
,
Shankara Narayanan Krishna
,
Divya Raghunathan
,
Shetal Shah
Proceedings of the 2019 Formal Methods in Computer Aided Design, 2019


  Loading...