0:50The OpenSHMEM Analyzer: test initialization -interprocedural-Dounia Khaldi39 viewsView & Download
47:10How to verify EAS and uclamp functionality? - Dietmar Eggemann (OSPM25)ReTiS Lab115 viewsView & Download
21:12Intel SHMEM: an OpenSHMEM Runtime with GPU-initiated Operations using SYCLIWOCL339 viewsView & Download
5:49Emerson on the introduction of model checking for hardware and software verification.Turing Awardee Clips903 viewsView & Download
19:32ASPLOS'20 - Session 13A - HMC: Model Checking for Hardware Memory ModelsACM SIGARCH364 viewsView & Download