Hrishikesh Karmarkar

According to our database, Hrishikesh Karmarkar authored at least 12 papers between 2009 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

A shallow dive into the depths of non-termination checking for C programs.

Ravindra Metta, Hrishikesh Karmarkar, Kumar Madhukar, R. Venkatesh, Supratik Chakraborty, Samarjit Chakraborty

CoRR, 2024

Navigating Confidentiality in Test Automation: A Case Study in LLM Driven Test Data Generation.

Hrishikesh Karmarkar, Supriya Agrawal, Avriti Chauhan, Pranav Shete

Proceedings of the IEEE International Conference on Software Analysis, 2024

PROTON: PRObes for Termination Or Not (Competition Contribution).

Ravindra Metta, Hrishikesh Karmarkar, Kumar Madhukar, R. Venkatesh, Supratik Chakraborty

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

Unifying Syntactic and Semantic Abstractions for Deep Neural Networks.

Sanaa Siddiqui, Diganta Mukhopadhyay, Mohammad Afzal, Hrishikesh Karmarkar, Kumar Madhukar

Proceedings of the Formal Methods for Industrial Critical Systems, 2024

Detecting Covert Channels in Cloud Access Control Policies Using Large Language Models.

Hrishikesh Karmarkar, Vaibhavi Joshi, R. Venkatesh

Proceedings of the IEEE International Conference on Cyber Security and Resilience, 2024

2023

VeriFuzz 1.4: Checking for (Non-)termination (Competition Contribution).

Ravindra Metta, Prasanth Yeduru, Hrishikesh Karmarkar, Raveendra Kumar Medicherla

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

2022

Efficiently Finding Adversarial Examples with DNN Preprocessing.

Avriti Chauhan, Mohammad Afzal, Hrishikesh Karmarkar, Yizhak Yisrael Elboher, Kumar Madhukar, Guy Katz

CoRR, 2022

FuzzNT : Checking for Program Non-termination.

Hrishikesh Karmarkar, Raveendra Kumar Medicherla, Ravindra Metta, Prasanth Yeduru

Proceedings of the IEEE International Conference on Software Maintenance and Evolution, 2022

VeriFuzz: Good Seeds for Fuzzing (Competition Contribution).

Ravindra Metta, Raveendra Kumar Medicherla, Hrishikesh Karmarkar

Proceedings of the Fundamental Approaches to Software Engineering, 2022

2013

Improved Upper and Lower Bounds for Büchi Disambiguation.

Hrishikesh Karmarkar, Manas Joglekar, Supratik Chakraborty

Proceedings of the Automated Technology for Verification and Analysis, 2013

2011

Determinization of $\omega$-automata unified

Hrishikesh Karmarkar, Supratik Chakraborty

CoRR, 2011

2009

On Minimal Odd Rankings for Büchi Complementation.

Hrishikesh Karmarkar, Supratik Chakraborty

Proceedings of the Automated Technology for Verification and Analysis, 2009