Dachuan Yu

According to our database, Dachuan Yu authored at least 19 papers between 1997 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

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

2011

Optimal Test Input Sequence Generation for Finite State Models and Pushdown Systems.

Ajay Chander, Dinakar Dhurjati, Koushik Sen, Dachuan Yu

Proceedings of the Fourth IEEE International Conference on Software Testing, 2011

2009

Formal Specification and Analysis of Timing Properties in Software Systems.

Musab AlTurki, Dinakar Dhurjati, Dachuan Yu, Ajay Chander, Hiroshi Inamura

Proceedings of the Fundamental Approaches to Software Engineering, 2009

2008

Better abstractions for secure server-side scripting.

Dachuan Yu, Ajay Chander, Hiroshi Inamura, Igor Serikov

Proceedings of the 17th International Conference on World Wide Web, 2008

Dynamic test input generation for web applications.

Gary Wassermann, Dachuan Yu, Ajay Chander, Dinakar Dhurjati, Hiroshi Inamura, Zhendong Su

Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2008

JavaScript Instrumentation in Practice.

Haruka Kikuchi, Dachuan Yu, Ajay Chander, Hiroshi Inamura, Igor Serikov

Proceedings of the Programming Languages and Systems, 6th Asian Symposium, 2008

2007

Using XCAP to Certify Realistic Systems Code: Machine Context Management.

Zhaozhong Ni, Dachuan Yu, Zhong Shao

Proceedings of the Theorem Proving in Higher Order Logics, 20th International Conference, 2007

JavaScript instrumentation for browser security.

Dachuan Yu, Ajay Chander, Nayeem Islam, Igor Serikov

Proceedings of the 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2007

More Typed Assembly Languages for Confidentiality.

Dachuan Yu

Proceedings of the Programming Languages and Systems, 5th Asian Symposium, 2007

2006

A Typed Assembly Language for Confidentiality.

Dachuan Yu, Nayeem Islam

Proceedings of the Programming Languages and Systems, 2006

Variance and Generalized Constraints for C^# Generics.

Burak Emir, Andrew Kennedy, Claudio V. Russo, Dachuan Yu

Proceedings of the ECOOP 2006, 2006

2004

Building certified libraries for PCC: dynamic storage allocation.

Dachuan Yu, Nadeem Abdul Hamid, Zhong Shao

Sci. Comput. Program., 2004

Formalization of generics for the .NET common language runtime.

Dachuan Yu, Andrew Kennedy, Don Syme

Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2004

Characteristics and modelling of PEM fuel cells.

Subbaraya Yuvarajan, Dachuan Yu

Proceedings of the 2004 International Symposium on Circuits and Systems, 2004

Verification of safety properties for concurrent assembly code.

Dachuan Yu, Zhong Shao

Proceedings of the Ninth ACM SIGPLAN International Conference on Functional Programming, 2004

2002

Supporting Binary Compatibility with Static Compilation.

Dachuan Yu, Zhong Shao, Valery Trifonov

Proceedings of the 2nd Java Virtual Machine Research and Technology Symposium, 2002

2001

A Representation of Fomega in LF.

Carsten Schürmann, Dachuan Yu, Zhaozhong Ni

Proceedings of the Mechanized Reasoning about Languages with Variable Binding, 2001

1997

A Method for Modifying Dynamically Classes in the Object-Oriented Dynamic Programming Environment.

Lu Pei, Dachuan Yu, Jian Lu

ACM SIGPLAN Notices, 1997

A Method for Using Object-Oriented Frameworks to Support Various High-Level Parallel Computing Models.

Lu Pei, Dachuan Yu, Lu Jian, David L. Shang

Proceedings of the TOOLS 1997: 24th International Conference on Technology of Object-Oriented Languages and Systems, 1997