A Compilation Model for Aspect-Oriented Polymorphically Typed Functional Languages. - Kung Chen; Shu-Chun Weng; Meng Wang 002; Siau-Cheng Khoo; Chung-Hsin Chen (SAS, 2007)

Designing aspects for side-effect localization. - Kung Chen; Jia-Yin Lin; Shu-Chun Weng; Siau-Cheng Khoo (PEPM, 2009)

Type-directed weaving of aspects for polymorphically typed functional languages. - Kung Chen; Shu-Chun Weng; Meng Wang 002; Siau-Cheng Khoo; Chung-Hsin Chen (Sci. Comput. Program., 2010)

Side-effect localization for lazy, purely functional languages via aspects. - Kung Chen; Shu-Chun Weng; Jia-Yin Lin; Meng Wang 002; Siau-Cheng Khoo (High. Order Symb. Comput., 2011)

Calvin: fast distributed transactions for partitioned database systems. - Alexander Thomson; Thaddeus Diamond; Shu-Chun Weng; Kun Ren; Philip Shao; Daniel J. Abadi (SIGMOD Conference, 2012)

Efficient system-enforced deterministic parallelism. - Amittai Aviram; Shu-Chun Weng; Sen Hu; Bryan Ford (Commun. ACM, 2012)

Security Analysis of Accountable Anonymity in Dissent. - Ewa Syta; Henry Corrigan-Gibbs; Shu-Chun Weng; David Wolinsky; Bryan Ford; Aaron Johnson 001 (ACM Trans. Inf. Syst. Secur., 2014)

Fast Distributed Transactions and Strongly Consistent Replication for OLTP Database Systems. - Alexander Thomson; Thaddeus Diamond; Shu-Chun Weng; Kun Ren; Philip Shao; Daniel J. Abadi (ACM Trans. Database Syst., 2014)

A Compositional Semantics for Verified Separate Compilation and Linking. - Tahina Ramananandro; Zhong Shao 001; Shu-Chun Weng; Jérémie Koenig; Yuchen Fu (CPP, 2015)

Deep Specifications and Certified Abstraction Layers. - Ronghui Gu; Jérémie Koenig; Tahina Ramananandro; Zhong Shao 001; Xiongnan (Newman) Wu; Shu-Chun Weng; Haozhong Zhang; Yu Guo (POPL, 2015)

Towards automatic resource bound analysis for OCaml. - Jan Hoffmann 002; Ankush Das; Shu-Chun Weng (POPL, 2017)

DeepSEA: a language for certified system software. - Vilhelm Sjöberg; Yuyang Sang; Shu-Chun Weng; Zhong Shao 001 (Proc. ACM Program. Lang., 2019)