Jatin Arora

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 9

Top Topics

Functional Programming

Quantified Boolean Formulae

Top Venues

Proc. ACM Program. Lang.

Publications

Daniel Merchán, Jatin Arora, Julian Pachon, Karthik Konduri, Matthias Winkenbach, Steven Parks, Joseph Noszek
2021 Amazon Last Mile Routing Research Challenge: Data Set. Transp. Sci. 58 (1) (2024)
Jatin Arora, Stefan K. Muller, Umut A. Acar
Disentanglement with Futures, State, and Interaction. Proc. ACM Program. Lang. 8 (POPL) (2024)
Jatin Arora, Sam Westrick, Umut A. Acar
Efficient Parallel Functional Programming with Effects. Proc. ACM Program. Lang. 7 (PLDI) (2023)
Sam Westrick, Jatin Arora, Umut A. Acar
Entanglement detection with near-zero cost. Proc. ACM Program. Lang. 6 (ICFP) (2022)
Jatin Arora, Sam Westrick, Umut A. Acar
Provably space-efficient parallel functional programming. Proc. ACM Program. Lang. 5 (POPL) (2021)
Saket Dingliwal, Divyansh Pareek, Jatin Arora
Finding Input Characterizations for Output Properties in ReLU Neural Networks. CoRR (2020)
Parosh Aziz Abdulla, Jatin Arora, Mohamed Faouzi Atig, Shankara Narayanan Krishna
Verification of programs under the release-acquire semantics. PLDI (2019)
S. Akshay, Jatin Arora, Supratik Chakraborty, Shankara Narayanan Krishna, Divya Raghunathan, Shetal Shah
Knowledge Compilation for Boolean Functional Synthesis. FMCAD (2019)
S. Akshay, Jatin Arora, Supratik Chakraborty, Shankara Narayanan Krishna, Divya Raghunathan, Shetal Shah
Knowledge Compilation for Boolean Functional Synthesis. CoRR (2019)