Advaita Datar
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2016–2025
Best venue rank
Australasian
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ADC | The Parameterization Gap: Backtracking Multimodal NL2PSQL. | Nakshatra Gupta, Advaita Datar, Pramod Wankhade, Kaushik Joshi, Supratik Chakraborty |
| 2023 | ENASE | Towards Synthesis of Code for Calculations Using Their Specifications. | Advaita Datar, Amey Zare, R. Venkatesh, Asia A |
| 2022 | ISSRE | Automated Validation of Insurance Applications against Calculation Specifications. | Advaita Datar, Amey Zare, Asia A, R. Venkatesh, Shrawan Kumar, Ulka Shrotri |
| 2018 | TACAS | VeriAbs: Verification by Abstraction and Test Generation - (Competition Contribution). | Priyanka Darke, Sumanth Prabhu, Bharti Chimdyalwar, Avriti Chauhan, Shrawan Kumar, Animesh Basak Chowdhury, R. Venkatesh, Advaita Datar, Raveendra Kumar Medicherla |
| 2016 | LOPSTR | Scaling Bounded Model Checking by Transforming Programs with Arrays. | Anushri Jana, Uday P. Khedker, Advaita Datar, R. Venkatesh, Niyas C |