2009 |
53 | EE | Hana Chockler,
Alan J. Hu:
Hardware and Software: Verification and Testing, 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008. Proceedings
Springer 2009 |
52 | EE | Zvonimir Rakamaric,
Alan J. Hu:
A Scalable Memory Model for Low-Level Code.
VMCAI 2009: 290-304 |
2008 |
51 | EE | Zvonimir Rakamaric,
Alan J. Hu:
Automatic Inference of Frame Axioms Using Static Analysis.
ASE 2008: 89-98 |
50 | EE | Domagoj Babic,
Alan J. Hu:
Calysto: scalable and precise extended static checking.
ICSE 2008: 211-220 |
2007 |
49 | EE | Zvonimir Rakamaric,
Roberto Bruttomesso,
Alan J. Hu,
Alessandro Cimatti:
Verifying Heap-Manipulating Programs in an SMT Framework.
ATVA 2007: 237-252 |
48 | EE | Domagoj Babic,
Alan J. Hu:
Structural Abstraction of Software Verification Conditions.
CAV 2007: 366-378 |
47 | EE | Flavio M. de Paula,
Alan J. Hu:
An Effective Guidance Strategy for Abstraction-Guided Simulation.
DAC 2007: 63-68 |
46 | EE | Francine Bacchini,
Alan J. Hu,
Tom Fitzpatrick,
Rajeev Ranjan,
David Lacey,
Mercedes Tan,
Andrew Piziali,
Avi Ziv:
Verification Coverage: When is Enough, Enough?
DAC 2007: 744-745 |
45 | EE | Frank Hutter,
Domagoj Babic,
Holger H. Hoos,
Alan J. Hu:
Boosting Verification by Automatic Tuning of Decision Procedures.
FMCAD 2007: 27-34 |
44 | EE | Alan J. Hu:
Simulation vs. Formal: Absorb What Is Useful; Reject What Is Useless.
Haifa Verification Conference 2007: 1-7 |
43 | EE | Domagoj Babic,
Alan J. Hu:
Exploiting Shared Structure in Software Verification Conditions.
Haifa Verification Conference 2007: 169-184 |
42 | EE | Domagoj Babic,
Alan J. Hu,
Zvonimir Rakamaric,
Byron Cook:
Proving Termination by Divergence.
SEFM 2007: 93-102 |
41 | EE | Zvonimir Rakamaric,
Jesse D. Bingham,
Alan J. Hu:
An Inference-Rule-Based Decision Procedure for Verification of Heap-Manipulating Programs with Mutable Data and Cyclic Data Structures.
VMCAI 2007: 106-121 |
2006 |
40 | EE | Flavio M. de Paula,
Alan J. Hu:
EverLost: A Flexible Platform for Industrial-Strength Abstraction-Guided Simulation.
CAV 2006: 282-285 |
39 | EE | Xiushan Feng,
Alan J. Hu:
Early cutpoint insertion for high-level software vs. RTL formal combinational equivalence verification.
DAC 2006: 1063-1068 |
38 | EE | Domagoj Babic,
Jesse D. Bingham,
Alan J. Hu:
B-Cubing: New Possibilities for Efficient SAT-Solving.
IEEE Trans. Computers 55(11): 1315-1324 (2006) |
37 | EE | David W. Currie,
Xiushan Feng,
Masahiro Fujita,
Alan J. Hu,
Mark Kwan,
Sreeranga P. Rajan:
Embedded Software Verification Using Symbolic Execution and Uninterpreted Functions.
International Journal of Parallel Programming 34(1): 61-91 (2006) |
2005 |
36 | EE | Domagoj Babic,
Alan J. Hu:
Integration of supercubing and learning in a SAT solver.
ASP-DAC 2005: 438-444 |
35 | EE | Xiushan Feng,
Alan J. Hu,
Jin Yang:
Partitioned model checking from software specifications.
ASP-DAC 2005: 583-587 |
34 | EE | Domagoj Babic,
Jesse D. Bingham,
Alan J. Hu:
Efficient SAT solving: beyond supercubes.
DAC 2005: 744-749 |
33 | EE | Xiushan Feng,
Alan J. Hu:
Cutpoints for formal equivalence verification of embedded software.
EMSOFT 2005: 307-316 |
32 | EE | Michael R. Marty,
Jesse D. Bingham,
Mark D. Hill,
Alan J. Hu,
Milo M. K. Martin,
David A. Wood:
Improving Multiple-CMP Systems Using Token Coherence.
HPCA 2005: 328-339 |
31 | EE | Jesse D. Bingham,
Alan J. Hu:
Empirically Efficient Verification for a Class of Infinite-State Systems.
TACAS 2005: 77-92 |
2004 |
30 | | Alan J. Hu,
Andrew K. Martin:
Formal Methods in Computer-Aided Design, 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings
Springer 2004 |
29 | EE | Jesse D. Bingham,
Anne Condon,
Alan J. Hu,
Shaz Qadeer,
Zhichuan Zhang:
Automatic Verification of Sequential Consistency for Unbounded Addresses and Data Values.
CAV 2004: 427-439 |
28 | EE | Kelvin Ng,
Alan J. Hu,
Jin Yang:
Generating Monitor Circuits for Simulation-Friendly GSTE Assertion Graphs.
ICCD 2004: 409-416 |
27 | EE | Drew Dean,
Alan J. Hu:
Fixing Races for Fun and Profit: How to Use access(2).
USENIX Security Symposium 2004: 195-206 |
2003 |
26 | EE | Alan J. Hu,
Jeremy Casas,
Jin Yang:
Reasoning about GSTE Assertion Graphs.
CHARME 2003: 170-184 |
25 | EE | Alan J. Hu,
Jeremy Casas,
Jin Yang:
Efficient Generation of Monitor Circuits for GSTE Assertion Graphs.
ICCAD 2003: 154-160 |
24 | EE | Jesse D. Bingham,
Anne Condon,
Alan J. Hu:
Toward a decidable notion of sequential consistency.
SPAA 2003: 304-313 |
23 | EE | Anne Condon,
Alan J. Hu:
Automatable Verification of Sequential Consistency.
Theory Comput. Syst. 36(5): 431-460 (2003) |
2002 |
22 | EE | Jesse D. Bingham,
Alan J. Hu:
Semi-formal Bounded Model Checking.
CAV 2002: 280-294 |
21 | EE | Marcio T. Oliveira,
Alan J. Hu:
High-Level specification and automatic generation of IP interface monitors.
DAC 2002: 129-134 |
20 | EE | Xiushan Feng,
Alan J. Hu:
Automatic formal verification for scheduled VLIW code.
LCTES-SCOPES 2002: 85-92 |
2001 |
19 | EE | Alvin R. Albrecht,
Alan J. Hu:
Register Transformations with Multiple Clock Domains.
CHARME 2001: 126-139 |
18 | | Felix Sheng-Ho Chang,
Alan J. Hu:
Fast Specification of Cycle-accurate Processor Models.
ICCD 2001: 488-492 |
17 | EE | Anne Condon,
Alan J. Hu:
Automatable verification of sequential consistency.
SPAA 2001: 113-121 |
2000 |
16 | EE | David W. Currie,
Alan J. Hu,
Sreeranga P. Rajan:
Automatic formal verification of DSP software.
DAC 2000: 130-135 |
15 | EE | Kanna Shimizu,
David L. Dill,
Alan J. Hu:
Monitor-Based Formal Specification of PCI.
FMCAD 2000: 335-353 |
14 | EE | Brian D. Winters,
Alan J. Hu:
Source-Level Transformations for Improved Formal Verification.
ICCD 2000: 599- |
1999 |
13 | | Alan J. Hu,
Rui Li,
Xizheng Shi,
Son T. Vuong:
Model-Checking a Secure Gorup Communication Protocol: A Case Study.
FORTE 1999: 469-478 |
12 | EE | Jesse Hoey,
Robert St-Aubin,
Alan J. Hu,
Craig Boutilier:
SPUDD: Stochastic Planning using Decision Diagrams.
UAI 1999: 279-288 |
1998 |
11 | | Alan J. Hu,
Moshe Y. Vardi:
Computer Aided Verification, 10th International Conference, CAV '98, Vancouver, BC, Canada, June 28 - July 2, 1998, Proceedings
Springer 1998 |
10 | EE | Shankar G. Govindaraju,
David L. Dill,
Alan J. Hu,
Mark Horowitz:
Approximate Reachability with BDDs Using Overlapping Projections.
DAC 1998: 451-456 |
9 | | Masahiro Fujita,
Sreeranga P. Rajan,
Alan J. Hu:
Two Real Formal Verification Experiences: ATM Switch Chip and Parallel Cache Protocol.
FM-Trends 1998: 281-295 |
8 | EE | Kim Milvang-Jensen,
Alan J. Hu:
BDDNOW: A Parallel BDD Package.
FMCAD 1998: 501-507 |
1997 |
7 | | Alan J. Hu,
Masahiro Fujita,
Chris Wilson:
Formal Verification of the HAL S1 System Cache Coherence Protocol.
ICCD 1997: 438-444 |
1994 |
6 | EE | Alan J. Hu,
Gary York,
David L. Dill:
New Techniques for Efficient Verification with Implicitly Conjoined BDDs.
DAC 1994: 276-282 |
1993 |
5 | | Alan J. Hu,
David L. Dill:
Efficient Verification with BDDs using Implicitly Conjoined Invariants.
CAV 1993: 3-14 |
4 | EE | Alan J. Hu,
David L. Dill:
Reducing BDD Size by Exploiting Functional Dependencies.
DAC 1993: 266-271 |
1992 |
3 | | Alan J. Hu,
David L. Dill,
Andreas J. Drexler,
C. Han Yang:
Higher-Level Specification and Verification with BDDs.
CAV 1992: 82-95 |
2 | | David L. Dill,
Andreas J. Drexler,
Alan J. Hu,
C. Han Yang:
Protocol Verification as a Hardware Design Aid.
ICCD 1992: 522-525 |
1991 |
1 | | David L. Dill,
Alan J. Hu,
Howard Wong-Toi:
Checking for Language Inclusion Using Simulation Preorders.
CAV 1991: 255-265 |