2 papers
cs.NE2023
GI Software with fewer Data Cache Misses
William B. Langdon, Justyna Petke, Aymeric Blot +1
By their very name caches are often overlooked and yet play a vital role in the performance of modern and indeed future hardware. Using MAGPIE (Machine Automated General Performanc…
cs.SE2021
HyperGI: Automated Detection and Repair of Information Flow Leakage
Ibrahim Mesecan, Daniel Blackwell, David Clark +2
Maintaining confidential information control in software is a persistent security problem where failure means secrets can be revealed via program behaviors. Information flow contro…