Bao Le

Publication Activity (10 Years)

Years Active: 2010-2023
Publications (10 Years): 5

Top Topics

Unsatisfiable Cores

Hierarchical Clustering

Top Venues

Publications

Dat Q. Duong, Tuan-Anh Tran, Phuong Nhi Nguyen Kieu, Tien K. Nguyen, Bao Le, Stephen Baker, Binh T. Nguyen
A Deep Learning Approach to Segment High-Content Images of the E. coli Bacteria. ACIVS (2023)
Thuong H. T. Nguyen, Bao Le, Phuc Nguyen, Linh G. H. Tran, Thu Nguyen, Binh T. Nguyen
Principal Components Analysis Based Imputation for Logistic Regression. IEA/AIE (1) (2023)
Bao Le, Thi Quynh Pham, Anh Thi Van Hoang, Binh T. Nguyen
OphNER: Named Entity Recognition for Ophthalmology Newspapers. KSE (2023)
Khoi Nguyen, Yen Nguyen, Bao Le
Semi-Supervising Learning, Transfer Learning, and Knowledge Distillation with SimCLR. CoRR (2021)
Bao Le, Djordje Maksimovic, Dipanjan Sengupta, Erhan Ergin, Ryan Berryhill, Andreas G. Veneris
Constructing stability-based clock gating with hierarchical clustering. PATMOS (2015)
Brian Keng, Evean Qin, Andreas G. Veneris, Bao Le
Automated debugging of missing assumptions. ASP-DAC (2014)
Hratch Mangassarian, Bao Le, Andreas G. Veneris
Debugging RTL Using Structural Dominance. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 33 (1) (2014)
Zissis Poulos, Yu-Shen Yang, Andreas G. Veneris, Bao Le
Simulation and satisfiability guided counter-example triage for RTL design debugging. ISQED (2014)
Djordje Maksimovic, Bao Le, Andreas G. Veneris
Multiple clock domain synchronization in a QBF-based verification environment. ICCAD (2014)
Bao Le, Dipanjan Sengupta, Andreas G. Veneris
Reviving erroneous stability-based clock-gating using partial Max-SAT. ASP-DAC (2013)
Bao Le, Dipanjan Sengupta, Andreas G. Veneris, Zissis Poulos
Accelerating post silicon debug of deep electrical faults. IOLTS (2013)
Zissis Poulos, Yu-Shen Yang, Jason Helge Anderson, Andreas G. Veneris, Bao Le
Leveraging reconfigurability to raise productivity in FPGA functional debug. DATE (2012)
Bao Le, Hratch Mangassarian, Brian Keng, Andreas G. Veneris
Non-solution implications using reverse domination in a modern SAT-based debugging environment. DATE (2012)
Hratch Mangassarian, Bao Le, Alexandra Goultiaeva, Andreas G. Veneris, Fahiem Bacchus
Leveraging dominators for preprocessing QBF. DATE (2010)