super happy that our paper "Alive2: Bounded Translation Validation for LLVM" is one of the distinguished papers at PLDI 2021!
cs.utah.edu/~regehr/alive2
it'll be presented in session 4B on Thursday June 24
11
21
270
Conversation
Replying to
Congrats.
FYI: "operations that trap on common CPUs, such as division by zero or dereferencing a null pointer" - not correct.
1
Most processors are happy with 0 as a memory address and e.g. in kernel or embedded, 0 page is often real memory. User programs in some systems are set up so that virtual address 0 is not mapped to any physical page. So it's a property of OS/environment not processor.
1
1
This is exactly why C left it undefined: determined by environment/processor *not* by language. Compiler developers/Standards writers have broken the basic language semantics.
1
Undefined and implementation defined are distinct things in the C standard.