Chaitanya Agarwal
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2022–2025
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | CCS | Logical Relations for Formally Verified Authenticated Data Structures. | Simon Oddershede Gregersen, Chaitanya Agarwal, Joseph Tassarotti |
| 2022 | CAV | PAC Statistical Model Checking of Mean Payoff in Discrete- and Continuous-Time MDP. | Chaitanya Agarwal, Shibashis Guha, Jan Kretnsk, Pazhamalai Muruganandham |
| 2022 | NAACL | Bilingual Tabular Inference: A Case Study on Indic Languages. | Chaitanya Agarwal, Vivek Gupta, Anoop Kunchukuttan, Manish Shrivastava |
| 2022 | WSDM | The Multi-vehicle Ride-Sharing Problem. | Kelin Luo, Chaitanya Agarwal, Syamantak Das, Xiangyu Guo |