Jason Baumgartner

50 papers A* 5A 12B 18C 3Misc 2Journal 6Unranked 4

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