Aman Goel
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
16
Venues
14
Active years
2011–2026
Best venue rank
A*
Where they publish
Papers
16 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CAV | A Neurosymbolic Approach to Natural Language Formalization and Verification. | Chenyang An, Sam Bayless, Stefano Buliani, Darion Cassel, Byron Cook, Duncan Clough, Rmi Delmas, Nafi Diallo, Ferhat Erata, Nick Feng, Dimitra Giannakopoulou, Aman Goel, Aditya Gokhale, Joe Hendrix, Victor Heorhiadi, Marc Hudak, Dejan Jovanovic, Andrew M. Kent, Benjamin Kiesl-Reiter, Jeffrey J. Kuna, Nadia Labai, Joseph Lilien, Divya Raghunathan, Zvonimir Rakamaric, Niloofar Razavi, Michael Tautschnig, Ali Torkamani, Nathaniel Weir, Michael W. Whalen, Jianan Yao |
| 2025 | CAV | QSM-Cutoff: Systematic Derivation of Quantified Cutoff Formulas for Distributed Protocols. | Yun-Rong Luo, Aman Goel, Karem A. Sakallah |
| 2025 | EMNLP | Zero-knowledge LLM hallucination detection and mitigation through fine-grained cross-model consistency. | Aman Goel, Daniel Schwartz, Yanjun Qi |
| 2025 | NAACL | TurboFuzzLLM: Turbocharging Mutation-based Fuzzing for Effectively Jailbreaking Large Language Models in Practice. | Aman Goel, Xian Carrie Wu, Zhe Wang, Dmitriy Bespalov, Yanjun Qi |
| 2024 | ISoLA | SAT-Based Quantified Symmetric Minimization of the Reachable States of Distributed Protocols: An Update. | Yun-Rong Luo, Aman Goel, Karem A. Sakallah |
| 2023 | FMCAD | SAT-Based Quantified Symmetric Minimization of the Reachable States of Distributed Protocols. | Katalin Fazekas, Aman Goel, Karem A. Sakallah |
| 2023 | FORTE | Towards an Automatic Proof of the Bakery Algorithm. | Aman Goel, Stephan Merz, Karem A. Sakallah |
| 2022 | USENIX | Sift: Using Refinement-guided Automation to Verify Complex Distributed Systems. | Haojun Ma, Hammad Ahmad, Aman Goel, Eli Goldweber, Jean-Baptiste Jeannin, Manos Kapritsos, Baris Kasikci |
| 2021 | FMCAD | Towards an Automatic Proof of Lamport's Paxos. | Aman Goel, Karem A. Sakallah |
| 2021 | WACV | GlocalNet: Class-aware Long-term Human Motion Synthesis. | Neeraj Battan, Yudhik Agrawal, Sai Soorya Rao, Aman Goel, Avinash Sharma |
| 2020 | TACAS | AVR: Abstractly Verifying Reachability. | Aman Goel, Karem A. Sakallah |
| 2019 | DATE | Empirical Evaluation of IC3-Based Model Checking Techniques on Verilog RTL Designs. | Aman Goel, Karem A. Sakallah |
| 2019 | HotOS | Towards Automatic Inference of Inductive Invariants. | Haojun Ma, Aman Goel, Jean-Baptiste Jeannin, Manos Kapritsos, Baris Kasikci, Karem A. Sakallah |
| 2019 | SOSP | I4: incremental inference of inductive invariants for verification of distributed protocols. | Haojun Ma, Aman Goel, Jean-Baptiste Jeannin, Manos Kapritsos, Baris Kasikci, Karem A. Sakallah |
| 2015 | ICCAD | iitRACE: A Memory Efficient Engine for Fast Incremental Timing Analysis and Clock Pessimism Removal. | Chaitanya Peddawad, Aman Goel, B. Dheeraj, Nitin Chandrachoodan |
| 2011 | AAAI | Using Conditional Random Fields to Exploit Token Structure and Labels for Accurate Semantic Annotation. | Aman Goel, Craig A. Knoblock, Kristina Lerman |