A Computational Temporal Logic for Superconducting Accelerators.

Georgios Tzimpragos, Dilip Vasudevan, Nestan Tsiskaridze, George Michelogiannakis, Advait Madhavan, Jennifer Volk, John Shalf, Timothy Sherwood

Browse the full ASPLOS paper archive.