joelfernandes

Preview

• On workings of hrtimer's slack time functionality Article 2022-11-13T17:35:01+00:00
• C++ rvalue references Article 2020-10-26T02:01:48+00:00
• GUS (Global Unbounded Sequences) Article 2020-04-24T20:57:47+00:00
• SRCU state double scan Article 2020-03-06T07:11:17+00:00
• Modeling (lack of) store ordering using PlusCal - and a wishlist Article 2019-10-18T22:30:43+00:00
• Making sense of scheduler deadlocks in RCU Article 2019-09-02T20:59:12+00:00