Enhancing Sequential LEC Using a Cumulative Verification Methodology. - Nathan Sheeley; Nicolas Pena; Irfan Waheed; Mark H. Nodine (MTV, 2008)

Kernel Looping: Eliminating Synchronization Boundaries for Peak Inference Performance. - David Koeplinger; Darshan Gandhi; Pushkar Nandkar; Nathan Sheeley; Matheen Musaddiq; Leon Zhang; Reid Goodbar; Matthew Shaffer; Han Wang; Angela Wang; Mingran Wang; Raghu Prabhakar (CoRR, 2024)