Nisarg Patel
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
10
Venues
8
Active years
2017–2025
Best venue rank
A*
Where they publish
Papers
10 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | CAV | Raven: An SMT-Based Concurrency Verifier. | Ekanshdeep Gupta, Nisarg Patel, Thomas Wies |
| 2024 | ACL | LogicBench: Towards Systematic Evaluation of Logical Reasoning Ability of Large Language Models. | Mihir Parmar, Nisarg Patel, Neeraj Varshney, Mutsumi Nakamura, Man Luo, Santosh Mashetty, Arindam Mitra, Chitta Baral |
| 2024 | ECOOP | Verifying Lock-Free Search Structure Templates. | Nisarg Patel, Dennis Shasha, Thomas Wies |
| 2024 | EMNLP | Multi-LogiEval: Towards Evaluating Multi-Step Logical Reasoning Ability of Large Language Models. | Nisarg Patel, Mohith Kulkarni, Mihir Parmar, Aashna Budhiraja, Mutsumi Nakamura, Neeraj Varshney, Chitta Baral |
| 2024 | EMNLP | Step-by-Step Reasoning to Solve Grid Puzzles: Where do LLMs Falter? | Nemika Tyagi, Mihir Parmar, Mohith Kulkarni, Aswin RRV, Nisarg Patel, Mutsumi Nakamura, Arindam Mitra, Chitta Baral |
| 2022 | TACAS | Synthesis of Compact Strategies for Coordination Programs. | Kedar S. Namjoshi, Nisarg Patel |
| 2020 | PLDI | Verifying concurrent search structure templates. | Siddharth Krishna, Nisarg Patel, Dennis E. Shasha, Thomas Wies |
| 2018 | DAC | Ensemble learning for effective run-time hardware-based malware detection: a comprehensive analysis and classification. | Hossein Sayadi, Nisarg Patel, Sai Manoj P. D., Avesta Sasan, Setareh Rafatirad, Houman Homayoun |
| 2017 | DAC | Analyzing Hardware Based Malware Detectors. | Nisarg Patel, Avesta Sasan, Houman Homayoun |
| 2017 | ICCD | Machine Learning-Based Approaches for Energy-Efficiency Prediction and Scheduling in Composite Cores Architectures. | Hossein Sayadi, Nisarg Patel, Avesta Sasan, Houman Homayoun |