Root-cause analysis for memory-locked errors. - John Adler; Djordje Maksimovic; Andreas G. Veneris (DATE, 2016)

Revision debug with non-linear version history in regression verification. - John Adler; Ryan Berryhill; Andreas G. Veneris (IVSW, 2016)

On simulation-based metrics that characterize the behavior of RTL errors. - Zissis Poulos; Ryan Berryhill; John Adler; Andreas G. Veneris (SummerSim, 2016)

An extensible perceptron framework for revision RTL debug automation. - John Adler; Ryan Berryhill; Andreas G. Veneris (ASP-DAC, 2017)

Leveraging Software Configuration Management in Automated RTL Design Debug. - John Adler; Andreas G. Veneris (IEEE Des. Test, 2017)

Astraea: A Decentralized Blockchain Oracle. - John Adler; Ryan Berryhill; Andreas G. Veneris; Zissis Poulos; Neil Veira; Anastasia Kastania (iThings/GreenCom/CPSCom/SmartData, 2018)

Building Scalable Decentralized Payment Systems. - John Adler; Mikerah Quintyne-Collins (CoRR, 2019)

On Public Crowdsource-Based Mechanisms for a Decentralized Blockchain Oracle. - Keerthi Nelaturu; John Adler; Marco Merlini; Ryan Berryhill; Neil Veira; Zissis Poulos; Andreas G. Veneris (IEEE Trans. Engineering Management, 2020)

Accountable Safety for Rollups. - Ertem Nusret Tas; John Adler; Mustafa Al-Bassam; Ismail Khoffi; David Tse; Nima Vaziri (CoRR, 2022)