Shu-Chun Weng

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