Jason Baumgartner
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
41
Venues
10
Active years
1998–2024
Best venue rank
A*
Where they publish
Papers
41 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | FMCAD | Toward Exhaustive Sequential Redundancy Removal. | Rohit Dureja, Jason Baumgartner, Raj Kumar Gajavelly, Robert Kanzelman, Kristin Y. Rozier |
| 2020 | FMCAD | Accelerating Parallel Verification via Complementary Property Partitioning and Strategy Exploration. | Rohit Dureja, Jason Baumgartner, Robert Kanzelman, Mark Williams, Kristin Y. Rozier |
| 2020 | ICWSM | The Pushshift Reddit Dataset. | Jason Baumgartner, Savvas Zannettou, Brian Keegan, Megan Squire, Jeremy Blackburn |
| 2020 | ICWSM | The Pushshift Telegram Dataset. | Jason Baumgartner, Savvas Zannettou, Megan Squire, Jeremy Blackburn |
| 2020 | ICWSM | SMAT: The Social Media Analysis Toolkit. | Emmi Bevensee, Maxwell Aliapoulios, Quinn Dougherty, Jason Baumgartner, Damon McCoy, Jeremy Blackburn |
| 2019 | FMCAD | Boosting Verification Scalability via Structural Grouping and Semantic Partitioning of Properties. | Rohit Dureja, Jason Baumgartner, Alexander Ivrii, Robert Kanzelman, Kristin Y. Rozier |
| 2019 | FMCAD | Input Elimination Transformations for Scalable Verification and Trace Reconstruction. | Raj Kumar Gajavelly, Jason Baumgartner, Alexander Ivrii, Robert L. Kanzelman, Shiladitya Ghosh |
| 2018 | FMCAD | k-FAIR = k-LIVENESS + FAIR Revisiting SAT-based Liveness Algorithms. | Alexander Ivrii, Ziv Nevo, Jason Baumgartner |
| 2016 | ICCAD | The art of semi-formal bug hunting. | Pradeep Kumar Nalla, Raj Kumar Gajavelly, Jason Baumgartner, Hari Mony, Robert Kanzelman, Alexander Ivrii |
| 2014 | VLSID | Effective Liveness Verification Using a Transformation-Based Framework. | Pradeep Kumar Nalla, Raj Kumar Gajavelly, Hari Mony, Jason Baumgartner, Robert Kanzelman |
| 2013 | DATE | 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 |
| 2013 | DATE | GLA: gate-level abstraction revisited. | Alan Mishchenko, Niklas En, Robert K. Brayton, Jason Baumgartner, Hari Mony, Pradeep Kumar Nalla |
| 2013 | FMCAD | Generalized counterexamples to liveness properties. | Gadi Aleksandrowicz, Jason Baumgartner, Alexander Ivrii, Ziv Nevo |
| 2012 | FMCAD | IC3-guided abstraction. | Jason Baumgartner, Alexander Ivrii, Arie Matsliah, Hari Mony |
| 2012 | FMCAD | Enhanced reachability analysis via automated dynamic netlist-based hint generation. | Jiazhao Xu, Mark Williams, Hari Mony, Jason Baumgartner |
| 2011 | FMCAD | Optimal redundancy removal without fixedpoint computation. | Michael L. Case, Jason Baumgartner, Hari Mony, Robert Kanzelman |
| 2011 | FMCAD | Approximate reachability with combined symbolic and ternary simulation. | Michael L. Case, Jason Baumgartner, Hari Mony, Robert Kanzelman |
| 2011 | FMCAD | Hybrid verification of a hardware modular reduction engine. | Jun Sawada, Peter Sandon, Viresh Paruthi, Jason Baumgartner, Michael L. Case, Hari Mony |
| 2010 | FMCAD | Coping with Moore's Law (and more): Supporting arrays in state-of-the-art model checkers. | Jason Baumgartner, Michael L. Case, Hari Mony |
| 2009 | DATE | Scalable liveness checking via property-preserving transformations. | Jason Baumgartner, Hari Mony |
| 2009 | DATE | Speculative reduction-based scalable redundancy identification. | Hari Mony, Jason Baumgartner, Alan Mishchenko, Robert K. Brayton |
| 2009 | FMCAD | Scalable conditional equivalence checking: An automated invariant-generation based approach. | Jason Baumgartner, Hari Mony, Michael L. Case, Jun Sawada, Karen Yorav |
| 2009 | FMCAD | Enhanced verification by temporal decomposition. | Michael L. Case, Hari Mony, Jason Baumgartner, Robert Kanzelman |
| 2008 | FMCAD | Optimal Constraint-Preserving Netlist Simplification. | Jason Baumgartner, Hari Mony, Adnan Aziz |
| 2008 | FMCAD | Invariant-Strengthened Elimination of Dependent State Elements. | Michael L. Case, Alan Mishchenko, Robert K. Brayton, Jason Baumgartner, Hari Mony |
| 2007 | DATE | Formal verification of a pervasive interconnect bus system in a high-performance microprocessor. | Thuyen Le, Tilman Glkler, Jason Baumgartner |
| 2006 | FMCAD | Enabling Large-Scale Pervasive Logic Verification through Multi-Algorithmic Formal Reasoning. | Tilman Glkler, Jason Baumgartner, Devi Shanmugam, A. E. (Rick) Seigler, Gary A. Van Huben, Barinjato Ramanandray, Hari Mony, Paul Roessler |
| 2006 | ICCD | Scalable Sequential Equivalence Checking across Arbitrary Design Transformations . | Jason Baumgartner, Hari Mony, Viresh Paruthi, Robert Kanzelman, Geert Janssen |
| 2005 | DAC | Exploiting suspected redundancy without proving it. | Hari Mony, Jason Baumgartner, Viresh Paruthi, Robert Kanzelman |
| 2005 | DATE | Automatic Formal Verification of Fused-Multiply-Add FPUs. | Christian Jacobi, Kai Weber, Viresh Paruthi, Jason Baumgartner |
| 2005 | ICCAD | Scalable compositional minimization via static analysis. | Fadi A. Zaraket, Jason Baumgartner, Adnan Aziz |
| 2004 | DATE | Enhanced Diameter Bounding via Structural. | Jason Baumgartner, Andreas Kuehlmann |
| 2004 | FMCAD | Scalable Automated Verification via Expert-System Guided Transformations. | Hari Mony, Jason Baumgartner, Viresh Paruthi, Robert Kanzelman, Andreas Kuehlmann |
| 2002 | CAV | Property Checking via Structural Analysis. | Jason Baumgartner, Andreas Kuehlmann, Jacob A. Abraham |
| 2002 | VDA | Roget2000: a 2D hyperbolic tree visualization of Roget's Thesaurus. | Jason Baumgartner, Tim A. Waugh |
| 2001 | CAV | Transformation-Based Verification Using Generalized Retiming. | Andreas Kuehlmann, Jason Baumgartner |
| 2001 | ICCAD | Min-Area Retiming on Dynamic Circuit Structures. | Jason Baumgartner, Andreas Kuehlmann |
| 2000 | CAV | An Abstraction Algorithm for the Verification of Generalized C-Slow Designs. | Jason Baumgartner, Anson Tripp, Adnan Aziz, Vigyan Singhal, Flemming Andersen |
| 1999 | CAV | Model Checking the IBM Gigahertz Processor: An Abstraction Algorithm for High-Performance Netlists. | Jason Baumgartner, Tamir Heyman, Vigyan Singhal, Adnan Aziz |
| 1999 | IPCCC | A toolset for assisted formal verification. | Nadeem Malik, Jason Baumgartner, Steven Roberts, Ryan Dobson |
| 1998 | ICCD | To model check or not to model check. | Nina Saxena, Jason Baumgartner, Avijit Saha, Jacob A. Abraham |