ask others

Dachuan Yu

> Home > Persons

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2010 – today

see FAQ

What is the meaning of the colors in the publication lists?

2011
[c16]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/icst/ChanderDSY11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icst/ChanderDSY11
Ajay Chander, Dinakar Dhurjati, Koushik Sen, Dachuan Yu:
Optimal Test Input Sequence Generation for Finite State Models and Pushdown Systems. ICST 2011: 140-149

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[c15]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fase/AlTurkiDYCI09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fase/AlTurkiDYCI09
Musab AlTurki, Dinakar Dhurjati, Dachuan Yu, Ajay Chander, Hiroshi Inamura:
Formal Specification and Analysis of Timing Properties in Software Systems. FASE 2009: 262-277
2008
[c14]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/aplas/KikuchiYCIS08
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/aplas/KikuchiYCIS08
Haruka Kikuchi, Dachuan Yu, Ajay Chander, Hiroshi Inamura, Igor Serikov:
JavaScript Instrumentation in Practice. APLAS 2008: 326-341
[c13]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/issta/WassermannYCDIS08
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/issta/WassermannYCDIS08
Gary Wassermann, Dachuan Yu, Ajay Chander, Dinakar Dhurjati, Hiroshi Inamura, Zhendong Su:
Dynamic test input generation for web applications. ISSTA 2008: 249-260
[c12]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/www/YuCIS08
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/www/YuCIS08
Dachuan Yu, Ajay Chander, Hiroshi Inamura, Igor Serikov:
Better abstractions for secure server-side scripting. WWW 2008: 507-516
2007
[c11]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/aplas/Yu07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/aplas/Yu07
Dachuan Yu:
More Typed Assembly Languages for Confidentiality. APLAS 2007: 86-104
[c10]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/popl/YuCIS07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/popl/YuCIS07
Dachuan Yu, Ajay Chander, Nayeem Islam, Igor Serikov:
JavaScript instrumentation for browser security. POPL 2007: 237-249
[c9]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/tphol/NiYS07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/tphol/NiYS07
Zhaozhong Ni, Dachuan Yu, Zhong Shao:
Using XCAP to Certify Realistic Systems Code: Machine Context Management. TPHOLs 2007: 189-206
2006
[c8]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ecoop/EmirKRY06
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ecoop/EmirKRY06
Burak Emir, Andrew Kennedy, Claudio V. Russo, Dachuan Yu:
Variance and Generalized Constraints for C^# Generics. ECOOP 2006: 279-303
[c7]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/esop/YuI06
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/esop/YuI06
Dachuan Yu, Nayeem Islam:
A Typed Assembly Language for Confidentiality. ESOP 2006: 162-179
2004
[j3]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/scp/YuHS04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/scp/YuHS04
Dachuan Yu, Nadeem Abdul Hamid, Zhong Shao:
Building certified libraries for PCC: dynamic storage allocation. Sci. Comput. Program. 50(1-3): 101-127 (2004)
[c6]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/icfp/YuS04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icfp/YuS04
Dachuan Yu, Zhong Shao:
Verification of safety properties for concurrent assembly code. ICFP 2004: 175-188
[c5]
- no documents available
- export record
  dblp key:
  - conf/iscas/YuvarajanY04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/iscas/YuvarajanY04
Subbaraya Yuvarajan, Dachuan Yu:
Characteristics and modelling of PEM fuel cells. ISCAS (5) 2004: 880-883
[c4]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/popl/YuKS04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/popl/YuKS04
Dachuan Yu, Andrew Kennedy, Don Syme:
Formalization of generics for the .NET common language runtime. POPL 2004: 39-51
2003
[c3]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/esop/YuHS03
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/esop/YuHS03
Dachuan Yu, Nadeem Abdul Hamid, Zhong Shao:
Building Certified Libraries for PCC: Dynamic Storage Allocation. ESOP 2003: 363-379
2002
[c2]
- view
  - electronic edition @ usenix.org
- export record
  dblp key:
  - conf/jvm/YuST02
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/jvm/YuST02
Dachuan Yu, Zhong Shao, Valery Trifonov:
Supporting Binary Compatibility with Static Compilation. Java Virtual Machine Research and Technology Symposium 2002: 165-180
2001
[j2]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/tcs/SchurmannYN01
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tcs/SchurmannYN01
Carsten Schürmann, Dachuan Yu, Zhaozhong Ni:
A Representation of Fomega in LF. Electr. Notes Theor. Comput. Sci. 58(1): 79-96 (2001)

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1997
[j1]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/sigplan/PeiDJ97
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/sigplan/PeiDJ97
Lu Pei, Dachuan Yu, Jian Lu:
A Method for Modifying Dynamically Classes in the Object-Oriented Dynamic Programming Environment. SIGPLAN Notices 32(9): 57-60 (1997)
[c1]
- view
  - electronic edition via DOI
  - electronic edition @ ieeecomputersociety.org
- export record
  dblp key:
  - conf/tools/PeiYJS97
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/tools/PeiYJS97
Lu Pei, Dachuan Yu, Lu Jian, David L. Shang:
A Method for Using Object-Oriented Frameworks to Support Various High-Level Parallel Computing Models. TOOLS (24) 1997: 151-158

maintained by

, founded at