Sotabase

Career

· Professor, University of British Columbia2006–
· Associate Professor, University of British Columbia2001–2006
· Assistant Professor, University of British Columbia1996–2001
· Member of the Research Staff, VLSI CAD Division, Fujitsu Laboratories of America1995–1996
· Professor Emeritus, University of British Columbia

Publications (116)

SPUDD: Stochastic Planning using Decision Diagrams
Conference on Uncertainty in Artificial Intelligence · 1999
507
cited
System-on-Chip: Reuse and Integration
Proceedings of the IEEE · 2006
285
cited
Protocol Veri(cid:12)cation as a Hardware Design Aid (cid:3)
2021
218
cited
Boosting Verification by Automatic Tuning of Decision Procedures
Formal Methods in Computer-Aided Design · 2007
166
cited
Calysto
2008 ACM/IEEE 30th International Conference on Software Engineering · 2008
119
cited
Improving multiple-CMP systems using token coherence
International Symposium on High-Performance Computer Architecture · 2005
115
cited
Checking for Language Inclusion Using Simulation Preorders
International Conference on Computer Aided Verification · 1991
97
cited
Monitor-Based Formal Specification of PCI
Formal Methods in Computer-Aided Design · 2000
96
cited
BackSpace: Formal Analysis for Post-Silicon Debug
Formal Methods in Computer-Aided Design · 2008
85
cited
Structural Abstraction of Software Verification Conditions
International Conference on Computer Aided Verification · 2007
81
cited
Reducing BDD Size by Exploiting Functional Dependencies
30th ACM/IEEE Design Automation Conference · 1993
78
cited
Fixing Races for Fun and Profit: How to Use access(2)
USENIX Security Symposium · 2004
67
cited
New Techniques for Efficient Verification with Implicitly Conjoined BDDs
Design Automation Conference · 1994
61
cited
BDDNOW: A Parallel BDD Package
Formal Methods in Computer-Aided Design · 1998
60
cited
Formal hardware verification with BDDs: an introduction
1997 IEEE Pacific Rim Conference on Communications, Computers and Signal Processing, PACRIM. 10 Years Networking the Pacific Rim, 1987-1997 · 1997
60
cited
Automatic formal verification of dsp software
Proceedings - Design Automation Conference · 2000
59
cited
Reachability Analysis for AWS-Based Networks
International Conference on Computer Aided Verification · 2019
56
cited
SAT Modulo Monotonic Theories
AAAI Conference on Artificial Intelligence · 2014
56
cited
Techniques for efficient formal verification using binary decision diagrams
1995
55
cited
High-level specification and automatic generation of IP interface monitors
Proceedings - Design Automation Conference · 2002
54
cited
Sotabase
Alan Hu | Researcher Profile | Sotabase | Sotabase