Amitabha Sanyal - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 23 from 23

2020

Garbage collection using a finite liveness domainAman Bansal, Saksham Goel, Preey Shah, Amitabha Sanyal, Prasanna Kumar. iwmm 2020: 1-15 [doi]

2019

A static slicing method for functional programs and its incremental versionPrasanna Kumar K., Amitabha Sanyal, Amey Karkare, Saswat Padhi. CC 2019: 53-64 [doi]

2018

Property Checking Array Programs Using Loop ShrinkingShrawan Kumar, Amitabha Sanyal, R. Venkatesh, Punit Shah. TACAS 2018: 213-231 [doi]

Synthesis of Programs from Multimodal DatasetsShantanu Thakoor, Simoni Shah, Ganesh Ramakrishnan, Amitabha Sanyal. AAAI 2018: 184-191 [doi]

2016

Liveness-based garbage collection for lazy languagesPrasanna Kumar K., Amitabha Sanyal, Amey Karkare. iwmm 2016: 122-133 [doi]

2015

Value Slice: A New Slicing Concept for Scalable Property CheckingShrawan Kumar, Amitabha Sanyal, Uday P. Khedker. TACAS 2015: 101-115 [doi]

2014

Liveness-Based Garbage CollectionRahul Asati, Amitabha Sanyal, Amey Karkare, Alan Mycroft. CC 2014: 85-106 [doi]

2009

Validation of GCC optimizers through trace generationAditya Kanade, Amitabha Sanyal, Uday P. Khedker. SPE, 39(6):611-639, 2009. [doi]

Data Flow Analysis - Theory and PracticeUday P. Khedker, Amitabha Sanyal, Bageshri Sathe. CRC Press, 2009. [doi]

2007

Structuring Optimizing Transformations and Proving Them SoundAditya Kanade, Amitabha Sanyal, Uday P. Khedker. ENTCS, 176(3):79-95, 2007. [doi]

Heap reference analysis using access graphsUday P. Khedker, Amitabha Sanyal, Amey Karkare. TOPLAS, 30(1):1, 2007. [doi]

Garbage Collection TechniquesAmitabha Sanyal, Uday P. Khedker. In The Compiler Design Handbook, 2nd ed.. pages 6, 2007.

2006

A PVS Based Framework for Validating Compiler OptimizationsAditya Kanade, Amitabha Sanyal, Uday P. Khedker. SEFM 2006: 108-117 [doi]

2005

Heterogeneous Fixed Points with Application to Points-To AnalysisAditya Kanade, Uday P. Khedker, Amitabha Sanyal. aplas 2005: 298-314 [doi]

1999

An Application of Compiler Technology to the Year 2000 ProblemMangala Gowri Nanda, Purandar Bhaduri, Sundeep Oberoi, Amitabha Sanyal. SPE, 29(4):359-377, 1999.

1998

Improved Register Usage for Functional Programs through Multiple Function VersionsManoranjan Satpathy, Amitabha Sanyal, G. Venkatesh. jflp, 1998(7), 1998.

1997

Proof of Correctness of a Direct Construction of DFA from Regular ExpressionS. Ramesh Babu, Amitabha Sanyal, G. Venkatesh. ijcm, 64(3-4):191-210, 1997. [doi]

1996

Correcting Errors in the Curry SystemMilind Gandhe, G. Venkatesh, Amitabha Sanyal. fsttcs 1996: 347-358

1995

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

An Automaton-Driven Frame Disposal Algorithm and its Proof of CorrectnessManoranjan Satpathy, Amitabha Sanyal, G. Venkatesh. asian 1995: 88-102

Extensions to Cycle ShrinkingAjay Sethi, Supratim Biswas, Amitabha Sanyal. ijhsc, 7(2):265-284, 1995. [doi]

1991

Extended Cycle Shrinking: A Restructuring Method for Parallel CompilationSupratim Biswas, Amitabha Sanyal, L. M. Tewari. icci 1991: 462-470

1987

Extension of Weakest Precondition Formalism to a Low Level LanguageAmitabha Sanyal, Supratim Biswas, Vishv M. Malhotra. fsttcs 1987: 485-499

Sign in or sign up to see more results.

runs on WebDSL