Search Results - "Yang, Deheng"

Sequential Consistency Per Location Theorem Proving in RISC-V Memory Consistency Model.

Authors: Xu, Xuezheng Yang, Deheng Wang, Lu et al.

Source: International Journal of Software & Informatics; 2025, Vol. 15 Issue 3, p283-305, 23p

Rtl design flaws revisited: a data-driven study of systematic bug patterns in Verilog code.

Authors: Meng, Xiankai Ji, Xiang Zhang, Guangda et al.

Source: Journal of Supercomputing; Sep2025, Vol. 81 Issue 14, p1-32, 32p

Demystifying API misuses in deep learning applications.

Authors: Yang, Deheng Liu, Kui Lei, Yan et al.

Source: Empirical Software Engineering. Apr2024, Vol. 29 Issue 2, p1-36. 36p.

An efficient method for RISC-V memory consistency testing based on loop unrolling.

Authors: HU, Jintao XU, Xuezheng YANG, Deheng et al.

Source: Computer Engineering & Science / Jisuanji Gongcheng yu Kexue. Nov2025, Vol. 47 Issue 11, p1932-1944. 13p.

Subjects: Reduced instruction set computers, Test methods, Open source software, Integrated circuit verification, Multiprocessors, Computer performance, Program transformation, Synchronization

Where were the repair ingredients for Defects4j bugs?

Authors: Yang, Deheng Liu, Kui Kim, Dongsun et al.

Source: Empirical Software Engineering. Nov2021, Vol. 26 Issue 6, p1-33. 33p.

Solving non-permutation flow-shop scheduling problem via a novel deep reinforcement learning approach.

Authors: Wang, Zhenyu Cai, Bin Li, Jun et al.

Source: Computers & Operations Research; Mar2023, Vol. 151, pN.PAG-N.PAG, 1p

Facet-specific interaction between methanol and TiO2 probed by sum-frequency vibrational spectroscopy.

Authors: Yang D Li Y Liu X et al.

Source: Proceedings of the National Academy of Sciences of the United States of America [Proc Natl Acad Sci U S A] 2018 Apr 24; Vol. 115 (17), pp. E3888-E3894. Date of Electronic Publication: 2018 Apr 09.

Publication Type: Journal Article; Research Support, U.S. Gov't, Non-P.H.S.; Research Support, Non-U.S. Gov't

Journal Info: Publisher: National Academy of Sciences Country of Publication: United States NLM ID: 7505876 Publication Model: Print-Electronic Cited Medium: Internet ISSN: 1091-6490 (Electronic) Linking ISSN: 00278424 NLM ISO Abbreviation: Proc Natl Acad Sci U S A Subsets: PubMed not MEDLINE

Evolution of anatase surface active sites probed by in situ sum-frequency phonon spectroscopy.

Authors: Cao Y Chen S Li Y et al.

Source: Science advances [Sci Adv] 2016 Sep 30; Vol. 2 (9), pp. e1601162. Date of Electronic Publication: 2016 Sep 30 (Print Publication: 2016).

Publication Type: Journal Article; Research Support, Non-U.S. Gov't; Research Support, U.S. Gov't, Non-P.H.S.

Journal Info: Publisher: American Association for the Advancement of Science Country of Publication: United States NLM ID: 101653440 Publication Model: eCollection Cited Medium: Internet ISSN: 2375-2548 (Electronic) Linking ISSN: 23752548 NLM ISO Abbreviation: Sci Adv Subsets: MEDLINE