Shu-Chun Weng
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
6
Active years
2007–2017
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2017 | POPL | Towards automatic resource bound analysis for OCaml. | Jan Hoffmann, Ankush Das, Shu-Chun Weng |
| 2015 | CPP | A Compositional Semantics for Verified Separate Compilation and Linking. | Tahina Ramananandro, Zhong Shao, Shu-Chun Weng, Jrmie Koenig, Yuchen Fu |
| 2015 | POPL | Deep Specifications and Certified Abstraction Layers. | Ronghui Gu, Jrmie Koenig, Tahina Ramananandro, Zhong Shao, Xiongnan (Newman) Wu, Shu-Chun Weng, Haozhong Zhang, Yu Guo |
| 2012 | SIGMOD | Calvin: fast distributed transactions for partitioned database systems. | Alexander Thomson, Thaddeus Diamond, Shu-Chun Weng, Kun Ren, Philip Shao, Daniel J. Abadi |
| 2010 | OSDI | Efficient System-Enforced Deterministic Parallelism. | Amittai Aviram, Shu-Chun Weng, Sen Hu, Bryan Ford |
| 2009 | PEPM | Designing aspects for side-effect localization. | Kung Chen, Jia-Yin Lin, Shu-Chun Weng, Siau-Cheng Khoo |
| 2007 | SAS | A Compilation Model for Aspect-Oriented Polymorphically Typed Functional Languages. | Kung Chen, Shu-Chun Weng, Meng Wang, Siau-Cheng Khoo, Chung-Hsin Chen |