José A. Alonso on Nostr: A two-phase infinite/finite low-level memory model (Reconciling integer–pointer ...
A two-phase infinite/finite low-level memory model (Reconciling integer–pointer casts, finite space, and undef at the LLVM IR level of abstraction). ~ Calvin Beck, Irene Yoon, Hanxi Chen, Yannick Zakowski & Steve Zdancewic.
https://dl.acm.org/doi/pdf/10.1145/3674652 #ITP #Coq
Published at
2024-08-20 09:29:17Event JSON
{
"id": "f1a2fe6b05623e28adfeeeaaeb989031d5e237d114da72e845d24a7e7d3dad8b",
"pubkey": "0efb7bc903f4c6716cd4d07830d344d7abe5b607a156de3cde1ac1a5bf22ae1c",
"created_at": 1724146157,
"kind": 1,
"tags": [
[
"t",
"coq"
],
[
"t",
"itp"
],
[
"proxy",
"https://mathstodon.xyz/users/Jose_A_Alonso/statuses/112993642575150583",
"activitypub"
]
],
"content": "A two-phase infinite/finite low-level memory model (Reconciling integer–pointer casts, finite space, and undef at the LLVM IR level of abstraction). ~ Calvin Beck, Irene Yoon, Hanxi Chen, Yannick Zakowski \u0026 Steve Zdancewic. https://dl.acm.org/doi/pdf/10.1145/3674652 #ITP #Coq",
"sig": "b8b1e032da7f636a12168e5da6525fe4690cf86fa837b50cb6b89651ae4eeb9ae9ce443d2c04c53c212a5ce095f99d8279d2eb0d36667c15161dc0b85fca6d87"
}
