Brian Keng

19 papers A* 2A 3B 2Journal 4Unranked 8
YearRankTypeTitle / Venue / Authors
2021 — conf
Product Matching Lessons and Recommendations from a Real World Application.
Canadian AI
Jérémy Foxcroft, Tianle Chen, Kanchana Padmanabhan, Brian Keng, Luiza Antonie
2019 J jnl
Generating Realistic Sequences of Customer-level Transactions for Retail Datasets.
CoRR
Thang Doan, Neil Veira, Brian Keng
2019 A* conf
Unsupervised Embedding Enhancements of Knowledge Graphs using Textual Associations.
IJCAI
Neil Veira, Brian Keng, Kanchana Padmanabhan, Andreas G. Veneris
2018 — conf
Generating Realistic Sequences of Customer-Level Transactions for Retail Datasets.
ICDM Workshops
Thang Doan, Neil Veira, Brian Keng
2018 — conf
Multivariate Arrival Times with Recurrent Neural Networks for Personalized Demand Forecasting.
ICDM Workshops
Tianle Chen, Brian Keng, Javier Moreno
2018 J jnl
Multivariate Arrival Times with Recurrent Neural Networks for Personalized Demand Forecasting.
CoRR
Tianle Chen, Brian Keng, Javier Moreno
2014 — conf
Automated debugging of missing assumptions.
ASP-DAC
Brian Keng, Evean Qin, Andreas G. Veneris, Bao Le
2013 J jnl
Path-Directed Abstraction and Refinement for SAT-Based Design Debugging.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Brian Keng, Andreas G. Veneris
2012 B conf
Automated debugging of missing input constraints in a formal verification environment.
FMCAD
Brian Keng, Andreas G. Veneris
2012 A conf
Non-solution implications using reverse domination in a modern SAT-based debugging environment.
DATE
Bao Le, Hratch Mangassarian, Brian Keng, Andreas G. Veneris
2012 A* conf
Path directed abstraction and refinement in SAT-based design debugging.
DAC
Brian Keng, Andreas G. Veneris
2011 A conf
Automated debugging of SystemVerilog assertions.
DATE
Brian Keng, Sean Safarpour, Andreas G. Veneris
2011 — conf
From RTL to silicon: The case for automated debug.
ASP-DAC
Andreas G. Veneris, Brian Keng, Sean Safarpour
2011 — conf
Managing complexity in design debugging with sequential abstraction and refinement.
ASP-DAC
Brian Keng, Andreas G. Veneris
2010 — conf
An Automated Framework for Correction and Debug of PSL Assertions.
MTV
Brian Keng, Andreas G. Veneris, Sean Safarpour
2010 — conf
Automated silicon debug data analysis techniques for a hardware data acquisition environment.
ISQED
Yu-Shen Yang, Brian Keng, Nicola Nicolici, Andreas G. Veneris, Sean Safarpour
2010 J jnl
Bounded Model Debugging.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Brian Keng, Sean Safarpour, Andreas G. Veneris
2009 B conf
Scaling VLSI design debugging with interpolation.
FMCAD
Brian Keng, Andreas G. Veneris
2008 A conf
A succinct memory model for automated design debugging.
ICCAD
Brian Keng, Hratch Mangassarian, Andreas G. Veneris