top | item 18312272

Memory Model Verification at the Trisection of Software, Hardware, ISA (2017)

6 points| supercasio | 7 years ago |arxiv.org | reply

3 comments

order
[+] gumby|7 years ago|reply
The paper looks interesting (though I'm not sure how practical it is) but what prompts me to comment is the horrible neologism "trisection".

A "dissection" is to take apart (to transitively section, in other words). If it were to section something in two there would be only one "s". And even reading the paper, the word the authors should have used is good old "intersection".

[+] supercasio|7 years ago|reply
What do mean by practical? They find problems with the RISC-V MCM and also with the C11 -> Power and ARMv7 compiler mappings.