corpus.blog
41554 blogs · 4,417,066 posts Claim your blog
Record · corpus.blog/posts/01a0c55a-efd2-71ac-a3b0-cf20ab7cc0a1

POPL and VMCAI 2017: Some Highlights

constantinides.net · published 26 January 2017

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at constantinides.net Wayback capture
0blogs citing
First cited
—
Most recent
—
Rank this month
not ranked
Links from this post
18
Words captured
557

Cited by

No blog we hold has cited this post yet.

Links from this post

Link
Host
http://conf.researchr.org/home/POPL-2017
conf.researchr.org
http://conf.researchr.org/home/VMCAI-2017
conf.researchr.org
Memory Consistency Models, and how to compare them automatically Read at the source ↗
constantinides.net
http://cas.ee.ic.ac.uk/people/gac1/pubs/
cas.ee.ic.ac.uk
http://link.springer.com/chapter/10.1007/978-3-319-52234-0_20
link.springer.com
http://link.springer.com/chapter/10.1007/978-3-319-52234-0_26
link.springer.com
http://dl.acm.org/citation.cfm?id=3009885
dl.acm.org
http://link.springer.com/chapter/10.1007/978-3-319-52234-0_18
link.springer.com
https://coq.inria.fr/
coq.inria.fr
http://dl.acm.org/citation.cfm?id=3018622
dl.acm.org
http://dl.acm.org/citation.cfm?doid=3009837.3009846
dl.acm.org
http://cas.ee.ic.ac.uk/people/gac1/pubs/GeorgeFCCM01.pdf
cas.ee.ic.ac.uk
https://en.wikipedia.org/wiki/Linear_time-invariant_theory
en.wikipedia.org
https://en.wikipedia.org/wiki/Signal-to-noise_ratio
en.wikipedia.org
http://dl.acm.org/citation.cfm?id=3009874
dl.acm.org
http://dl.acm.org/citation.cfm?id=3009842
dl.acm.org
http://popl17.sigplan.org/track/PLMW-2017
popl17.sigplan.org
http://www.acm.org/publications/policies/artifact-review-badging
acm.org