Amitabha Sanyal

According to our database, Amitabha Sanyal authored at least 29 papers between 1987 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Garbage collection using a finite liveness domain.

Aman Bansal, Saksham Goel, Preey Shah, Amitabha Sanyal, Prasanna Kumar

Proceedings of the ISMM '20: 2020 ACM SIGPLAN International Symposium on Memory Management, 2020

2019

A static slicing method for functional programs and its incremental version.

Prasanna Kumar K., Amitabha Sanyal, Amey Karkare, Saswat Padhi

Proceedings of the 28th International Conference on Compiler Construction, 2019

2018

Property Checking Array Programs Using Loop Shrinking.

Shrawan Kumar, Amitabha Sanyal, R. Venkatesh, Punit Shah

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018

Synthesis of Programs from Multimodal Datasets.

Shantanu Thakoor, Simoni Shah, Ganesh Ramakrishnan, Amitabha Sanyal

Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

2017

An Incremental Slicing Method for Functional Programs.

Prasanna Kumar K., Amitabha Sanyal, Amey Karkare

CoRR, 2017

2016

Liveness-based garbage collection for lazy languages.

Prasanna Kumar K., Amitabha Sanyal, Amey Karkare

Proceedings of the 2016 ACM SIGPLAN International Symposium on Memory Management, Santa Barbara, CA, USA, June 14, 2016

2015

Value Slice: A New Slicing Concept for Scalable Property Checking.

Shrawan Kumar, Amitabha Sanyal, Uday P. Khedker

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

2014

Sliced Slices: Separating Data and Control Influences.

Shrawan Kumar, Amitabha Sanyal, Uday P. Khedker

CoRR, 2014

Liveness-Based Garbage Collection.

Rahul Asati, Amitabha Sanyal, Amey Karkare, Alan Mycroft

Proceedings of the Compiler Construction - 23rd International Conference, 2014

2012

A Logic for Correlating Temporal Properties across Program Transformations

Aditya Kanade, Amitabha Sanyal, Uday P. Khedker

CoRR, 2012

2009

Validation of GCC optimizers through trace generation.

Aditya Kanade, Amitabha Sanyal, Uday P. Khedker

Softw. Pract. Exp., 2009

Data Flow Analysis - Theory and Practice.

Uday P. Khedker, Amitabha Sanyal, Bageshri Sathe

CRC Press, ISBN: 978-0-8493-2880-0, 2009

2007

Heap reference analysis using access graphs.

Uday P. Khedker, Amitabha Sanyal, Amey Karkare

ACM Trans. Program. Lang. Syst., 2007

Liveness of Heap Data for Functional Programs

Amey Karkare, Uday P. Khedker, Amitabha Sanyal

CoRR, 2007

Heap Reference Analysis for Functional Programs

Amey Karkare, Amitabha Sanyal, Uday P. Khedker

CoRR, 2007

Garbage Collection Techniques.

Amitabha Sanyal, Uday P. Khedker

Proceedings of the Compiler Design Handbook: Optimizations and Machine Code Generation, 2007

2006

Structuring Optimizing Transformations and Proving Them Sound.

Aditya Kanade, Amitabha Sanyal, Uday P. Khedker

Proceedings of the 5th International Workshop on Compiler Optimization meets Compiler Verification, 2006

Effectiveness of Garbage Collection in MIT/GNU Scheme

Amey Karkare, Amitabha Sanyal, Uday P. Khedker

CoRR, 2006

A PVS Based Framework for Validating Compiler Optimizations.

Aditya Kanade, Amitabha Sanyal, Uday P. Khedker

Proceedings of the Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2006), 2006

2005

Heterogeneous Fixed Points with Application to Points-To Analysis.

Aditya Kanade, Uday P. Khedker, Amitabha Sanyal

Proceedings of the Programming Languages and Systems, Third Asian Symposium, 2005

1999

An Application of Compiler Technology to the Year 2000 Problem.

Mangala Gowri Nanda, Purandar Bhaduri, Sundeep Oberoi, Amitabha Sanyal

Softw. Pract. Exp., 1999

1998

Improved Register Usage for Functional Programs through Multiple Function Versions.

Manoranjan Satpathy, Amitabha Sanyal, G. Venkatesh

J. Funct. Log. Program., 1998

1997

Proof of Correctness of a Direct Construction of DFA from Regular Expression.

S. Ramesh Babu, Amitabha Sanyal, G. Venkatesh

Int. J. Comput. Math., 1997

1996

Correcting Errors in the Curry System.

Milind Gandhe, G. Venkatesh, Amitabha Sanyal

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1996

1995

Extensions to Cycle Shrinking.

Ajay Sethi, Supratim Biswas, Amitabha Sanyal

Int. J. High Speed Comput., 1995

An Automaton-Driven Frame Disposal Algorithm and its Proof of Correctness.

Manoranjan Satpathy, Amitabha Sanyal, G. Venkatesh

Proceedings of the Algorithms, 1995

Labeled Lambda-Calculus and a Generalized Notion of Strictness (An Extended Abstract).

Milind Gandhe, G. Venkatesh, Amitabha Sanyal

Proceedings of the Algorithms, 1995

1991

Extended Cycle Shrinking: A Restructuring Method for Parallel Compilation.

Supratim Biswas, Amitabha Sanyal, L. M. Tewari

Proceedings of the Advances in Computing and Information, 1991

1987

Extension of Weakest Precondition Formalism to a Low Level Language.

Amitabha Sanyal, Supratim Biswas, Vishv M. Malhotra

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1987