Chuanle Ke is an author at University of Rochester specializing in parallel computing, engineering, and formal methods.
Top concepts
EngineeringFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisParallel ComputingDynamic ProgrammingComputer EngineeringParallel ProgrammingComputer Architecture
Publications per year
2011–2011
1
1
Safe parallel programming using dynamic dependence hints
Chuanle Ke, Lei Liu, Chao Zhang et al. · 2011 · 24 citations
Engineering, Computer Architecture, Speculative Execution +16
Rows per page
1–1 of 1