Achtung:

Sie haben Javascript deaktiviert!
Sie haben versucht eine Funktion zu nutzen, die nur mit Javascript möglich ist. Um sämtliche Funktionalitäten unserer Internetseite zu nutzen, aktivieren Sie bitte Javascript in Ihrem Browser.

CRC 901 – On-The-Fly Computing (OTF Computing) Show image information

CRC 901 – On-The-Fly Computing (OTF Computing)

|

Talk given by Prof. Uday Khedker (Indian Institute of Technology Bombay)

Begin: Thursday, 5th of September 2019 (9:00 am)
Location: Fürstenallee 11, room F1.110

On September 5, 2019, Prof. Uday Khedker (Indian Institute of Technology Bombay) will give a talk about "The Story of Blind Men and the Elephant: Understanding Context Sensitivity" in the context of the SFB 901.

Abstract:

Context-sensitive methods of program analysis increase the precision of interprocedural analysis by achieving the effect of call inlining. These methods have been defined using different formalisms and hence appear as algorithms that are very different from each other. Some methods define context, whereas some do not. These methods place different kinds of restrictions on the data flow frameworks supported by them and seem to compute different kinds of values. As a consequence, it is difficult to compare the ideas behind these methods in spite of the fact that they solve essentially the same problem. We believe that these incomparable views are similar to blind men views of an elephant called context-sensitivity.

We bring out this whole-elephant-view of context sensitivity in program analysis by proposing a unified model of context sensitivity which provides a clean separation between computation of contexts and computation of data flow values. Our model facilitates declarative specifications of context-sensitive methods by capturing the essence of context-sensitivity. We model most of the known context-sensitive methods using our unified model. This modelling uncovers the hidden notion of contexts in some methods, facilitates insightful comparisons between different methods, and facilitates cross fertilization of ideas and suggest interesting improvements in the known methods. Further, our unification also extends every modelled method to bidirectional analyses.

This is a joint work with Swati Jaiswal.

Bio:

Uday P. Khedker (http://www.cse.iitb.ac.in/~uday) finished Ph.D. from IIT Bombay in 1995. He worked at the Department of Computer Science at Pune University from 1994 to 2001. He has been with the Department of Computer Science & Engineering at IIT Bombay since 2001 and has been a Professor since 2009.

His areas of interest are Programming Languages, Compilers and Program Analysis. He specialises in data flow analysis and its applications to code optimization. The current focus of his research is on precise and scalable pointer analysis. He also established the GCC Resource Center (http://www.cse.iitb.ac.in/grc) at IIT Bombay which has conducted workshops and tutorials on GCC internals in India as well as abroad.

He has published papers in leading journals and conferences, has contributed chapters in Compiler Design Handbook and has authored a book titled “Data Flow Analysis: Theory and Practice” (http://www.cse.iitb.ac.in/~uday/dfaBook-web) published by Taylor and Francis (CRC Press). He has also worked very closely with the industry as a consultant as well as a trainer of advanced topics in compilers.

The University for the Information Society