Hrishikesh Karmarkar

15 papers A* 1A 3B 3C 1Misc 1Journal 3Unranked 3
YearRankTypeTitle / Venue / Authors
2025 A conf
Constraint Discovery for Structured Generation via LLM-Guided SMT Inference.
ICSME
Hrishikesh Karmarkar, Supriya Agrawal, Siddhesh Pagar, Vaibhavi Joshi, Sagar Verma, Naman Paul
2025 — conf
PROTON 2.1: Synthesizing Ranking Functions via fine-tuned locally Hosted LLM (Competition Contribution).
TACAS (3)
Diganta Mukhopadhyay, Ravindra Metta, Hrishikesh Karmarkar, Kumar Madhukar
2024 J jnl
A shallow dive into the depths of non-termination checking for C programs.
CoRR
Ravindra Metta, Hrishikesh Karmarkar, Kumar Madhukar, R. Venkatesh, Supratik Chakraborty, Samarjit Chakraborty
2024 Misc conf
Detecting Covert Channels in Cloud Access Control Policies Using Large Language Models.
CSR
Hrishikesh Karmarkar, Vaibhavi Joshi, R. Venkatesh
2024 A* conf
Learning DNN Abstractions using Gradient Descent.
ASE
Diganta Mukhopadhyay, Sanaa Siddiqui, Hrishikesh Karmarkar, Kumar Madhukar, Guy Katz
2024 A conf
Navigating Confidentiality in Test Automation: A Case Study in LLM Driven Test Data Generation.
SANER
Hrishikesh Karmarkar, Supriya Agrawal, Avriti Chauhan, Pranav Shete
2024 — conf
PROTON: PRObes for Termination Or Not (Competition Contribution).
TACAS (3)
Ravindra Metta, Hrishikesh Karmarkar, Kumar Madhukar, R. Venkatesh, Supratik Chakraborty
2024 C conf
Unifying Syntactic and Semantic Abstractions for Deep Neural Networks.
FMICS
Sanaa Siddiqui, Diganta Mukhopadhyay, Mohammad Afzal, Hrishikesh Karmarkar, Kumar Madhukar
2023 — conf
VeriFuzz 1.4: Checking for (Non-)termination (Competition Contribution).
TACAS (2)
Ravindra Metta, Prasanth Yeduru, Hrishikesh Karmarkar, Raveendra Kumar Medicherla
2022 J jnl
Efficiently Finding Adversarial Examples with DNN Preprocessing.
CoRR
Avriti Chauhan, Mohammad Afzal, Hrishikesh Karmarkar, Yizhak Yisrael Elboher, Kumar Madhukar, Guy Katz
2022 A conf
FuzzNT : Checking for Program Non-termination.
ICSME
Hrishikesh Karmarkar, Raveendra Kumar Medicherla, Ravindra Metta, Prasanth Yeduru
2022 B conf
VeriFuzz: Good Seeds for Fuzzing (Competition Contribution).
FASE
Ravindra Metta, Raveendra Kumar Medicherla, Hrishikesh Karmarkar
2013 B conf
Improved Upper and Lower Bounds for Büchi Disambiguation.
ATVA
Hrishikesh Karmarkar, Manas Joglekar, Supratik Chakraborty
2011 J jnl
Determinization of $\omega$-automata unified
CoRR
Hrishikesh Karmarkar, Supratik Chakraborty
2009 B conf
On Minimal Odd Rankings for Büchi Complementation.
ATVA
Hrishikesh Karmarkar, Supratik Chakraborty