| 2025 | DATE | Specification Mining Facing Generative AI. | Grschwin Fey, Harry Foster, Tara Ghasempuri, Badri Gopalan, Jrg Mller, Manish Pandey |
| 2024 | AINA | Privacy-Preserving Location-Based Services: A DQN Algorithmic Perspective. | Manish Pandey, Harkeerat Kaur, Sudipta Basak, Isao Echizen |
| 2024 | SMC | Enhancing Location Privacy Through Prioritized Experience Replay in Deep Q-Networks. | Manish Pandey, Harkeerat Kaur, Isao Echizen |
| 2024 | SAC | FuncMem: Reducing Cold Start Latency in Serverless Computing Through Memory Prediction and Adaptive Task Execution. | Manish Pandey, Young-Woo Kwon |
| 2023 | CCGRID | Optimizing Memory Allocation in a Serverless Architecture through Function Scheduling. | Manish Pandey, Young-Woo Kwon |
| 2018 | ASPDAC | Machine learning and systems for building the next generation of EDA tools. | Manish Pandey |
| 2017 | IGARSS | Remote sensing and GIS based watershed prioritization. | Manish Pandey, P. K. Sharma |
| 2016 | FMCAD | Machine learning and systems for the next frontier in formal verification. | Manish Pandey |
| 2003 | ASPDAC | Enhanced symbolic simulation for efficient verification of embedded array systems. | Tao Feng, Li-C. Wang, Kwang-Ting Cheng, Manish Pandey, Magdy S. Abadir |
| 1997 | CAV | Exploiting Symmetry When Verifying Transitor-Level Circuits by Symbolic Trajectory Evaluation. | Manish Pandey, Randal E. Bryant |
| 1997 | DAC | Formal Verification of Content Addressable Memories Using Symbolic Trajectory Evaluation. | Manish Pandey, Richard Raimi, Randal E. Bryant, Magdy S. Abadir |
| 1996 | DAC | Formal Verification of PowerPC Arrays Using Symbolic Trajectory Evaluation. | Manish Pandey, Richard Raimi, Derek L. Beatty, Randal E. Bryant |
| 1996 | ITC | PowerPC | Neeta Ganguly, Magdy S. Abadir, Manish Pandey |
| 1995 | ICCD | Extraction of finite state machines from transistor netlists by symbolic simulation. | Manish Pandey, Alok Jain, Randal E. Bryant, Derek L. Beatty, Gary York, Samir Jain |