To model check or not to model check. - Nina Saxena; Jason Baumgartner; Avijit Saha; Jacob A. Abraham (ICCD, 1998)

Model Checking the IBM Gigahertz Processor: An Abstraction Algorithm for High-Performance Netlists. - Jason Baumgartner; Tamir Heyman; Vigyan Singhal; Adnan Aziz (CAV, 1999)

A toolset for assisted formal verification. - Nadeem Malik; Jason Baumgartner; Steven Roberts; Ryan Dobson (IPCCC, 1999)

An Abstraction Algorithm for the Verification of Generalized C-Slow Designs. - Jason Baumgartner; Anson Tripp; Adnan Aziz; Vigyan Singhal; Flemming Andersen (CAV, 2000)

Transformation-Based Verification Using Generalized Retiming. - Andreas Kuehlmann; Jason Baumgartner (CAV, 2001)

Min-Area Retiming on Dynamic Circuit Structures. - Jason Baumgartner; Andreas Kuehlmann (ICCAD, 2001)

Property Checking via Structural Analysis. - Jason Baumgartner; Andreas Kuehlmann; Jacob A. Abraham (CAV, 2002)

Roget2000: a 2D hyperbolic tree visualization of Roget's Thesaurus. - Jason Baumgartner; Tim A. Waugh (Visualization and Data Analysis, 2002)

Functional verification of the POWER4 microprocessor and POWER4 multiprocessor system. - John M. Ludden; Wolfgang Roesner; Gerry M. Heiling; John R. Reysa; Jonathan R. Jackson; Bing-Lun Chu; Michael L. Behm; Jason Baumgartner; Richard D. Peterson; Jamee Abdulhafiz; William E. Bucy; John H. Klaus; et al. (IBM J. Res. Dev., 2002)

An Abstraction Algorithm for the Verification of Level-Sensitive Latch-Based Netlists. - Jason Baumgartner; Tamir Heyman; Vigyan Singhal; Adnan Aziz (Formal Methods Syst. Des., 2003)

Enhanced Diameter Bounding via Structural. - Jason Baumgartner; Andreas Kuehlmann (DATE, 2004)

Scalable Automated Verification via Expert-System Guided Transformations. - Hari Mony; Jason Baumgartner; Viresh Paruthi; Robert Kanzelman; Andreas Kuehlmann (FMCAD, 2004)

Maximal Input Reduction of Sequential Netlists via Synergistic Reparameterization and Localization Strategies. - Jason Baumgartner; Hari Mony (CHARME, 2005)

Exploiting Constraints in Transformation-Based Verification. - Hari Mony; Jason Baumgartner; Adnan Aziz (CHARME, 2005)

Exploiting suspected redundancy without proving it. - Hari Mony; Jason Baumgartner; Viresh Paruthi; Robert Kanzelman (DAC, 2005)

Automatic Formal Verification of Fused-Multiply-Add FPUs. - Christian Jacobi 002; Kai Weber 001; Viresh Paruthi; Jason Baumgartner (DATE, 2005)

Scalable compositional minimization via static analysis. - Fadi A. Zaraket; Jason Baumgartner; Adnan Aziz (ICCAD, 2005)

Functional formal verification on designs of pSeries microprocessors and communication subsystems. - Rebecca M. Gott; Jason Baumgartner; Paul Roessler; S. I. Joe (IBM J. Res. Dev., 2005)

Enabling Large-Scale Pervasive Logic Verification through Multi-Algorithmic Formal Reasoning. - Tilman Glökler; Jason Baumgartner; Devi Shanmugam; A. E. (Rick) Seigler; Gary A. Van Huben; Barinjato Ramanandray; Hari Mony; Paul Roessler (FMCAD, 2006)

Semi-Formal Verification at IBM. - Jason Baumgartner (HLDVT, 2006)

Scalable Sequential Equivalence Checking across Arbitrary Design Transformations . - Jason Baumgartner; Hari Mony; Viresh Paruthi; Robert Kanzelman; Geert Janssen (ICCD, 2006)

Formal verification of a pervasive interconnect bus system in a high-performance microprocessor. - Thuyen Le; Tilman Glökler; Jason Baumgartner (DATE, 2007)

Optimal Constraint-Preserving Netlist Simplification. - Jason Baumgartner; Hari Mony; Adnan Aziz (FMCAD, 2008)

Invariant-Strengthened Elimination of Dependent State Elements. - Michael L. Case; Alan Mishchenko; Robert K. Brayton; Jason Baumgartner; Hari Mony (FMCAD, 2008)

Scalable liveness checking via property-preserving transformations. - Jason Baumgartner; Hari Mony (DATE, 2009)

Speculative reduction-based scalable redundancy identification. - Hari Mony; Jason Baumgartner; Alan Mishchenko; Robert K. Brayton (DATE, 2009)

Scalable conditional equivalence checking: An automated invariant-generation based approach. - Jason Baumgartner; Hari Mony; Michael L. Case; Jun Sawada; Karen Yorav (FMCAD, 2009)

Enhanced verification by temporal decomposition. - Michael L. Case; Hari Mony; Jason Baumgartner; Robert Kanzelman (FMCAD, 2009)

Coping with Moore's Law (and more): Supporting arrays in state-of-the-art model checkers. - Jason Baumgartner; Michael L. Case; Hari Mony (FMCAD, 2010)

Optimal redundancy removal without fixedpoint computation. - Michael L. Case; Jason Baumgartner; Hari Mony; Robert Kanzelman (FMCAD, 2011)

Approximate reachability with combined symbolic and ternary simulation. - Michael L. Case; Jason Baumgartner; Hari Mony; Robert Kanzelman (FMCAD, 2011)

Hybrid verification of a hardware modular reduction engine. - Jun Sawada; Peter Sandon; Viresh Paruthi; Jason Baumgartner; Michael L. Case; Hari Mony (FMCAD, 2011)

IC3-guided abstraction. - Jason Baumgartner; Alexander Ivrii; Arie Matsliah; Hari Mony (FMCAD, 2012)

Enhanced reachability analysis via automated dynamic netlist-based hint generation. - Jiazhao Xu; Mark Williams; Hari Mony; Jason Baumgartner (FMCAD, 2012)

Fast cone-of-influence computation and estimation in problems with multiple properties. - Carmelo Loiacono; Marco Palena; Paolo Pasini; Denis Patti; Stefano Quer; Stefano Ricossa; Danilo Vendraminetto; Jason Baumgartner (DATE, 2013)

GLA: gate-level abstraction revisited. - Alan Mishchenko; Niklas Eén; Robert K. Brayton; Jason Baumgartner; Hari Mony; Pradeep Kumar Nalla (DATE, 2013)

Generalized counterexamples to liveness properties. - Gadi Aleksandrowicz; Jason Baumgartner; Alexander Ivrii; Ziv Nevo (FMCAD, 2013)

Effective Liveness Verification Using a Transformation-Based Framework. - Pradeep Kumar Nalla; Raj Kumar Gajavelly; Hari Mony; Jason Baumgartner; Robert Kanzelman (VLSID, 2014)

Scalable reachability analysis via automated dynamic netlist-based hint generation. - Jiazhao Xu; Mark Williams; Hari Mony; Jason Baumgartner (Formal Methods Syst. Des., 2014)

The art of semi-formal bug hunting. - Pradeep Kumar Nalla; Raj Kumar Gajavelly; Jason Baumgartner; Hari Mony; Robert Kanzelman; Alexander Ivrii (ICCAD, 2016)

k-FAIR = k-LIVENESS + FAIR Revisiting SAT-based Liveness Algorithms. - Alexander Ivrii; Ziv Nevo; Jason Baumgartner (FMCAD, 2018)

Boosting Verification Scalability via Structural Grouping and Semantic Partitioning of Properties. - Rohit Dureja; Jason Baumgartner; Alexander Ivrii; Robert Kanzelman; Kristin Y. Rozier (FMCAD, 2019)

Input Elimination Transformations for Scalable Verification and Trace Reconstruction. - Raj Kumar Gajavelly; Jason Baumgartner; Alexander Ivrii; Robert L. Kanzelman; Shiladitya Ghosh (FMCAD, 2019)

Accelerating Parallel Verification via Complementary Property Partitioning and Strategy Exploration. - Rohit Dureja; Jason Baumgartner; Robert Kanzelman; Mark Williams; Kristin Y. Rozier (FMCAD, 2020)

The Pushshift Reddit Dataset. - Jason Baumgartner; Savvas Zannettou; Brian Keegan; Megan Squire; Jeremy Blackburn (ICWSM, 2020)

The Pushshift Telegram Dataset. - Jason Baumgartner; Savvas Zannettou; Megan Squire; Jeremy Blackburn (ICWSM, 2020)

SMAT: The Social Media Analysis Toolkit. - Emmi Bevensee; Maxwell Aliapoulios; Quinn Dougherty; Jason Baumgartner; Damon McCoy; Jeremy Blackburn (ICWSM Workshops, 2020)

Toward Exhaustive Sequential Redundancy Removal. - Rohit Dureja; Jason Baumgartner; Raj Kumar Gajavelly; Robert Kanzelman; Kristin Y. Rozier (FMCAD, 2024)