Extension of Weakest Precondition Formalism to a Low Level Language. - Amitabha Sanyal; Supratim Biswas; Vishv M. Malhotra (FSTTCS, 1987)

Extended Cycle Shrinking: A Restructuring Method for Parallel Compilation. - Supratim Biswas; Amitabha Sanyal; L. M. Tewari (ICCI, 1991)

Labeled Lambda-Calculus and a Generalized Notion of Strictness (An Extended Abstract). - Milind Gandhe; G. Venkatesh; Amitabha Sanyal (ASIAN, 1995)

An Automaton-Driven Frame Disposal Algorithm and its Proof of Correctness. - Manoranjan Satpathy; Amitabha Sanyal; G. Venkatesh (ASIAN, 1995)

Extensions to Cycle Shrinking. - Ajay Sethi; Supratim Biswas; Amitabha Sanyal (Int. J. High Speed Comput., 1995)

Correcting Errors in the Curry System. - Milind Gandhe; G. Venkatesh; Amitabha Sanyal (FSTTCS, 1996)

Proof of Correctness of a Direct Construction of DFA from Regular Expression. - S. Ramesh Babu; Amitabha Sanyal; G. Venkatesh (Int. J. Comput. Math., 1997)

Improved Register Usage for Functional Programs through Multiple Function Versions. - Manoranjan Satpathy; Amitabha Sanyal; G. Venkatesh (J. Funct. Log. Program., 1998)

An Application of Compiler Technology to the Year 2000 Problem. - Mangala Gowri Nanda; Purandar Bhaduri; Sundeep Oberoi; Amitabha Sanyal (Softw. Pract. Exp., 1999)

Heterogeneous Fixed Points with Application to Points-To Analysis. - Aditya Kanade 001; Uday P. Khedker; Amitabha Sanyal (APLAS, 2005)

A PVS Based Framework for Validating Compiler Optimizations. - Aditya Kanade 001; Amitabha Sanyal; Uday P. Khedker (SEFM, 2006)

Effectiveness of Garbage Collection in MIT/GNU Scheme - Amey Karkare; Amitabha Sanyal; Uday P. Khedker (CoRR, 2006)

Structuring Optimizing Transformations and Proving Them Sound. - Aditya Kanade 001; Amitabha Sanyal; Uday P. Khedker (COCV@ETAPS, 2006)

Garbage Collection Techniques. - Amitabha Sanyal; Uday P. Khedker (The Compiler Design Handbook, 2nd ed., 2007)

Heap Reference Analysis for Functional Programs - Amey Karkare; Amitabha Sanyal; Uday P. Khedker (CoRR, 2007)

Liveness of Heap Data for Functional Programs - Amey Karkare; Uday P. Khedker; Amitabha Sanyal (CoRR, 2007)

Heap reference analysis using access graphs. - Uday P. Khedker; Amitabha Sanyal; Amey Karkare (ACM Trans. Program. Lang. Syst., 2007)

Data Flow Analysis - Theory and Practice. - Uday P. Khedker; Amitabha Sanyal; Bageshri Sathe (CRC Press, 2009)

Validation of GCC optimizers through trace generation. - Aditya Kanade 001; Amitabha Sanyal; Uday P. Khedker (Softw. Pract. Exp., 2009)

A Logic for Correlating Temporal Properties across Program Transformations - Aditya Kanade 001; Amitabha Sanyal; Uday P. Khedker (CoRR, 2012)

Liveness-Based Garbage Collection. - Rahul Asati; Amitabha Sanyal; Amey Karkare; Alan Mycroft (CC, 2014)

Sliced Slices: Separating Data and Control Influences. - Shrawan Kumar 001; Amitabha Sanyal; Uday P. Khedker (CoRR, 2014)

Value Slice: A New Slicing Concept for Scalable Property Checking. - Shrawan Kumar 001; Amitabha Sanyal; Uday P. Khedker (TACAS, 2015)

Liveness-based garbage collection for lazy languages. - Prasanna Kumar K.; Amitabha Sanyal; Amey Karkare (ISMM, 2016)

An Incremental Slicing Method for Functional Programs. - Prasanna Kumar K.; Amitabha Sanyal; Amey Karkare (CoRR, 2017)

Synthesis of Programs from Multimodal Datasets. - Shantanu Thakoor; Simoni Shah; Ganesh Ramakrishnan; Amitabha Sanyal (AAAI, 2018)

Property Checking Array Programs Using Loop Shrinking. - Shrawan Kumar 001; Amitabha Sanyal; R. Venkatesh 001; Punit Shah (TACAS (1), 2018)

A static slicing method for functional programs and its incremental version. - Prasanna Kumar K.; Amitabha Sanyal; Amey Karkare; Saswat Padhi (CC, 2019)

Garbage collection using a finite liveness domain. - Aman Bansal; Saksham Goel; Preey Shah; Amitabha Sanyal; Prasanna Kumar (ISMM, 2020)