| Interactive debugging of concurrent programs under relaxed memory models A Verma, PK Kalita, A Pandey, S Roy Proceedings of the 18th ACM/IEEE International Symposium on Code Generation …, 2020 | 12 | 2020 |
| Synthesizing abstract transformers PK Kalita, SK Muduli, L D’Antoni, T Reps, S Roy Proceedings of the ACM on Programming Languages 6 (OOPSLA2), 1291-1319, 2022 | 7 | 2022 |
| Synthesis of semantic actions in attribute grammars PK Kalita, MJ Kumar, S Roy 2022 Formal Methods in Computer-Aided Design (FMCAD), 304-314, 2022 | 6 | 2022 |
| Poster: Automatic detection of inverse operations while avoiding loop unrolling K Banerjee, R Chouksey, C Karfa, PK Kalita Proceedings of the 40th International Conference on Software Engineering …, 2018 | 2 | 2018 |
| Counter‐example generation procedure for path‐based equivalence checkers R Chouksey, C Karfa, K Banerjee, PK Kalita, P Bhaduri IET Software 13 (4), 280-285, 2019 | 1 | 2019 |
| Automatic Inverse Operation Detection and its Impact in High-level Synthesis PK Kalita, R Chouksey, C Karfa 2020 24th International Symposium on VLSI Design and Test (VDAT), 1-4, 2020 | | 2020 |
