iBet uBet web content aggregator. Adding the entire web to your favor.

Link to original content: https://dblp.org/pid/01/2712.html

dblp: Alan J. Hu

default search action

combined dblp search
author search
venue search
publication search

ask others

Alan J. Hu

> Home > Persons

Person information

Other persons with a similar name

see FAQ

Why are some names followed by a four digit number?

SPARQL queries

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[c77]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/FengHBITWPB24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/FengHBITWPB24
Nick Feng, Alan J. Hu, Sam Bayless, Syed M. Iqbal, Patrick Trentin, Mike Whalen, Lee Pike, John Backes:
DRAT Proofs of Unsatisfiability for SAT Modulo Monotonic Theories. TACAS (1) 2024: 3-23
[i4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2401-10703
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2401-10703
Nick Feng, Alan J. Hu, Sam Bayless, Syed M. Iqbal, Patrick Trentin, Mike Whalen, Lee Pike, John Backes:
DRAT Proofs of Unsatisfiability for SAT Modulo Monotonic Theories. CoRR abs/2401.10703 (2024)
2023
[j13]
- view
  authority control:
- export record
  dblp key:
  - journals/tecs/YoungHL23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tecs/YoungHL23
May Young, Alan J. Hu, Guy G. F. Lemieux:
Cache Abstraction for Data Race Detection in Heterogeneous Systems with Non-coherent Accelerators. ACM Trans. Embed. Comput. Syst. 22(1): 6:1-6:25 (2023)
2022
[c76]
- view
  authority control:
- export record
  dblp key:
  - conf/cloud/IqbalLBBH22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cloud/IqbalLBBH22
Syed M. Iqbal, Haley Li, Shane Bergsma, Ivan Beschastnikh, Alan J. Hu:
CoSpot: a cooperative VM allocation framework for increased revenue from spot instances. SoCC 2022: 540-556
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2201-04322
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2201-04322
Nodir Kodirov, Shane Bergsma, Syed M. Iqbal, Alan J. Hu, Ivan Beschastnikh, Margo I. Seltzer:
Gridiron: A Technique for Augmenting Cloud Workloads with Network Bandwidth Requirements. CoRR abs/2201.04322 (2022)
2021
[c75]
- view
  authority control:
- export record
  dblp key:
  - conf/lctrts/YoungHL21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lctrts/YoungHL21
May Young, Alan J. Hu, Guy G. F. Lemieux:
Cache abstraction for data race detection in heterogeneous systems with non-coherent accelerators. LCTES 2021: 151-162
2020
[j12]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/ai/BaylessKIBHH20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/BaylessKIBHH20
Sam Bayless, Nodir Kodirov, Syed M. Iqbal, Ivan Beschastnikh, Holger H. Hoos, Alan J. Hu:
Scalable constraint-based virtual data center allocation. Artif. Intell. 278 (2020)

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[c74]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/BackesBCDGHKKKK19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/BackesBCDGHKKKK19
John Backes, Sam Bayless, Byron Cook, Catherine Dodge, Andrew Gacek, Alan J. Hu, Temesghen Kahsai, Bill Kocik, Evgenii Kotelnikov, Jure Kukovec, Sean McLaughlin, Jason Reed, Neha Rungta, John Sizemore, Mark A. Stalzer, Preethi Srinivasan, Pavle Subotic, Carsten Varming, Blake Whaley:
Reachability Analysis for AWS-Based Networks. CAV (2) 2019: 231-241
2018
[c73]
- view
  authority control:
- export record
  dblp key:
  - conf/ancs/KodirovBRBHH18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ancs/KodirovBRBHH18
Nodir Kodirov, Sam Bayless, Fabian Ruffy, Ivan Beschastnikh, Holger H. Hoos, Alan J. Hu:
VNF chain allocation and management at data center scale. ANCS 2018: 125-140
[c72]
- view
  authority control:
- export record
  dblp key:
  - conf/ancs/KodirovBRBHH18a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ancs/KodirovBRBHH18a
Nodir Kodirov, Sam Bayless, Fabian Ruffy, Ivan Beschastnikh, Holger H. Hoos, Alan J. Hu:
VNF chain abstraction for cloud service providers. ANCS 2018: 165-166
2017
[c71]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/BaylessKBHH17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/BaylessKBHH17
Sam Bayless, Nodir Kodirov, Ivan Beschastnikh, Holger H. Hoos, Alan J. Hu:
Scalable Constraint-based Virtual Data Center Allocation. IJCAI 2017: 546-554
2016
[c70]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/KlenzeBH16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/KlenzeBH16
Tobias Klenze, Sam Bayless, Alan J. Hu:
Fast, Flexible, and Minimal CTL Synthesis via SMT. CAV (1) 2016: 136-156
[c69]
- view
  authority control:
- export record
  dblp key:
  - conf/eurosp/ValEBAH16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eurosp/ValEBAH16
Celina G. Val, Michael A. Enescu, Sam Bayless, William Aiello, Alan J. Hu:
Precisely Measuring Quantitative Information Flow: 10K Lines of Code and Beyond. EuroS&P 2016: 31-46
[c68]
- view
  authority control:
- export record
  dblp key:
  - conf/iccad/BaylessHH16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccad/BaylessHH16
Sam Bayless, Holger H. Hoos, Alan J. Hu:
Scalable, high-quality, SAT-based multi-layer escape routing. ICCAD 2016: 22
2015
[c67]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/BaylessBHH15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/BaylessBHH15
Sam Bayless, Noah Bayless, Holger H. Hoos, Alan J. Hu:
SAT Modulo Monotonic Theories. AAAI 2015: 3702-3709
[c66]
- view
  authority control:
- export record
  dblp key:
  - conf/iccad/GallardoHIM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccad/GallardoHIM15
Ricardo Ochoa Gallardo, Alan J. Hu, André Ivanov, Maryam S. Mirian:
Reducing Post-Silicon Coverage Monitoring Overhead with Emulation and Bayesian Feature Selection. ICCAD 2015: 816-823
2014
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/todaes/ChengYVBHJJ14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/todaes/ChengYVBHJJ14
An-Che Cheng, Chia-Chih Jack Yen, Celina G. Val, Sam Bayless, Alan J. Hu, Iris Hui-Ru Jiang, Jing-Yang Jou:
Efficient Coverage-Driven Stimulus Generation Using Simultaneous SAT Solving, with Application to SystemVerilog. ACM Trans. Design Autom. Electr. Syst. 20(1): 7:1-7:23 (2014)
[c65]
- view
  authority control:
- export record
  dblp key:
  - conf/date/DrechslerCFHMSG14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/DrechslerCFHMSG14
Rolf Drechsler, Christophe Chevallaz, Franco Fummi, Alan J. Hu, Ronny Morad, Frank Schirrmeister, Alex Goryachev:
Panel: Future SoC verification methodology: UVM evolution or revolution? DATE 2014: 1-5
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/BaylessBHH14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BaylessBHH14
Sam Bayless, Noah Bayless, Holger H. Hoos, Alan J. Hu:
SAT Modulo Monotonic Theories. CoRR abs/1406.0043 (2014)
2013
[j10]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/fac/BabicCHR13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/BabicCHR13
Domagoj Babic, Byron Cook, Alan J. Hu, Zvonimir Rakamaric:
Proving termination of nonlinear command sequences. Formal Aspects Comput. 25(3): 389-403 (2013)
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/tc/BalstonKHIW13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tc/BalstonKHIW13
Kyle Balston, Mehdi Karimibiuki, Alan J. Hu, André Ivanov, Steven J. E. Wilton:
Post-Silicon Code Coverage for Multiprocessor System-on-Chip Designs. IEEE Trans. Computers 62(2): 242-246 (2013)
[c64]
- view
  - electronic edition @ ieee.org
  - no references & citations available
- export record
  dblp key:
  - conf/fmcad/BaylessVBHH13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/BaylessVBHH13
Sam Bayless, Celina G. Val, Thomas Ball, Holger H. Hoos, Alan J. Hu:
Efficient modular SAT solving for IC3. FMCAD 2013: 149-156
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1301-6704
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1301-6704
Jesse Hoey, Robert St-Aubin, Alan J. Hu, Craig Boutilier:
SPUDD: Stochastic Planning using Decision Diagrams. CoRR abs/1301.6704 (2013)
2012
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/tvlsi/GortPKAHWY12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tvlsi/GortPKAHWY12
Marcel Gort, Flavio M. de Paula, Johnny J. W. Kuan, Tor M. Aamodt, Alan J. Hu, Steven J. E. Wilton, Jin Yang:
Formal-Analysis-Based Trace Computation for Post-Silicon Debug. IEEE Trans. Very Large Scale Integr. Syst. 20(11): 1997-2010 (2012)
[c63]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/PaulaHN12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/PaulaHN12
Flavio M. de Paula, Alan J. Hu, Amir Nahir:
nuTAB-BackSpace: Rewriting to Normalize Non-determinism in Post-silicon Debug Traces. CAV 2012: 513-531
[c62]
- view
  authority control:
- export record
  dblp key:
  - conf/glvlsi/SenguptaPHVI12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/glvlsi/SenguptaPHVI12
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
[c61]
- view
  authority control:
- export record
  dblp key:
  - conf/hldvt/BalstonHWN12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hldvt/BalstonHWN12
Kyle Balston, Alan J. Hu, Steven J. E. Wilton, Amir Nahir:
Emulation in post-silicon validation: It's not just for functionality anymore. HLDVT 2012: 110-117
[c60]
- view
  authority control:
- export record
  dblp key:
  - conf/sat/BaylessH12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/BaylessH12
Sam Bayless, Alan J. Hu:
Single-Solver Algorithms for 2QBF - (Poster Presentation). SAT 2012: 487-488
[e6]
- view
  authority control:
- export record
  dblp key:
  - conf/iccad/2012
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccad/2012
Alan J. Hu:
2012 IEEE/ACM International Conference on Computer-Aided Design, ICCAD 2012, San Jose, CA, USA, November 5-8, 2012. ACM 2012, ISBN 978-1-4577-1398-9 [contents]
2011
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/ChocklerH11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/ChocklerH11
Hana Chockler, Alan J. Hu:
Preface. Int. J. Softw. Tools Technol. Transf. 13(3): 201-205 (2011)
[c59]
- view
  authority control:
- export record
  dblp key:
  - conf/dac/PaulaNNOH11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dac/PaulaNNOH11
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
[c58]
- view
  authority control:
- export record
  dblp key:
  - conf/dna/CondonHMT11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dna/CondonHMT11
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
[c57]
- view
  authority control:
- export record
  dblp key:
  - conf/hldvt/KarimibiukiBHI11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hldvt/KarimibiukiBHI11
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
[e5]
- view
- export record
  dblp key:
  - conf/iccad/2011
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccad/2011
Joel R. Phillips, Alan J. Hu, Helmut Graeb:
2011 IEEE/ACM International Conference on Computer-Aided Design, ICCAD 2011, San Jose, California, USA, November 7-10, 2011. IEEE Computer Society 2011, ISBN 978-1-4577-1399-6 [contents]
2010
[c56]
- view
  authority control:
- export record
  dblp key:
  - conf/dac/NahirZGHACBFBK10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dac/NahirZGHACBFBK10
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
[c55]
- view
  authority control:
- export record
  dblp key:
  - conf/hvc/HollanderHLM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hvc/HollanderHLM10
Yoav Hollander, Alan J. Hu, João Lourenço, Ronny Morad:
Special Session on Debugging. Haifa Verification Conference 2010: 24-28
[c54]
- view
  authority control:
- export record
  dblp key:
  - conf/spin/GhafariHR10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/GhafariHR10
Naghmeh Ghafari, Alan J. Hu, Zvonimir Rakamaric:
Context-Bounded Translations for Concurrent Software: An Empirical Evaluation. SPIN 2010: 227-244
[e4]
- view
- export record
  dblp key:
  - conf/iccad/2010
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccad/2010
Louis Scheffer, Joel R. Phillips, Alan J. Hu:
2010 International Conference on Computer-Aided Design, ICCAD 2010, San Jose, CA, USA, November 7-11, 2010. IEEE 2010, ISBN 978-1-4244-8192-7 [contents]

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/BabicH09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/BabicH09
Domagoj Babic, Alan J. Hu:
Approximating the safely reusable set of learned facts. Int. J. Softw. Tools Technol. Transf. 11(4): 325-338 (2009)
[c53]
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/RakamaricH09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/RakamaricH09
Zvonimir Rakamaric, Alan J. Hu:
A Scalable Memory Model for Low-Level Code. VMCAI 2009: 290-304
[e3]
- view
  authority control:
- export record
  dblp key:
  - conf/hvc/2008
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hvc/2008
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. Lecture Notes in Computer Science 5394, Springer 2009, ISBN 978-3-642-01701-8 [contents]
2008
[c52]
- view
  authority control:
- export record
  dblp key:
  - conf/fmcad/PaulaGHWY08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/PaulaGHWY08
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
[c51]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/BabicH08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/BabicH08
Domagoj Babic, Alan J. Hu:
Calysto: scalable and precise extended static checking. ICSE 2008: 211-220
[c50]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/RakamaricH08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/RakamaricH08
Zvonimir Rakamaric, Alan J. Hu:
Automatic Inference of Frame Axioms Using Static Analysis. ASE 2008: 89-98
[c49]
- view
  authority control:
- export record
  dblp key:
  - conf/mtv/PaulaGHW08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mtv/PaulaGHW08
Flavio M. de Paula, Marcel Gort, Alan J. Hu, Steven J. E. Wilton:
BackSpace: Moving Towards Reality. MTV 2008: 49-54
2007
[c48]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/RakamaricBHC07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/RakamaricBHC07
Zvonimir Rakamaric, Roberto Bruttomesso, Alan J. Hu, Alessandro Cimatti:
Verifying Heap-Manipulating Programs in an SMT Framework. ATVA 2007: 237-252
[c47]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/BabicH07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/BabicH07
Domagoj Babic, Alan J. Hu:
Structural Abstraction of Software Verification Conditions. CAV 2007: 366-378
[c46]
- view
  authority control:
- export record
  dblp key:
  - conf/dac/PaulaH07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dac/PaulaH07
Flavio M. de Paula, Alan J. Hu:
An Effective Guidance Strategy for Abstraction-Guided Simulation. DAC 2007: 63-68
[c45]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/dac/BacchiniHFRLTPZ07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dac/BacchiniHFRLTPZ07
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
[c44]
- view
  authority control:
- export record
  dblp key:
  - conf/fmcad/HutterBHH07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/HutterBHH07
Frank Hutter, Domagoj Babic, Holger H. Hoos, Alan J. Hu:
Boosting Verification by Automatic Tuning of Decision Procedures. FMCAD 2007: 27-34
[c43]
- view
  authority control:
- export record
  dblp key:
  - conf/hvc/Hu07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hvc/Hu07
Alan J. Hu:
Simulation vs. Formal: Absorb What Is Useful; Reject What Is Useless. Haifa Verification Conference 2007: 1-7
[c42]
- view
  authority control:
- export record
  dblp key:
  - conf/hvc/BabicH07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hvc/BabicH07
Domagoj Babic, Alan J. Hu:
Exploiting Shared Structure in Software Verification Conditions. Haifa Verification Conference 2007: 169-184
[c41]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/BabicHRC07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/BabicHRC07
Domagoj Babic, Alan J. Hu, Zvonimir Rakamaric, Byron Cook:
Proving Termination by Divergence. SEFM 2007: 93-102
[c40]
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/RakamaricBH07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/RakamaricBH07
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
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/ijpp/CurrieFFHKR06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijpp/CurrieFFHKR06
David W. Currie, Xiushan Feng, Masahiro Fujita, Alan J. Hu, Mark Kwan, Sreeranga P. Rajan:
Embedded Software Verification Using Symbolic Execution and Uninterpreted Functions. Int. J. Parallel Program. 34(1): 61-91 (2006)
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/pieee/SalehWMHGLPGI06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pieee/SalehWMHGLPGI06
Resve A. Saleh, Steven J. E. Wilton, Shahriar Mirabbasi, Alan J. Hu, Mark R. Greenstreet, Guy Lemieux, Partha Pratim Pande, Cristian Grecu, André Ivanov:
System-on-Chip: Reuse and Integration. Proc. IEEE 94(6): 1050-1069 (2006)
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/tc/BabicBH06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tc/BabicBH06
Domagoj Babic, Jesse D. Bingham, Alan J. Hu:
B-Cubing: New Possibilities for Efficient SAT-Solving. IEEE Trans. Computers 55(11): 1315-1324 (2006)
[c39]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/PaulaH06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/PaulaH06
Flavio M. de Paula, Alan J. Hu:
EverLost: A Flexible Platform for Industrial-Strength Abstraction-Guided Simulation. CAV 2006: 282-285
[c38]
- view
  authority control:
- export record
  dblp key:
  - conf/dac/FengH06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dac/FengH06
Xiushan Feng, Alan J. Hu:
Early cutpoint insertion for high-level software vs. RTL formal combinational equivalence verification. DAC 2006: 1063-1068
[c37]
- view
  authority control:
- export record
  dblp key:
  - conf/hldvt/Hu06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hldvt/Hu06
Alan J. Hu:
EverLost: A Flexible Platform for Industrial-Strength Abstraction-Guided Simulation. HLDVT 2006: 151-152
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/hldvt/ShuklaHAAFLP06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hldvt/ShuklaHAAFLP06
Sandeep K. Shukla, Alan J. Hu, Jacob Abrahams, Pranav Ashar, Harry Foster, Avner Landver, Carl Pixley:
Panel: Assertion-Based Verification -What's the Big Deal? HLDVT 2006: 183
2005
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/aspdac/BabicH05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aspdac/BabicH05
Domagoj Babic, Alan J. Hu:
Integration of supercubing and learning in a SAT solver. ASP-DAC 2005: 438-444
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/aspdac/FengHY05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aspdac/FengHY05
Xiushan Feng, Alan J. Hu, Jin Yang:
Partitioned model checking from software specifications. ASP-DAC 2005: 583-587
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/dac/BabicBH05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dac/BabicBH05
Domagoj Babic, Jesse D. Bingham, Alan J. Hu:
Efficient SAT solving: beyond supercubes. DAC 2005: 744-749
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/emsoft/FengH05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/emsoft/FengH05
Xiushan Feng, Alan J. Hu:
Cutpoints for formal equivalence verification of embedded software. EMSOFT 2005: 307-316
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/hldvt/BabicBH05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hldvt/BabicBH05
Domagoj Babic, Jesse D. Bingham, Alan J. Hu:
B-cubing theory: new possibilities for efficient SAT-solving. HLDVT 2005: 192-199
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/hpca/MartyBHHMW05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hpca/MartyBHHMW05
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
[c29]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/BinghamH05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/BinghamH05
Jesse D. Bingham, Alan J. Hu:
Empirically Efficient Verification for a Class of Infinite-State Systems. TACAS 2005: 77-92
2004
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/BinghamCHQZ04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/BinghamCHQZ04
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
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/iccd/NgHY04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccd/NgHY04
Kelvin Ng, Alan J. Hu, Jin Yang:
Generating Monitor Circuits for Simulation-Friendly GSTE Assertion Graphs. ICCD 2004: 409-416
[c26]
- view
  - electronic edition @ usenix.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/uss/DeanH04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/uss/DeanH04
Drew Dean, Alan J. Hu:
Fixing Races for Fun and Profit: How to Use access(2). USENIX Security Symposium 2004: 195-206
[e2]
- view
  authority control:
- export record
  dblp key:
  - conf/fmcad/2004
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/2004
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. Lecture Notes in Computer Science 3312, Springer 2004, ISBN 3-540-23738-0 [contents]
2003
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/mst/CondonH03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mst/CondonH03
Anne Condon, Alan J. Hu:
Automatable Verification of Sequential Consistency. Theory Comput. Syst. 36(5): 431-460 (2003)
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/charme/HuCY03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/charme/HuCY03
Alan J. Hu, Jeremy Casas, Jin Yang:
Reasoning about GSTE Assertion Graphs. CHARME 2003: 170-184
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/iccad/HuCY03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccad/HuCY03
Alan J. Hu, Jeremy Casas, Jin Yang:
Efficient Generation of Monitor Circuits for GSTE Assertion Graphs. ICCAD 2003: 154-160
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/spaa/BinghamCH03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spaa/BinghamCH03
Jesse D. Bingham, Anne Condon, Alan J. Hu:
Toward a decidable notion of sequential consistency. SPAA 2003: 304-313
2002
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/BinghamH02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/BinghamH02
Jesse D. Bingham, Alan J. Hu:
Semi-formal Bounded Model Checking. CAV 2002: 280-294
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/dac/OliveiraH02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dac/OliveiraH02
Marcio T. Oliveira, Alan J. Hu:
High-Level specification and automatic generation of IP interface monitors. DAC 2002: 129-134
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/lctrts/FengH02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lctrts/FengH02
Xiushan Feng, Alan J. Hu:
Automatic formal verification for scheduled VLIW code. LCTES-SCOPES 2002: 85-92
2001
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/charme/AlbrechtH01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/charme/AlbrechtH01
Alvin R. Albrecht, Alan J. Hu:
Register Transformations with Multiple Clock Domains. CHARME 2001: 126-139
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/hldvt/BraunCHJLLS01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hldvt/BraunCHJLLS01
Tim Braun, Anne Condon, Alan J. Hu, Kai S. Juse, Marius Laza, Michael Leslie, Rita Sharma:
Proving sequential consistency by model checking. HLDVT 2001: 103-108
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/iccd/ChangH01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccd/ChangH01
Felix Sheng-Ho Chang, Alan J. Hu:
Fast Specification of Cycle-accurate Processor Models. ICCD 2001: 488-492
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/spaa/CondonH01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spaa/CondonH01
Anne Condon, Alan J. Hu:
Automatable verification of sequential consistency. SPAA 2001: 113-121
2000
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/dac/CurrieHR00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dac/CurrieHR00
David W. Currie, Alan J. Hu, Sreeranga P. Rajan:
Automatic formal verification of DSP software. DAC 2000: 130-135
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/fmcad/ShimizuDH00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/ShimizuDH00
Kanna Shimizu, David L. Dill, Alan J. Hu:
Monitor-Based Formal Specification of PCI. FMCAD 2000: 335-353
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/iccd/WintersH00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccd/WintersH00
Brian D. Winters, Alan J. Hu:
Source-Level Transformations for Improved Formal Verification. ICCD 2000: 599-602

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1999
[c12]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/forte/HuLSV99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/HuLSV99
Alan J. Hu, Rui Li, Xizheng Shi, Son T. Vuong:
Model-Checking a Secure Gorup Communication Protocol: A Case Study. FORTE 1999: 469-478
[c11]
- view
  - electronic edition @ dslpitt.org (archived)
  - no references & citations available
- export record
  dblp key:
  - conf/uai/HoeySHB99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/uai/HoeySHB99
Jesse Hoey, Robert St-Aubin, Alan J. Hu, Craig Boutilier:
SPUDD: Stochastic Planning using Decision Diagrams. UAI 1999: 279-288
1998
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/dac/GovindarajuDHH98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dac/GovindarajuDHH98
Shankar G. Govindaraju, David L. Dill, Alan J. Hu, Mark Horowitz:
Approximate Reachability with BDDs Using Overlapping Projections. DAC 1998: 451-456
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/FujitaRH98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/FujitaRH98
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
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/fmcad/Milvang-JensenH98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/Milvang-JensenH98
Kim Milvang-Jensen, Alan J. Hu:
BDDNOW: A Parallel BDD Package. FMCAD 1998: 501-507
[e1]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/1998
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/1998
Alan J. Hu, Moshe Y. Vardi:
Computer Aided Verification, 10th International Conference, CAV '98, Vancouver, BC, Canada, June 28 - July 2, 1998, Proceedings. Lecture Notes in Computer Science 1427, Springer 1998, ISBN 3-540-64608-6 [contents]
1997
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/iccd/HuFW97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccd/HuFW97
Alan J. Hu, Masahiro Fujita, Chris Wilson:
Formal Verification of the HAL S1 System Cache Coherence Protocol. ICCD 1997: 438-444
1994
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/dac/HuYD94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dac/HuYD94
Alan J. Hu, Gary York, David L. Dill:
New Techniques for Efficient Verification with Implicitly Conjoined BDDs. DAC 1994: 276-282
1993
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/HuD93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/HuD93
Alan J. Hu, David L. Dill:
Efficient Verification with BDDs using Implicitly Conjoined Invariants. CAV 1993: 3-14
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/dac/HuD93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dac/HuD93
Alan J. Hu, David L. Dill:
Reducing BDD Size by Exploiting Functional Dependencies. DAC 1993: 266-271
1992
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/HuDDY92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/HuDDY92
Alan J. Hu, David L. Dill, Andreas J. Drexler, C. Han Yang:
Higher-Level Specification and Verification with BDDs. CAV 1992: 82-95
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/iccd/DillDHY92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccd/DillDHY92
David L. Dill, Andreas J. Drexler, Alan J. Hu, C. Han Yang:
Protocol Verification as a Hardware Design Aid. ICCD 1992: 522-525
1991
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/DillHW91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/DillHW91
David L. Dill, Alan J. Hu, Howard Wong-Toi:
Checking for Language Inclusion Using Simulation Preorders. CAV 1991: 255-265

1980 – 1989

see FAQ

What is the meaning of the colors in the publication lists?

1986
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/computing/Hu86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/computing/Hu86
Alan J. Hu:
Selection of the optimum uniform partition search. Computing 37(3): 261-264 (1986)

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.