Search the Dagstuhl Website
Looking for information on the websites of the individual seminars? - Then please:
Not found what you are looking for? - Some of our services have separate websites, each with its own search option. Please check the following list:
Schloss Dagstuhl - LZI - Logo
Schloss Dagstuhl Services
Within this website:
External resources:
  • DOOR (for registering your stay at Dagstuhl)
  • DOSA (for proposing future Dagstuhl Seminars or Dagstuhl Perspectives Workshops)
Within this website:
External resources:
Within this website:
External resources:
  • the dblp Computer Science Bibliography

Research Meeting 21453

Static Analyses of Program Flows: Types and Certificate for Complexity

( Nov 07 – Nov 12, 2021 )

(Click in the middle of the image to enlarge)

Please use the following short url to reference this page:




The StATyCC ("Static Analyses of Program Flows: Types and Certificate for Complexity") project aims at providing new static analysis tools based on theoretical results from implicit computational complexity.It revolves around certified, compositional analysis of source code or intermediate representation, insuring that computer programs have a reasonable (i.e., polynomial) growth with respect to their input's size. A first implementation has been established, our main goal will now be to port it to intermediate representations of certified compilers, providing one of the first certified and compositional static analysis tool.

This research is supported by the Thomas Jefferson Fund ( of the Embassy of France in the United States and the FACE Foundation (

Copyright Clément Aubert