All Stories

  1. Software Runs Everything Off-World: Let’s Make Sure It’s Correct and Secure
  2. converting a source code into a function