Ryan Berryhill

Publication Activity (10 Years)

Years Active: 2015-2020
Publications (10 Years): 15

Top Topics

Hierarchical Clustering

Database Administration

Top Venues

iThings/GreenCom/CPSCom/SmartData

Publications

Keerthi Nelaturu, John Adler, Marco Merlini, Ryan Berryhill, Neil Veira, Zissis Poulos, Andreas G. Veneris
On Public Crowdsource-Based Mechanisms for a Decentralized Blockchain Oracle. IEEE Trans. Engineering Management 67 (4) (2020)
Marco Merlini, Neil Veira, Ryan Berryhill, Andreas G. Veneris
On Public Decentralized Ledger Oracles via a Paired-Question Protocol. IEEE ICBC (2019)
Ryan Berryhill, Andreas G. Veneris
Chasing Minimal Inductive Validity Cores in Hardware Model Checking. FMCAD (2019)
Ryan Berryhill, Alexander Ivrii, Andreas G. Veneris
Finding All Minimal Safe Inductive Sets. SAT (2018)
John Adler, Ryan Berryhill, Andreas G. Veneris, Zissis Poulos, Neil Veira, Anastasia Kastania
Astraea: A Decentralized Blockchain Oracle. CoRR (2018)
Ryan Berryhill, Andreas G. Veneris
Efficient suspect selection in unreachable state diagnosis. Ann. Math. Artif. Intell. 82 (4) (2018)
John Adler, Ryan Berryhill, Andreas G. Veneris, Zissis Poulos, Neil Veira, Anastasia Kastania
Astraea: A Decentralized Blockchain Oracle. iThings/GreenCom/CPSCom/SmartData (2018)
Ryan Berryhill, Andreas G. Veneris
Methodologies for Diagnosis of Unreachable States via Property Directed Reachability. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 37 (6) (2018)
John Adler, Ryan Berryhill, Andreas G. Veneris
An extensible perceptron framework for revision RTL debug automation. ASP-DAC (2017)
Ryan Berryhill, Alexander Ivrii, Neil Veira, Andreas G. Veneris
Learning support sets in IC3 and Quip: The good, the bad, and the ugly. FMCAD (2017)
Ryan Berryhill, Neil Veira, Andreas G. Veneris, Zissis Poulos
Learning lemma support graphs in Quip and IC3. IVSW (2017)
Ryan Berryhill, Andreas G. Veneris
Efficient Selection of Suspect Sets in Unreachable State Diagnosis. ISAIM (2016)
Ryan Berryhill, Andreas G. Veneris
A complete approach to unreachable state diagnosability via property directed reachability. ASP-DAC (2016)
Zissis Poulos, Ryan Berryhill, John Adler, Andreas G. Veneris
On simulation-based metrics that characterize the behavior of RTL errors. SummerSim (2016)
John Adler, Ryan Berryhill, Andreas G. Veneris
Revision debug with non-linear version history in regression verification. IVSW (2016)
Ryan Berryhill, Andreas G. Veneris
Automated rectification methodologies to functional state-space unreachability. DATE (2015)
Ryan Berryhill, Wojciech M. Golab, Mahesh Tripunitara
Robust Shared Objects for Non-Volatile Main Memory. OPODIS (2015)
Bao Le, Djordje Maksimovic, Dipanjan Sengupta, Erhan Ergin, Ryan Berryhill, Andreas G. Veneris
Constructing stability-based clock gating with hierarchical clustering. PATMOS (2015)