Amitabha Sanyal

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