Aman Goel

Publication Activity (10 Years)

Years Active: 2008-2023
Publications (10 Years): 18

Top Topics

Distributed Systems

Empirical Evaluation

Quasi Invariant

Top Venues

USENIX Annual Technical Conference

Publications

Aman Goel, Karem A. Sakallah
Regularity and quantification: a new approach to verify distributed protocols. Innov. Syst. Softw. Eng. 19 (4) (2023)
Katalin Fazekas, Aman Goel, Karem A. Sakallah
SAT-Based Quantified Symmetric Minimization of the Reachable States of Distributed Protocols. FMCAD (2023)
Aman Goel, Stephan Merz, Karem A. Sakallah
Towards an Automatic Proof of the Bakery Algorithm. FORTE (2023)
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. USENIX Annual Technical Conference (2022)
Aman Goel, Qianhui Men, Edmond S. L. Ho
Interaction Mix and Match: Synthesizing Close Interaction using Conditional Hierarchical GAN with Multi-Hot Class Embedding. Comput. Graph. Forum 41 (8) (2022)
Aman Goel, Qianhui Men, Edmond S. L. Ho
Interaction Mix and Match: Synthesizing Close Interaction using Conditional Hierarchical GAN with Multi-Hot Class Embedding. CoRR (2022)
Aman Goel, Karem A. Sakallah
On Symmetry and Quantification: A New Approach to Verify Distributed Protocols. NFM (2021)
Neeraj Battan, Yudhik Agrawal, Sai Soorya Rao, Aman Goel, Avinash Sharma
GlocalNet: Class-aware Long-term Human Motion Synthesis. WACV (2021)
Aman Goel, Karem A. Sakallah
Towards an Automatic Proof of Lamport's Paxos. CoRR (2021)
Aman Goel, Karem A. Sakallah
On Symmetry and Quantification: A New Approach to Verify Distributed Protocols. CoRR (2021)
Aman Goel, Karem A. Sakallah
Towards an Automatic Proof of Lamport's Paxos. FMCAD (2021)
Aman Goel, Karem A. Sakallah
AVR: Abstractly Verifying Reachability. TACAS (1) (2020)
Neeraj Battan, Yudhik Agrawal, Veeravalli Saisooryarao, Aman Goel, Avinash Sharma
GlocalNet: Class-aware Long-term Human Motion Synthesis. CoRR (2020)
Haojun Ma, Aman Goel, Jean-Baptiste Jeannin, Manos Kapritsos, Baris Kasikci, Karem A. Sakallah
Towards Automatic Inference of Inductive Invariants. HotOS (2019)
Aman Goel, Karem A. Sakallah
Model Checking of Verilog RTL Using IC3 with Syntax-Guided Abstraction. NFM (2019)
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. SOSP (2019)
Aman Goel, Karem A. Sakallah
Empirical Evaluation of IC3-Based Model Checking Techniques on Verilog RTL Designs. DATE (2019)
Chaitanya Peddawad, Aman Goel, B. Dheeraj, Nitin Chandrachoodan
iitRACE: A Memory Efficient Engine for Fast Incremental Timing Analysis and Clock Pessimism Removal. ICCAD (2015)
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. ESWC (2012)
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. ESWC (Satellite Events) (2012)
Aman Goel, Matthew Michelson, Craig A. Knoblock
Harvesting maps on the web. Int. J. Document Anal. Recognit. 14 (4) (2011)
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. LISC (2011)
Aman Goel, Craig A. Knoblock, Kristina Lerman
Using Conditional Random Fields to Exploit Token Structure and Labels for Accurate Semantic Annotation. AAAI (2011)
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. DRR (2010)
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. ISWC (2009)
Matthew Michelson, Aman Goel, Craig A. Knoblock
Identifying Maps on the World Wide Web. GIScience (2008)