https://www.dagstuhl.de/21453

07. – 12. November 2021, Event 21453

Static Analyses of Program Flows: Types and Certificate for Complexity

Organisator

Clément Aubert (Augusta University, US)

Auskunft zu diesem Event erteilt

Heike Clemens

Dokumente

Externe Homepage

Description

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 (https://face-foundation.org/higher-education/thomas-jefferson-fund/) of the Embassy of France in the United States and the FACE Foundation (https://face-foundation.org/)

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

Dagstuhl's Impact

Bitte informieren Sie uns, wenn eine Veröffentlichung ausgehend von
Ihrem Seminar entsteht. Derartige Veröffentlichungen werden von uns in der Rubrik Dagstuhl's Impact aufgelistet und separat in der Bibliothek präsentiert.