Siddhartha Jayanti -

Not registered as user

Name:Siddhartha Jayanti

Affiliation:Google Research

Contributions

2026

Principles and Practice of Parallel Programming

Author of Concurrent Balanced Augmented Trees within the Main Conference-track

2025

Principles and Practice of Parallel Programming

Author of Aggregating Funnels for Faster Fetch&Add and Queues within the Main Conference-track
Author of POSTER: Big Atomics and Fast Concurrent Hash Tables within the Main Conference-track

2024

POPL

Author of A Universal, Sound, and Complete Forward Reasoning Technique for Machine-Verified Proofs of Linearizability within the POPL-track