| Black-box equivalence checking across compiler optimizations M Dahiya, S Bansal Programming Languages and Systems: 15th Asian Symposium, APLAS 2017, Suzhou …, 2017 | 41 | 2017 |
| Modeling undefined behaviour semantics for checking equivalence across compiler optimizations M Dahiya, S Bansal Hardware and Software: Verification and Testing: 13th International Haifa …, 2017 | 15 | 2017 |
| Automatic Verification of Intermittent Systems M Dahiya APLAS Posters 2017, 2017 | 8 | 2017 |
| Automatic collection creation and recommendation S Singal, P Singh, M Dahiya Proceedings of the 15th ACM Conference on Recommender Systems, 633-638, 2021 | 3 | 2021 |
| Learning locality maps from noisy geospatial labels M Dahiya, D Samatia, K Rustogi Proceedings of the 35th Annual ACM Symposium on Applied Computing, 601-608, 2020 | 3 | 2020 |
| Multi-task learning with metadata for music mood classification R Kumar, M Dahiya arXiv preprint arXiv:2110.04765, 2021 | 1 | 2021 |
| Metaheuristic for Hub-Spoke Facility Location Problem: Application to Indian E-commerce Industry A Sachdeva, B Singh, R Prasad, N Goel, R Mondal, J Munjal, ... arXiv preprint arXiv:2212.08299, 2022 | | 2022 |
| Black-box Equivalence Checking across Compiler Transformations M Dahiya | | 2018 |
| Compiler Optimization by Array Interleaving M Dahiya | | 2012 |
