BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//project/author//NONSGML v1.0//EN
CALSCALE:GREGORIAN
BEGIN:VEVENT
DTEND:20200114T120000Z
UID:926b86f9da0ed6660cc5921c621589a1-41
DTSTAMP:19700101T120011Z
DESCRIPTION:The Story of Blind Men and the Elephant: Understanding Context Sensitivity
URL;VALUE=URI:https://www.csa.iisc.ac.in/newweb/event/41/the-story-of-blind-men-and-the-elephant-understanding-context-sensitivity/
SUMMARY: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.
DTSTART:20200114T120000Z
END:VEVENT
END:VCALENDAR