Amitabha Sanyal
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
6
Active years
1991–2019
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | CC | A static slicing method for functional programs and its incremental version. | Prasanna Kumar K., Amitabha Sanyal, Amey Karkare, Saswat Padhi |
| 2018 | AAAI | Synthesis of Programs from Multimodal Datasets. | Shantanu Thakoor, Simoni Shah, Ganesh Ramakrishnan, Amitabha Sanyal |
| 2018 | TACAS | Property Checking Array Programs Using Loop Shrinking. | Shrawan Kumar, Amitabha Sanyal, R. Venkatesh, Punit Shah |
| 2015 | TACAS | Value Slice: A New Slicing Concept for Scalable Property Checking. | Shrawan Kumar, Amitabha Sanyal, Uday P. Khedker |
| 2014 | CC | Liveness-Based Garbage Collection. | Rahul Asati, Amitabha Sanyal, Amey Karkare, Alan Mycroft |
| 2006 | SEFM | A PVS Based Framework for Validating Compiler Optimizations. | Aditya Kanade, Amitabha Sanyal, Uday P. Khedker |
| 2005 | APLAS | Heterogeneous Fixed Points with Application to Points-To Analysis. | Aditya Kanade, Uday P. Khedker, Amitabha Sanyal |
| 1991 | ICCI | Extended Cycle Shrinking: A Restructuring Method for Parallel Compilation. | Supratim Biswas, Amitabha Sanyal, L. M. Tewari |