Efficient detection and exploitation of infeasible paths for software timing analysis.

Vivy Suhendra, Tulika Mitra, Abhik Roychoudhury, Ting Chen

Browse the full DAC paper archive.