Michalis Kokologiannakis (90448c35) at 12 Mar 16:20
bib: Add folly + libcds refs
Michalis Kokologiannakis (8904ed1f) at 12 Feb 12:37
bib: Update
Michalis Kokologiannakis (e33ebad1) at 27 Dec 16:27
bib: Add gater artifact + genmc github
Michalis Kokologiannakis (04e12536) at 25 Dec 19:00
conf,bib: Add estimation references
For some people,
$ ls /bin
sh
Michalis Kokologiannakis (dfe0b665) at 17 Nov 00:20
bib: Add twalock + Europar
Michalis Kokologiannakis (926625da) at 16 Oct 16:28
bib: Fix awamoche; add Knuth-estimation
Michalis Kokologiannakis (fa884637) at 12 Oct 18:52
bib: Add CAAT reference
Michalis Kokologiannakis (cfa51467) at 12 Jul 10:29
bib: Add ckit ref
Michalis Kokologiannakis (c3c82e84) at 11 Jul 22:03
bib: sort
Michalis Kokologiannakis (a421dcb3) at 11 Jul 21:45
bib,conf: Add symmetry refs
Michalis Kokologiannakis (5b715061) at 06 Jul 16:20
bib: Sort
Michalis Kokologiannakis (e9fb5337) at 06 Jul 16:17
bib: Add awamoche tmp reference
Michalis Kokologiannakis (20076d8a) at 06 Jul 16:14
bib: A few more MP refs
Michalis Kokologiannakis (56c878e3) at 06 Jul 12:21
bib,conf: DPOR for MP references
Michalis Kokologiannakis (0a69cb2f) at 19 Jun 13:04
bib: Add thesis-artifact URL
Michalis Kokologiannakis (4d51c397) at 18 Jun 18:50
bib: Add PLDI'23 by Bouajjani et al
Michalis Kokologiannakis (0ea4ce06) at 16 Jun 15:33
bib: DOT + LLVM-pass refs
Michalis Kokologiannakis (c3d27deb) at 15 Jun 17:29
bib: Add Zord and Deagle