Shu-Chun Weng

According to our database, Shu-Chun Weng authored at least 12 papers between 2007 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

DeepSEA: a language for certified system software.

Vilhelm Sjöberg, Yuyang Sang, Shu-Chun Weng, Zhong Shao

Proc. ACM Program. Lang., 2019

2017

Towards automatic resource bound analysis for OCaml.

Jan Hoffmann, Ankush Das, Shu-Chun Weng

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

2015

Deep Specifications and Certified Abstraction Layers.

Ronghui Gu, Jérémie Koenig, Tahina Ramananandro, Zhong Shao, Xiongnan (Newman) Wu, Shu-Chun Weng, Haozhong Zhang, Yu Guo

Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015

A Compositional Semantics for Verified Separate Compilation and Linking.

Tahina Ramananandro, Zhong Shao, Shu-Chun Weng, Jérémie Koenig, Yuchen Fu

Proceedings of the 2015 Conference on Certified Programs and Proofs, 2015

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

Security Analysis of Accountable Anonymity in Dissent.

Ewa Syta, Henry Corrigan-Gibbs, Shu-Chun Weng, David Wolinsky, Bryan Ford, Aaron Johnson

ACM Trans. Inf. Syst. Secur., 2014

2012

Efficient system-enforced deterministic parallelism.

Amittai Aviram, Shu-Chun Weng, Sen Hu, Bryan Ford

Commun. ACM, 2012

Calvin: fast distributed transactions for partitioned database systems.

Alexander Thomson, Thaddeus Diamond, Shu-Chun Weng, Kun Ren, Philip Shao, Daniel J. Abadi

Proceedings of the ACM SIGMOD International Conference on Management of Data, 2012

2011

Side-effect localization for lazy, purely functional languages via aspects.

Kung Chen, Shu-Chun Weng, Jia-Yin Lin, Meng Wang, Siau-Cheng Khoo

High. Order Symb. Comput., 2011

2010

Type-directed weaving of aspects for polymorphically typed functional languages.

Kung Chen, Shu-Chun Weng, Meng Wang, Siau-Cheng Khoo, Chung-Hsin Chen

Sci. Comput. Program., 2010

2009

Designing aspects for side-effect localization.

Kung Chen, Jia-Yin Lin, Shu-Chun Weng, Siau-Cheng Khoo

Proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, 2009

2007

A Compilation Model for Aspect-Oriented Polymorphically Typed Functional Languages.

Kung Chen, Shu-Chun Weng, Meng Wang, Siau-Cheng Khoo, Chung-Hsin Chen

Proceedings of the Static Analysis, 14th International Symposium, 2007