Amitabha Sanyal

Publication Activity (10 Years)

Years Active: 1987-2020
Publications (10 Years): 8

Top Topics

Garbage Collection

Functional Programs

Temporal Properties

Top Venues

Publications

Aman Bansal, Saksham Goel, Preey Shah, Amitabha Sanyal, Prasanna Kumar
Garbage collection using a finite liveness domain. ISMM (2020)
Prasanna Kumar K., Amitabha Sanyal, Amey Karkare, Saswat Padhi
A static slicing method for functional programs and its incremental version. CC (2019)
Shantanu Thakoor, Simoni Shah, Ganesh Ramakrishnan, Amitabha Sanyal
Synthesis of Programs from Multimodal Datasets. AAAI (2018)
Shrawan Kumar, Amitabha Sanyal, R. Venkatesh, Punit Shah
Property Checking Array Programs Using Loop Shrinking. TACAS (1) (2018)
Prasanna Kumar K., Amitabha Sanyal, Amey Karkare
An Incremental Slicing Method for Functional Programs. CoRR (2017)
Prasanna Kumar K., Amitabha Sanyal, Amey Karkare
Liveness-based garbage collection for lazy languages. ISMM (2016)
Prasanna Kumar K., Amitabha Sanyal, Amey Karkare
Liveness-Based Garbage Collection for Lazy Languages. CoRR (2016)
Shrawan Kumar, Amitabha Sanyal, Uday P. Khedker
Value Slice: A New Slicing Concept for Scalable Property Checking. TACAS (2015)
Rahul Asati, Amitabha Sanyal, Amey Karkare, Alan Mycroft
Liveness-Based Garbage Collection. CC (2014)
Shrawan Kumar, Amitabha Sanyal, Uday P. Khedker
Sliced Slices: Separating Data and Control Influences. CoRR (2014)
Aditya Kanade, Amitabha Sanyal, Uday P. Khedker
A Logic for Correlating Temporal Properties across Program Transformations CoRR (2012)
Aditya Kanade, Amitabha Sanyal, Uday P. Khedker
Validation of GCC optimizers through trace generation. Softw. Pract. Exp. 39 (6) (2009)
Uday P. Khedker, Amitabha Sanyal, Amey Karkare
Heap reference analysis using access graphs. ACM Trans. Program. Lang. Syst. 30 (1) (2007)
Amey Karkare, Amitabha Sanyal, Uday P. Khedker
Heap Reference Analysis for Functional Programs CoRR (2007)
Amey Karkare, Uday P. Khedker, Amitabha Sanyal
Liveness of Heap Data for Functional Programs CoRR (2007)
Aditya Kanade, Amitabha Sanyal, Uday P. Khedker
Structuring Optimizing Transformations and Proving Them Sound. Electron. Notes Theor. Comput. Sci. 176 (3) (2007)
Amey Karkare, Amitabha Sanyal, Uday P. Khedker
Effectiveness of Garbage Collection in MIT/GNU Scheme CoRR (2006)
Uday P. Khedker, Amitabha Sanyal, Amey Karkare
Heap Reference Analysis Using Access Graphs CoRR (2006)
Aditya Kanade, Amitabha Sanyal, Uday P. Khedker
A PVS Based Framework for Validating Compiler Optimizations. SEFM (2006)
Aditya Kanade, Uday P. Khedker, Amitabha Sanyal
Heterogeneous Fixed Points with Application to Points-To Analysis. APLAS (2005)
Mangala Gowri Nanda, Purandar Bhaduri, Sundeep Oberoi, Amitabha Sanyal
An Application of Compiler Technology to the Year 2000 Problem. Softw. Pract. Exp. 29 (4) (1999)
Manoranjan Satpathy, Amitabha Sanyal, G. Venkatesh
Improved Register Usage for Functional Programs through Multiple Function Versions. J. Funct. Log. Program. 1998 (7) (1998)
S. Ramesh Babu, Amitabha Sanyal, G. Venkatesh
Proof of Correctness of a Direct Construction of DFA from Regular Expression. Int. J. Comput. Math. 64 (3-4) (1997)
Milind Gandhe, G. Venkatesh, Amitabha Sanyal
Correcting Errors in the Curry System. FSTTCS (1996)
Milind Gandhe, G. Venkatesh, Amitabha Sanyal
Labeled Lambda-Calculus and a Generalized Notion of Strictness (An Extended Abstract). ASIAN (1995)
Manoranjan Satpathy, Amitabha Sanyal, G. Venkatesh
An Automaton-Driven Frame Disposal Algorithm and its Proof of Correctness. ASIAN (1995)
Ajay Sethi, Supratim Biswas, Amitabha Sanyal
Extensions to Cycle Shrinking. Int. J. High Speed Comput. 7 (2) (1995)
Supratim Biswas, Amitabha Sanyal, L. M. Tewari
Extended Cycle Shrinking: A Restructuring Method for Parallel Compilation. ICCI (1991)
Amitabha Sanyal, Supratim Biswas, Vishv M. Malhotra
Extension of Weakest Precondition Formalism to a Low Level Language. FSTTCS (1987)