Ping Gao - RankMe

20 papers A 3C 3Misc 2Unranked 12

Year	Rank	Type	Title / Venue / Authors
2016	Misc	`conf`	Application of Hierarchical Hybrid Encodings to Solve CSPs as Equivalent SAT Problems. ISAIM Miroslav N. Velev, Ping Gao
2015	—	`conf`	Exploiting abstraction, learning from random simulation, and SVM classification for efficient dynamic prediction of software health problems. ISQED Miroslav N. Velev, Chaoqiang Zhang, Ping Gao, Alex David Groce
2014	—	`conf`	Efficient parallel GPU algorithms for BDD manipulation. ASP-DAC Miroslav N. Velev, Ping Gao
2014	—	`conf`	Formal verification of safety of polymorphic heterogeneous multi-core architectures. ISQED Miroslav N. Velev, Ping Gao
2014	A	`conf`	Improving the efficiency of automated debugging of pipelined microprocessors by symmetry breaking in modular schemes for boolean encoding of cardinality. ICCAD Miroslav N. Velev, Ping Gao
2012	—	`conf`	Automated debugging of counterexamples in formal verification of pipelined microprocessors. ASP-DAC Miroslav N. Velev, Ping Gao
2011	A	`conf`	Automatic formal verification of multithreaded pipelined microprocessors. ICCAD Miroslav N. Velev, Ping Gao
2011	—	`conf`	Automatic formal verification of reconfigurable DSPs. ASP-DAC Miroslav N. Velev, Ping Gao
2011	C	`conf`	CNF encodings of cardinality in formal methods for robustness checking of gate-level circuits. ISCAS Miroslav N. Velev, Ping Gao
2011	—	`conf`	Efficient Pseudo-Boolean Satisfiability Encodings for Routing and Wavelength Assignment in Optical Networks. SARA Miroslav N. Velev, Ping Gao
2011	C	`conf`	Exploiting Abstraction for Efficient Formal Verification of DSPs with Arrays of Reconfigurable Functional Units. ICFEM Miroslav N. Velev, Ping Gao
2011	—	`conf`	Modular Schemes for Constructing Equivalent Boolean Encodings of Cardinality Constraints and Application to Error Diagnosis in Formal Verification of Pipelined Microprocessors. SARA Miroslav N. Velev, Ping Gao
2010	—	`conf`	A method for debugging of pipelined processors in formal verification by correspondence checking. ASP-DAC Miroslav N. Velev, Ping Gao
2010	Misc	`conf`	Design of parallel portfolios for SAT-based solving of Hamiltonian cycle problems. ISAIM Miroslav N. Velev, Ping Gao
2010	C	`conf`	Method for Formal Verification of Soft-Error Tolerance Mechanisms in Pipelined Microprocessors. ICFEM Miroslav N. Velev, Ping Gao
2009	—	`conf`	Efficient SAT Techniques for Absolute Encoding of Permutation Problems: Application to Hamiltonian Cycles. SARA Miroslav N. Velev, Ping Gao
2009	—	`conf`	Efficient SAT Techniques for Relative Encoding of Permutations with Constraints. Australasian Conference on Artificial Intelligence Miroslav N. Velev, Ping Gao
2009	—	`conf`	Efficient SAT-based techniques for Design of Experiments by using static variable ordering. ISQED Miroslav N. Velev, Ping Gao
2009	—	`conf`	Exploiting hierarchical encodings of equality to design independent strategies in parallel SMT decision procedures for a logic of equality. HLDVT Miroslav N. Velev, Ping Gao
2008	A	`conf`	Comparison of Boolean Satisfiability Encodings on FPGA Detailed Routing Problems. DATE Miroslav N. Velev, Ping Gao