Research Data - Computer Science and Technology

Research data supporting 'Cornucopia: Temporal Safety for CHERI Heaps'

Filardo, Nathaniel; Gutstein, Brett; Woodruff, Jonathan; Ainsworth, Sam; Paul-Trifu, Lucian; Davis, Brooks; Xia, HongyanNapierala, EdwardRichardson, AlexanderBaldwin, JohnChisnall, DavidClarke, JessicaGudka, KhilanJoannou, AlexandreMarkettos, A TheodoreMazzinghi, AlfredoNorton, Robert MRoe, MichaelSewell, PeterSon, StaceyJones, Timothy M.Moore, Simon WNeumann, Peter GWatson, Robert NM et al.
Agda code accompanying "Typal Heterogeneous Equality Types" (updated)

Pitts, Andrew
Research data supporting "MarkUs: Drop-in use-after-free prevention for low-level languages"

Ainsworth, Sam; Jones, Timothy M.
Code supporting "Constructing Infinitary Quotient-Inductive Types"

Fiore, Marcelo; Pitts, Andrew; Steenkamp, Shaun