Concepedia

Shu-Chun Weng

SW

12

Publications

1.1K

Citations

11

H-Index

2010

Active since

Affiliations

Yale University(Current)

University of Science and Technology of China

Carnegie Mellon University

Shu-Chun Weng is an author at Yale University specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsProgram AnalysisSystem SoftwareSoftware AnalysisComputer EngineeringParallel ComputingFormal VerificationParallel Programming

Publications per year

2010–2019

12

Publications

12

Calvin

Alexander Thomson, Thaddeus Diamond, Shu-Chun Weng et al. · 2012 · 514 citations

Cluster Computing, Storage Systems, Engineering +14

Deep Specifications and Certified Abstraction Layers

Ronghui Gu, Jérémie Koenig, Tahina Ramananandro et al. · 2014 · 149 citations

Engineering, Verification, Software Engineering +21

Efficient system-enforced deterministic parallelism

Amittai Aviram, Shu-Chun Weng, Sen Hu et al. · Operating Systems Design and Implementation · 2010 · 144 citations

Engineering, Concurrent System, Software Analysis +17

Towards automatic resource bound analysis for OCaml

Jan Hoffmann, Ankush Das, Shu-Chun Weng · 2016 · 110 citations

Multivariate Resource Polynomials, Engineering, Computer Architecture +18

Efficient system-enforced deterministic parallelism

Amittai Aviram, Shu-Chun Weng, Sen Hu et al. · Communications of the ACM · 2012 · 37 citations

Engineering, Software Engineering, Concurrent System +16

Rows per page

1–5 of 12