Write a Blog >>
Mon 20 Jan 2020 10:30 - 11:00 at St Jerome - Papers 3 Chair(s): Dirk Beyer

Abstract interpretation is a technique to define sound static analyses. While abstract interpretation is generally well-understood, the analysis of program transformations has not seen much attention. The main challenge in developing an abstract interpreter for program transformations is designing good abstractions that capture relevant information about the generated code. However, a complete abstract interpreter must handle many other aspects of the transformation language, such as backtracking and generic traversals, as well as analysis-specific concerns, such as interprocedurality and fixpoints. This deflects attention.

We propose a systematic approach to design and implement abstract interpreters for program transformations that isolates the abstraction for generated code from other analysis aspects. Using our approach, analysis developers can focus on the design of abstractions for generated code, while the rest of the analysis definition can be reused. We show that our approach is feasible and useful by developing three novel inter-procedural analyses for the Stratego transformation language: a singleton analysis for constant propagation, a sort analysis for type checking, and a locally-illsorted sort analysis that can additionally validate type changing generic traversals.

Mon 20 Jan
Times are displayed in time zone: (GMT-06:00) Saskatchewan, Central America change

VMCAI-2020-papers
10:30 - 12:30: VMCAI 2020 - Papers 3 at St Jerome
Chair(s): Dirk BeyerLMU Munich
VMCAI-2020-papers10:30 - 11:00
Research paper
Sven KeidelJGU Mainz, Sebastian ErdwegJGU Mainz
Pre-print
VMCAI-2020-papers11:00 - 11:30
Talk
Marc ChevalierENS, CNRS, PSL University, INRIA, Jerome FeretINRIA Paris
VMCAI-2020-papers11:30 - 12:00
Coffee break
VMCAI-2020-papers12:00 - 12:30
Talk
Oren Ish-ShalomTel Aviv University, Israel, Shachar ItzhakyTechnion, Israel, Roman ManevichMellanox Technologies, Noam RinetzkyTel Aviv University