| 2025 | CHI | AdaptiveSliders: User-aligned Semantic Slider-based Editing of Text-to-Image Model Output. | Rahul Jain, Amit Goel, Koichiro Niinuma, Aakar Gupta |
| 2025 | FMCAD | Modeling the AWS Authorization Engine. | Lee A. Barnett, Loris D'Antoni, Amit Goel, Rami Gkhan Kici, Neha Rungta, Mary Southern, Chungha Sung |
| 2024 | FMCAD | Projective Model Counting for IP Addresses in Access Control Policies. | Loris D'Antoni, Andrew Gacek, Amit Goel, Dejan Jovanovic, Rami Gkhan Kici, Daniel Peebles, Neha Rungta, Yasmine Sharoda, Chungha Sung |
| 2024 | FMCAD | Solving String Constraints with Concatenation Using SAT. | Kevin Lotz, Amit Goel, Bruno Dutertre, Benjamin Kiesl-Reiter, Soonho Kong, Dirk Nowotka |
| 2023 | CAV | Solving String Constraints Using SAT. | Kevin Lotz, Amit Goel, Bruno Dutertre, Benjamin Kiesl-Reiter, Soonho Kong, Rupak Majumdar, Dirk Nowotka |
| 2017 | FMCAD | FAR-Cubicle - A new reachability algorithm for Cubicle. | Sylvain Conchon, Amit Goel, Sava Krstic, Rupak Majumdar, Mattias Roux |
| 2014 | ICMLA | OUPS: A Combined Approach Using SMOTE and Propensity Score Matching. | William A. Rivera, Amit Goel, J. Peter Kincaid |
| 2013 | CADE | Quantifier Instantiation Techniques for Finite Model Finding in SMT. | Andrew Reynolds, Cesare Tinelli, Amit Goel, Sava Krstic, Morgan Deters, Clark W. Barrett |
| 2013 | CAV | Finite Model Finding in SMT. | Andrew Reynolds, Cesare Tinelli, Amit Goel, Sava Krstic |
| 2013 | FMCAD | Invariants for finite instances and beyond. | Sylvain Conchon, Amit Goel, Sava Krstic, Alain Mebsout, Fatiha Zadi |
| 2012 | CADE | SMT-Based System Verification with DVF. | Amit Goel, Sava Krstic, Rebekah Leslie, Mark R. Tuttle |
| 2012 | CAV | Cubicle: A Parallel SMT-Based Model Checker for Parameterized Systems - Tool Paper. | Sylvain Conchon, Amit Goel, Sava Krstic, Alain Mebsout, Fatiha Zadi |
| 2012 | NCA | Protocol Proof Checking Simplified with SMT. | Mark R. Tuttle, Amit Goel |
| 2009 | CADE | Ground Interpolation for Combined Theories. | Amit Goel, Sava Krstic, Cesare Tinelli |
| 2009 | EDOC | Towards formalizing Virtual Enterprise Architecture. | Amit Goel, Heinz Schmidt, David R. Gilbert |
| 2009 | TACAS | Ground Interpolation for the Theory of Equality. | Alexander Fuchs, Amit Goel, Jim Grundy, Sava Krstic, Cesare Tinelli |
| 2008 | DAC | Statistical waveform and current source based standard cell models for accurate timing analysis. | Amit Goel, Sarma B. K. Vrudhula |
| 2008 | DATE | Current source based standard cell model for accurate signal integrity and timing analysis. | Amit Goel, Sarma B. K. Vrudhula |
| 2007 | TACAS | Combined Satisfiability Modulo Parametric Theories. | Sava Krstic, Amit Goel, Jim Grundy, Cesare Tinelli |
| 2004 | CAV | Symbolic Simulation, Model Checking and Abstraction with Partially Ordered Boolean Functional Vectors. | Amit Goel, Randal E. Bryant |
| 2004 | TACAS | Revisiting Positive Equality. | Shuvendu K. Lahiri, Randal E. Bryant, Amit Goel, Muralidhar Talupur |
| 2003 | DAC | Symbolic representation with ordered function templates. | Amit Goel, Gagan Hasteer, Randal E. Bryant |
| 2003 | DATE | Set Manipulation with Boolean Functional Vectors for Symbolic Reachability Analysis. | Amit Goel, Randal E. Bryant |
| 2002 | ICCAD | GSTE through a case study. | Jin Yang, Amit Goel |
| 2000 | DAC | Formal verification of an IBM CoreConnect processor local bus arbiter core. | Amit Goel, William R. Lee |
| 2000 | FMCAD | A Theory of Consistency for Modular Synchronous Systems. | Randal E. Bryant, Pankaj Chauhan, Edmund M. Clarke, Amit Goel |