Skip to content

Neil Veira

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

5

Venues

5

Active years

2017–2019

Best venue rank

A*

Where they publish

Papers

5 indexed papers, newest first.

YearVenueTitleAuthors
2019ASPDACSuspect2vec: a suspect prediction model for directed RTL debugging.Neil Veira, Zissis Poulos, Andreas G. Veneris
2019IJCAIUnsupervised Embedding Enhancements of Knowledge Graphs using Textual Associations.Neil Veira, Brian Keng, Kanchana Padmanabhan, Andreas G. Veneris
2018DATESuspect set prediction in RTL bug hunting.Neil Veira, Zissis Poulos, Andreas G. Veneris
2018ICDMGenerating Realistic Sequences of Customer-Level Transactions for Retail Datasets.Thang Doan, Neil Veira, Brian Keng
2017FMCADLearning support sets in IC3 and Quip: The good, the bad, and the ugly.Ryan Berryhill, Alexander Ivrii, Neil Veira, Andreas G. Veneris