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 × Denmark
1 × Germany
1 × Sweden
2 × Japan
2 × USA
Collaborated with:
M.Erwig E.Walkingshaw K.Suzuki
Talks about:
type (6) error (3) calculus (2) program (2) variat (2) debug (2) radiograph (1) suppress (1) parametr (1) templat (1)

Person: Sheng Chen

DBLP DBLP: Chen:Sheng

Contributed to:

FLOPS 20142014
ICFP 20142014
PEPM 20142014
POPL 20142014
ICFP 20122012
ICPR 20122012
SPLC 20112011
ECOOP 20162016

Wrote 8 papers:

FLOPS-2014-ChenE #debugging
Guided Type Debugging (SC, ME), pp. 35–51.
ICFP-2014-ChenE #analysis #parametricity #product line #type system
Type-based parametric analysis of program families (SC, ME), pp. 39–51.
PEPM-2014-0008E #c++ #detection #fault
Early detection of type errors in C++ templates (SC, ME), pp. 133–144.
POPL-2014-ChenE #debugging #fault #type system
Counter-factual typing for debugging type errors (SC, ME), pp. 583–594.
ICFP-2012-ChenEW #type system #λ-calculus
An error-tolerant type system for variational λ calculus (SC, ME, EW), pp. 29–40.
ICPR-2012-ChenS #multi
Bone suppression in chest radiographs by means of anatomically specific multiple massive-training ANNs (SC, KS), pp. 17–20.
SPLC-2011-ChenE #optimisation #process
Optimizing the Product Derivation Process (SC, ME), pp. 35–44.
ECOOP-2016-ChenEW #calculus #programming
A Calculus for Variational Programming (SC, ME, EW), p. 28.

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.