Syntax-guided synthesis. - Rajeev Alur; Rastislav Bodík; Garvit Juniwal; Milo M. K. Martin; Mukund Raghothaman; Sanjit A. Seshia; Rishabh Singh; Armando Solar-Lezama; Emina Torlak; Abhishek Udupa (FMCAD, 2013)

Finding Instability in Biological Models. - Byron Cook; Jasmin Fisher; Benjamin A. Hall; Samin Ishtiaq; Garvit Juniwal; Nir Piterman (CAV, 2014)

CPSGrader: Synthesizing temporal logic testers for auto-grading an embedded systems laboratory. - Garvit Juniwal; Alexandre Donzé; Jeff C. Jensen; Sanjit A. Seshia (EMSOFT, 2014)

Clustering-Based Active Learning for CPSGrader. - Garvit Juniwal; Sakshi Jain; Alexandre Donzé; Sanjit A. Seshia (L@S, 2015)

Syntax-Guided Synthesis. - Rajeev Alur; Rastislav Bodík; Eric Dallal; Dana Fisman; Pranav Garg 001; Garvit Juniwal; Hadas Kress-Gazit; P. Madhusudan; Milo M. K. Martin; Mukund Raghothaman; Shambwaditya Saha; Sanjit A. Seshia; et al. (Dependable Software Systems Engineering, 2015)

ddNF: An Efficient Data Structure for Header Spaces. - Nikolaj S. Bjørner; Garvit Juniwal; Ratul Mahajan; Sanjit A. Seshia; George Varghese (Haifa Verification Conference, 2016)

Robust online monitoring of signal temporal logic. - Jyotirmoy V. Deshmukh; Alexandre Donzé; Shromona Ghosh; Xiaoqing Jin; Garvit Juniwal; Sanjit A. Seshia (Formal Methods Syst. Des., 2017)