Skip to content

Brian Keng

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

13

Venues

8

Active years

2008–2021

Best venue rank

A*

Where they publish

Papers

13 indexed papers, newest first.

YearVenueTitleAuthors
2021AIProduct Matching Lessons and Recommendations from a Real World Application.Jrmy Foxcroft, Tianle Chen, Kanchana Padmanabhan, Brian Keng, Luiza Antonie
2019IJCAIUnsupervised Embedding Enhancements of Knowledge Graphs using Textual Associations.Neil Veira, Brian Keng, Kanchana Padmanabhan, Andreas G. Veneris
2018ICDMMultivariate Arrival Times with Recurrent Neural Networks for Personalized Demand Forecasting.Tianle Chen, Brian Keng, Javier Moreno
2018ICDMGenerating Realistic Sequences of Customer-Level Transactions for Retail Datasets.Thang Doan, Neil Veira, Brian Keng
2014ASPDACAutomated debugging of missing assumptions.Brian Keng, Evean Qin, Andreas G. Veneris, Bao Le
2012DACPath directed abstraction and refinement in SAT-based design debugging.Brian Keng, Andreas G. Veneris
2012DATENon-solution implications using reverse domination in a modern SAT-based debugging environment.Bao Le, Hratch Mangassarian, Brian Keng, Andreas G. Veneris
2012FMCADAutomated debugging of missing input constraints in a formal verification environment.Brian Keng, Andreas G. Veneris
2011ASPDACManaging complexity in design debugging with sequential abstraction and refinement.Brian Keng, Andreas G. Veneris
2011ASPDACFrom RTL to silicon: The case for automated debug.Andreas G. Veneris, Brian Keng, Sean Safarpour
2011DATEAutomated debugging of SystemVerilog assertions.Brian Keng, Sean Safarpour, Andreas G. Veneris
2009FMCADScaling VLSI design debugging with interpolation.Brian Keng, Andreas G. Veneris
2008ICCADA succinct memory model for automated design debugging.Brian Keng, Hratch Mangassarian, Andreas G. Veneris