Finding good optimization sequences covering program space. - Suresh Purini; Lakshya Jain (ACM Trans. Archit. Code Optim., 2013)

Generating Semantic Adversarial Examples with Differentiable Rendering. - Lakshya Jain; Wilson Wu; Steven Chen; Uyeong Jang; Varun Chandrasekaran; Sanjit A. Seshia; Somesh Jha (CoRR, 2019)