default search action
Alan J. Hu
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c77]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]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]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]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]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]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]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
- 2019
- [c74]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]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]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]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]Tobias Klenze, Sam Bayless, Alan J. Hu:
Fast, Flexible, and Minimal CTL Synthesis via SMT. CAV (1) 2016: 136-156 - [c69]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]Sam Bayless, Holger H. Hoos, Alan J. Hu:
Scalable, high-quality, SAT-based multi-layer escape routing. ICCAD 2016: 22 - 2015
- [c67]Sam Bayless, Noah Bayless, Holger H. Hoos, Alan J. Hu:
SAT Modulo Monotonic Theories. AAAI 2015: 3702-3709 - [c66]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]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]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]Sam Bayless, Noah Bayless, Holger H. Hoos, Alan J. Hu:
SAT Modulo Monotonic Theories. CoRR abs/1406.0043 (2014) - 2013
- [j10]Domagoj Babic, Byron Cook, Alan J. Hu, Zvonimir Rakamaric:
Proving termination of nonlinear command sequences. Formal Aspects Comput. 25(3): 389-403 (2013) - [j9]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]Sam Bayless, Celina G. Val, Thomas Ball, Holger H. Hoos, Alan J. Hu:
Efficient modular SAT solving for IC3. FMCAD 2013: 149-156 - [i1]Jesse Hoey, Robert St-Aubin, Alan J. Hu, Craig Boutilier:
SPUDD: Stochastic Planning using Decision Diagrams. CoRR abs/1301.6704 (2013) - 2012
- [j8]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]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]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]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]Sam Bayless, Alan J. Hu:
Single-Solver Algorithms for 2QBF - (Poster Presentation). SAT 2012: 487-488 - [e6]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]Hana Chockler, Alan J. Hu:
Preface. Int. J. Softw. Tools Technol. Transf. 13(3): 201-205 (2011) - [c59]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]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]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]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]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]Yoav Hollander, Alan J. Hu, João Lourenço, Ronny Morad:
Special Session on Debugging. Haifa Verification Conference 2010: 24-28 - [c54]Naghmeh Ghafari, Alan J. Hu, Zvonimir Rakamaric:
Context-Bounded Translations for Concurrent Software: An Empirical Evaluation. SPIN 2010: 227-244 - [e4]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
- 2009
- [j6]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]Zvonimir Rakamaric, Alan J. Hu:
A Scalable Memory Model for Low-Level Code. VMCAI 2009: 290-304 - [e3]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]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]Domagoj Babic, Alan J. Hu:
Calysto: scalable and precise extended static checking. ICSE 2008: 211-220 - [c50]Zvonimir Rakamaric, Alan J. Hu:
Automatic Inference of Frame Axioms Using Static Analysis. ASE 2008: 89-98 - [c49]Flavio M. de Paula, Marcel Gort, Alan J. Hu, Steven J. E. Wilton:
BackSpace: Moving Towards Reality. MTV 2008: 49-54 - 2007
- [c48]Zvonimir Rakamaric, Roberto Bruttomesso, Alan J. Hu, Alessandro Cimatti:
Verifying Heap-Manipulating Programs in an SMT Framework. ATVA 2007: 237-252 - [c47]Domagoj Babic, Alan J. Hu:
Structural Abstraction of Software Verification Conditions. CAV 2007: 366-378 - [c46]Flavio M. de Paula, Alan J. Hu:
An Effective Guidance Strategy for Abstraction-Guided Simulation. DAC 2007: 63-68 - [c45]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]Frank Hutter, Domagoj Babic, Holger H. Hoos, Alan J. Hu:
Boosting Verification by Automatic Tuning of Decision Procedures. FMCAD 2007: 27-34 - [c43]Alan J. Hu:
Simulation vs. Formal: Absorb What Is Useful; Reject What Is Useless. Haifa Verification Conference 2007: 1-7 - [c42]Domagoj Babic, Alan J. Hu:
Exploiting Shared Structure in Software Verification Conditions. Haifa Verification Conference 2007: 169-184 - [c41]Domagoj Babic, Alan J. Hu, Zvonimir Rakamaric, Byron Cook:
Proving Termination by Divergence. SEFM 2007: 93-102 - [c40]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]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]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]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]Flavio M. de Paula, Alan J. Hu:
EverLost: A Flexible Platform for Industrial-Strength Abstraction-Guided Simulation. CAV 2006: 282-285 - [c38]Xiushan Feng, Alan J. Hu:
Early cutpoint insertion for high-level software vs. RTL formal combinational equivalence verification. DAC 2006: 1063-1068 - [c37]Alan J. Hu:
EverLost: A Flexible Platform for Industrial-Strength Abstraction-Guided Simulation. HLDVT 2006: 151-152 - [c36]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]Domagoj Babic, Alan J. Hu:
Integration of supercubing and learning in a SAT solver. ASP-DAC 2005: 438-444 - [c34]Xiushan Feng, Alan J. Hu, Jin Yang:
Partitioned model checking from software specifications. ASP-DAC 2005: 583-587 - [c33]Domagoj Babic, Jesse D. Bingham, Alan J. Hu:
Efficient SAT solving: beyond supercubes. DAC 2005: 744-749 - [c32]Xiushan Feng, Alan J. Hu:
Cutpoints for formal equivalence verification of embedded software. EMSOFT 2005: 307-316 - [c31]Domagoj Babic, Jesse D. Bingham, Alan J. Hu:
B-cubing theory: new possibilities for efficient SAT-solving. HLDVT 2005: 192-199 - [c30]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]Jesse D. Bingham, Alan J. Hu:
Empirically Efficient Verification for a Class of Infinite-State Systems. TACAS 2005: 77-92 - 2004
- [c28]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]Kelvin Ng, Alan J. Hu, Jin Yang:
Generating Monitor Circuits for Simulation-Friendly GSTE Assertion Graphs. ICCD 2004: 409-416 - [c26]Drew Dean, Alan J. Hu:
Fixing Races for Fun and Profit: How to Use access(2). USENIX Security Symposium 2004: 195-206 - [e2]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]Anne Condon, Alan J. Hu:
Automatable Verification of Sequential Consistency. Theory Comput. Syst. 36(5): 431-460 (2003) - [c25]Alan J. Hu, Jeremy Casas, Jin Yang:
Reasoning about GSTE Assertion Graphs. CHARME 2003: 170-184 - [c24]Alan J. Hu, Jeremy Casas, Jin Yang:
Efficient Generation of Monitor Circuits for GSTE Assertion Graphs. ICCAD 2003: 154-160 - [c23]Jesse D. Bingham, Anne Condon, Alan J. Hu:
Toward a decidable notion of sequential consistency. SPAA 2003: 304-313 - 2002
- [c22]Jesse D. Bingham, Alan J. Hu:
Semi-formal Bounded Model Checking. CAV 2002: 280-294 - [c21]Marcio T. Oliveira, Alan J. Hu:
High-Level specification and automatic generation of IP interface monitors. DAC 2002: 129-134 - [c20]Xiushan Feng, Alan J. Hu:
Automatic formal verification for scheduled VLIW code. LCTES-SCOPES 2002: 85-92 - 2001
- [c19]Alvin R. Albrecht, Alan J. Hu:
Register Transformations with Multiple Clock Domains. CHARME 2001: 126-139 - [c18]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]Felix Sheng-Ho Chang, Alan J. Hu:
Fast Specification of Cycle-accurate Processor Models. ICCD 2001: 488-492 - [c16]Anne Condon, Alan J. Hu:
Automatable verification of sequential consistency. SPAA 2001: 113-121 - 2000
- [c15]David W. Currie, Alan J. Hu, Sreeranga P. Rajan:
Automatic formal verification of DSP software. DAC 2000: 130-135 - [c14]Kanna Shimizu, David L. Dill, Alan J. Hu:
Monitor-Based Formal Specification of PCI. FMCAD 2000: 335-353 - [c13]Brian D. Winters, Alan J. Hu:
Source-Level Transformations for Improved Formal Verification. ICCD 2000: 599-602
1990 – 1999
- 1999
- [c12]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]Jesse Hoey, Robert St-Aubin, Alan J. Hu, Craig Boutilier:
SPUDD: Stochastic Planning using Decision Diagrams. UAI 1999: 279-288 - 1998
- [c10]Shankar G. Govindaraju, David L. Dill, Alan J. Hu, Mark Horowitz:
Approximate Reachability with BDDs Using Overlapping Projections. DAC 1998: 451-456 - [c9]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]Kim Milvang-Jensen, Alan J. Hu:
BDDNOW: A Parallel BDD Package. FMCAD 1998: 501-507 - [e1]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]Alan J. Hu, Masahiro Fujita, Chris Wilson:
Formal Verification of the HAL S1 System Cache Coherence Protocol. ICCD 1997: 438-444 - 1994
- [c6]Alan J. Hu, Gary York, David L. Dill:
New Techniques for Efficient Verification with Implicitly Conjoined BDDs. DAC 1994: 276-282 - 1993
- [c5]Alan J. Hu, David L. Dill:
Efficient Verification with BDDs using Implicitly Conjoined Invariants. CAV 1993: 3-14 - [c4]Alan J. Hu, David L. Dill:
Reducing BDD Size by Exploiting Functional Dependencies. DAC 1993: 266-271 - 1992
- [c3]Alan J. Hu, David L. Dill, Andreas J. Drexler, C. Han Yang:
Higher-Level Specification and Verification with BDDs. CAV 1992: 82-95 - [c2]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]David L. Dill, Alan J. Hu, Howard Wong-Toi:
Checking for Language Inclusion Using Simulation Preorders. CAV 1991: 255-265
1980 – 1989
- 1986
- [j1]Alan J. Hu:
Selection of the optimum uniform partition search. Computing 37(3): 261-264 (1986)
Coauthor Index
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.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-07-10 21:28 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint