research
∙
05/29/2023
Second-Order Hyperproperties
We introduce Hyper^2LTL, a temporal logic for the specification of hyper...
share
research
∙
06/04/2022
Explaining Hyperproperty Violations
Hyperproperties relate multiple computation traces to each other. Model ...
research
∙
06/04/2022
Formal Specifications from Natural Language
We study the generalization abilities of language models when translatin...
research
∙
05/30/2022
Attention Flows for General Transformers
In this paper, we study the computation of how much an input token in a ...
research
∙
05/24/2022
Information Flow Guided Synthesis (Full Version)
Compositional synthesis relies on the discovery of assumptions, i.e., re...
research
∙
08/08/2021
Visual Analysis of Hyperproperties for Understanding Model Checking Results
Model checkers provide algorithms for proving that a mathematical model ...
research
∙
07/02/2021