Prof. A Sanyal

Areas Of Expertise

• Compilers
• Functional programming
• Programming languages
• Aliasing
• Data flow analysis
• Heap references
• Liveness
• Compiler optimization
• GCC
• PVS
• Temporal logic
• Translation validation