1:00:172017 EuroLLVM Developers’ Meeting: V. Viktor Vafeiadis "Weak Memory Concurrency in C/C++11 and LLVM"LLVM1.6K viewsView & Download
23:07Weak Persistency Semantics from the Ground Up: Formalising the Persistency Semantics of ARMv8ACM SIGPLAN248 viewsView & Download
6:10Two types of memory: Semantic vs Episodic | Charan Ranganath and Lex FridmanLex Clips25.0K viewsView & Download
20:52Bridging the Gap Between Programming Languages and Hardware Weak Memory ModelsPOPL 2019428 viewsView & Download
25:42[POPL'23] Kater: Automating Weak Memory Model Metatheory and Consistency CheckingACM SIGPLAN181 viewsView & Download
21:34The Semantics of Transactions and Weak Memory in x86, Power, ARM, and C++PLDI 2018411 viewsView & Download
24:21Jan-Oliver Kaiser - Strong Logic for Weak Memory: Reasoning About Release-Acquire Consistency in...ECOOPLDI 2017261 viewsView & Download
16:07Persistent Owicki-Gries Reasoning: A Program Logic for Reasoning about Persistent Programs on Intel-ACM SIGPLAN335 viewsView & Download
11:25Semantic Memory: 3 Ways It Helped Robert Score 96% On TOUGH Exams!Anthony Metivier8.3K viewsView & Download
3:34Long Term Memory | Tulving (1972) | Procedural, Semantic & EpisodicPsychology Unlocked40.4K viewsView & Download
43:31Building Brain-Like Memory for AI | LLM Agent Memory SystemsAdam Lucek49.6K viewsView & Download