Hrishikesh Karmarkar

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

Collaborative distances:

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

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

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