Alan J. Hu

Publication Activity (10 Years)

Years Active: 1986-2024
Publications (10 Years): 14

Top Topics

Modulo Theories

Heterogeneous Systems

Top Venues

ACM Trans. Embed. Comput. Syst.

Publications

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 (2024)
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)
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) (2023)
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 (2022)
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)
May Young, Alan J. Hu, Guy G. F. Lemieux
Cache abstraction for data race detection in heterogeneous systems with non-coherent accelerators. LCTES (2021)
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)
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)
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)
Nodir Kodirov, Sam Bayless, Fabian Ruffy, Ivan Beschastnikh, Holger H. Hoos, Alan J. Hu
VNF chain abstraction for cloud service providers. ANCS (2018)
Sam Bayless, Nodir Kodirov, Ivan Beschastnikh, Holger H. Hoos, Alan J. Hu
Scalable Constraint-based Virtual Data Center Allocation. IJCAI (2017)
Sam Bayless, Holger H. Hoos, Alan J. Hu
Scalable, high-quality, SAT-based multi-layer escape routing. ICCAD (2016)
Tobias Klenze, Sam Bayless, Alan J. Hu
Fast, Flexible, and Minimal CTL Synthesis via SMT. CAV (1) (2016)
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)
Sam Bayless, Noah Bayless, Holger H. Hoos, Alan J. Hu
SAT Modulo Monotonic Theories. AAAI (2015)
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)
Sam Bayless, Noah Bayless, Holger H. Hoos, Alan J. Hu
SAT Modulo Monotonic Theories. CoRR (2014)
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)
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) (2014)
Domagoj Babic, Byron Cook, Alan J. Hu, Zvonimir Rakamaric
Proving termination of nonlinear command sequences. Formal Aspects Comput. 25 (3) (2013)
Jesse Hoey, Robert St-Aubin, Alan J. Hu, Craig Boutilier
SPUDD: Stochastic Planning using Decision Diagrams CoRR (2013)
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) (2013)
Sam Bayless, Celina G. Val, Thomas Ball, Holger H. Hoos, Alan J. Hu
Efficient modular SAT solving for IC3. FMCAD (2013)
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) (2012)
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)
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)
Flavio M. de Paula, Alan J. Hu, Amir Nahir
nuTAB-BackSpace: Rewriting to Normalize Non-determinism in Post-silicon Debug Traces. CAV (2012)
Sam Bayless, Alan J. Hu
Single-Solver Algorithms for 2QBF - (Poster Presentation). SAT (2012)
Hana Chockler, Alan J. Hu
Preface. Int. J. Softw. Tools Technol. Transf. 13 (3) (2011)
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)
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)
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)
Yoav Hollander, Alan J. Hu, João Lourenço, Ronny Morad
Special Session on Debugging. Haifa Verification Conference (2010)
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)
Naghmeh Ghafari, Alan J. Hu, Zvonimir Rakamaric
Context-Bounded Translations for Concurrent Software: An Empirical Evaluation. SPIN (2010)
Zvonimir Rakamaric, Alan J. Hu
A Scalable Memory Model for Low-Level Code. VMCAI (2009)
Domagoj Babic, Alan J. Hu
Approximating the safely reusable set of learned facts. Int. J. Softw. Tools Technol. Transf. 11 (4) (2009)
Zvonimir Rakamaric, Alan J. Hu
Automatic Inference of Frame Axioms Using Static Analysis. ASE (2008)
Domagoj Babic, Alan J. Hu
Calysto: scalable and precise extended static checking. ICSE (2008)
Flavio M. de Paula, Marcel Gort, Alan J. Hu, Steven J. E. Wilton
BackSpace: Moving Towards Reality. MTV (2008)
Flavio M. de Paula, Marcel Gort, Alan J. Hu, Steven J. E. Wilton, Jin Yang
BackSpace: Formal Analysis for Post-Silicon Debug. FMCAD (2008)
Domagoj Babic, Alan J. Hu
Structural Abstraction of Software Verification Conditions. CAV (2007)
Domagoj Babic, Alan J. Hu
Exploiting Shared Structure in Software Verification Conditions. Haifa Verification Conference (2007)
Domagoj Babic, Alan J. Hu, Zvonimir Rakamaric, Byron Cook
Proving Termination by Divergence. SEFM (2007)
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)
Alan J. Hu
Simulation vs. Formal: Absorb What Is Useful; Reject What Is Useless. Haifa Verification Conference (2007)
Flavio M. de Paula, Alan J. Hu
An Effective Guidance Strategy for Abstraction-Guided Simulation. DAC (2007)
Zvonimir Rakamaric, Roberto Bruttomesso, Alan J. Hu, Alessandro Cimatti
Verifying Heap-Manipulating Programs in an SMT Framework. ATVA (2007)
Frank Hutter, Domagoj Babic, Holger H. Hoos, Alan J. Hu
Boosting Verification by Automatic Tuning of Decision Procedures. FMCAD (2007)
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)
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)
Flavio M. de Paula, Alan J. Hu
EverLost: A Flexible Platform for Industrial-Strength Abstraction-Guided Simulation. CAV (2006)
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) (2006)
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) (2006)
Domagoj Babic, Jesse D. Bingham, Alan J. Hu
B-Cubing: New Possibilities for Efficient SAT-Solving. IEEE Trans. Computers 55 (11) (2006)
Xiushan Feng, Alan J. Hu
Early cutpoint insertion for high-level software vs. RTL formal combinational equivalence verification. DAC (2006)
Alan J. Hu
EverLost: A Flexible Platform for Industrial-Strength Abstraction-Guided Simulation. HLDVT (2006)
Domagoj Babic, Alan J. Hu
Integration of supercubing and learning in a SAT solver. ASP-DAC (2005)
Xiushan Feng, Alan J. Hu
Cutpoints for formal equivalence verification of embedded software. EMSOFT (2005)
Domagoj Babic, Jesse D. Bingham, Alan J. Hu
B-cubing theory: new possibilities for efficient SAT-solving. HLDVT (2005)
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)
Xiushan Feng, Alan J. Hu, Jin Yang
Partitioned model checking from software specifications. ASP-DAC (2005)
Domagoj Babic, Jesse D. Bingham, Alan J. Hu
Efficient SAT solving: beyond supercubes. DAC (2005)
Jesse D. Bingham, Alan J. Hu
Empirically Efficient Verification for a Class of Infinite-State Systems. TACAS (2005)
Kelvin Ng, Alan J. Hu, Jin Yang
Generating Monitor Circuits for Simulation-Friendly GSTE Assertion Graphs. ICCD (2004)
Drew Dean, Alan J. Hu
Fixing Races for Fun and Profit: How to Use access(2). USENIX Security Symposium (2004)
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)
Jesse D. Bingham, Anne Condon, Alan J. Hu
Toward a decidable notion of sequential consistency. SPAA (2003)
Alan J. Hu, Jeremy Casas, Jin Yang
Efficient Generation of Monitor Circuits for GSTE Assertion Graphs. ICCAD (2003)
Anne Condon, Alan J. Hu
Automatable Verification of Sequential Consistency. Theory Comput. Syst. 36 (5) (2003)
Alan J. Hu, Jeremy Casas, Jin Yang
Reasoning about GSTE Assertion Graphs. CHARME (2003)
Xiushan Feng, Alan J. Hu
Automatic formal verification for scheduled VLIW code. LCTES-SCOPES (2002)
Jesse D. Bingham, Alan J. Hu
Semi-formal Bounded Model Checking. CAV (2002)
Marcio T. Oliveira, Alan J. Hu
High-Level specification and automatic generation of IP interface monitors. DAC (2002)
Tim Braun, Anne Condon, Alan J. Hu, Kai S. Juse, Marius Laza, Michael Leslie, Rita Sharma
Proving sequential consistency by model checking. HLDVT (2001)
Anne Condon, Alan J. Hu
Automatable verification of sequential consistency. SPAA (2001)
Felix Sheng-Ho Chang, Alan J. Hu
Fast Specification of Cycle-accurate Processor Models. ICCD (2001)
Alvin R. Albrecht, Alan J. Hu
Register Transformations with Multiple Clock Domains. CHARME (2001)
Kanna Shimizu, David L. Dill, Alan J. Hu
Monitor-Based Formal Specification of PCI. FMCAD (2000)
David W. Currie, Alan J. Hu, Sreeranga P. Rajan
Automatic formal verification of DSP software. DAC (2000)
Brian D. Winters, Alan J. Hu
Source-Level Transformations for Improved Formal Verification. ICCD (2000)
Alan J. Hu, Rui Li, Xizheng Shi, Son T. Vuong
Model-Checking a Secure Gorup Communication Protocol: A Case Study. FORTE (1999)
Jesse Hoey, Robert St-Aubin, Alan J. Hu, Craig Boutilier
SPUDD: Stochastic Planning using Decision Diagrams. UAI (1999)
Shankar G. Govindaraju, David L. Dill, Alan J. Hu, Mark Horowitz
Approximate Reachability with BDDs Using Overlapping Projections. DAC (1998)
Masahiro Fujita, Sreeranga P. Rajan, Alan J. Hu
Two Real Formal Verification Experiences: ATM Switch Chip and Parallel Cache Protocol. FM-Trends (1998)
Kim Milvang-Jensen, Alan J. Hu
BDDNOW: A Parallel BDD Package. FMCAD (1998)
Alan J. Hu, Masahiro Fujita, Chris Wilson
Formal Verification of the HAL S1 System Cache Coherence Protocol. ICCD (1997)
Alan J. Hu, Gary York, David L. Dill
New Techniques for Efficient Verification with Implicitly Conjoined BDDs. DAC (1994)
Alan J. Hu, David L. Dill
Reducing BDD Size by Exploiting Functional Dependencies. DAC (1993)
Alan J. Hu, David L. Dill
Efficient Verification with BDDs using Implicitly Conjoined Invariants. CAV (1993)
David L. Dill, Andreas J. Drexler, Alan J. Hu, C. Han Yang
Protocol Verification as a Hardware Design Aid. ICCD (1992)
Alan J. Hu, David L. Dill, Andreas J. Drexler, C. Han Yang
Higher-Level Specification and Verification with BDDs. CAV (1992)
David L. Dill, Alan J. Hu, Howard Wong-Toi
Checking for Language Inclusion Using Simulation Preorders. CAV (1991)
Alan J. Hu
Selection of the optimum uniform partition search. Computing 37 (3) (1986)