英文版 (English version)
my photo

翁書鈞: 首頁 (Shu-Chun Weng, scw)

聯絡方式


簡歷

簡歷

(施工中)


經歷


教育

  1. Yale University Computer Science M.S., M.Phil., and Ph.D.
  2. 國立台灣大學, 資訊工程學系畢, 雙主修數學系
  3. 台北市立建國高級中學
  4. 台北市立仁愛國民中學

著作

DBLP

  1. 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).
  2. 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).
  3. 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).
  4. 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).
  5. 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).
  6. 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).
  7. A. Aviram, S.-C. Weng, S. Hu, B. Ford. " Efficient System-Enforced Deterministic Parallelism", Communications of the ACM 55 (5): 111-119 (2012).
  8. 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.
  9. 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.
  10. 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).
  11. 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
  12. 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).

專長領域


參與開放源始碼計畫 (Open Source Projects)


作品 / 作業成果