We stand with Ukraine  

Jatin Arora

Orcid: 0000-0001-8302-6844

Affiliations:
  • Carnegie Mellon University, Pittsburgh, PA, USA
  • IIT Bombay, India (until 2019)


According to our database1, Jatin Arora authored at least 7 papers between 2019 and 2024.

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

2024
Disentanglement with Futures, State, and Interaction.
[BibTeX]
[DOI]
Jatin Arora
,
Stefan K. Muller
,
Umut A. Acar
Proc. ACM Program. Lang., January, 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...