Back to advisors
AS

Amitabha Sanyal

Professor · Department of Computer Science and Engineering

IIT Bombay · India
Program AnalysisTranslation ValidationGarbage CollectionFunctional ProgrammingCompiler OptimizationStatic Slicing

About

Professor in the Department of Computer Science and Engineering at IIT Bombay. Research interests include program analysis, translation validation, liveness-based garbage collection, and functional programming. Has taught courses on system software, programming language paradigms, and compiler implementation.

Selected publications

  • A static slicing method for functional programs and its incremental version
  • Synthesis of Programs from Multimodal Datasets
  • Property Checking Array Programs Using Loop Shrinking
  • Liveness-based garbage collection for lazy languages
  • Value Slice: A New Slicing Concept for Scalable Property Checking
  • Liveness-Based Garbage Collection
  • Data Flow Analysis - Theory and Practice
  • Validation of GCC optimizers through trace generation
  • Structuring Optimizing Transformations and Proving Them Sound
  • Heap reference analysis using access graphs

Data verified 9/6/2026Source

Student reviews

No reviews yet. Be the first to share your experience.