BibTeX
CSL-JSON
MLA
Harvard
Dynamic synthesis for relaxed memory models
release_oh4yvmseqzgyfh4lu3s5tzypmm
by
Feng Liu, Nayden Nedev, Nedyalko Prisadnikov, Martin Vechev, Eran Yahav
Published
in ACM-SIGPLAN Symposium on Programming Language Design and Implementation by ACM Press.
2012 p429-440
Archived Files and Locations
application/pdf 533.7 kB
file_cyjnkpaumbagnab6lmo53yirle
|
www.srl.inf.ethz.ch (web) web.archive.org (webarchive) |
application/pdf 794.6 kB
file_xw2abifxefbczner6riwg6slay
|
web.archive.org (webarchive) liberty.princeton.edu (web) |
application/pdf 366.0 kB
file_llpmg3ooxrdvnncvuo3pty6gmi
|
www.cs.technion.ac.il (web) web.archive.org (webarchive) web.archive.org (webarchive) cs.technion.ac.il (web) web.archive.org (webarchive) + 3 more URLs |
Read Archived PDF
Preserved and Accessible
Type
Stage
Year 2012
paper-conference
Stage
published
Year 2012
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
access all versions, variants, and formats of this works (eg, pre-prints)
Cite This
Lookup Links
oaDOI/unpaywall (OA fulltext)
Crossref Metadata (via API)
Worldcat
wikidata.org
CORE.ac.uk
Semantic Scholar
Google Scholar
Crossref Metadata (via API)
Worldcat
wikidata.org
CORE.ac.uk
Semantic Scholar
Google Scholar