Panel: Software practices for verification/testbench management. - Shireesh Verma; Srinath Atluri; Valeria Bertacco; Mark Glasser; Badri Gopalan; Sharon Rosenberg (HLDVT, 2008)

Specification Mining Facing Generative AI. - Görschwin Fey; Harry Foster; Tara Ghasempuri; Badri Gopalan; Jörg Müller 011; Manish Pandey (DATE, 2025)