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: Yu:Dachuan
Contributed to:
2011
2009
2008
2007
2006
2006
200420042003
1997Wrote 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.