I am a PhD student at the College of Computer Science at Northeastern University . My advisor is Prof. Mitchell Wand .
My main area of interest is the Semantics of Programming Languages. I am currently working on analysis-based program transformations. I am interested to prove the correctness of a series of compiler transformations that are based on data and control-flow analyses.
This is my Plan of Study
This is a draft of my Thesis Proposal
Mitchell Wand and Igor Siveroni. Constraint Systems for Useless Variable Elimination. In Proceedings 26th ACM Symposium on Programming Languages, 1999. to appear.
Abstract: A useless variable is one whose value contributes nothing to the final outcome of a computation. Such variables are unlikely to occur in human-produced code, but may be introduced by various program transformations. We would like to eliminate useless parameters from procedures and eliminate the corresponding actual parameters from their call sites. This transformation is the extension to higher-order programming of a variety of dead-code elimination optimizations that are important in compilers for first-order imperative languages. Shivers has presented such a transformation. We reformulate the transformation and prove its correctness. We believe that this correctness proof can be a model for proofs of other analysis-based transformations.