| On minimal odd rankings for Büchi complementation H Karmarkar, S Chakraborty International Symposium on Automated Technology for Verification and …, 2009 | 19 | 2009 |
| VeriFuzz 1.4: Checking for (non-) termination (competition contribution) R Metta, P Yeduru, H Karmarkar, RK Medicherla International Conference on Tools and Algorithms for the Construction and …, 2023 | 7 | 2023 |
| Improved upper and lower bounds for Büchi disambiguation H Karmarkar, M Joglekar, S Chakraborty Automated Technology for Verification and Analysis: 11th International …, 2013 | 7 | 2013 |
| PROTON: probes for termination or not (competition contribution) R Metta, H Karmarkar, K Madhukar, R Venkatesh, S Chakraborty International Conference on Tools and Algorithms for the Construction and …, 2024 | 4 | 2024 |
| VeriFuzz: Good Seeds for Fuzzing (Competition Contribution). R Metta, RK Medicherla, H Karmarkar FASE, 341-346, 2022 | 4 | 2022 |
| Determinization of -automata unified H Karmarkar, S Chakraborty arXiv preprint arXiv:1101.1841, 2011 | 3 | 2011 |
| Navigating confidentiality in test automation: A case study in llm driven test data generation H Karmarkar, S Agrawal, A Chauhan, P Shete 2024 IEEE International Conference on Software Analysis, Evolution and …, 2024 | 2 | 2024 |
| Fuzznt: Checking for program non-termination H Karmarkar, RK Medicherla, R Metta, P Yeduru 2022 IEEE International Conference on Software Maintenance and Evolution …, 2022 | 2 | 2022 |
| Unifying Syntactic and Semantic Abstractions for Deep Neural Networks S Siddiqui, D Mukhopadhyay, M Afzal, H Karmarkar, K Madhukar International Conference on Formal Methods for Industrial Critical Systems …, 2024 | 1 | 2024 |
| SYSTEM AND METHOD FOR LARGE LANGUAGE MODEL BASED AUTOMATED TEST INPUT GENERATION FOR WEB APPLICATIONS S Agrawal, H Karmarkar, A Chauhan, PG Shete, N Arora, PS Agrawal US Patent App. 18/764,020, 2025 | | 2025 |
| Learning DNN Abstractions using Gradient Descent D Mukhopadhyay, S Siddiqui, H Karmarkar, K Madhukar, G Katz Proceedings of the 39th IEEE/ACM International Conference on Automated …, 2024 | | 2024 |
| A shallow dive into the depths of non-termination checking for C programs R Metta, H Karmarkar, K Madhukar, R Venkatesh, S Chakraborty, ... arXiv preprint arXiv:2409.12985, 2024 | | 2024 |
| Detecting Covert Channels in Cloud Access Control Policies Using Large Language Models H Karmarkar, V Joshi, R Venkatesh 2024 IEEE International Conference on Cyber Security and Resilience (CSR …, 2024 | | 2024 |
| Efficiently Finding Adversarial Examples with DNN Preprocessing A Chauhan, M Afzal, H Karmarkar, Y Elboher, K Madhukar, G Katz arXiv preprint arXiv:2211.08706, 2022 | | 2022 |
| Fast Implementations Of Modified Discrete Cosine Transform H Karmarkar, VM Gadre, P Rao | | |
Supratik ChakrabortyDept. of Computer Science and Engineering, IIT Bombay確認したメール アドレス: iitb.ac.in