Mastodon Feed
Boosted by cstanhope@social.coop ("Your friendly 'net denizen"):
regehr ("John Regehr") wrote:
finally our arm-tv (translation validation for LLVM's AArch64 backend) paper is out. this one took a long time, but I'm proud of it, it's as good as anything my group has produced