Lakshya Jain

Publication Activity (10 Years)

Years Active: 2013-2019
Publications (10 Years): 1

Top Topics

Semantically Equivalent

Discrete Optimization

Top Venues

ACM Trans. Archit. Code Optim.

Publications

Lakshya Jain, Wilson Wu, Steven Chen, Uyeong Jang, Varun Chandrasekaran, Sanjit A. Seshia, Somesh Jha
Generating Semantic Adversarial Examples with Differentiable Rendering. CoRR (2019)
Suresh Purini, Lakshya Jain
Finding good optimization sequences covering program space. ACM Trans. Archit. Code Optim. 9 (4) (2013)