Hrishikesh Karmarkar

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 7

Top Topics

Shallow Semantic

Top Venues

Publications

Ravindra Metta, Hrishikesh Karmarkar, Kumar Madhukar, R. Venkatesh, Supratik Chakraborty
PROTON: PRObes for Termination Or Not (Competition Contribution). TACAS (3) (2024)
Hrishikesh Karmarkar, Supriya Agrawal, Avriti Chauhan, Pranav Shete
Navigating Confidentiality in Test Automation: A Case Study in LLM Driven Test Data Generation. SANER (2024)
Sanaa Siddiqui, Diganta Mukhopadhyay, Mohammad Afzal, Hrishikesh Karmarkar, Kumar Madhukar
Unifying Syntactic and Semantic Abstractions for Deep Neural Networks. FMICS (2024)
Ravindra Metta, Prasanth Yeduru, Hrishikesh Karmarkar, Raveendra Kumar Medicherla
VeriFuzz 1.4: Checking for (Non-)termination (Competition Contribution). TACAS (2) (2023)
Avriti Chauhan, Mohammad Afzal, Hrishikesh Karmarkar, Yizhak Yisrael Elboher, Kumar Madhukar, Guy Katz
Efficiently Finding Adversarial Examples with DNN Preprocessing. CoRR (2022)
Ravindra Metta, Raveendra Kumar Medicherla, Hrishikesh Karmarkar
VeriFuzz: Good Seeds for Fuzzing (Competition Contribution). FASE (2022)
Hrishikesh Karmarkar, Raveendra Kumar Medicherla, Ravindra Metta, Prasanth Yeduru
FuzzNT : Checking for Program Non-termination. ICSME (2022)
Hrishikesh Karmarkar, Manas Joglekar, Supratik Chakraborty
Improved Upper and Lower Bounds for Büchi Disambiguation. ATVA (2013)
Hrishikesh Karmarkar, Supratik Chakraborty
Determinization of $\omega$-automata unified CoRR (2011)
Hrishikesh Karmarkar, Supratik Chakraborty
On Minimal Odd Rankings for Büchi Complementation. ATVA (2009)