Samuel Teuber
Samuel Teuber
About Me
Research
Teaching
Blog
Program Analysis
An Information-Flow Perspective on Algorithmic Fairness
An exploration of the relationships between qualitative and quantitative information flow and various causal and non-causal fairness definitions with applications to program analysis.
Samuel Teuber
,
Bernhard Beckert
PDF
Cite
Code
Poster
Quantifying Software Correctness by Combining Architecture Modeling and Formal Program Analysis
A formal approach for the quantiative assessment of service-oriented software which combines high-level software architecture modelling with deductive verification.
Florian Lanzinger
,
Christian Martin
,
Frederik Reiche
,
Samuel Teuber
,
Robert Heinrich
,
Alexander Weigl
PDF
Cite
DOI
Formally Verified Algorithmic Fairness using Information-Flow Tools (Extended Abstract)
We demonstrate preliminary results on strong connections between Information Flow and Algorithmic Fairness Analysis
Samuel Teuber
,
Bernhard Beckert
PDF
Cite
Cite
×