Synthesizing Heap Manipulations from Box-and-Arrow Diagrams
Department of Computer Science and Engineering
Indian Institute of Technology Kanpur
COM2 Level 4
Executive Classroom, COM2-04-02
Abstract:
Writing heap manipulating programs is hard. Even though the high-level algorithms may be simple, it is often tedious to express them using low-level operations. We discuss techniques that use expression of intent in the form of concrete examples drawn using box-and-arrow diagrams to synthesize heap-manipulations. While the programmer provides a set of concrete examples of her high-level strategy, the low-level manipulations are discharged automatically. We have implemented the tool as a code-assist plugin within the Eclipse integrated development environment.
Biodata:
Subhajit Roy is an Assistant Professor in the Indian Institute of Technology Kanpur (IIT Kanpur) since 2010. He is interested in multiple areas in programming languages and software engineering including software verification, synthesis, profiling, compilation, testing and debugging.