Author:
Lê Nhat Minh,Pop Antoniu,Cohen Albert,Zappa Nardelli Francesco
Cited by
26 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. MODIFICATION OF A THREAD POOL ALGORITHM WITH MULTIPLE TASK QUEUES;Computer systems and network;2023-12-16
2. Compass: strong and compositional library specifications in relaxed memory separation logic;Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation;2022-06-09
3. Formal verification of a concurrent bounded queue in a weak memory model;Proceedings of the ACM on Programming Languages;2021-08-22
4. Information-flow control on ARM and POWER multicore processors;Formal Methods in System Design;2021-06-08
5. Promising-ARM/RISC-V: a simpler and faster operational concurrency model;Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation;2019-06-08