Symbolic Encoding of LL(1) Parsing and Its Applications
Published in Formal Methods in System Design, 2023
Pankaj Kumar Kalita, Dhruv Singal, Palak Agarwal, Saket Jhunjhunwala, Subhajit Roy
Published in Formal Methods in System Design, 2023
Pankaj Kumar Kalita, Dhruv Singal, Palak Agarwal, Saket Jhunjhunwala, Subhajit Roy
Published in 2019 IEEE International Conference on Big Data, 2019
Sunny Dhamnani, Dhruv Singal, Ritwik Sinha, M Tharun, Manish Dash
Published in 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR), 2018
Dhruv Singal, Palak Agarwal, Saket Jhunjhunwala, Subhajit Roy
Published in 2018 AdKDD & TargetAd in conjunction with The 24th ACM SIGKDD Conference on Knowledge Discovery and Data Mining (KDD), 2018
Ritwik Sinha, Dhruv Singal, Pranav Maneriker, Kushal Chawla, Yash Shrivastava, Deepak Pai, Atanu Ranjan Sinha