Travelled to:1 × Canada
1 × Denmark
1 × India
2 × USA
Collaborated with:K.Chen S.Khoo Z.Shao J.H.0002 A.Das A.Aviram S.Hu B.Ford J.Lin V.Sjöberg Yuyang Sang M.Wang C.Chen A.Thomson T.Diamond K.Ren P.Shao D.J.Abadi R.Gu J.Koenig T.Ramananandro X.(.Wu H.Zhang Y.Guo
Talks about:system (3) languag (2) certifi (2) aspect (2) deep (2) determinist (1) polymorph (1) distribut (1) transact (1) parallel (1)
Person: Shu-Chun Weng
DBLP: Weng:Shu=Chun
Contributed to:
2015
2012
2010
2009
2007
20192017Wrote 7 papers:
- POPL-2015-GuKRSWWZG #abstraction #specification
- Deep Specifications and Certified Abstraction Layers (RG, JK, TR, ZS, X(W, SCW, HZ, YG), pp. 595–608.
- SIGMOD-2012-ThomsonDWRSA #database #distributed #named #performance #transaction
- Calvin: fast distributed transactions for partitioned database systems (AT, TD, SCW, KR, PS, DJA), pp. 1–12.
- OSDI-2010-AviramWHF #parallel #performance
- Efficient System-Enforced Deterministic Parallelism (AA, SCW, SH, BF), pp. 193–206.
- PEPM-2009-ChenLWK #aspect-oriented #design #locality
- Designing aspects for side-effect localization (KC, JYL, SCW, SCK), pp. 189–198.
- SAS-2007-ChenWWKC #aspect-oriented #compilation #functional
- A Compilation Model for Aspect-Oriented Polymorphically Typed Functional Languages (KC, SCW, MW, SCK, CHC), pp. 34–51.
- OOPSLA-2019-SjobergSWS #named
- DeepSEA: a language for certified system software (VS, YS, SCW, ZS), p. 27.
- POPL-2017-HoffmannDW #analysis #automation #bound #ml #towards
- Towards automatic resource bound analysis for OCaml (JH0, AD, SCW), pp. 359–373.