摘要: Abstract 背景: 预测编译的挑战之一是如何找到好的训练集。无论使用哪种编程语言,人工基准测试的可用性都是有限的。此外,当前的合成器生成的代码与实际程序非常不同,并且由于程序依赖性,从开放存储库中挖掘可编译代码很困难。 本文:ANGHABENCH 任务:用于训练编译器以减少代码大小 方法:基于 阅读全文
posted @ 2022-07-26 18:00 雪溯 阅读(87) 评论(0) 推荐(0) 编辑
摘要: Abstract 前提:当为程序提供表现出最坏情况行为的输入时,软件中的性能问题可能会意外出现。 本文:提出了 PerfFuzz,这是一种在没有任何领域知识的情况下自动生成跨程序位置执行病态行为的输入的方法。 任务:generate inputs that exercise pathological 阅读全文
posted @ 2022-07-26 16:53 雪溯 阅读(42) 评论(0) 推荐(0) 编辑
摘要: Abstract Motivation “Compilers should be correct.” Motivating Example-未定义行为 int foo(){signed char x = 1; unsigned char y = 255; return x < y;} 该函数在ubu 阅读全文
posted @ 2022-07-26 16:31 雪溯 阅读(26) 评论(0) 推荐(0) 编辑