Jatin Arora

According to our database, Jatin Arora authored at least 9 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Disentanglement with Futures, State, and Interaction.

Jatin Arora, Stefan K. Muller, Umut A. Acar

Proc. ACM Program. Lang., January, 2024

2021 Amazon Last Mile Routing Research Challenge: Data Set.

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.

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.

Jatin Arora, Sam Westrick, Umut A. Acar

Proc. ACM Program. Lang., 2023

2022

Entanglement detection with near-zero cost.

Sam Westrick, Jatin Arora, Umut A. Acar

Proc. ACM Program. Lang., 2022

2021

Provably space-efficient parallel functional programming.

Jatin Arora, Sam Westrick, Umut A. Acar

Proc. ACM Program. Lang., 2021

2020

Finding Input Characterizations for Output Properties in ReLU Neural Networks.

Saket Dingliwal, Divyansh Pareek, Jatin Arora

CoRR, 2020

2019

Verification of programs under the release-acquire semantics.

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.

S. Akshay, Jatin Arora, Supratik Chakraborty, Shankara Narayanan Krishna, Divya Raghunathan, Shetal Shah

Proceedings of the 2019 Formal Methods in Computer Aided Design, 2019