Skip to content
GitLab
Explore
Sign in
Primary navigation
Search or go to…
Project
Weak Memory Bibliography
Manage
Activity
Members
Labels
Plan
Issues
Issue boards
Milestones
Wiki
Code
Merge requests
Repository
Branches
Commits
Tags
Repository graph
Compare revisions
Snippets
Build
Pipelines
Jobs
Pipeline schedules
Artifacts
Deploy
Releases
Model registry
Operate
Environments
Monitor
Incidents
Service Desk
Analyze
Value stream analytics
Contributor analytics
CI/CD analytics
Repository analytics
Model experiments
Help
Help
Support
GitLab documentation
Compare GitLab plans
Community forum
Contribute to GitLab
Provide feedback
Terms and privacy
Keyboard shortcuts
?
Snippets
Groups
Projects
Show more breadcrumbs
SAV
Weak Memory Bibliography
Graph
master
Select Git revision
Branches
3
biblatex
genmc-app
master
default
3 results
You can move around the graph by using the arrow keys.
Begin with the selected commit
Created with Raphaël 2.2.0
31
Jan
17
30
Dec
16
3
Nov
2
4
Oct
12
Jul
11
27
Jun
25
15
1
May
30
Apr
26
10
2
1
12
Mar
12
Feb
27
Jan
22
27
Dec
25
17
Nov
16
Oct
12
12
Jul
11
6
19
Jun
18
16
15
14
11
22
May
27
Apr
3
Feb
1
26
Jan
25
29
Oct
25
20
16
14
7
Jul
6
24
Jun
12
Apr
23
Jan
22
21
12
11
4
19
Nov
11
7
Oct
23
Sep
11
Aug
27
Jul
8
28
Jun
14
28
May
13
11
16
Apr
13
12
2
19
Mar
10
5
Feb
1
29
Jan
27
15
13
1
Dec
29
Nov
26
19
17
16
12
26
Oct
22
20
4
3
Sep
10
Jul
9
8
2
1
19
Jun
18
17
16
15
25
May
21
17
Feb
18
Jan
13
5
6
Dec
7
Sep
16
Aug
2
24
Jul
23
19
18
15
17
Apr
16
5
3
31
Mar
30
27
18
8
17
Nov
16
15
14
13
12
6
conf,bib: Symbolic execution references
master
master
bib: Make CI/CD happy
bib: Add relinche and mixer
bib: Fix DOI typo
bib: Add relinche artifact
bib: DS references
bib: Add S3 stats citation
bib: Fix bug
conf,bib: Add some dist. systems citations
bib: Add citation for michael list
biblio: Add lockrefs and qpinlocks
bib: Add Harris list citation
bib: Armed-cats and id for spore
bib: Add timestamped stack and baskets queue
bib: fix typo
bib: more linearizability work
bib: add Ou'17
bib: add SPORE citation
bib: add two Burckhardt papers
bib: add TSO-Linearizability paper
bib: clean up
bib: sort 1991 < 1995
bib: fix citation keys
Merge branch 'pgolovin/bib-update' into 'master'
Add citation for relinche
bib: Add ids for yacovet
bib: Sort (fix pipeline)
bib: add Kaminski
bib: Add a supp material entry for KATI
bib: More KAT citations
conf,bib: Add RAMiCS and a bunch of KAT refs
bib: Add spore-supp-material entry
bib: Add c++20 standard
bib: Add spore artifact entry
bib: Add folly + libcds refs
bib: Update
bib: Fixes and updates
bib: Various fixes
bib: Add gater artifact + genmc github
conf,bib: Add estimation references
Loading