John Adler

According to our database, John Adler authored at least 9 papers between 2016 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Accountable Safety for Rollups.

Ertem Nusret Tas, John Adler, Mustafa Al-Bassam, Ismail Khoffi, David Tse, Nima Vaziri

CoRR, 2022

2020

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

2019

Building Scalable Decentralized Payment Systems.

John Adler, Mikerah Quintyne-Collins

CoRR, 2019

2018

Astraea: A Decentralized Blockchain Oracle.

John Adler, Ryan Berryhill, Andreas G. Veneris, Zissis Poulos, Neil Veira, Anastasia Kastania

Proceedings of the IEEE International Conference on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, 2018

2017

Leveraging Software Configuration Management in Automated RTL Design Debug.

John Adler, Andreas G. Veneris

IEEE Des. Test, 2017

An extensible perceptron framework for revision RTL debug automation.

John Adler, Ryan Berryhill, Andreas G. Veneris

Proceedings of the 22nd Asia and South Pacific Design Automation Conference, 2017

2016

On simulation-based metrics that characterize the behavior of RTL errors.

Zissis Poulos, Ryan Berryhill, John Adler, Andreas G. Veneris

Proceedings of the Summer Computer Simulation Conference, 2016

Revision debug with non-linear version history in regression verification.

John Adler, Ryan Berryhill, Andreas G. Veneris

Proceedings of the 1st IEEE International Verification and Security Workshop, 2016

Root-cause analysis for memory-locked errors.

John Adler, Djordje Maksimovic, Andreas G. Veneris

Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition, 2016