Alan J. Hu

	2012
63		Dipanjan Sengupta, Flavio M. de Paula, Alan J. Hu, Andreas G. Veneris, André Ivanov: Lazy suspect-set computation: fault diagnosis for deep electrical bugs. ACM Great Lakes Symposium on VLSI 2012: 189-194
	2011
62		Flavio M. de Paula, Amir Nahir, Ziv Nevo, Avigail Orni, Alan J. Hu: TAB-BackSpace: unlimited-length trace buffers with zero additional on-chip overhead. DAC 2011: 411-416
61		Anne Condon, Alan J. Hu, Ján Manuch, Chris Thachuk: Less Haste, Less Waste: On Recycling and Its Limits in Strand Displacement Systems. DNA 2011: 84-99
60		Mehdi Karimibiuki, Kyle Balston, Alan J. Hu, André Ivanov: Post-silicon code coverage evaluation with reduced area overhead for functional verification of SoC. HLDVT 2011: 92-97
59		Hana Chockler, Alan J. Hu: Preface. STTT 13(3): 201-205 (2011)
	2010
58		Amir Nahir, Avi Ziv, Rajesh Galivanche, Alan J. Hu, Miron Abramovici, Albert Camilleri, Bob Bentley, Harry Foster, Valeria Bertacco, Shakti Kapoor: Bridging pre-silicon verification and post-silicon validation. DAC 2010: 94-95
57		Naghmeh Ghafari, Alan J. Hu, Zvonimir Rakamaric: Context-Bounded Translations for Concurrent Software: An Empirical Evaluation. SPIN 2010: 227-244
	2009
56		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
55		Zvonimir Rakamaric, Alan J. Hu: A Scalable Memory Model for Low-Level Code. VMCAI 2009: 290-304
54		Domagoj Babic, Alan J. Hu: Approximating the safely reusable set of learned facts. STTT 11(4): 325-338 (2009)
	2008
53		Zvonimir Rakamaric, Alan J. Hu: Automatic Inference of Frame Axioms Using Static Analysis. ASE 2008: 89-98
52		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
51		Domagoj Babic, Alan J. Hu: Calysto: scalable and precise extended static checking. ICSE 2008: 211-220
50		Flavio M. de Paula, Marcel Gort, Alan J. Hu, Steven J. E. Wilton: BackSpace: Moving Towards Reality. MTV 2008: 49-54
	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	Miron Abramovici	[58]
2	Alvin R. Albrecht	[19]
3	Domagoj Babic	[34] [36] [38] [42] [43] [45] [48] [51] [54]
4	Francine Bacchini	[46]
5	Kyle Balston	[60]
6	Bob Bentley	[58]
7	Valeria Bertacco	[58]
8	Jesse D. Bingham	[22] [24] [29] [31] [32] [34] [38] [41]
9	Craig Boutilier	[12]
10	Roberto Bruttomesso	[49]
11	Albert Camilleri	[58]
12	Jeremy Casas	[25] [26]
13	Felix Sheng-Ho Chang	[18]
14	Hana Chockler	[56] [59]
15	Alessandro Cimatti	[49]
16	Anne Condon	[17] [23] [24] [29] [61]
17	Byron Cook	[42]
18	David W. Currie	[16] [37]
19	Drew Dean	[27]
20	David L. Dill	[1] [2] [3] [4] [5] [6] [10] [15]
21	Andreas J. Drexler	[2] [3]
22	Xiushan Feng	[20] [33] [35] [37] [39]
23	Tom Fitzpatrick	[46]
24	Harry Foster	[58]
25	Masahiro Fujita	[7] [9] [37]
26	Rajesh Galivanche	[58]
27	Naghmeh Ghafari	[57]
28	Marcel Gort	[50] [52]
29	Shankar G. Govindaraju	[10]
30	Mark D. Hill	[32]
31	Jesse Hoey	[12]
32	Holger H. Hoos (Holger Hoos)	[45]
33	Mark Horowitz	[10]
34	Frank Hutter	[45]
35	André Ivanov	[60] [63]
36	Shakti Kapoor	[58]
37	Mehdi Karimibiuki	[60]
38	Mark Kwan	[37]
39	David Lacey	[46]
40	Rui Li	[13]
41	Ján Manuch	[61]
42	Andrew K. Martin	[30]
43	Milo M. K. Martin	[32]
44	Michael R. Marty	[32]
45	Kim Milvang-Jensen	[8]
46	Amir Nahir	[58] [62]
47	Ziv Nevo	[62]
48	Kelvin Ng	[28]
49	Marcio T. Oliveira	[21]
50	Avigail Orni	[62]
51	Flavio M. de Paula	[40] [47] [50] [52] [62] [63]
52	Andrew Piziali	[46]
53	Shaz Qadeer	[29]
54	Sreeranga P. Rajan	[9] [16] [37]
55	Zvonimir Rakamaric	[41] [42] [49] [53] [55] [57]
56	Rajeev Ranjan	[46]
57	Dipanjan Sengupta	[63]
58	Xizheng Shi	[13]
59	Kanna Shimizu	[15]
60	Robert St-Aubin	[12]
61	Mercedes Tan	[46]
62	Chris Thachuk	[61]
63	Moshe Y. Vardi	[11]
64	Andreas G. Veneris	[63]
65	Son T. Vuong	[13]
66	Chris Wilson	[7]
67	Steven J. E. Wilton	[50] [52]
68	Brian D. Winters	[14]
69	Howard Wong-Toi	[1]
70	David A. Wood	[32]
71	C. Han Yang	[2] [3]
72	Jin Yang	[25] [26] [28] [35] [52]
73	Gary York	[6]
74	Zhichuan Zhang	[29]
75	Avi Ziv	[46] [58]

Colors in the list of coauthors

Last update Thu May 31 18:55:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page