Concepedia

Jie Yu

JY

14

Publications

826

Citations

11

H-Index

2007

Active since

Affiliations

University of Michigan(Current)

Fudan University

Intel (United States)

Twin Cities Orthopedics

Twitter (United States)

Jie Yu is an author at University of Michigan specializing in computer science, computer engineering, and software analysis.

Top concepts

EngineeringComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisComputer EngineeringFormal VerificationParallel ComputingParallel ProgrammingSoftware Engineering

Publications per year

2007–2023

14

Publications

14

A case for an interleaving constrained shared-memory multi-processor

Jie Yu, Satish Narayanasamy · 2009 · 177 citations

Engineering, Computer Architecture, Software Analysis +19

Jie Yu, Satish Narayanasamy, Cristiano Pereira et al. · 2012 · 150 citations

Engineering, Software Engineering, Interleaving Coverage +16

POLUS: A POwerful Live Updating System

Haibo Chen, Jie Yu, Rong Chen et al. · 2007 · 139 citations

Software Maintenance, Engineering, Computer Architecture +17

Race detection for event-driven mobile applications

Chun-Hung Hsiao, Jie Yu, Satish Narayanasamy et al. · 2014 · 113 citations

False Dependencies, Engineering, Verification +22

A case for an interleaving constrained shared-memory multi-processor

Jie Yu, Satish Narayanasamy · ACM SIGARCH Computer Architecture News · 2009 · 48 citations

Engineering, Computer Architecture, Software Analysis +19

Rows per page

1–5 of 14