BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Weng:Shu=Chun

Contributed to:

POPL 20152015
SIGMOD 20122012
OSDI 20102010
PEPM 20092009
SAS 20072007
OOPSLA 20192019
POPL 20172017

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.