Prof. Dr. Bertrand Meyer, ETH Zürich, Switzerland
Date: Thursday, March 8, 2018, 17:15 h
Location: BIN 2.A.01
Modern programs, particular object-oriented programs, produce large and complex object structures at run time. We lack a good theory of these structures, making it possible to answer important questions such as aliasing (can two reference expressions ever point to the same object?) correctly and efficiently. I will present "object diagrams", a comprehensive theoretical basis for discussing object structures, relying in part on concepts from abstract interpretation. The theory opens the way to sound and efficient alias analysis parameterized by an arbitrary level of precision. The talk will present a recent implementation of this analysis, and its application to such practical problems as frame analysis (inferring what operations can change) and deadlock analysis in concurrent programming. It will compare the results with those of other approaches to heap analysis (such as sepration logic) and conventional techniques of alias analysis. Part of the results come from joint work with Sergey Velder (on the theory side) and Victor Rivera (for the implementation of alias analysis).
Prof. Dr. Bertrand Meyer is a professor of software engineering at the Politecnico di Milano and Innopolis University. He was previously at ETH Zurich and has been lecturing at the University of Zurich. He is the author of several books on software engineering topics. Bertrand studied at the École Polytechnique, Paris, and holds an MSc degree from Stanford University, U.S.A, in Computer Science. Besides an MA in Russian from the Sorbonne University (Paris IV) he received a Dr. Sc. from University of Nancy, France.