@hernanponcedeleon.bsky.social
Research engineer @ Huawei.
Interested in concurrency, PL, and formal methods.
https://hernanponcedeleon.github.io/
Interested in concurrency, PL, and formal methods.
https://hernanponcedeleon.github.io/
"I just got my first POPL paper!"
Happy to share that "Recurrence Sets for Proving Fair Non-termination under Axiomatic Memory Consistency Model" has been **conditionally** accepted to appear at POPL 2026.
Happy to share that "Recurrence Sets for Proving Fair Non-termination under Axiomatic Memory Consistency Model" has been **conditionally** accepted to appear at POPL 2026.
October 6, 2025 at 9:22 AM
"I just got my first POPL paper!"
Happy to share that "Recurrence Sets for Proving Fair Non-termination under Axiomatic Memory Consistency Model" has been **conditionally** accepted to appear at POPL 2026.
Happy to share that "Recurrence Sets for Proving Fair Non-termination under Axiomatic Memory Consistency Model" has been **conditionally** accepted to appear at POPL 2026.