Shu-Chun Weng

Publication Activity (10 Years)

Years Active: 2007-2019
Publications (10 Years): 5

Top Topics

Concurrency Control Algorithms

Compositional Semantics

Top Venues

Proc. ACM Program. Lang.

Publications

Vilhelm Sjöberg, Yuyang Sang, Shu-Chun Weng, Zhong Shao
DeepSEA: a language for certified system software. Proc. ACM Program. Lang. 3 (OOPSLA) (2019)
Jan Hoffmann, Ankush Das, Shu-Chun Weng
Towards automatic resource bound analysis for OCaml. POPL (2017)
Jan Hoffmann, Ankush Das, Shu-Chun Weng
Towards Automatic Resource Bound Analysis for OCaml. CoRR (2016)
Ronghui Gu, Jérémie Koenig, Tahina Ramananandro, Zhong Shao, Xiongnan (Newman) Wu, Shu-Chun Weng, Haozhong Zhang, Yu Guo
Deep Specifications and Certified Abstraction Layers. POPL (2015)
Tahina Ramananandro, Zhong Shao, Shu-Chun Weng, Jérémie Koenig, Yuchen Fu
A Compositional Semantics for Verified Separate Compilation and Linking. CPP (2015)
Alexander Thomson, Thaddeus Diamond, Shu-Chun Weng, Kun Ren, Philip Shao, Daniel J. Abadi
Fast Distributed Transactions and Strongly Consistent Replication for OLTP Database Systems. ACM Trans. Database Syst. 39 (2) (2014)
Ewa Syta, Henry Corrigan-Gibbs, Shu-Chun Weng, David Wolinsky, Bryan Ford, Aaron Johnson
Security Analysis of Accountable Anonymity in Dissent. ACM Trans. Inf. Syst. Secur. 17 (1) (2014)
Amittai Aviram, Shu-Chun Weng, Sen Hu, Bryan Ford
Efficient system-enforced deterministic parallelism. Commun. ACM 55 (5) (2012)
Alexander Thomson, Thaddeus Diamond, Shu-Chun Weng, Kun Ren, Philip Shao, Daniel J. Abadi
Calvin: fast distributed transactions for partitioned database systems. SIGMOD Conference (2012)
Kung Chen, Shu-Chun Weng, Jia-Yin Lin, Meng Wang, Siau-Cheng Khoo
Side-effect localization for lazy, purely functional languages via aspects. High. Order Symb. Comput. 24 (1-2) (2011)
Kung Chen, Shu-Chun Weng, Meng Wang, Siau-Cheng Khoo, Chung-Hsin Chen
Type-directed weaving of aspects for polymorphically typed functional languages. Sci. Comput. Program. 75 (11) (2010)
Amittai Aviram, Shu-Chun Weng, Sen Hu, Bryan Ford
Efficient System-Enforced Deterministic Parallelism CoRR (2010)
Amittai Aviram, Shu-Chun Weng, Sen Hu, Bryan Ford
Efficient System-Enforced Deterministic Parallelism. OSDI (2010)
Kung Chen, Jia-Yin Lin, Shu-Chun Weng, Siau-Cheng Khoo
Designing aspects for side-effect localization. PEPM (2009)
Kung Chen, Shu-Chun Weng, Meng Wang, Siau-Cheng Khoo, Chung-Hsin Chen
A Compilation Model for Aspect-Oriented Polymorphically Typed Functional Languages. SAS (2007)