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 × Austria
1 × China
1 × Germany
1 × Italy
1 × Poland
1 × United Kingdom
2 × France
2 × USA
Collaborated with:
A.Chander Z.Shao N.Islam D.Dhurjati A.Kennedy H.Inamura D.Syme N.A.Hamid K.Sen I.Serikov B.Emir C.V.Russo L.Pei L.Jian D.L.Shang M.AlTurki G.Wassermann Z.Su
Talks about:
properti (2) languag (2) generic (2) generat (2) assembl (2) system (2) formal (2) model (2) input (2) dynam (2)

Person: Dachuan Yu

DBLP DBLP: Yu:Dachuan

Contributed to:

ICST 20112011
FASE 20092009
ISSTA 20082008
POPL 20072007
ECOOP 20062006
ESOP 20062006
ICFP 20042004
POPL 20042004
ESOP 20032003
TOOLS Asia 19971997

Wrote 10 papers:

ICST-2011-ChanderDSY #automaton #finite #generative #modelling #sequence
Optimal Test Input Sequence Generation for Finite State Models and Pushdown Systems (AC, DD, KS, DY), pp. 140–149.
FASE-2009-AlTurkiDYCI #analysis #specification
Formal Specification and Analysis of Timing Properties in Software Systems (MA, DD, DY, AC, HI), pp. 262–277.
ISSTA-2008-WassermannYCDIS #generative #web
Dynamic test input generation for web applications (GW, DY, AC, DD, HI, ZS), pp. 249–260.
POPL-2007-YuCIS #javascript #security
JavaScript instrumentation for browser security (DY, AC, NI, IS), pp. 237–249.
ECOOP-2006-EmirKRY #c# #constraints
Variance and Generalized Constraints for C# Generics (BE, AK, CVR, DY), pp. 279–303.
ESOP-2006-YuI #assembly
A Typed Assembly Language for Confidentiality (DY, NI), pp. 162–179.
ICFP-2004-YuS #assembly #concurrent #safety #verification
Verification of safety properties for concurrent assembly code (DY, ZS), pp. 175–188.
POPL-2004-YuKS #dot-net #formal method #runtime
Formalization of generics for the .NET common language runtime (DY, AK, DS), pp. 39–51.
ESOP-2003-YuHS #library
Building Certified Libraries for PCC: Dynamic Storage Allocation (DY, NAH, ZS), pp. 363–379.
TOOLS-ASIA-1997-PeiYJS #framework #modelling #object-oriented #parallel #using
A Method for Using Object-Oriented Frameworks to Support Various High-Level Parallel Computing Models (LP, DY, LJ, DLS), pp. 151–158.

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.