Neil Veira

According to our database, Neil Veira authored at least 10 papers between 2017 and 2020.

Collaborative distances:

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

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

Searching for Bugs Using Probabilistic Suspect Implications.

Neil Veira, Zissis Poulos, Andreas G. Veneris

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020

2019

Unsupervised Embedding Enhancements of Knowledge Graphs using Textual Associations.

Neil Veira, Brian Keng, Kanchana Padmanabhan, Andreas G. Veneris

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

On Public Decentralized Ledger Oracles via a Paired-Question Protocol.

Marco Merlini, Neil Veira, Ryan Berryhill, Andreas G. Veneris

Proceedings of the IEEE International Conference on Blockchain and Cryptocurrency, 2019

Suspect2vec: a suspect prediction model for directed RTL debugging.

Neil Veira, Zissis Poulos, Andreas G. Veneris

Proceedings of the 24th Asia and South Pacific Design Automation Conference, 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

Generating Realistic Sequences of Customer-Level Transactions for Retail Datasets.

Thang Doan, Neil Veira, Brian Keng

Proceedings of the 2018 IEEE International Conference on Data Mining Workshops, 2018

Suspect set prediction in RTL bug hunting.

Neil Veira, Zissis Poulos, Andreas G. Veneris

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

2017

Learning lemma support graphs in Quip and IC3.

Ryan Berryhill, Neil Veira, Andreas G. Veneris, Zissis Poulos

Proceedings of the IEEE 2nd International Verification and Security Workshop, 2017

Learning support sets in IC3 and Quip: The good, the bad, and the ugly.

Ryan Berryhill, Alexander Ivrii, Neil Veira, Andreas G. Veneris

Proceedings of the 2017 Formal Methods in Computer Aided Design, 2017