返回导师列表
AS

Amitabha Sanyal

Professor · Department of Computer Science and Engineering

IIT Bombay · India
Program AnalysisTranslation ValidationGarbage CollectionFunctional ProgrammingCompiler OptimizationStatic Slicing

简介

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.

代表成果

  • 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

数据校验于 9/6/2026数据来源

学生评价

还没有评价。成为第一位分享经验的学生吧。