GitHub - cuplv/QuarkPaper: Paper repository for MRDT Quark distributed runtime

Name		Name	Last commit message	Last commit date
Latest commit History 32 Commits
Figures		Figures
supplementary		supplementary
.gitignore		.gitignore
ACM-Reference-Format.bst		ACM-Reference-Format.bst
Makefile		Makefile
abstract-semantics.tex		abstract-semantics.tex
abstract.tex		abstract.tex
acmart-sigplanproc-template.tex		acmart-sigplanproc-template.tex
acmart.cls		acmart.cls
all.bib		all.bib
appendix.tex		appendix.tex
concrete-semantics.tex		concrete-semantics.tex
evaluation.tex		evaluation.tex
git-semantics.tex		git-semantics.tex
implementation.tex		implementation.tex
introduction.tex		introduction.tex
motivation.tex		motivation.tex
mydefs.tex		mydefs.tex
pldi22_rebuttal.md		pldi22_rebuttal.md
proofs.tex		proofs.tex
quark-semantics.tex		quark-semantics.tex
quark.tex		quark.tex
related.tex		related.tex