Jason Baumgartner

Publication Activity (10 Years)

Years Active: 1998-2020
Publications (10 Years): 10

Top Topics

Reachability Analysis

Top Venues

ICWSM Workshops

Publications

Jason Baumgartner, Savvas Zannettou, Brian Keegan, Megan Squire, Jeremy Blackburn
The Pushshift Reddit Dataset. CoRR (2020)
Jason Baumgartner, Savvas Zannettou, Brian Keegan, Megan Squire, Jeremy Blackburn
The Pushshift Reddit Dataset. ICWSM (2020)
Rohit Dureja, Jason Baumgartner, Robert Kanzelman, Mark Williams, Kristin Y. Rozier
Accelerating Parallel Verification via Complementary Property Partitioning and Strategy Exploration. FMCAD (2020)
Emmi Bevensee, Maxwell Aliapoulios, Quinn Dougherty, Jason Baumgartner, Damon McCoy, Jeremy Blackburn
SMAT: The Social Media Analysis Toolkit. ICWSM Workshops (2020)
Jason Baumgartner, Savvas Zannettou, Megan Squire, Jeremy Blackburn
The Pushshift Telegram Dataset. ICWSM (2020)
Jason Baumgartner, Savvas Zannettou, Megan Squire, Jeremy Blackburn
The Pushshift Telegram Dataset. CoRR (2020)
Rohit Dureja, Jason Baumgartner, Alexander Ivrii, Robert Kanzelman, Kristin Y. Rozier
Boosting Verification Scalability via Structural Grouping and Semantic Partitioning of Properties. FMCAD (2019)
Raj Kumar Gajavelly, Jason Baumgartner, Alexander Ivrii, Robert L. Kanzelman, Shiladitya Ghosh
Input Elimination Transformations for Scalable Verification and Trace Reconstruction. FMCAD (2019)
Alexander Ivrii, Ziv Nevo, Jason Baumgartner
k-FAIR = k-LIVENESS + FAIR Revisiting SAT-based Liveness Algorithms. FMCAD (2018)
Pradeep Kumar Nalla, Raj Kumar Gajavelly, Jason Baumgartner, Hari Mony, Robert Kanzelman, Alexander Ivrii
The art of semi-formal bug hunting. ICCAD (2016)
Pradeep Kumar Nalla, Raj Kumar Gajavelly, Hari Mony, Jason Baumgartner, Robert Kanzelman
Effective Liveness Verification Using a Transformation-Based Framework. VLSI Design (2014)
Jiazhao Xu, Mark Williams, Hari Mony, Jason Baumgartner
Scalable reachability analysis via automated dynamic netlist-based hint generation. Formal Methods Syst. Des. 45 (2) (2014)
Alan Mishchenko, Niklas Eén, Robert K. Brayton, Jason Baumgartner, Hari Mony, Pradeep Kumar Nalla
GLA: gate-level abstraction revisited. DATE (2013)
Gadi Aleksandrowicz, Jason Baumgartner, Alexander Ivrii, Ziv Nevo
Generalized counterexamples to liveness properties. FMCAD (2013)
Jason Baumgartner, Alexander Ivrii, Arie Matsliah, Hari Mony
IC3-guided abstraction. FMCAD (2012)
Jiazhao Xu, Mark Williams, Hari Mony, Jason Baumgartner
Enhanced reachability analysis via automated dynamic netlist-based hint generation. FMCAD (2012)
Michael L. Case, Jason Baumgartner, Hari Mony, Robert Kanzelman
Approximate reachability with combined symbolic and ternary simulation. FMCAD (2011)
Michael L. Case, Jason Baumgartner, Hari Mony, Robert Kanzelman
Optimal redundancy removal without fixedpoint computation. FMCAD (2011)
Jun Sawada, Peter Sandon, Viresh Paruthi, Jason Baumgartner, Michael L. Case, Hari Mony
Hybrid verification of a hardware modular reduction engine. FMCAD (2011)
Jason Baumgartner, Michael L. Case, Hari Mony
Coping with Moore's Law (and more): Supporting arrays in state-of-the-art model checkers. FMCAD (2010)
Jason Baumgartner, Hari Mony
Scalable liveness checking via property-preserving transformations. DATE (2009)
Michael L. Case, Hari Mony, Jason Baumgartner, Robert Kanzelman
Enhanced verification by temporal decomposition. FMCAD (2009)
Hari Mony, Jason Baumgartner, Alan Mishchenko, Robert K. Brayton
Speculative reduction-based scalable redundancy identification. DATE (2009)
Jason Baumgartner, Hari Mony, Michael L. Case, Jun Sawada, Karen Yorav
Scalable conditional equivalence checking: An automated invariant-generation based approach. FMCAD (2009)
Michael L. Case, Alan Mishchenko, Robert K. Brayton, Jason Baumgartner, Hari Mony
Invariant-Strengthened Elimination of Dependent State Elements. FMCAD (2008)
Jason Baumgartner, Hari Mony, Adnan Aziz
Optimal Constraint-Preserving Netlist Simplification. FMCAD (2008)
Thuyen Le, Tilman Glökler, Jason Baumgartner
Formal verification of a pervasive interconnect bus system in a high-performance microprocessor. DATE (2007)
Jason Baumgartner
Semi-Formal Verification at IBM. HLDVT (2006)
Tilman Glökler, Jason Baumgartner, Devi Shanmugam, A. E. (Rick) Seigler, Gary A. Van Huben, Barinjato Ramanandray, Hari Mony, Paul Roessler
Enabling Large-Scale Pervasive Logic Verification through Multi-Algorithmic Formal Reasoning. FMCAD (2006)
Jason Baumgartner, Hari Mony, Viresh Paruthi, Robert Kanzelman, Geert Janssen
Scalable Sequential Equivalence Checking across Arbitrary Design Transformations . ICCD (2006)
Jason Baumgartner, Hari Mony
Maximal Input Reduction of Sequential Netlists via Synergistic Reparameterization and Localization Strategies. CHARME (2005)
Fadi A. Zaraket, Jason Baumgartner, Adnan Aziz
Scalable compositional minimization via static analysis. ICCAD (2005)
Christian Jacobi, Kai Weber, Viresh Paruthi, Jason Baumgartner
Automatic Formal Verification of Fused-Multiply-Add FPUs. DATE (2005)
Rebecca M. Gott, Jason Baumgartner, Paul Roessler, S. I. Joe
Functional formal verification on designs of pSeries microprocessors and communication subsystems. IBM J. Res. Dev. 49 (4-5) (2005)
Hari Mony, Jason Baumgartner, Adnan Aziz
Exploiting Constraints in Transformation-Based Verification. CHARME (2005)
Hari Mony, Jason Baumgartner, Viresh Paruthi, Robert Kanzelman
Exploiting suspected redundancy without proving it. DAC (2005)
Hari Mony, Jason Baumgartner, Viresh Paruthi, Robert Kanzelman, Andreas Kuehlmann
Scalable Automated Verification via Expert-System Guided Transformations. FMCAD (2004)
Jason Baumgartner, Andreas Kuehlmann
Enhanced Diameter Bounding via Structural. DATE (2004)
Jason Baumgartner, Tamir Heyman, Vigyan Singhal, Adnan Aziz
An Abstraction Algorithm for the Verification of Level-Sensitive Latch-Based Netlists. Formal Methods Syst. Des. 23 (1) (2003)
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, Danny J. Klema, Tien N. Le, F. Danette Lewis, Philip E. Milling, Lawrence A. McConville, Bradley S. Nelson, Viresh Paruthi, Travis W. Pouarz, Audre D. Romonosky, Jeff Stuecheli, Kent D. Thompson, Dave W. Victor, Bruce Wile
Functional verification of the POWER4 microprocessor and POWER4 multiprocessor system. IBM J. Res. Dev. 46 (1) (2002)
Jason Baumgartner, Andreas Kuehlmann, Jacob A. Abraham
Property Checking via Structural Analysis. CAV (2002)
Jason Baumgartner, Tim A. Waugh
Roget2000: a 2D hyperbolic tree visualization of Roget's Thesaurus. Visualization and Data Analysis (2002)
Jason Baumgartner, Andreas Kuehlmann
Min-Area Retiming on Dynamic Circuit Structures. ICCAD (2001)
Andreas Kuehlmann, Jason Baumgartner
Transformation-Based Verification Using Generalized Retiming. CAV (2001)
Jason Baumgartner, Anson Tripp, Adnan Aziz, Vigyan Singhal, Flemming Andersen
An Abstraction Algorithm for the Verification of Generalized C-Slow Designs. CAV (2000)
Jason Baumgartner, Tamir Heyman, Vigyan Singhal, Adnan Aziz
Model Checking the IBM Gigahertz Processor: An Abstraction Algorithm for High-Performance Netlists. CAV (1999)
Nadeem Malik, Jason Baumgartner, S. Roberts, R. Dobson
A toolset for assisted formal verification. IPCCC (1999)
Nina Saxena, Jason Baumgartner, Avijit Saha, Jacob A. Abraham
To model check or not to model check. ICCD (1998)