102 citations · 166 across the 10 of their papers we have counts for
3 papers · 1 filter
An Agency-Directed Approach to Test Generation for Simulation-based Autonomous Vehicle Verification
Greg Chance, Abanoub Ghobrial, Severin Lemaignan +2
Simulation-based verification is beneficial for assessing otherwise dangerous or costly on-road testing of autonomous vehicles (AV). This paper addresses the challenge of efficient…
When parallel speedups hit the memory wall
Alex F. A. Furtunato, Kyriakos Georgiou, Kerstin Eder +1
After Amdahl's trailblazing work, many other authors proposed analytical speedup models but none have considered the limiting effect of the memory wall. These models exploited aspe…
Lost in translation: Exposing hidden compiler optimization opportunities
Kyriakos Georgiou, Zbigniew Chamski, Andres Amaya Garcia +2
Existing iterative compilation and machine-learning-based optimization techniques have been proven very successful in achieving better optimizations than the standard optimization…