Hernán Ponce-de-León | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Roland Meyer
17 publications
Antonio Paolillo
9 publications
Johannes Kinder
6 publications
Ming Fu
2 publications
Thomas Haas
2 publications
Diogo Behrens
2 publications
Rafael Chehab
1 publication

research

∙ 11/30/2021

Verifying and Optimizing Compact NUMA-Aware Locks on Weak Memory Models

Developing concurrent software is challenging, especially if it has to r...

0 Antonio Paolillo, et al. ∙

research

∙ 08/31/2021

Cats vs. Spectre: An Axiomatic Approach to Modeling Speculative Execution Attacks

The Spectre family of speculative execution attacks have required a reth...

0 Hernán Ponce-de-León, et al. ∙

Success!

An error occurred