Department of Computer Science

• 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

  Le temps des cerises: Efficient temporal stack safety on capability machines using directed capabilities

  Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research › peer-review

• Published

  StkTokens: Enforcing well-bracketed control flow and stack encapsulation using linear capabilities

  Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research › peer-review

View all (178) »