Alan J. Hu
Orcid: 0000-0002-4276-0169
According to our database1,
Alan J. Hu
authored at least 89 papers
between 1986 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024
2023
Cache Abstraction for Data Race Detection in Heterogeneous Systems with Non-coherent Accelerators.
ACM Trans. Embed. Comput. Syst., 2023
2022
Gridiron: A Technique for Augmenting Cloud Workloads with Network Bandwidth Requirements.
CoRR, 2022
CoSpot: a cooperative VM allocation framework for increased revenue from spot instances.
Proceedings of the 13th Symposium on Cloud Computing, SoCC 2022, 2022
2020
2019
Proceedings of the Computer Aided Verification - 31st International Conference, 2019
2018
Proceedings of the 2018 Symposium on Architectures for Networking and Communications Systems, 2018
Proceedings of the 2018 Symposium on Architectures for Networking and Communications Systems, 2018
2017
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017
2016
Proceedings of the 35th International Conference on Computer-Aided Design, 2016
Proceedings of the IEEE European Symposium on Security and Privacy, 2016
Proceedings of the Computer Aided Verification - 28th International Conference, 2016
2015
Reducing Post-Silicon Coverage Monitoring Overhead with Emulation and Bayesian Feature Selection.
Proceedings of the IEEE/ACM International Conference on Computer-Aided Design, 2015
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015
2014
Efficient Coverage-Driven Stimulus Generation Using Simultaneous SAT Solving, with Application to SystemVerilog.
ACM Trans. Design Autom. Electr. Syst., 2014
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014
2013
IEEE Trans. Computers, 2013
Proceedings of the Formal Methods in Computer-Aided Design, 2013
2012
IEEE Trans. Very Large Scale Integr. Syst., 2012
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2012, 2012
Proceedings of the 2012 IEEE International High Level Design Validation and Test Workshop, 2012
Proceedings of the Great Lakes Symposium on VLSI 2012, 2012
nuTAB-BackSpace: Rewriting to Normalize Non-determinism in Post-silicon Debug Traces.
Proceedings of the Computer Aided Verification - 24th International Conference, 2012
2011
Post-silicon code coverage evaluation with reduced area overhead for functional verification of SoC.
Proceedings of the 2011 IEEE International High Level Design Validation and Test Workshop, 2011
Proceedings of the DNA Computing and Molecular Programming - 17th International Conference, 2011
Proceedings of the 48th Design Automation Conference, 2011
2010
Proceedings of the Model Checking Software, 2010
Proceedings of the Hardware and Software: Verification and Testing, 2010
Proceedings of the 47th Design Automation Conference, 2010
2009
Int. J. Softw. Tools Technol. Transf., 2009
2008
Proceedings of the Ninth International Workshop on Microprocessor Test and Verification, 2008
Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 2008
Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008
Proceedings of the Formal Methods in Computer-Aided Design, 2008
2007
An Inference-Rule-Based Decision Procedure for Verification of Heap-Manipulating Programs with Mutable Data and Cyclic Data Structures.
Proceedings of the Verification, 2007
Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 2007
Proceedings of the Hardware and Software: Verification and Testing, 2007
Proceedings of the Hardware and Software: Verification and Testing, 2007
Proceedings of the Formal Methods in Computer-Aided Design, 7th International Conference, 2007
Proceedings of the 44th Design Automation Conference, 2007
Verification Coverage: When is Enough, Enough?
Proceedings of the 44th Design Automation Conference, 2007
Proceedings of the Computer Aided Verification, 19th International Conference, 2007
Proceedings of the Automated Technology for Verification and Analysis, 2007
2006
Int. J. Parallel Program., 2006
Proceedings of the Eleventh Annual IEEE International High-Level Design Validation and Test Workshop 2006, 2006
Proceedings of the Eleventh Annual IEEE International High-Level Design Validation and Test Workshop 2006, 2006
Early cutpoint insertion for high-level software vs. RTL formal combinational equivalence verification.
Proceedings of the 43rd Design Automation Conference, 2006
Proceedings of the Computer Aided Verification, 18th International Conference, 2006
2005
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2005
Proceedings of the 11th International Conference on High-Performance Computer Architecture (HPCA-11 2005), 2005
Proceedings of the Tenth IEEE International High-Level Design Validation and Test Workshop 2005, Napa Valley, CA, USA, November 30, 2005
Proceedings of the EMSOFT 2005, 2005
Proceedings of the 42nd Design Automation Conference, 2005
Proceedings of the 2005 Conference on Asia South Pacific Design Automation, 2005
Proceedings of the 2005 Conference on Asia South Pacific Design Automation, 2005
2004
Proceedings of the 13th USENIX Security Symposium, August 9-13, 2004, San Diego, CA, USA, 2004
Proceedings of the 22nd IEEE International Conference on Computer Design: VLSI in Computers & Processors (ICCD 2004), 2004
Automatic Verification of Sequential Consistency for Unbounded Addresses and Data Values.
Proceedings of the Computer Aided Verification, 16th International Conference, 2004
2003
Proceedings of the SPAA 2003: Proceedings of the Fifteenth Annual ACM Symposium on Parallelism in Algorithms and Architectures, 2003
Proceedings of the 2003 International Conference on Computer-Aided Design, 2003
Proceedings of the Correct Hardware Design and Verification Methods, 2003
2002
Proceedings of the 2002 Joint Conference on Languages, 2002
Proceedings of the 39th Design Automation Conference, 2002
Proceedings of the Computer Aided Verification, 14th International Conference, 2002
2001
Proceedings of the 19th International Conference on Computer Design (ICCD 2001), 2001
Proceedings of the Sixth IEEE International High-Level Design Validation and Test Workshop 2001, 2001
Proceedings of the Correct Hardware Design and Verification Methods, 2001
2000
Proceedings of the IEEE International Conference On Computer Design: VLSI In Computers & Processors, 2000
Proceedings of the Formal Methods in Computer-Aided Design, Third International Conference, 2000
Proceedings of the 37th Conference on Design Automation, 2000
1999
Proceedings of the UAI '99: Proceedings of the Fifteenth Conference on Uncertainty in Artificial Intelligence, Stockholm, Sweden, July 30, 1999
Model-Checking a Secure Gorup Communication Protocol: A Case Study.
Proceedings of the Formal Methods for Protocol Engineering and Distributed Systems, 1999
1998
Proceedings of the Formal Methods in Computer-Aided Design, 1998
Two Real Formal Verification Experiences: ATM Switch Chip and Parallel Cache Protocol.
Proceedings of the Applied Formal Methods, 1998
Proceedings of the 35th Conference on Design Automation, 1998
1997
Proceedings of the Proceedings 1997 International Conference on Computer Design: VLSI in Computers & Processors, 1997
1994
Proceedings of the 31st Conference on Design Automation, 1994
1993
Proceedings of the 30th Design Automation Conference. Dallas, 1993
Proceedings of the Computer Aided Verification, 5th International Conference, 1993
1992
Proceedings of the Proceedings 1992 IEEE International Conference on Computer Design: VLSI in Computer & Processors, 1992
Proceedings of the Computer Aided Verification, Fourth International Workshop, 1992
1991
Proceedings of the Computer Aided Verification, 3rd International Workshop, 1991
1986