| 2009 |
|---|
| 18 | EE | 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 |
|---|
| 17 | EE | Haruka Kikuchi,
Dachuan Yu,
Ajay Chander,
Hiroshi Inamura,
Igor Serikov:
JavaScript Instrumentation in Practice.
APLAS 2008: 326-341 |
| 16 | EE | Gary Wassermann,
Dachuan Yu,
Ajay Chander,
Dinakar Dhurjati,
Hiroshi Inamura,
Zhendong Su:
Dynamic test input generation for web applications.
ISSTA 2008: 249-260 |
| 15 | EE | Dachuan Yu,
Ajay Chander,
Hiroshi Inamura,
Igor Serikov:
Better abstractions for secure server-side scripting.
WWW 2008: 507-516 |
| 2007 |
|---|
| 14 | EE | Dachuan Yu:
More Typed Assembly Languages for Confidentiality.
APLAS 2007: 86-104 |
| 13 | EE | Dachuan Yu,
Ajay Chander,
Nayeem Islam,
Igor Serikov:
JavaScript instrumentation for browser security.
POPL 2007: 237-249 |
| 12 | EE | Zhaozhong Ni,
Dachuan Yu,
Zhong Shao:
Using XCAP to Certify Realistic Systems Code: Machine Context Management.
TPHOLs 2007: 189-206 |
| 2006 |
|---|
| 11 | EE | Burak Emir,
Andrew Kennedy,
Claudio V. Russo,
Dachuan Yu:
Variance and Generalized Constraints for C# Generics.
ECOOP 2006: 279-303 |
| 10 | EE | Dachuan Yu,
Nayeem Islam:
A Typed Assembly Language for Confidentiality.
ESOP 2006: 162-179 |
| 2004 |
|---|
| 9 | EE | Dachuan Yu,
Zhong Shao:
Verification of safety properties for concurrent assembly code.
ICFP 2004: 175-188 |
| 8 | | Subbaraya Yuvarajan,
Dachuan Yu:
Characteristics and modelling of PEM fuel cells.
ISCAS (5) 2004: 880-883 |
| 7 | EE | Dachuan Yu,
Andrew Kennedy,
Don Syme:
Formalization of generics for the .NET common language runtime.
POPL 2004: 39-51 |
| 6 | EE | Dachuan Yu,
Nadeem Abdul Hamid,
Zhong Shao:
Building certified libraries for PCC: dynamic storage allocation.
Sci. Comput. Program. 50(1-3): 101-127 (2004) |
| 2003 |
|---|
| 5 | EE | Dachuan Yu,
Nadeem Abdul Hamid,
Zhong Shao:
Building Certified Libraries for PCC: Dynamic Storage Allocation.
ESOP 2003: 363-379 |
| 2002 |
|---|
| 4 | EE | Dachuan Yu,
Zhong Shao,
Valery Trifonov:
Supporting Binary Compatibility with Static Compilation.
Java™ Virtual Machine Research and Technology Symposium 2002: 165-180 |
| 2001 |
|---|
| 3 | EE | Carsten Schürmann,
Dachuan Yu,
Zhaozhong Ni:
A Representation of Fomega in LF.
Electr. Notes Theor. Comput. Sci. 58(1): (2001) |
| 1997 |
|---|
| 2 | EE | 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 |
| 1 | | 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) |
