Garvit Juniwal

According to our database, Garvit Juniwal authored at least 7 papers between 2013 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2017

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

2016

ddNF: An Efficient Data Structure for Header Spaces.

Nikolaj S. Bjørner, Garvit Juniwal, Ratul Mahajan, Sanjit A. Seshia, George Varghese

Proceedings of the Hardware and Software: Verification and Testing, 2016

2015

Syntax-Guided Synthesis.

Rajeev Alur, Rastislav Bodík, Eric Dallal, Dana Fisman, Pranav Garg, Garvit Juniwal, Hadas Kress-Gazit, P. Madhusudan, Milo M. K. Martin, Mukund Raghothaman, Shambwaditya Saha, Sanjit A. Seshia, Rishabh Singh, Armando Solar-Lezama, Emina Torlak, Abhishek Udupa

Proceedings of the Dependable Software Systems Engineering, 2015

Clustering-Based Active Learning for CPSGrader.

Garvit Juniwal, Sakshi Jain, Alexandre Donzé, Sanjit A. Seshia

Proceedings of the Second ACM Conference on Learning @ Scale, 2015

2014

CPSGrader: Synthesizing temporal logic testers for auto-grading an embedded systems laboratory.

Garvit Juniwal, Alexandre Donzé, Jeff C. Jensen, Sanjit A. Seshia

Proceedings of the 2014 International Conference on Embedded Software, 2014

Finding Instability in Biological Models.

Byron Cook, Jasmin Fisher, Benjamin A. Hall, Samin Ishtiaq, Garvit Juniwal, Nir Piterman

Proceedings of the Computer Aided Verification - 26th International Conference, 2014

2013

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

Proceedings of the Formal Methods in Computer-Aided Design, 2013