Alan J. Hu - RankMe

100 papers A* 26A 11B 14C 6Misc 1Journal 17Unranked 24

Year	Rank	Type	Title / Venue / Authors
2024	—	`conf`	DRAT Proofs of Unsatisfiability for SAT Modulo Monotonic Theories. TACAS (1) Nick Feng, Alan J. Hu, Sam Bayless, Syed M. Iqbal, Patrick Trentin, Mike Whalen, Lee Pike, John Backes
2024	J	`jnl`	DRAT Proofs of Unsatisfiability for SAT Modulo Monotonic Theories. CoRR Nick Feng, Alan J. Hu, Sam Bayless, Syed M. Iqbal, Patrick Trentin, Mike Whalen, Lee Pike, John Backes
2023	J	`jnl`	Cache Abstraction for Data Race Detection in Heterogeneous Systems with Non-coherent Accelerators. ACM Trans. Embed. Comput. Syst. May Young, Alan J. Hu, Guy G. F. Lemieux
2022	—	`conf`	CoSpot: a cooperative VM allocation framework for increased revenue from spot instances. SoCC Syed M. Iqbal, Haley Li, Shane Bergsma, Ivan Beschastnikh, Alan J. Hu
2022	J	`jnl`	Gridiron: A Technique for Augmenting Cloud Workloads with Network Bandwidth Requirements. CoRR Nodir Kodirov, Shane Bergsma, Syed M. Iqbal, Alan J. Hu, Ivan Beschastnikh, Margo I. Seltzer
2021	B	`conf`	Cache abstraction for data race detection in heterogeneous systems with non-coherent accelerators. LCTES May Young, Alan J. Hu, Guy G. F. Lemieux
2020	J	`jnl`	Scalable constraint-based virtual data center allocation. Artif. Intell. Sam Bayless, Nodir Kodirov, Syed M. Iqbal, Ivan Beschastnikh, Holger H. Hoos, Alan J. Hu
2019	—	`conf`	Reachability Analysis for AWS-Based Networks. CAV (2) 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
2018	—	`conf`	VNF chain abstraction for cloud service providers. ANCS Nodir Kodirov, Sam Bayless, Fabian Ruffy, Ivan Beschastnikh, Holger H. Hoos, Alan J. Hu
2018	—	`conf`	VNF chain allocation and management at data center scale. ANCS Nodir Kodirov, Sam Bayless, Fabian Ruffy, Ivan Beschastnikh, Holger H. Hoos, Alan J. Hu
2017	A*	`conf`	Scalable Constraint-based Virtual Data Center Allocation. IJCAI Sam Bayless, Nodir Kodirov, Ivan Beschastnikh, Holger H. Hoos, Alan J. Hu
2016	—	`conf`	Fast, Flexible, and Minimal CTL Synthesis via SMT. CAV (1) Tobias Klenze, Sam Bayless, Alan J. Hu
2016	A	`conf`	Precisely Measuring Quantitative Information Flow: 10K Lines of Code and Beyond. EuroS&P Celina G. Val, Michael A. Enescu, Sam Bayless, William Aiello, Alan J. Hu
2016	A	`conf`	Scalable, high-quality, SAT-based multi-layer escape routing. ICCAD Sam Bayless, Holger H. Hoos, Alan J. Hu
2015	A	`conf`	Reducing Post-Silicon Coverage Monitoring Overhead with Emulation and Bayesian Feature Selection. ICCAD Ricardo Ochoa Gallardo, Alan J. Hu, André Ivanov, Maryam S. Mirian
2015	A*	`conf`	SAT Modulo Monotonic Theories. AAAI Sam Bayless, Noah Bayless, Holger H. Hoos, Alan J. Hu
2014	J	`jnl`	Efficient Coverage-Driven Stimulus Generation Using Simultaneous SAT Solving, with Application to SystemVerilog. ACM Trans. Design Autom. Electr. Syst. An-Che Cheng, Chia-Chih Jack Yen, Celina G. Val, Sam Bayless, Alan J. Hu, Iris Hui-Ru Jiang, Jing-Yang Jou
2014	A	`conf`	Panel: Future SoC verification methodology: UVM evolution or revolution? DATE Rolf Drechsler, Christophe Chevallaz, Franco Fummi, Alan J. Hu, Ronny Morad, Frank Schirrmeister, Alex Goryachev
2014	J	`jnl`	SAT Modulo Monotonic Theories. CoRR Sam Bayless, Noah Bayless, Holger H. Hoos, Alan J. Hu
2013	B	`conf`	Efficient modular SAT solving for IC3. FMCAD Sam Bayless, Celina G. Val, Thomas Ball, Holger H. Hoos, Alan J. Hu
2013	J	`jnl`	Post-Silicon Code Coverage for Multiprocessor System-on-Chip Designs. IEEE Trans. Computers Kyle Balston, Mehdi Karimibiuki, Alan J. Hu, André Ivanov, Steven J. E. Wilton
2013	J	`jnl`	Proving termination of nonlinear command sequences. Formal Aspects Comput. Domagoj Babic, Byron Cook, Alan J. Hu, Zvonimir Rakamaric
2013	J	`jnl`	SPUDD: Stochastic Planning using Decision Diagrams CoRR Jesse Hoey, Robert St-Aubin, Alan J. Hu, Craig Boutilier
2012	A	`ed.`	2012 IEEE/ACM International Conference on Computer-Aided Design, ICCAD 2012, San Jose, CA, USA, November 5-8, 2012 ICCAD Alan J. Hu
2012	—	`conf`	Emulation in post-silicon validation: It's not just for functionality anymore. HLDVT Kyle Balston, Alan J. Hu, Steven J. E. Wilton, Amir Nahir
2012	J	`jnl`	Formal-Analysis-Based Trace Computation for Post-Silicon Debug. IEEE Trans. Very Large Scale Integr. Syst. Marcel Gort, Flavio M. de Paula, Johnny J. W. Kuan, Tor M. Aamodt, Alan J. Hu, Steven J. E. Wilton, Jin Yang
2012	—	`conf`	Lazy suspect-set computation: fault diagnosis for deep electrical bugs. ACM Great Lakes Symposium on VLSI Dipanjan Sengupta, Flavio M. de Paula, Alan J. Hu, Andreas G. Veneris, André Ivanov
2012	A	`conf`	Single-Solver Algorithms for 2QBF - (Poster Presentation). SAT Sam Bayless, Alan J. Hu
2012	A*	`conf`	nuTAB-BackSpace: Rewriting to Normalize Non-determinism in Post-silicon Debug Traces. CAV Flavio M. de Paula, Alan J. Hu, Amir Nahir
2011	A	`ed.`	2011 IEEE/ACM International Conference on Computer-Aided Design, ICCAD 2011, San Jose, California, USA, November 7-10, 2011 ICCAD Joel R. Phillips, Alan J. Hu, Helmut Graeb
2011	B	`conf`	Less Haste, Less Waste: On Recycling and Its Limits in Strand Displacement Systems. DNA Anne Condon, Alan J. Hu, Ján Manuch, Chris Thachuk
2011	—	`conf`	Post-silicon code coverage evaluation with reduced area overhead for functional verification of SoC. HLDVT Mehdi Karimibiuki, Kyle Balston, Alan J. Hu, André Ivanov
2011	J	`jnl`	Preface. Int. J. Softw. Tools Technol. Transf. Hana Chockler, Alan J. Hu
2011	A*	`conf`	TAB-BackSpace: unlimited-length trace buffers with zero additional on-chip overhead. DAC Flavio M. de Paula, Amir Nahir, Ziv Nevo, Avigail Orni, Alan J. Hu
2010	A	`ed.`	2010 International Conference on Computer-Aided Design, ICCAD 2010, San Jose, CA, USA, November 7-11, 2010 ICCAD Louis Scheffer, Joel R. Phillips, Alan J. Hu
2010	A*	`conf`	Bridging pre-silicon verification and post-silicon validation. DAC Amir Nahir, Avi Ziv, Rajesh Galivanche, Alan J. Hu, Miron Abramovici, Albert Camilleri, Bob Bentley, Harry Foster, Valeria Bertacco, Shakti Kapoor
2010	—	`conf`	Context-Bounded Translations for Concurrent Software: An Empirical Evaluation. SPIN Naghmeh Ghafari, Alan J. Hu, Zvonimir Rakamaric
2010	—	`conf`	Special Session on Debugging. Haifa Verification Conference Yoav Hollander, Alan J. Hu, João Lourenço, Ronny Morad
2009	B	`conf`	A Scalable Memory Model for Low-Level Code. VMCAI Zvonimir Rakamaric, Alan J. Hu
2009	J	`jnl`	Approximating the safely reusable set of learned facts. Int. J. Softw. Tools Technol. Transf. Domagoj Babic, Alan J. Hu
2009	—	`ed.`	Hardware and Software: Verification and Testing, 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008. Proceedings Haifa Verification Conference Hana Chockler, Alan J. Hu
2008	A*	`conf`	Automatic Inference of Frame Axioms Using Static Analysis. ASE Zvonimir Rakamaric, Alan J. Hu
2008	B	`conf`	BackSpace: Formal Analysis for Post-Silicon Debug. FMCAD Flavio M. de Paula, Marcel Gort, Alan J. Hu, Steven J. E. Wilton, Jin Yang
2008	—	`conf`	BackSpace: Moving Towards Reality. MTV Flavio M. de Paula, Marcel Gort, Alan J. Hu, Steven J. E. Wilton
2008	A*	`conf`	Calysto: scalable and precise extended static checking. ICSE Domagoj Babic, Alan J. Hu
2007	A*	`conf`	An Effective Guidance Strategy for Abstraction-Guided Simulation. DAC Flavio M. de Paula, Alan J. Hu
2007	B	`conf`	An Inference-Rule-Based Decision Procedure for Verification of Heap-Manipulating Programs with Mutable Data and Cyclic Data Structures. VMCAI Zvonimir Rakamaric, Jesse D. Bingham, Alan J. Hu
2007	B	`conf`	Boosting Verification by Automatic Tuning of Decision Procedures. FMCAD Frank Hutter, Domagoj Babic, Holger H. Hoos, Alan J. Hu
2007	—	`conf`	Exploiting Shared Structure in Software Verification Conditions. Haifa Verification Conference Domagoj Babic, Alan J. Hu
2007	B	`conf`	Proving Termination by Divergence. SEFM Domagoj Babic, Alan J. Hu, Zvonimir Rakamaric, Byron Cook
2007	—	`conf`	Simulation vs. Formal: Absorb What Is Useful; Reject What Is Useless. Haifa Verification Conference Alan J. Hu
2007	A*	`conf`	Structural Abstraction of Software Verification Conditions. CAV Domagoj Babic, Alan J. Hu
2007	A*	`conf`	Verification Coverage: When is Enough, Enough? DAC Francine Bacchini, Alan J. Hu, Tom Fitzpatrick, Rajeev Ranjan, David Lacey, Mercedes Tan, Andrew Piziali, Avi Ziv
2007	B	`conf`	Verifying Heap-Manipulating Programs in an SMT Framework. ATVA Zvonimir Rakamaric, Roberto Bruttomesso, Alan J. Hu, Alessandro Cimatti
2006	J	`jnl`	B-Cubing: New Possibilities for Efficient SAT-Solving. IEEE Trans. Computers Domagoj Babic, Jesse D. Bingham, Alan J. Hu
2006	A*	`conf`	Early cutpoint insertion for high-level software vs. RTL formal combinational equivalence verification. DAC Xiushan Feng, Alan J. Hu
2006	J	`jnl`	Embedded Software Verification Using Symbolic Execution and Uninterpreted Functions. Int. J. Parallel Program. David W. Currie, Xiushan Feng, Masahiro Fujita, Alan J. Hu, Mark Kwan, Sreeranga P. Rajan
2006	A*	`conf`	EverLost: A Flexible Platform for Industrial-Strength Abstraction-Guided Simulation. CAV Flavio M. de Paula, Alan J. Hu
2006	—	`conf`	EverLost: A Flexible Platform for Industrial-Strength Abstraction-Guided Simulation. HLDVT Alan J. Hu
2006	—	`conf`	Panel: Assertion-Based Verification -What's the Big Deal? HLDVT Sandeep K. Shukla, Alan J. Hu, Jacob Abrahams, Pranav Ashar, Harry Foster, Avner Landver, Carl Pixley
2006	J	`jnl`	System-on-Chip: Reuse and Integration. Proc. IEEE Resve A. Saleh, Steven J. E. Wilton, Shahriar Mirabbasi, Alan J. Hu, Mark R. Greenstreet, Guy Lemieux, Partha Pratim Pande, Cristian Grecu, André Ivanov
2005	—	`conf`	B-cubing theory: new possibilities for efficient SAT-solving. HLDVT Domagoj Babic, Jesse D. Bingham, Alan J. Hu
2005	Misc	`conf`	Cutpoints for formal equivalence verification of embedded software. EMSOFT Xiushan Feng, Alan J. Hu
2005	A*	`conf`	Efficient SAT solving: beyond supercubes. DAC Domagoj Babic, Jesse D. Bingham, Alan J. Hu
2005	A	`conf`	Empirically Efficient Verification for a Class of Infinite-State Systems. TACAS Jesse D. Bingham, Alan J. Hu
2005	A*	`conf`	Improving Multiple-CMP Systems Using Token Coherence. HPCA Michael R. Marty, Jesse D. Bingham, Mark D. Hill, Alan J. Hu, Milo M. K. Martin, David A. Wood
2005	—	`conf`	Integration of supercubing and learning in a SAT solver. ASP-DAC Domagoj Babic, Alan J. Hu
2005	—	`conf`	Partitioned model checking from software specifications. ASP-DAC Xiushan Feng, Alan J. Hu, Jin Yang
2004	A*	`conf`	Automatic Verification of Sequential Consistency for Unbounded Addresses and Data Values. CAV Jesse D. Bingham, Anne Condon, Alan J. Hu, Shaz Qadeer, Zhichuan Zhang
2004	A*	`conf`	Fixing Races for Fun and Profit: How to Use access(2). USENIX Security Symposium Drew Dean, Alan J. Hu
2004	B	`ed.`	Formal Methods in Computer-Aided Design, 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings FMCAD Alan J. Hu, Andrew K. Martin
2004	C	`conf`	Generating Monitor Circuits for Simulation-Friendly GSTE Assertion Graphs. ICCD Kelvin Ng, Alan J. Hu, Jin Yang
2003	J	`jnl`	Automatable Verification of Sequential Consistency. Theory Comput. Syst. Anne Condon, Alan J. Hu
2003	A	`conf`	Efficient Generation of Monitor Circuits for GSTE Assertion Graphs. ICCAD Alan J. Hu, Jeremy Casas, Jin Yang
2003	—	`conf`	Reasoning about GSTE Assertion Graphs. CHARME Alan J. Hu, Jeremy Casas, Jin Yang
2003	B	`conf`	Toward a decidable notion of sequential consistency. SPAA Jesse D. Bingham, Anne Condon, Alan J. Hu
2002	—	`conf`	Automatic formal verification for scheduled VLIW code. LCTES-SCOPES Xiushan Feng, Alan J. Hu
2002	A*	`conf`	High-Level specification and automatic generation of IP interface monitors. DAC Marcio T. Oliveira, Alan J. Hu
2002	A*	`conf`	Semi-formal Bounded Model Checking. CAV Jesse D. Bingham, Alan J. Hu
2001	B	`conf`	Automatable verification of sequential consistency. SPAA Anne Condon, Alan J. Hu
2001	C	`conf`	Fast Specification of Cycle-accurate Processor Models. ICCD Felix Sheng-Ho Chang, Alan J. Hu
2001	—	`conf`	Proving sequential consistency by model checking. HLDVT Tim Braun, Anne Condon, Alan J. Hu, Kai S. Juse, Marius Laza, Michael Leslie, Rita Sharma
2001	—	`conf`	Register Transformations with Multiple Clock Domains. CHARME Alvin R. Albrecht, Alan J. Hu
2000	A*	`conf`	Automatic formal verification of DSP software. DAC David W. Currie, Alan J. Hu, Sreeranga P. Rajan
2000	B	`conf`	Monitor-Based Formal Specification of PCI. FMCAD Kanna Shimizu, David L. Dill, Alan J. Hu
2000	C	`conf`	Source-Level Transformations for Improved Formal Verification. ICCD Brian D. Winters, Alan J. Hu
1999	C	`conf`	Model-Checking a Secure Gorup Communication Protocol: A Case Study. FORTE Alan J. Hu, Rui Li, Xizheng Shi, Son T. Vuong
1999	A	`conf`	SPUDD: Stochastic Planning using Decision Diagrams. UAI Jesse Hoey, Robert St-Aubin, Alan J. Hu, Craig Boutilier
1998	A*	`conf`	Approximate Reachability with BDDs Using Overlapping Projections. DAC Shankar G. Govindaraju, David L. Dill, Alan J. Hu, Mark Horowitz
1998	B	`conf`	BDDNOW: A Parallel BDD Package. FMCAD Kim Milvang-Jensen, Alan J. Hu
1998	A*	`ed.`	Computer Aided Verification, 10th International Conference, CAV '98, Vancouver, BC, Canada, June 28 - July 2, 1998, Proceedings CAV Alan J. Hu, Moshe Y. Vardi
1998	—	`conf`	Two Real Formal Verification Experiences: ATM Switch Chip and Parallel Cache Protocol. FM-Trends Masahiro Fujita, Sreeranga P. Rajan, Alan J. Hu
1997	C	`conf`	Formal Verification of the HAL S1 System Cache Coherence Protocol. ICCD Alan J. Hu, Masahiro Fujita, Chris Wilson
1994	A*	`conf`	New Techniques for Efficient Verification with Implicitly Conjoined BDDs. DAC Alan J. Hu, Gary York, David L. Dill
1993	A*	`conf`	Efficient Verification with BDDs using Implicitly Conjoined Invariants. CAV Alan J. Hu, David L. Dill
1993	A*	`conf`	Reducing BDD Size by Exploiting Functional Dependencies. DAC Alan J. Hu, David L. Dill
1992	A*	`conf`	Higher-Level Specification and Verification with BDDs. CAV Alan J. Hu, David L. Dill, Andreas J. Drexler, C. Han Yang
1992	C	`conf`	Protocol Verification as a Hardware Design Aid. ICCD David L. Dill, Andreas J. Drexler, Alan J. Hu, C. Han Yang
1991	A*	`conf`	Checking for Language Inclusion Using Simulation Preorders. CAV David L. Dill, Alan J. Hu, Howard Wong-Toi
1986	J	`jnl`	Selection of the optimum uniform partition search. Computing Alan J. Hu