Search Results - "Peiming Liu"

  • Showing 1 - 7 results of 7
Refine Results
  1. 1

    Thetis-lathe: Guidance on Reducing Residual Safety Obstacle in System Software from Rust Source Codes.

    Authors: Jiang, Renshuang Dong, Pan Ding, Yan et al.

    Source: ACM Transactions on Embedded Computing Systems; Jul2025, Vol. 24 Issue 4, p1-25, 25p

    PDF Full Text
    Save to List
  2. 2

    SafeDrop: Detecting Memory Deallocation Bugs of Rust Programs via Static Data-flow Analysis.

    Authors: CUI, MOHAN CHENGJUN CHEN HUI XU et al.

    Source: ACM Transactions on Software Engineering & Methodology; Jul2023, Vol. 32 Issue 4, p1-32, 32p

    PDF Full Text
    Save to List
  3. 3

    Hippodrome: Data Race Repair Using Static Analysis Summaries.

    Authors: COSTEA, ANDREEA TIWARI, ABHISHEK CHIANASTA, SIGMUND et al.

    Source: ACM Transactions on Software Engineering & Methodology; Mar2023, Vol. 32 Issue 2, p1-33, 33p

    PDF Full Text
    Save to List
  4. 4

    PUS: a fast and highly efficient solver for inclusion-based pointer analysis.

    Authors: Liu, Peiming Li, Yanze Swain, Brad et al.

    Source: ICSE: International Conference on Software Engineering; 2022, p1781-1792, 12p

    HTML Full Text PDF Full Text
    Save to List
  5. 5

    Crocin exerts anti-inflammatory and anti-arthritic effects on type II collagen-induced arthritis in rats.

    Authors: Liu, Wei Sun, Yufeng Cheng, Zhenping et al.

    Source: Pharmaceutical Biology. Dec2018, Vol. 56 Issue 1, p209-216. 8p.

    HTML Full Text PDF Full Text
    Save to List
  6. 6

    Hydraulic Equipment and Support Systems for Mining

    Authors: Zhong You

    Resource Type: eBook.

    Subjects: Mining engineering--Hydraulic equipment--Congresses, Mineral industries--Hydraulic equipment--Congresses

    Categories: TECHNOLOGY & ENGINEERING / Materials Science / General

    PDF Full Text
    Save to List
  7. 7

    Clinical efficacy of bone transport technology in Chinese older patients with infectious bone nonunion after open tibial fracture.

    Authors: Wen Y Liu P Wang Z et al.

    Source: BMC geriatrics [BMC Geriatr] 2021 Sep 07; Vol. 21 (1), pp. 488. Date of Electronic Publication: 2021 Sep 07.

    Publication Type: Journal Article

    Journal Info: Publisher: BioMed Central Country of Publication: England NLM ID: 100968548 Publication Model: Electronic Cited Medium: Internet ISSN: 1471-2318 (Electronic) Linking ISSN: 14712318 NLM ISO Abbreviation: BMC Geriatr Subsets: MEDLINE

    HTML Full Text PDF Full Text
    Save to List

Search Tools: