QSM-Cutoff: Systematic Derivation of Quantified Cutoff Formulas for Distributed Protocols.

Aman Goel Yun-Rong Luo Aman Goel Karem A. Sakallah QSM-Cutoff: Systematic Derivation of Quantified Cutoff Formulas for Distributed Protocols. 263-286 2025 CAV (3) https://doi.org/10.1007/978-3-031-98682-6_14 conf/cav/2025-3 db/conf/cav/cav2025-3.html#LuoGS25 streams/conf/cav Aman Goel Daniel Schwartz Yanjun Qi Zero-knowledge LLM hallucination detection and mitigation through fine-grained cross-model consistency. 1982-1999 2025 EMNLP (Industry Track) https://doi.org/10.18653/v1/2025.emnlp-industry.139 conf/emnlp/2025i db/conf/emnlp/emnlp2025i.html#GoelSQ25 Aman Goel Xian Carrie Wu Zhe Wang Dmitriy Bespalov Yanjun Qi TurboFuzzLLM: Turbocharging Mutation-based Fuzzing for Effectively Jailbreaking Large Language Models in Practice. 523-534 2025 NAACL (Industry Track) https://doi.org/10.18653/v1/2025.naacl-industry.43 https://aclanthology.org/2025.naacl-industry.43/ conf/naacl/2025-3 db/conf/naacl/naacl2025-3.html#GoelWWBQ25 streams/conf/naacl

Aman Goel Xian Carrie Wu Zhe Wang Dmitriy Bespalov Yanjun Qi TurboFuzzLLM: Turbocharging Mutation-based Fuzzing for Effectively Jailbreaking Large Language Models in Practice. 2025 February abs/2502.18504 CoRR https://doi.org/10.48550/arXiv.2502.18504 db/journals/corr/corr2502.html#abs-2502-18504 streams/journals/corr

Aman Goel Daniel Schwartz Yanjun Qi Zero-knowledge LLM hallucination detection and mitigation through fine-grained cross-model consistency. 2025 August abs/2508.14314 CoRR https://doi.org/10.48550/arXiv.2508.14314 db/journals/corr/corr2508.html#abs-2508-14314 streams/journals/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 A Neurosymbolic Approach to Natural Language Formalization and Verification. 2025 November abs/2511.09008 CoRR https://doi.org/10.48550/arXiv.2511.09008 db/journals/corr/corr2511.html#abs-2511-09008 streams/journals/corr

Yun-Rong Luo Aman Goel Karem A. Sakallah SAT-Based Quantified Symmetric Minimization of the Reachable States of Distributed Protocols: An Update. 374-384 2024 ISoLA (3) https://doi.org/10.1007/978-3-031-75380-0_21 conf/isola/2024-3 db/conf/isola/isola2024-3.html#LuoGS24 streams/conf/isola Aman Goel Abhishek Poswal MMHS: Multimodal Model for Hate Speech Intensity Prediction. 95-108 2024 SPECOM (2) https://doi.org/10.1007/978-3-031-78014-1_8 conf/specom/2024-2 db/conf/specom/specom2024-2.html#GoelP24 streams/conf/specom

Aman Goel Karem A. Sakallah Regularity and quantification: a new approach to verify distributed protocols. 359-377 2023 December 19 Innov. Syst. Softw. Eng. 4 https://doi.org/10.1007/s11334-022-00460-8 db/journals/isse/isse19.html#GoelS23

Katalin Fazekas Aman Goel Karem A. Sakallah SAT-Based Quantified Symmetric Minimization of the Reachable States of Distributed Protocols. 152-161 2023 FMCAD https://doi.org/10.34727/2023/isbn.978-3-85448-060-0_23 conf/fmcad/2023 db/conf/fmcad/fmcad2023.html#FazekasGS23 Aman Goel Stephan Merz Karem A. Sakallah Towards an Automatic Proof of the Bakery Algorithm. 21-28 2023 FORTE https://doi.org/10.1007/978-3-031-35355-0_2 conf/forte/2023 db/conf/forte/forte2023.html#GoelMS23 Sarah M. Brown Karen Word Maneesha Sane Kelly Barnes Nathaniel Porter Philipp Matthias Schaefer Aleksandra Nenadic Toby Hodges Giordano Lipari Andrzej Aleksander Romaniuk Martino Sorbaro Sindaci Aman Goel Brynn Elliott Christian Knüpfer jaguillette Jonathan Wheeler JorgeBCh Mark Tefero Kivumbi Adrian Pohl Andy Foster Annika Rockenberger Christopher Beltz Cora Assmann Désirée Treichler Erin Alison Becker Hao Ye 0003 James Deaton Jannetta Steyn Jeffrey C. Oliver Jeremy Guillette Joenio Marques da Costa Kelly A. Duffy Marcelina Nagales nikitabern Ragnhild Sundsbak raisaionin TM612 carpentries/instructor-training: The Carpentries Instructor Training Februrary 2023. 2023 February https://doi.org/10.5281/zenodo.7612756 Zenodo streams/repo/zenodo

Aman Goel Qianhui Men Edmond S. L. Ho Interaction Mix and Match: Synthesizing Close Interaction using Conditional Hierarchical GAN with Multi-Hot Class Embedding. 327-338 2022 December 41 Comput. Graph. Forum 8 https://doi.org/10.1111/cgf.14647 db/journals/cgf/cgf41.html#GoelMH22

Haojun Ma Hammad Ahmad Aman Goel Eli Goldweber Jean-Baptiste Jeannin Manos Kapritsos Baris Kasikci Sift: Using Refinement-guided Automation to Verify Complex Distributed Systems. 151-166 2022 USENIX ATC https://www.usenix.org/conference/atc22/presentation/ma conf/usenix/2022 db/conf/usenix/usenix2022.html#MaAGGJKK22

Aman Goel Qianhui Men Edmond S. L. Ho Interaction Mix and Match: Synthesizing Close Interaction using Conditional Hierarchical GAN with Multi-Hot Class Embedding. 2022 abs/2208.00774 CoRR https://doi.org/10.48550/arXiv.2208.00774 db/journals/corr/corr2208.html#abs-2208-00774

Aman Goel From Finite to Infinite: Scalable Automatic Verification of Hardware Designs and Distributed Protocols. University of Michigan, USA 2021 https://hdl.handle.net/2027.42/171355 Aman Goel Karem A. Sakallah Towards an Automatic Proof of Lamport's Paxos. 112-122 2021 FMCAD https://doi.org/10.34727/2021/isbn.978-3-85448-046-4_20 conf/fmcad/2021 db/conf/fmcad/fmcad2021.html#GoelS21 Aman Goel Karem A. Sakallah On Symmetry and Quantification: A New Approach to Verify Distributed Protocols. 131-150 2021 NFM https://doi.org/10.1007/978-3-030-76384-8_9 conf/nfm/2021 db/conf/nfm/nfm2021.html#GoelS21 Neeraj Battan Yudhik Agrawal Sai Soorya Rao Aman Goel Avinash Sharma 0001 GlocalNet: Class-aware Long-term Human Motion Synthesis. 878-887 2021 WACV https://doi.org/10.1109/WACV48630.2021.00092 conf/wacv/2021 db/conf/wacv/wacv2021.html#BattanARGS21

Aman Goel Karem A. Sakallah On Symmetry and Quantification: A New Approach to Verify Distributed Protocols. 2021 abs/2103.14831 CoRR https://arxiv.org/abs/2103.14831 db/journals/corr/corr2103.html#abs-2103-14831

Aman Goel Karem A. Sakallah Towards an Automatic Proof of Lamport's Paxos. 2021 abs/2108.08796 CoRR https://arxiv.org/abs/2108.08796 db/journals/corr/corr2108.html#abs-2108-08796

Aman Goel Karem A. Sakallah AVR: Abstractly Verifying Reachability. 413-422 2020 TACAS (1) https://doi.org/10.1007/978-3-030-45190-5_23 conf/tacas/2020-1 db/conf/tacas/tacas2020-1.html#GoelS20

Neeraj Battan Yudhik Agrawal Veeravalli Saisooryarao Aman Goel Avinash Sharma 0001 GlocalNet: Class-aware Long-term Human Motion Synthesis. 2020 abs/2012.10744 CoRR https://arxiv.org/abs/2012.10744 db/journals/corr/corr2012.html#abs-2012-10744

Aman Goel Karem A. Sakallah Empirical Evaluation of IC3-Based Model Checking Techniques on Verilog RTL Designs. 618-621 2019 DATE https://doi.org/10.23919/DATE.2019.8715289 conf/date/2019 db/conf/date/date2019.html#GoelS19 Haojun Ma Aman Goel Jean-Baptiste Jeannin Manos Kapritsos Baris Kasikci Karem A. Sakallah Towards Automatic Inference of Inductive Invariants. 30-36 2019 HotOS https://doi.org/10.1145/3317550.3321451 conf/hotos/2019 db/conf/hotos/hotos2019.html#MaGJKKS19 Aman Goel Karem A. Sakallah Model Checking of Verilog RTL Using IC3 with Syntax-Guided Abstraction. 166-185 2019 NFM https://doi.org/10.1007/978-3-030-20652-9_11 conf/nfm/2019 db/conf/nfm/nfm2019.html#GoelS19 Haojun Ma Aman Goel Jean-Baptiste Jeannin Manos Kapritsos Baris Kasikci Karem A. Sakallah I4: incremental inference of inductive invariants for verification of distributed protocols. 370-384 2019 SOSP https://doi.org/10.1145/3341301.3359651 conf/sosp/2019 db/conf/sosp/sosp2019.html#MaGJKKS19 Chaitanya Peddawad Aman Goel B. Dheeraj Nitin Chandrachoodan iitRACE: A Memory Efficient Engine for Fast Incremental Timing Analysis and Clock Pessimism Removal. 903-909 2015 ICCAD https://doi.org/10.1109/ICCAD.2015.7372667 http://dl.acm.org/citation.cfm?id=2840945 conf/iccad/2015 db/conf/iccad/iccad2015.html#PeddawadGDC15 Craig A. Knoblock Pedro A. Szekely José Luis Ambite Aman Goel Shubham Gupta Kristina Lerman Maria Muslea Mohsen Taheriyan Parag Mallick Semi-automatically Mapping Structured Sources into the Semantic Web. 375-390 2012 ESWC https://doi.org/10.1007/978-3-642-30284-8_32 conf/esws/2012 db/conf/esws/eswc2012.html#KnoblockSAGGLMTM12 Shubham Gupta Pedro A. Szekely Craig A. Knoblock Aman Goel Mohsen Taheriyan Maria Muslea Karma: A System for Mapping Structured Sources into the Semantic Web. 430-434 2012 ESWC (Satellite Events) https://doi.org/10.1007/978-3-662-46641-4_40 https://www.wikidata.org/entity/Q77308975 conf/esws/2012s db/conf/esws/eswc2012s.html#GuptaSKGTM12

Aman Goel Matthew Michelson Craig A. Knoblock Harvesting maps on the web. 349-372 2011 14 Int. J. Document Anal. Recognit. 4 https://doi.org/10.1007/s10032-010-0136-2 db/journals/ijdar/ijdar14.html#GoelMK11

Aman Goel Craig A. Knoblock Kristina Lerman Using Conditional Random Fields to Exploit Token Structure and Labels for Accurate Semantic Annotation. 2011 AAAI https://doi.org/10.1609/aaai.v25i1.8066 conf/aaai/2011 db/conf/aaai/aaai2011.html#GoelKL11 1784-1785 Craig A. Knoblock Pedro A. Szekely José Luis Ambite Shubham Gupta Aman Goel Maria Muslea Kristina Lerman Parag Mallick Interactively Mapping Data Sources into the Semantic Web. 2011 LISC https://ceur-ws.org/Vol-783/paper2.pdf conf/semweb/2011lisc db/conf/semweb/lisc2011.html#KnoblockSAGGMLM11 Craig A. Knoblock Ching-Chien Chen Yao-Yi Chiang Aman Goel Matthew Michelson Cyrus Shahabi A general approach to discovering, registering, and extracting features from raster maps. 753402 2010 DRR https://doi.org/10.1117/12.838967 https://www.wikidata.org/entity/Q59768911 conf/drr/2010 db/conf/drr/drr2010.html#KnoblockCCGMS10 José Luis Ambite Sirish Darbha Aman Goel Craig A. Knoblock Kristina Lerman Rahul Parundekar Thomas A. Russ Automatically Constructing Semantic Web Services from Online Sources. 17-32 2009 ISWC https://doi.org/10.1007/978-3-642-04930-9_2 https://www.wikidata.org/entity/Q125463287 conf/semweb/2009 db/conf/semweb/iswc2009.html#AmbiteDGKLPR09 Matthew Michelson Aman Goel Craig A. Knoblock Identifying Maps on the World Wide Web. 249-260 2008 GIScience https://doi.org/10.1007/978-3-540-87473-7_16 conf/giscience/2008 db/conf/giscience/giscience2008.html#MichelsonGK08 Yudhik Agrawal Hammad Ahmad José Luis Ambite Cora Assmann Kelly Barnes Neeraj Battan Sam Bayless Erin A. BeckerErin Alison Becker Christopher Beltz Dmitriy Bespalov Sarah M. Brown Stefano Buliani Darion Cassel Nitin Chandrachoodan Ching-Chien Chen Yao-Yi Chiang Duncan Clough Byron Cook Joenio Marques da Costa Sirish Darbha James Deaton Rémi Delmas B. Dheeraj Nafi Diallo Kelly A. Duffy Brynn Elliott Ferhat Erata Katalin Fazekas Nick Feng Andy Foster Dimitra Giannakopoulou Aditya Gokhale Eli Goldweber Jeremy Guillette Shubham Gupta Joe Hendrix Edmond S. L. Ho Toby Hodges Marc Hudak jaguillette Jean-Baptiste Jeannin JorgeBCh Dejan Jovanovic Manos Kapritsos Baris Kasikci Andrew M. Kent Benjamin Kiesl-Reiter Mark Tefero Kivumbi Craig A. Knoblock Christian Knüpfer Jeffrey J. Kuna Nadia Labai Kristina Lerman Joe LilienJoseph Lilien Giordano Lipari Yun-Rong Luo Haojun Ma Parag Mallick Qianhui Men Stephan Merz Matthew Michelson Maria Muslea Marcelina Nagales Aleksandra Nenadic nikitabern Jeffrey C. Oliver Rahul Parundekar Chaitanya Peddawad Adrian Pohl Nathaniel Porter Abhishek Poswal Yanjun Qi Divya Raghunathan raisaionin Zvonimir Rakamaric Sai Soorya Rao Niloofar Razavi Annika Rockenberger Andrzej Aleksander Romaniuk Thomas A. Russ Veeravalli Saisooryarao Karem A. Sakallah Maneesha Sane Philipp Matthias Schaefer Daniel Schwartz Cyrus Shahabi Avinash Sharma 0001 Martino Sorbaro 0001Martino Sorbaro Sindaci Jannetta Steyn Ragnhild Sundsbak Pedro A. Szekely Mohsen Taheriyan Michael Tautschnig TM612 Ali Torkamani Désirée Treichler Zhe Wang Nathaniel Weir Michael W. Whalen Jonathan Wheeler Karen Word Xian Wu 0008Xian Carrie Wu Jianan Yao Hao Ye 0003