Alan J. Hu

	2009
54		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
53		Zvonimir Rakamaric, Alan J. Hu: A Scalable Memory Model for Low-Level Code. VMCAI 2009: 290-304
	2008
52		Zvonimir Rakamaric, Alan J. Hu: Automatic Inference of Frame Axioms Using Static Analysis. ASE 2008: 89-98
51		Flavio M. de Paula, Marcel Gort, Alan J. Hu, Steven J. E. Wilton, Jin Yang: BackSpace: Formal Analysis for Post-Silicon Debug. FMCAD 2008: 1-10
50		Domagoj Babic, Alan J. Hu: Calysto: scalable and precise extended static checking. ICSE 2008: 211-220
	2007
49		Zvonimir Rakamaric, Roberto Bruttomesso, Alan J. Hu, Alessandro Cimatti: Verifying Heap-Manipulating Programs in an SMT Framework. ATVA 2007: 237-252
48		Domagoj Babic, Alan J. Hu: Structural Abstraction of Software Verification Conditions. CAV 2007: 366-378
47		Flavio M. de Paula, Alan J. Hu: An Effective Guidance Strategy for Abstraction-Guided Simulation. DAC 2007: 63-68
46		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		Frank Hutter, Domagoj Babic, Holger H. Hoos, Alan J. Hu: Boosting Verification by Automatic Tuning of Decision Procedures. FMCAD 2007: 27-34
44		Alan J. Hu: Simulation vs. Formal: Absorb What Is Useful; Reject What Is Useless. Haifa Verification Conference 2007: 1-7
43		Domagoj Babic, Alan J. Hu: Exploiting Shared Structure in Software Verification Conditions. Haifa Verification Conference 2007: 169-184
42		Domagoj Babic, Alan J. Hu, Zvonimir Rakamaric, Byron Cook: Proving Termination by Divergence. SEFM 2007: 93-102
41		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		Flavio M. de Paula, Alan J. Hu: EverLost: A Flexible Platform for Industrial-Strength Abstraction-Guided Simulation. CAV 2006: 282-285
39		Xiushan Feng, Alan J. Hu: Early cutpoint insertion for high-level software vs. RTL formal combinational equivalence verification. DAC 2006: 1063-1068
38		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		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		Domagoj Babic, Alan J. Hu: Integration of supercubing and learning in a SAT solver. ASP-DAC 2005: 438-444
35		Xiushan Feng, Alan J. Hu, Jin Yang: Partitioned model checking from software specifications. ASP-DAC 2005: 583-587
34		Domagoj Babic, Jesse D. Bingham, Alan J. Hu: Efficient SAT solving: beyond supercubes. DAC 2005: 744-749
33		Xiushan Feng, Alan J. Hu: Cutpoints for formal equivalence verification of embedded software. EMSOFT 2005: 307-316
32		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		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		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		Kelvin Ng, Alan J. Hu, Jin Yang: Generating Monitor Circuits for Simulation-Friendly GSTE Assertion Graphs. ICCD 2004: 409-416
27		Drew Dean, Alan J. Hu: Fixing Races for Fun and Profit: How to Use access(2). USENIX Security Symposium 2004: 195-206
	2003
26		Alan J. Hu, Jeremy Casas, Jin Yang: Reasoning about GSTE Assertion Graphs. CHARME 2003: 170-184
25		Alan J. Hu, Jeremy Casas, Jin Yang: Efficient Generation of Monitor Circuits for GSTE Assertion Graphs. ICCAD 2003: 154-160
24		Jesse D. Bingham, Anne Condon, Alan J. Hu: Toward a decidable notion of sequential consistency. SPAA 2003: 304-313
23		Anne Condon, Alan J. Hu: Automatable Verification of Sequential Consistency. Theory Comput. Syst. 36(5): 431-460 (2003)
	2002
22		Jesse D. Bingham, Alan J. Hu: Semi-formal Bounded Model Checking. CAV 2002: 280-294
21		Marcio T. Oliveira, Alan J. Hu: High-Level specification and automatic generation of IP interface monitors. DAC 2002: 129-134
20		Xiushan Feng, Alan J. Hu: Automatic formal verification for scheduled VLIW code. LCTES-SCOPES 2002: 85-92
	2001
19		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		Anne Condon, Alan J. Hu: Automatable verification of sequential consistency. SPAA 2001: 113-121
	2000
16		David W. Currie, Alan J. Hu, Sreeranga P. Rajan: Automatic formal verification of DSP software. DAC 2000: 130-135
15		Kanna Shimizu, David L. Dill, Alan J. Hu: Monitor-Based Formal Specification of PCI. FMCAD 2000: 335-353
14		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		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		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		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		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		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

Coauthor Index

1	Alvin R. Albrecht	[19]
2	Domagoj Babic	[34] [36] [38] [42] [43] [45] [48] [50]
3	Francine Bacchini	[46]
4	Jesse D. Bingham	[22] [24] [29] [31] [32] [34] [38] [41]
5	Craig Boutilier	[12]
6	Roberto Bruttomesso	[49]
7	Jeremy Casas	[25] [26]
8	Felix Sheng-Ho Chang	[18]
9	Hana Chockler	[54]
10	Alessandro Cimatti	[49]
11	Anne Condon	[17] [23] [24] [29]
12	Byron Cook	[42]
13	David W. Currie	[16] [37]
14	Drew Dean	[27]
15	David L. Dill	[1] [2] [3] [4] [5] [6] [10] [15]
16	Andreas J. Drexler	[2] [3]
17	Xiushan Feng	[20] [33] [35] [37] [39]
18	Tom Fitzpatrick	[46]
19	Masahiro Fujita	[7] [9] [37]
20	Marcel Gort	[51]
21	Shankar G. Govindaraju	[10]
22	Mark D. Hill	[32]
23	Jesse Hoey	[12]
24	Holger H. Hoos (Holger Hoos)	[45]
25	Mark Horowitz	[10]
26	Frank Hutter	[45]
27	Mark Kwan	[37]
28	David Lacey	[46]
29	Rui Li	[13]
30	Andrew K. Martin	[30]
31	Milo M. K. Martin	[32]
32	Michael R. Marty	[32]
33	Kim Milvang-Jensen	[8]
34	Kelvin Ng	[28]
35	Marcio T. Oliveira	[21]
36	Flavio M. de Paula	[40] [47] [51]
37	Andrew Piziali	[46]
38	Shaz Qadeer	[29]
39	Sreeranga P. Rajan	[9] [16] [37]
40	Zvonimir Rakamaric	[41] [42] [49] [52] [53]
41	Rajeev Ranjan	[46]
42	Xizheng Shi	[13]
43	Kanna Shimizu	[15]
44	Robert St-Aubin	[12]
45	Mercedes Tan	[46]
46	Moshe Y. Vardi	[11]
47	Son T. Vuong	[13]
48	Chris Wilson	[7]
49	Steven J. E. Wilton	[51]
50	Brian D. Winters	[14]
51	Howard Wong-Toi	[1]
52	David A. Wood	[32]
53	C. Han Yang	[2] [3]
54	Jin Yang	[25] [26] [28] [35] [51]
55	Gary York	[6]
56	Zhichuan Zhang	[29]
57	Avi Ziv	[46]

Colors in the list of coauthors