Jason Baumgartner

The Pushshift Reddit Dataset

Jason Baumgartner, Savvas Zannettou, Brian Keegan et al. · Proceedings of the International AAAI Conference on Web and Social Media · 2020 · 825 citations · Full text

Computing, Computer Science, Data Science +12

Scalable Sequential Equivalence Checking across Arbitrary Design Transformations

Jason Baumgartner, Hari Mony, Viresh Paruthi et al. · Proceedings, IEEE International Conference on Computer Design/Proceedings - IEEE International Conference on Computer Design · 2006 · 74 citations

Computing, Computer Engineering, Computer Science +9

The Pushshift Telegram Dataset

Jason Baumgartner, Savvas Zannettou, Megan Squire et al. · Proceedings of the International AAAI Conference on Web and Social Media · 2020 · 54 citations · Full text

Social Sciences, Communication, Data Mining +4

Exploiting suspected redundancy without proving it

Hari Mony, Jason Baumgartner, Viresh Paruthi et al. · 2005 · 34 citations

Computing, Computer Science, Algorithms +9

Enhanced verification by temporal decomposition

Michael Case, Hari Mony, Jason Baumgartner et al. · 2009 · 19 citations

Computing, Computer Engineering, Computer Science +17