Film allows a different way of looking at space than architecture. It gives easier access to the set-up world of the narrative. The narrative is the story of what happens in the spaces—what the idea of the space is—its ...

We are interested in modular static analysis to analyze softwares automatically. We focus on programs with data structures, and in particular, programs with pointers. The final goal is to find errors in a program (problems ...