Dynamic synthesis for relaxed memory models release_oh4yvmseqzgyfh4lu3s5tzypmm

by Feng Liu, Nayden Nedev, Nedyalko Prisadnikov, Martin Vechev, Eran Yahav

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  paper-conference
Stage   published
Year   2012
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: 2becb7e4-2c2b-45ec-b73f-76709b3fb8ed
API URL: JSON