Chinese version (中文版)
my photo

Home page of Shu-Chun Weng (scw)

Contect Information



(Coming soon)



  1. Ph.D., M.S., and M.Phil. from Department of Computer Science, Yale University.
  2. B.S. from National Taiwan University, double major in Computer Science and Information Engineering and Mathematics
  3. Chien-Kuo Senior High School
  4. RenAi Junior Hight School



  1. V. Sjöberg, Y. Sang, S.-C. Weng, and Z. Shao. "DeepSEA: A Language for Certified System Software", Proceedings of the ACM on Programming Languages Volume 3 Issue OOPSLA, October 2019: 84-110 (2019).
  2. J. Hoffmann, A. Das, S.-C. Weng. "Towards automatic resource bound analysis for OCaml", Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2017): 359-373 (2017).
  3. R. Gu, J. Koenig, T. Ramananandro, Z. Shao, N. Wu, S.-C. Weng, H. Zhang, and Y. Guo. "Deep Specifications and Certified Abstraction Layers", Proceedings of the 42th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL' 15): 595-608 (2015).
  4. T. Ramananandro, Z. Shao, J. Koenig, S.-C. Weng, and Y. Fu. "A Compositional Semantics for Verified Separation Compilation and Linking", Proceedings of the 4th ACM-SIGPLAN Conference on Certified Programs and Proofs (CPP '15): 3-14 (2015).
  5. E. Syta, A. Johnson, H. Corrigan-Gibbs, S.-C. Weng, D. Wolinsky, and B. Ford. "Security Analysis of Accountable Anonymity in Dissent", ACM Transactions on Information and System Security 17(1): 4:1-4:35 (2014).
  6. A. Thomson, T. Diamond, S.-C. Weng, K. Ren, P. Shao, and D. J. Abadi. "Fast Distributed Transactions and Strongly Consistent Replication for OLTP Database Systems", ACM Transactions on Database Systems 39(2): 11:1-11:39 (2014).
  7. A. Thomson, T. Diamond, S.-C. Weng, K. Ren, P. Shao, D. J. Abadi. "Calvin: Fast Distributed Transactions for Partitioned Database Systems", Proceedings of the 2011 International Conference on Management of Data (SIGMOD '12): 1-12 (2012).
  8. A. Aviram, S.-C. Weng, S. Hu, B. Ford. " Efficient System-Enforced Deterministic Parallelism", Communications of the ACM 55 (5): 111-119 (2012).
  9. K. Chen, S.-C. Weng, J.-Y. Lin, M. Wang, and S.-C. Khoo. "Side-Effect Localization for Lazy, Purely Functional Languages via Aspects", Higher-Order and Symbolic Computation June 2011, pp. 1-39. On SpringerLink.
  10. A. Aviram, S.-C. Weng, S. Hu, B. Ford. "Efficient System-Enforced Deterministic Parallelism", In The 9th USENIX Symposium on Operating Systems Design and Implementation (OSDI '10). Jay Lepreau Best Paper Award.
  11. K. Chen, S.-C. Weng, M. Mang, S.-C. Khoo, and C.-H. Chen. "Type-Directed Weaving of Aspects for Polymorphically Typed Functional Languages", Science of Computer Programming 75(11): 1048-1076 (2010).
  12. K. Chen, J.-Y. Lin, S.-C. Weng, and S.-C. Khoo. "Designing Aspects for Side-Effect Localization", In Partial Evaluation and Program Manipulation 2009 (PEPM '09). Slides
  13. K. Chen, S.-C. Weng, M. Wang, S.-C. Khoo, and C.-H. Chen. "A Compilation Model for Aspect-Oriented Polymorphically Typed Functional Languages", Symposium of Static Analysis 2007 (SAS '07): 34-51 (2007).

Interested Fields

Academic Activities

Open Source Projects Involved

Works / Homework projects