Record · ssrg.ece.vt.edu
Pldi22
PDF · https:/
ssrg.ece.vt.edu
A page on ssrg.ece.vt.edu is cited by 1 distinct blog to date (corpus.blog, measured 12 October 2026).
A record is what was published and who pointed at it. corpus.blog does not hold this page: read it at the source, or at its Wayback capture.
Is this your blog?
ssrg.ece.vt.edu is not yet a blog corpus.blog holds. 1 blog cites it. If it is yours, claim it.
1blog citing
| Period | Blogs | Links |
|---|---|---|
| All time | 1 | 1 |
| Last 90 days | 1 | 1 |
| Last 30 days | 1 | 1 |
| Last 7 days | 0 | 0 |
| First cited | 5 Oct 2026 |
|---|---|
| Latest citation | 5 Oct 2026 |
| Words blogs link it with | 1 |
Words blogs link it with
The words blogs link this page with, by how many different blogs use them.
- formally verified lifting of c-compiled x86-64 binaries1 blog
Cited by 1 blog in 1 post
One row per blog, the most recently citing first. Each shows the blog's newest citing post; open a row for the others.
Blog
Newest citing post
Date
Binary Analysis & CTF stuff
linked as “Formally Verified Lifting of C-Compiled x86-64 Binaries”
Read at philipzucker.com (opens in a new tab)5 Oct 2026
Something wrong with this page’s record? Report a problem with Pldi22