Aarhus University logo
Department of Computer Science
Reading papers is part of any academic daily routine. And it sounds simple enough? Start at the beginning, finish at the end, hope that everything in…
The chart doctor is in: Bring your ailing visuals to the Chart Clinique for some advice on how to make them better! Whether you've got a paper…
Abstract:
To ensure that functional programs preserve differential privacy, a key technique involves adding noise to the result according to the…
Abstract Interpretation of Temporal Safety Effects of Higher Order Programs
In recent years temporal verification has been increasingly applied to…
The mode of a logic program says which parts of a predicate’s arguments are inputs, and which are outputs. A program is mode-correct when information…
I will present my results towards a formally secure extraction framework for the proof-oriented language F* that protects verified F* programs against…
The talk will on one hand provide an overview of the past 15 years of research and development of theory theory and tools for Dynamic Condition…
Page 2 of 5
