John Regehr on Nostr: "Icarus: Trustworthy Just-In-Time Compilers with Symbolic Meta-Execution"
Published at
2024-11-10 20:05:21Event JSON
{
"id": "1ef8bf110c20826f776fe0ba2e70c6590c3af12114ec2f34ab8d19d0afb5922f",
"pubkey": "a1a4eb540235341a2db0d8a08cfb74edc4bb06b316c7bb39580c55559ce71ba1",
"created_at": 1731269121,
"kind": 1,
"tags": [
[
"proxy",
"https://mastodon.social/users/regehr/statuses/113460453118773174",
"activitypub"
]
],
"content": "\"Icarus: Trustworthy Just-In-Time Compilers with Symbolic Meta-Execution\"\n\nhttps://cseweb.ucsd.edu/~dstefan/pubs/smith:2024:icarus.pdf",
"sig": "38b72311cc3f8dc4a1d198ee5c22082fe678c82df50449840c97be856941a613276058ab506069601b644ea2fa2f6e0da1f607d22325ccde2e69248fe21573e3"
}
