Dachuan Yu
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2010 – today
- 2011
- [c16]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
- 2009
- [c15]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]Haruka Kikuchi, Dachuan Yu, Ajay Chander, Hiroshi Inamura, Igor Serikov:
JavaScript Instrumentation in Practice. APLAS 2008: 326-341 - [c13]Gary Wassermann, Dachuan Yu, Ajay Chander, Dinakar Dhurjati, Hiroshi Inamura, Zhendong Su:
Dynamic test input generation for web applications. ISSTA 2008: 249-260 - [c12]Dachuan Yu, Ajay Chander, Hiroshi Inamura, Igor Serikov:
Better abstractions for secure server-side scripting. WWW 2008: 507-516 - 2007
- [c11]
- [c10]Dachuan Yu, Ajay Chander, Nayeem Islam, Igor Serikov:
JavaScript instrumentation for browser security. POPL 2007: 237-249 - [c9]Zhaozhong Ni, Dachuan Yu, Zhong Shao:
Using XCAP to Certify Realistic Systems Code: Machine Context Management. TPHOLs 2007: 189-206 - 2006
- [c8]Burak Emir, Andrew Kennedy, Claudio V. Russo, Dachuan Yu:
Variance and Generalized Constraints for C# Generics. ECOOP 2006: 279-303 - [c7]
- 2004
- [j3]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]Dachuan Yu, Zhong Shao:
Verification of safety properties for concurrent assembly code. ICFP 2004: 175-188 - [c5]Subbaraya Yuvarajan, Dachuan Yu:
Characteristics and modelling of PEM fuel cells. ISCAS (5) 2004: 880-883 - [c4]Dachuan Yu, Andrew Kennedy, Don Syme:
Formalization of generics for the .NET common language runtime. POPL 2004: 39-51 - 2003
- [c3]Dachuan Yu, Nadeem Abdul Hamid, Zhong Shao:
Building Certified Libraries for PCC: Dynamic Storage Allocation. ESOP 2003: 363-379 - 2002
- [c2]Dachuan Yu, Zhong Shao, Valery Trifonov:
Supporting Binary Compatibility with Static Compilation. Java Virtual Machine Research and Technology Symposium 2002: 165-180 - 2001
- [j2]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
- 1997
- [j1]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]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
Coauthor Index
last updated on 2019-01-09 01:28 CET by the dblp team
data released under the ODC-BY 1.0 license
see also: Terms of Use | Privacy Policy | Imprint