November 7 – 12 , 2021, Event 21453

Static Analyses of Program Flows: Types and Certificate for Complexity


Clément Aubert (Augusta University, US)

For support, please contact

Heike Clemens


External Homepage


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 (

Motivation text license
  Creative Commons BY 3.0 DE
  Clément Aubert

Online Publications

We offer several possibilities to publish the results of your event. Please contact publishing(at) if you are interested.

Dagstuhl's Impact

Please inform us when a publication was published as a result from your seminar. These publications are listed in the category Dagstuhl's Impact and are presented on a special shelf in the library.