9 citations · 16 across the 5 of their papers we have counts for
1 paper · 2 filters
Hernán Ponce-de-León, Florian Furbach, Keijo Heljanko +1
We present Porthos, the first tool that discovers porting bugs in performance-critical code. Porthos takes as input a program and the memory models of the source architecture for w…