Hrishikesh Karmarkar
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
4
Active years
2009–2025
Best venue rank
A
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | TACAS | PROTON 2.1: Synthesizing Ranking Functions via fine-tuned locally Hosted LLM (Competition Contribution). | Diganta Mukhopadhyay, Ravindra Metta, Hrishikesh Karmarkar, Kumar Madhukar |
| 2024 | FMICS | Unifying Syntactic and Semantic Abstractions for Deep Neural Networks. | Sanaa Siddiqui, Diganta Mukhopadhyay, Mohammad Afzal, Hrishikesh Karmarkar, Kumar Madhukar |
| 2024 | TACAS | PROTON: PRObes for Termination Or Not (Competition Contribution). | Ravindra Metta, Hrishikesh Karmarkar, Kumar Madhukar, R. Venkatesh, Supratik Chakraborty |
| 2023 | TACAS | VeriFuzz 1.4: Checking for (Non-)termination (Competition Contribution). | Ravindra Metta, Prasanth Yeduru, Hrishikesh Karmarkar, Raveendra Kumar Medicherla |
| 2022 | FASE | VeriFuzz: Good Seeds for Fuzzing (Competition Contribution). | Ravindra Metta, Raveendra Kumar Medicherla, Hrishikesh Karmarkar |
| 2013 | ATVA | Improved Upper and Lower Bounds for Bchi Disambiguation. | Hrishikesh Karmarkar, Manas Joglekar, Supratik Chakraborty |
| 2009 | ATVA | On Minimal Odd Rankings for Bchi Complementation. | Hrishikesh Karmarkar, Supratik Chakraborty |