Aman Goel

35 papers A* 2A 4B 3C 1Misc 1Journal 10Unranked 13
YearRankTypeTitle / Venue / Authors
2025 J jnl
A Neurosymbolic Approach to Natural Language Formalization and Verification.
CoRR
Sam Bayless, Stefano Buliani, Darion Cassel, Byron Cook, Duncan Clough, Rémi Delmas, Nafi Diallo, Ferhat Erata, Nick Feng, Dimitra Giannakopoulou, Aman Goel, Aditya Gokhale, Joe Hendrix, 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 — conf
QSM-Cutoff: Systematic Derivation of Quantified Cutoff Formulas for Distributed Protocols.
CAV (3)
Yun-Rong Luo, Aman Goel, Karem A. Sakallah
2025 — conf
TurboFuzzLLM: Turbocharging Mutation-based Fuzzing for Effectively Jailbreaking Large Language Models in Practice.
NAACL (Industry Track)
Aman Goel, Xian Carrie Wu, Zhe Wang, Dmitriy Bespalov, Yanjun Qi
2025 J jnl
TurboFuzzLLM: Turbocharging Mutation-based Fuzzing for Effectively Jailbreaking Large Language Models in Practice.
CoRR
Aman Goel, Xian Carrie Wu, Zhe Wang, Dmitriy Bespalov, Yanjun Qi
2025 — conf
Zero-knowledge LLM hallucination detection and mitigation through fine-grained cross-model consistency.
EMNLP (Industry Track)
Aman Goel, Daniel Schwartz, Yanjun Qi
2025 J jnl
Zero-knowledge LLM hallucination detection and mitigation through fine-grained cross-model consistency.
CoRR
Aman Goel, Daniel Schwartz, Yanjun Qi
2024 — conf
MMHS: Multimodal Model for Hate Speech Intensity Prediction.
SPECOM (2)
Aman Goel, Abhishek Poswal
2024 — conf
SAT-Based Quantified Symmetric Minimization of the Reachable States of Distributed Protocols: An Update.
ISoLA (3)
Yun-Rong Luo, Aman Goel, Karem A. Sakallah
2023 J jnl
Regularity and quantification: a new approach to verify distributed protocols.
Innov. Syst. Softw. Eng.
Aman Goel, Karem A. Sakallah
2023 B conf
SAT-Based Quantified Symmetric Minimization of the Reachable States of Distributed Protocols.
FMCAD
Katalin Fazekas, Aman Goel, Karem A. Sakallah
2023 C conf
Towards an Automatic Proof of the Bakery Algorithm.
FORTE
Aman Goel, Stephan Merz, Karem A. Sakallah
2022 J jnl
Interaction Mix and Match: Synthesizing Close Interaction using Conditional Hierarchical GAN with Multi-Hot Class Embedding.
Comput. Graph. Forum
Aman Goel, Qianhui Men, Edmond S. L. Ho
2022 J jnl
Interaction Mix and Match: Synthesizing Close Interaction using Conditional Hierarchical GAN with Multi-Hot Class Embedding.
CoRR
Aman Goel, Qianhui Men, Edmond S. L. Ho
2022 — conf
Sift: Using Refinement-guided Automation to Verify Complex Distributed Systems.
USENIX ATC
Haojun Ma, Hammad Ahmad, Aman Goel, Eli Goldweber, Jean-Baptiste Jeannin, Manos Kapritsos, Baris Kasikci
2021 — —
From Finite to Infinite: Scalable Automatic Verification of Hardware Designs and Distributed Protocols.
Aman Goel
2021 A conf
GlocalNet: Class-aware Long-term Human Motion Synthesis.
WACV
Neeraj Battan, Yudhik Agrawal, Sai Soorya Rao, Aman Goel, Avinash Sharma
2021 — conf
On Symmetry and Quantification: A New Approach to Verify Distributed Protocols.
NFM
Aman Goel, Karem A. Sakallah
2021 J jnl
On Symmetry and Quantification: A New Approach to Verify Distributed Protocols.
CoRR
Aman Goel, Karem A. Sakallah
2021 B conf
Towards an Automatic Proof of Lamport's Paxos.
FMCAD
Aman Goel, Karem A. Sakallah
2021 J jnl
Towards an Automatic Proof of Lamport's Paxos.
CoRR
Aman Goel, Karem A. Sakallah
2020 — conf
AVR: Abstractly Verifying Reachability.
TACAS (1)
Aman Goel, Karem A. Sakallah
2020 J jnl
GlocalNet: Class-aware Long-term Human Motion Synthesis.
CoRR
Neeraj Battan, Yudhik Agrawal, Veeravalli Saisooryarao, Aman Goel, Avinash Sharma
2019 A conf
Empirical Evaluation of IC3-Based Model Checking Techniques on Verilog RTL Designs.
DATE
Aman Goel, Karem A. Sakallah
2019 A* conf
I4: incremental inference of inductive invariants for verification of distributed protocols.
SOSP
Haojun Ma, Aman Goel, Jean-Baptiste Jeannin, Manos Kapritsos, Baris Kasikci, Karem A. Sakallah
2019 — conf
Model Checking of Verilog RTL Using IC3 with Syntax-Guided Abstraction.
NFM
Aman Goel, Karem A. Sakallah
2019 A conf
Towards Automatic Inference of Inductive Invariants.
HotOS
Haojun Ma, Aman Goel, Jean-Baptiste Jeannin, Manos Kapritsos, Baris Kasikci, Karem A. Sakallah
2015 A conf
iitRACE: A Memory Efficient Engine for Fast Incremental Timing Analysis and Clock Pessimism Removal.
ICCAD
Chaitanya Peddawad, Aman Goel, B. Dheeraj, Nitin Chandrachoodan
2012 — conf
Karma: A System for Mapping Structured Sources into the Semantic Web.
ESWC (Satellite Events)
Shubham Gupta, Pedro A. Szekely, Craig A. Knoblock, Aman Goel, Mohsen Taheriyan, Maria Muslea
2012 B conf
Semi-automatically Mapping Structured Sources into the Semantic Web.
ESWC
Craig A. Knoblock, Pedro A. Szekely, José Luis Ambite, Aman Goel, Shubham Gupta, Kristina Lerman, Maria Muslea, Mohsen Taheriyan, Parag Mallick
2011 J jnl
Harvesting maps on the web.
Int. J. Document Anal. Recognit.
Aman Goel, Matthew Michelson, Craig A. Knoblock
2011 — conf
Interactively Mapping Data Sources into the Semantic Web.
LISC
Craig A. Knoblock, Pedro A. Szekely, José Luis Ambite, Shubham Gupta, Aman Goel, Maria Muslea, Kristina Lerman, Parag Mallick
2011 A* conf
Using Conditional Random Fields to Exploit Token Structure and Labels for Accurate Semantic Annotation.
AAAI
Aman Goel, Craig A. Knoblock, Kristina Lerman
2010 — conf
A general approach to discovering, registering, and extracting features from raster maps.
DRR
Craig A. Knoblock, Ching-Chien Chen, Yao-Yi Chiang, Aman Goel, Matthew Michelson, Cyrus Shahabi
2009 Misc conf
Automatically Constructing Semantic Web Services from Online Sources.
ISWC
José Luis Ambite, Sirish Darbha, Aman Goel, Craig A. Knoblock, Kristina Lerman, Rahul Parundekar, Thomas A. Russ
2008 — conf
Identifying Maps on the World Wide Web.
GIScience
Matthew Michelson, Aman Goel, Craig A. Knoblock