A Method for Using Object-Oriented Frameworks to Support Various High-Level Parallel Computing Models. - Lu Pei; Dachuan Yu; Lu Jian; David L. Shang (TOOLS (24), 1997)

A Method for Modifying Dynamically Classes in the Object-Oriented Dynamic Programming Environment. - Lu Pei; Dachuan Yu; Jian Lu 001 (ACM SIGPLAN Notices, 1997)

A Representation of Fomega in LF. - Carsten Schürmann; Dachuan Yu; Zhaozhong Ni (MERLIN, 2001)

Supporting Binary Compatibility with Static Compilation. - Dachuan Yu; Zhong Shao 001; Valery Trifonov (Java Virtual Machine Research and Technology Symposium, 2002)

Verification of safety properties for concurrent assembly code. - Dachuan Yu; Zhong Shao 001 (ICFP, 2004)

Characteristics and modelling of PEM fuel cells. - Subbaraya Yuvarajan; Dachuan Yu (ISCAS (5), 2004)

Formalization of generics for the .NET common language runtime. - Dachuan Yu; Andrew Kennedy; Don Syme (POPL, 2004)

Building certified libraries for PCC: dynamic storage allocation. - Dachuan Yu; Nadeem Abdul Hamid; Zhong Shao 001 (Sci. Comput. Program., 2004)

Variance and Generalized Constraints for C# Generics. - Burak Emir; Andrew Kennedy; Claudio V. Russo; Dachuan Yu (ECOOP, 2006)

A Typed Assembly Language for Confidentiality. - Dachuan Yu; Nayeem Islam (ESOP, 2006)

More Typed Assembly Languages for Confidentiality. - Dachuan Yu (APLAS, 2007)

JavaScript instrumentation for browser security. - Dachuan Yu; Ajay Chander; Nayeem Islam; Igor Serikov (POPL, 2007)

Using XCAP to Certify Realistic Systems Code: Machine Context Management. - Zhaozhong Ni; Dachuan Yu; Zhong Shao 001 (TPHOLs, 2007)

JavaScript Instrumentation in Practice. - Haruka Kikuchi; Dachuan Yu; Ajay Chander; Hiroshi Inamura; Igor Serikov (APLAS, 2008)

Dynamic test input generation for web applications. - Gary Wassermann; Dachuan Yu; Ajay Chander; Dinakar Dhurjati; Hiroshi Inamura; Zhendong Su 001 (ISSTA, 2008)

Better abstractions for secure server-side scripting. - Dachuan Yu; Ajay Chander; Hiroshi Inamura; Igor Serikov (WWW, 2008)

Formal Specification and Analysis of Timing Properties in Software Systems. - Musab AlTurki; Dinakar Dhurjati; Dachuan Yu; Ajay Chander; Hiroshi Inamura (FASE, 2009)

Optimal Test Input Sequence Generation for Finite State Models and Pushdown Systems. - Ajay Chander; Dinakar Dhurjati; Koushik Sen; Dachuan Yu (ICST, 2011)

Modified VMD Algorithm-Based Fault Location Method for Overhead-Cable Hybrid Transmission Line in MTDC System. - Dachuan Yu; Niancheng Zhou; Jianquan Liao; Qianggang Wang; Yuanzheng Lyu (IEEE Trans. Instrum. Meas., 2024)

Fault Location and Protection for Metallic Return HVdc Grid Based on Natural Frequency Extraction of Modal Derivative Current. - Chunsheng Guo; Jianquan Liao; Yuhong Wang; Wei Zhang; Yangtao Liu; Hongyu Wang; Dachuan Yu (IEEE Trans. Instrum. Meas., 2025)