Abstrakt. Vi uppdaterade vårt Peggy-verktyg, tidigare presenterat i [7], för att utföra översättningsvalidering för LLVM-kompilatorn med hjälp av en teknik som kallas Jämlikhetsmättnad. Vi presenterar verktyget och illustrerar dess effektivitet när det gäller att göra översättningsvalidering på SPEC 2006-riktmärken.
Peggy-verktyget utför översättningsvalidering för LLVM-kompilatorn med hjälp av en teknik som kallas jämlikhetsmättnad REF.
Equality-Based translation validator for LLVM
{'venue': 'In CAV ’11: Proceedings of the 23rd International Conference on Computer Aided Verification', 'journal': None, 'mag_field_of_study': ['Computer Science']}