0x7FDE623822FC16E6: A magic constant for double float reciprocal Continue reading @pvk.ca | 2 years ago
How hard is it to guide test case generators with branch coverage feedback? Continue reading @pvk.ca | 4 years ago
A Couple of (Probabilistic) Worst-Case Bounds for Robin Hood Linear Probing Continue reading @pvk.ca | 4 years ago
A Couple of (Probabilistic) Worst-Case Bounds for Robin Hood Linear Probing Continue reading @pvk.ca | 4 years ago
Restartable Sequences with the Polysemic Null Segment Selector Continue reading @pvk.ca | 5 years ago
Testing SLO-Type Properties with the Confidence Sequence Method Continue reading @pvk.ca | 5 years ago