Minutes 07 Nov 2024

Host: Paul Albertella

Participants: Daniel Weingaertner, Pete Brink, Igor Stoppa

Agenda

• Publish previous workshop presentations
• Review and publish 'Contributions' already in OSEP repo
• Review status of PRs

Discussion

Paul: Should we publish the Contributions and take the opportunity to review them in the process?

Pete: Thinking about criteria for reviewing publications

Acceptance criteria?

• Organisation and fluency of the material
• (pick a dictionary)
• Completeness, correctness and comprehensibility
  • Depends on nature of the document
  • May involve a level of describing assumed expectations and the assertions that we are making
• We should include our verifiability claims
  • What was the evidence for each claim?
  • May simply be reference to code
  • Test description / experiment to reproduce an observed effect
  • Should include hardware reference (where relevant)
  • Evidence of use in a system?
• Identifying author(s) and contributors (in the content)
• List of approvers / reviewers (in the content)
• Date (based on last update in git)

Approach:

• Move or copy the markdown content into new location (for publishing)
• Start with Interference_Scenarios_for_an_ARM64_Linux_System

Future work?

• Fault induction by simulating corruption of data structures
  • Draft a proposal? On mailing list