26 citations · 39 across the 4 of their papers we have counts for
4 papers
Mitigation of parasitic losses in the quadrupole resonator enabling direct measurements of low residual resistances of SRF samples
S. Keckert, W. Ackermann, H. De Gersem +8
The quadrupole resonator (QPR) is a dedicated sample-test cavity for the RF characterization of superconducting samples in a wide temperature, RF field and frequency range. Its mai…
Sequential Consistency and Concurrent Data Structures
Ali Sezgin
Linearizability, the de facto correctness condition for concurrent data structure implementations, despite its intuitive appeal is known to lead to poor scalability. This disadvant…
Aspect-oriented linearizability proofs
Soham Chakraborty, Thomas A. Henzinger, Ali Sezgin +1
Linearizability of concurrent data structures is usually proved by monolithic simulation arguments relying on the identification of the so-called linearization points. Regrettably,…
Local Linearizability
Andreas Haas, Thomas A. Henzinger, Andreas Holzer +6
The semantics of concurrent data structures is usually given by a sequential specification and a consistency condition. Linearizability is the most popular consistency condition du…