Verification of C Programs using Annotations. - Sriya S; Lavanya L; Aditi M. Manohar; N. S. Kumar (T4E, 2019)

Advanced Visualization of Power, Temperature, and Energy Metrics in HPE Cray EX Systems. - Lavanya L; Stefan Ceballos (CLUSTER Workshops, 2024)