Commits · master · Michalis Kokologiannakis / Weak Memory Bibliography · GitLab

07 Jul, 2022 1 commit
- bib: Add Pous-bisimulation ref · 9dd7adbc
  Michalis Kokologiannakis authored Jul 07, 2022
```
Signed-off-by: Michalis Kokologiannakis <mixaskok@gmail.com>
```
  9dd7adbc
06 Jul, 2022 5 commits
- bib: Use unicode for names; fix stupid bug · 8d825a4f
  Michalis Kokologiannakis authored Jul 07, 2022
```
Signed-off-by: Michalis Kokologiannakis <mixaskok@gmail.com>
```
  8d825a4f
- bib: Sort & check before commit... · 20970a36
  Michalis Kokologiannakis authored Jul 07, 2022
```
Signed-off-by: Michalis Kokologiannakis <mixaskok@gmail.com>
```
  20970a36
- bib: Add Kameda-Weiner and Zorg · c10a1c76
  Michalis Kokologiannakis authored Jul 07, 2022
```
Signed-off-by: Michalis Kokologiannakis <mixaskok@gmail.com>
```
  c10a1c76
- bib: Add OCaml-MM ref · 08072bd5
  Michalis Kokologiannakis authored Jul 06, 2022
```
Signed-off-by: Michalis Kokologiannakis <mixaskok@gmail.com>
```
  08072bd5
- bib: Add KAT completeness paper · 5e308c5c
  Michalis Kokologiannakis authored Jul 06, 2022
```
Signed-off-by: Michalis Kokologiannakis <mixaskok@gmail.com>
```
  5e308c5c
24 Jun, 2022 2 commits
- bib: Add KAT reference · 5b4d47a8
  Michalis Kokologiannakis authored Jun 24, 2022
```
Signed-off-by: Michalis Kokologiannakis <mixaskok@gmail.com>
```
  5b4d47a8
- bib: Add more references; print publisher for non-books · 08e89db1
  Michalis Kokologiannakis authored Jun 24, 2022
```
Signed-off-by: Michalis Kokologiannakis <mixaskok@gmail.com>
```
  08e89db1
12 Apr, 2022 2 commits
- bib: Fix leaky semicolon (+ pipeline) · 46c94404
  Michalis Kokologiannakis authored Apr 12, 2022
```
Signed-off-by: Michalis Kokologiannakis <mixaskok@gmail.com>
```
  46c94404
- bib: add Leaky semicolon · e2f11b33
  Viktor Vafeiadis authored Apr 12, 2022
  
  e2f11b33
23 Jan, 2022 8 commits
- Merge branch 'new-infr' into 'master' · 6ecd5d86
  Michalis Kokologiannakis authored Jan 23, 2022
```
Produce bib with m4

See merge request !1
```
  6ecd5d86
- README: Update documentation · 7fe2ea42
  Michalis Kokologiannakis authored Jan 23, 2022
```
Signed-off-by: Michalis Kokologiannakis <mixaskok@gmail.com>
```
  7fe2ea42
- bib: Minor fixes · 1127f7fc
  Michalis Kokologiannakis authored Jan 23, 2022
```
Signed-off-by: Michalis Kokologiannakis <mixaskok@gmail.com>
```
  1127f7fc
- infr: Add some testing infrastructure · 906f56d8
  Michalis Kokologiannakis authored Jan 23, 2022
```
Signed-off-by: Michalis Kokologiannakis <mixaskok@gmail.com>
```
  906f56d8
- infr: Add script to sort bib input · 8333f407
  Michalis Kokologiannakis authored Jan 23, 2022
```
Signed-off-by: Michalis Kokologiannakis <mixaskok@gmail.com>
```
  8333f407
- Makefile: Add a Makefile · 7ed4abcd
  Michalis Kokologiannakis authored Jan 23, 2022
```
Signed-off-by: Michalis Kokologiannakis <mixaskok@gmail.com>
```
  7ed4abcd
- bib: Small fixes · 3802cda8
  Michalis Kokologiannakis authored Jan 23, 2022
```
Signed-off-by: Michalis Kokologiannakis <mixaskok@gmail.com>
```
  3802cda8
- infr: Use m4 file to produce bib · c39818fa
  Michalis Kokologiannakis authored Jan 23, 2022
```
Signed-off-by: Michalis Kokologiannakis <mixaskok@gmail.com>
```
  c39818fa
22 Jan, 2022 1 commit
- add pmtest · f7508617
  Viktor Vafeiadis authored Jan 22, 2022
  
  f7508617
21 Jan, 2022 6 commits
- bib: Minor fixes · e8f9c813
  Michalis Kokologiannakis authored Jan 21, 2022
```
Signed-off-by: Michalis Kokologiannakis <mixaskok@gmail.com>
```
  e8f9c813
- bib: Add optimized-lf queue citation · 74a31a7e
  Michalis Kokologiannakis authored Jan 21, 2022
```
Signed-off-by: Michalis Kokologiannakis <mixaskok@gmail.com>
```
  74a31a7e
- bib: Add entry for optimistic ms-queue · 7f8e65fa
  Michalis Kokologiannakis authored Jan 21, 2022
```
Signed-off-by: Michalis Kokologiannakis <mixaskok@gmail.com>
```
  7f8e65fa
- bib: Add mirror citation · c0377655
  Michalis Kokologiannakis authored Jan 21, 2022
```
Signed-off-by: Michalis Kokologiannakis <mixaskok@gmail.com>
```
  c0377655
- bib: Repair DGLM entry; add IDSs · a9fdcd3f
  Michalis Kokologiannakis authored Jan 21, 2022
```
Signed-off-by: Michalis Kokologiannakis <mixaskok@gmail.com>
```
  a9fdcd3f
- add DGLM queue · c73f41ae
  Viktor Vafeiadis authored Jan 21, 2022
  
  c73f41ae
12 Jan, 2022 1 commit
- bib: Add treiber-stack; hazard-pointers · 39b0ceb1
  Michalis Kokologiannakis authored Jan 12, 2022
```
Signed-off-by: Michalis Kokologiannakis <mixaskok@gmail.com>
```
  39b0ceb1
10 Jan, 2022 1 commit
- bib: CDS + TruSt citations · 11822163
  Michalis Kokologiannakis authored Jan 11, 2022
```
Signed-off-by: Michalis Kokologiannakis <mixaskok@gmail.com>
```
  11822163
04 Jan, 2022 3 commits
- bib: Add SAVer citation · 3c015f95
  Michalis Kokologiannakis authored Jan 04, 2022
```
Signed-off-by: Michalis Kokologiannakis <mixaskok@gmail.com>
```
  3c015f95
- bib: Add BAM doi · b44040ba
  Michalis Kokologiannakis authored Jan 04, 2022
```
Signed-off-by: Michalis Kokologiannakis <mixaskok@gmail.com>
```
  b44040ba
- bib: Consistency fixes · d6513e53
  Michalis Kokologiannakis authored Jan 04, 2022
```
Signed-off-by: Michalis Kokologiannakis <mixaskok@gmail.com>
```
  d6513e53
19 Nov, 2021 1 commit
- bib: lazy-list, elimination-stack · cb18a846
  Viktor Vafeiadis authored Nov 19, 2021
  
  cb18a846
11 Nov, 2021 7 commits
- bib: Remove backslashes · a8342b5f
  Michalis Kokologiannakis authored Nov 11, 2021
```
Signed-off-by: Michalis Kokologiannakis <mixaskok@gmail.com>
```
  a8342b5f
- bib: Update IDS for VCDPOR-RF · 29541ac8
  Michalis Kokologiannakis authored Nov 11, 2021
```
Signed-off-by: Michalis Kokologiannakis <mixaskok@gmail.com>
```
  29541ac8
- bib: Add DOI for Nidhugg-parallel · 67ddef6c
  Michalis Kokologiannakis authored Nov 11, 2021
```
Signed-off-by: Michalis Kokologiannakis <mixaskok@gmail.com>
```
  67ddef6c
- bib: Fix vcdpor-rf citation · a09cff1b
  Michalis Kokologiannakis authored Nov 11, 2021
```
Signed-off-by: Michalis Kokologiannakis <mixaskok@gmail.com>
```
  a09cff1b
- bib: Add DPOR-rf TSO/PSO citation · 5211c581
  Michalis Kokologiannakis authored Nov 11, 2021
```
Signed-off-by: Michalis Kokologiannakis <mixaskok@gmail.com>
```
  5211c581
- bib: Add TruSt supplementary material citation · 6f3ea19b
  Michalis Kokologiannakis authored Nov 11, 2021
```
Signed-off-by: Michalis Kokologiannakis <mixaskok@gmail.com>
```
  6f3ea19b
- bib: Add Biswas2019 on transactional complexity · bc2174d8
  Michalis Kokologiannakis authored Nov 11, 2021
```
Signed-off-by: Michalis Kokologiannakis <mixaskok@gmail.com>
```
  bc2174d8
07 Oct, 2021 1 commit
- bib: Formatting fixes · 05b34fae
  Michalis Kokologiannakis authored Oct 07, 2021
```
Signed-off-by: Michalis Kokologiannakis <mixaskok@gmail.com>
```
  05b34fae
23 Sep, 2021 1 commit
- bib: add ECOOP'20 paper · cd4f74bf
  Evgenii Moiseenko authored Sep 22, 2021
  
  cd4f74bf