Simon Friis Vindum - Research - Aarhus University

Aarhus University Seal

For students
For PhDs
For employees
Departments and faculties
AU Library

Simon Friis Vindum

PhD Student, Research Fellow

Department of Computer Science
Åbogade 34
8200 Aarhus N
Denmark
vindum@cs.au.dk

Latest publications

Published
Mechanized Verification of a Fine-Grained Concurrent Queue from Meta s Folly Library
Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review
Published
Contextual refinement of the Michael-Scott queue (proof pearl)
Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

View all (2) »

ID: 174213438