Commits · master · SAV / Weak Memory Bibliography · GitLab

Snippets Groups Projects

Jan 31, 2025
- conf,bib: Symbolic execution references · ba68c3ec
  Michalis Kokologiannakis authored 1 month ago
  
  Signed-off-by: Michalis Kokologiannakis <mixaskok@gmail.com>
  ba68c3ec
Jan 17, 2025
- bib: Make CI/CD happy · bba331f0
  Michalis Kokologiannakis authored 1 month ago
  
  Signed-off-by: Michalis Kokologiannakis <mixaskok@gmail.com>
  bba331f0
- bib: Add relinche and mixer · c411de19
  Michalis Kokologiannakis authored 1 month ago
  
  Signed-off-by: Michalis Kokologiannakis <mixaskok@gmail.com>
  c411de19
Dec 30, 2024
- bib: Fix DOI typo · 8cc7f2c3
  Michalis Kokologiannakis authored 2 months ago
  
  Signed-off-by: Michalis Kokologiannakis <mixaskok@gmail.com>
  8cc7f2c3
Dec 16, 2024
- bib: Add relinche artifact · 4731e0f9
  Michalis Kokologiannakis authored 2 months ago
  
  Signed-off-by: Michalis Kokologiannakis <mixaskok@gmail.com>
  4731e0f9
Nov 03, 2024
- bib: DS references · bc0479db
  Michalis Kokologiannakis authored 4 months ago
  
  Signed-off-by: Michalis Kokologiannakis <mixaskok@gmail.com>
  bc0479db
Nov 02, 2024
- bib: Add S3 stats citation · b1fc5ec8
  Michalis Kokologiannakis authored 4 months ago
  
  Signed-off-by: Michalis Kokologiannakis <mixaskok@gmail.com>
  b1fc5ec8
Oct 04, 2024
- bib: Fix bug · 6ed54b6d
  Michalis Kokologiannakis authored 5 months ago
  
  Signed-off-by: Michalis Kokologiannakis <mixaskok@gmail.com>
  6ed54b6d
- conf,bib: Add some dist. systems citations · 71458fa8
  Michalis Kokologiannakis authored 5 months ago
  
  Signed-off-by: Michalis Kokologiannakis <mixaskok@gmail.com>
  71458fa8
Jul 12, 2024
- bib: Add citation for michael list · 28d60ac3
  Michalis Kokologiannakis authored 8 months ago
  
  Signed-off-by: Michalis Kokologiannakis <mixaskok@gmail.com>
  28d60ac3
- biblio: Add lockrefs and qpinlocks · 3a5c00b2
  Iason Marmanis authored 8 months ago
  
  3a5c00b2
- bib: Add Harris list citation · 0082e7e7
  Michalis Kokologiannakis authored 8 months ago
  
  Signed-off-by: Michalis Kokologiannakis <mixaskok@gmail.com>
  0082e7e7
Jul 11, 2024
- bib: Armed-cats and id for spore · fc6304cd
  Iason Marmanis authored 8 months ago
  
  fc6304cd
- bib: Add timestamped stack and baskets queue · 7720b273
  Michalis Kokologiannakis authored 8 months ago
  
  Signed-off-by: Michalis Kokologiannakis <mixaskok@gmail.com>
  7720b273
- bib: fix typo · 031023aa
  Viktor Vafeiadis authored 8 months ago
  
  031023aa
- bib: more linearizability work · d0ef0e57
  Viktor Vafeiadis authored 8 months ago
  
  d0ef0e57
- bib: add Ou'17 · e4d25ede
  Viktor Vafeiadis authored 8 months ago
  
  e4d25ede
- bib: add SPORE citation · 59144373
  Viktor Vafeiadis authored 8 months ago
  
  59144373
- bib: add two Burckhardt papers · 52049564
  Viktor Vafeiadis authored 8 months ago
  
  52049564
Jun 27, 2024
- bib: add TSO-Linearizability paper · 9c8ab10a
  Viktor Vafeiadis authored 8 months ago
  
  9c8ab10a
- bib: clean up · 710e4d12
  Viktor Vafeiadis authored 8 months ago
  
  710e4d12
- bib: sort 1991 < 1995 · 5336532f
  Viktor Vafeiadis authored 8 months ago
  
  5336532f
- bib: fix citation keys · 43772706
  Viktor Vafeiadis authored 8 months ago
  
  43772706
Jun 25, 2024
- Merge branch 'pgolovin/bib-update' into 'master' · 7a719cab
  Viktor Vafeiadis authored 8 months ago
  
  Add citation for relinche See merge request !3
  7a719cab
- Add citation for relinche · 40a793e8
  Pavel Golovin authored 8 months ago and Viktor Vafeiadis committed 8 months ago
  
  40a793e8
Jun 15, 2024
- bib: Add ids for yacovet · f9052cba
  Michalis Kokologiannakis authored 8 months ago
  
  Signed-off-by: Michalis Kokologiannakis <mixaskok@gmail.com>
  f9052cba
May 01, 2024
- bib: Sort (fix pipeline) · 4191908d
  Michalis Kokologiannakis authored 10 months ago
  
  Signed-off-by: Michalis Kokologiannakis <mixaskok@gmail.com>
  4191908d
Apr 30, 2024
- bib: add Kaminski · 1e138995
  Viktor Vafeiadis authored 10 months ago
  
  1e138995
Apr 26, 2024
- bib: Add a supp material entry for KATI · 6bc933e0
  Michalis Kokologiannakis authored 10 months ago
  
  Signed-off-by: Michalis Kokologiannakis <mixaskok@gmail.com>
  6bc933e0
- bib: More KAT citations · 3e046787
  Michalis Kokologiannakis authored 10 months ago
  
  Signed-off-by: Michalis Kokologiannakis <mixaskok@gmail.com>
  3e046787
- conf,bib: Add RAMiCS and a bunch of KAT refs · d7001e95
  Michalis Kokologiannakis authored 10 months ago
  
  Signed-off-by: Michalis Kokologiannakis <mixaskok@gmail.com>
  d7001e95
Apr 10, 2024
- bib: Add spore-supp-material entry · e775f45e
  Iason Marmanis authored 11 months ago
  
  e775f45e
Apr 02, 2024
- bib: Add c++20 standard · 9aa64fd7
  Iason Marmanis authored 11 months ago
  
  9aa64fd7
Apr 01, 2024
- bib: Add spore artifact entry · ab54eb75
  Michalis Kokologiannakis authored 11 months ago
  
  Signed-off-by: Michalis Kokologiannakis <mixaskok@gmail.com>
  ab54eb75
Mar 12, 2024
- bib: Add folly + libcds refs · 90448c35
  Michalis Kokologiannakis authored 1 year ago
  
  Signed-off-by: Michalis Kokologiannakis <mixaskok@gmail.com>
  90448c35
Feb 12, 2024
- bib: Update · 8904ed1f
  Michalis Kokologiannakis authored 1 year ago
  
  Signed-off-by: Michalis Kokologiannakis <mixaskok@gmail.com>
  8904ed1f
Jan 27, 2024
- bib: Fixes and updates · 698310a0
  Michalis Kokologiannakis authored 1 year ago
  
  Signed-off-by: Michalis Kokologiannakis <mixaskok@gmail.com>
  698310a0
Jan 22, 2024
- bib: Various fixes · 2963236e
  Michalis Kokologiannakis authored 1 year ago
  
  Signed-off-by: Michalis Kokologiannakis <mixaskok@gmail.com>
  2963236e
Dec 27, 2023
- bib: Add gater artifact + genmc github · e33ebad1
  Michalis Kokologiannakis authored 1 year ago
  
  Signed-off-by: Michalis Kokologiannakis <mixaskok@gmail.com>
  e33ebad1
Dec 25, 2023
- conf,bib: Add estimation references · 04e12536
  Michalis Kokologiannakis authored 1 year ago
  
  Signed-off-by: Michalis Kokologiannakis <mixaskok@gmail.com>
  04e12536