Agrawal, L. A., Kanade, A., Goyal, N., Lahiri, S. K., & Rajamani, S. K. Monitor-Guided Decoding of Code LMs with Static Analysis of Repository Context [Data set]