Papers
Drafts
[2012]
- Yu Zhang and Wei Hu.
Exploring Deterministic Shared Memory Programming Model,
13th International Conference on Parallel and Distributed Computing,
Applications and Technologies
(PDCAT'12), Beijing, Dec. 2012.
- Wen Peng, Yu Zhang and Quanlong Li.
Study on Java Library Analysis for Compile-Time Object Deallocation,
Journal of Chinese Computer Systems,33(11):2341-2345, Nov. 2012.
- Yuxian Zhang and Yu Zhang.
An automatic approach of fine-grained locking for linked data structure,
Journal of Chinese Computer Systems,33(9):1892-1897, Sep. 2012.
[code,
demo ]
- Wei Hu, Yu Zhang and Quanlong Li.
Exploring Deterministic Programming Model for Pipeline Parallelism,
First Asia-Pacific Programming Languages and Compilers Workshop
(APPLC'12), Beijing, June 2012.
[2011]
- Yu Zhang and Bryan Ford.
A virtual memory foundation for scalable deterministic parallelism.
The 2nd ACM SIGOPS Asia-Pacific Workshop on Systems.
(APSys 2011), Shanghai, July 11-12, 2011.
- Amittai Aviram, Bryan Ford, and Yu Zhang.
Workspace Consistency: a programming model for shared memory parallelism.
The 2nd Workshop on Determinism and Correctness in Parallel Programming.
(WoDet'11),
Newport Beach, California, March 6, 2011.
- Xiaopeng Fu, Yu Zhang, Wei Zhang and Chen Wang.
Study on definition-use chains algorithm in dynamic pointer-linked data structures.
Journal of Chinese Computer Systems, 32(7):1412-1417, Jul. 2011.
- Chen Wang, Yu Zhang, Xiaopeng Fu and Wei Zhang.
A parallel programming language with shared variable holding declaration.
Journal of Chinese Computer Systems, 32(7):1387-1393, Jul. 2011.
- Wei Zhang, Yu Zhang, Chen Wang and Xiaopeng Fu.
An analysis approach to concurrent access control for shared mutable data.
Journal of University of Science and Technology of China,
41(2): 164-172, 2011.
[Top]
[2010]
- Yu Zhang, Lina Yuan, Tingpeng Wu, Wen Peng and Quanlong Li.
Just-in-time compiler assisted object reclamation and space reuse.
Proc. of IFIP International Conference on Network and Parallel Computing (NPC 2010), Sept. 13-15, 2010, Zhengzhou, China.
C. Ding, Z. Shao, and R. Zheng (Eds.): NPC 2010, Lecture Notes in Computer Science 6289, pp. 18-34, 2010 Springer-Verlag.
- Ming Fu, Yong Li, Xinyu Feng, Zhong Shao, and Yu Zhang. Reasoning about optimistic concurrency using a program logic for history, Proc. of 21st International Conference on Concurrency Theory (CONCUR'10), Paris, France, August 2010. Lecture Notes in Computer Science Vol.6269, pages 388-402, 2010 Springer-Verlag.
- Yong Li, Yu Zhang, Yiyun Chen and Ming Fu.
Formal reasoning about lazy-STM programs.
Journal of Computer Science and Technology, 25(4):841-852, 2010.
( [Chinese]
[Abstract]
[PDF 410KB]).
- Yu Zhang and Lina Yuan.
Study on instrumentation algorithm for just-in-time compiler assisted garbage collection (in Chinese).
Journal of Chinese Computer Systems, 31(4):651-656, Apr. 2010.
- Hongjin Liang, Yu Zhang, Yiyun Chen, Zhaopeng Li and Baojian Hua.
A pointer logic dealing with uncertain equality of pointers.
Journal of Software, 21(2):334-343, Feb. 2010.
- Ming Fu, Yu Zhang and Yong Li.
Formal verification of concurrent programs with read-write locks.
Frontiers of Computer Science in China, 4(1): 65-77, Jan.2010.
DOI: 10.1007/s11704-009-0067-6.
- Lina Yuan and Yu Zhang.
Study on object lifetime analysis for just-in-time compiler assisted garbage collection (in Chinese).
Journal of Xi'an Jiaotong University, 44(2):50-55, Feb. 2010.
[Top]
[2009]
- Yu Zhang and Chengrong Shi.
Automatically hoisting synchronization operations from loops with just-in-time compiler for Java (in Chinese).
Journal of Chinese Computer Systems, 30(12):2414-2419, Dec. 2009.
- Yu Zhang and Yunyun Hao.
Incremental data race detection for Java programs (in Chinese).
Journal of Xi'an Jiaotong University, 43(8):22-27, Aug. 2009.
- Ming Fu, Yu Zhang and Yong Li.
Formal reasoning about concurrent assembly code with reentrant locks.
Proc. of 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering(TASE 2009),
July 29-31, 2009, Tianjin, China. IEEE Computer Society Order Number P3757: 233-240.
- Yong Li, Yu Zhang, Yiyun Chen and Ming Fu.
On the verification of strong atomicity in programs using STM.
Proc. of 3rd IEEE International Conference on Secure Software Integration and Reliability
Improvement(SSIRI2009), July 8-10, 2009, Shanghai, China. IEEE Computer Society Order Number P3758: 117-125.
- Tingpeng Wu, Yu Zhang and Yuyu Liu.
Parallel garbage collector based on just in time compiler assistance (in Chinese).
Computer Engineering, 35(10):86-88, May 2009.
- Long Li, Yu Zhang, Yiyun Chen and Yong Li.
Certifying concurrent programs using transactional memory.
Journal of Computer Science and Technology, 24(1):110-121, Jan.2009.
[Top]
[2008]
- Yu Zhang, Yihua Cao and Xunhao Li.
A decision procedure for XPath satisfiability in the presence of DTD containing choice.
Proc. of 10th Asia Pacific Web Conference (APWeb2008), Shenyang, China, April 2008.
Lecture Notes in Computer Science Vol.4976, pages 202-213, 2008.
- Xiaoyong Wu, Yu Zhang and Donghai Sun.
XQuery processing on XML stream with order clause (in Chinese).
Journal of Chinese Computer Systems, 29(3):481-486, 2008.3.
- Xiaoyong Wu, Yu Zhang and Donghai Sun.
Structural join in XQuery processing on XML stream (in Chinese).
Computer Engineering, 34(4):63-65,70, 2008.2.
- Yihua Cao and Yu Zhang.
XML access control with optional DTD (in Chinese).
Journal of Chinese Computer Systems, 29(1):73-79, 2008.1.
- Yu Zhang and Yuyu Liu.
A Java bytecode optimization framework (in Chinese).
Computer Engineering, 34(2):69-71, 2008.1.
[Top]
[2007]
- Donghai Sun, Yu Zhang and Xiaoyong Wu.
A sharing prefix XQuery query engine over XML stream (in Chinese).
Computer Science, 34(10):137-142,2007.10.
- Yu Zhang.
A compiler framework for building Java language extensions (in Chinese).
Computer Engineering, 33(19):51-53, 2007.10.
- Yuyu Liu and Yu Zhang.
An object lifetime analysis method based on escape analysis (in Chinese).
CNCC2007, Suzhou, Oct. 18-20, 2007.
- Lei Zhao and Yu Zhang.
Implementing atomic section by using hybrid concurrent control.
In Proc. of 2007 IFIP International Conference on Network and Parallel Computing - Workshops (NPC2007 workshops), Dalian, China, 18-21 Sep. 2007.
pp.642-647, IEEE Computer Society Order Number P2943.
- Lili Dai,Yu Zhang and Lei Zhang.
Parrot runtime compilation and its porting to Java (in Chinese).
Computer Applications and Software, 24(8):70,71,74, 2007.8.
- Ming Fu and Yu Zhang.
Homomorphism resolving of XPath trees based on automata.
Proc. of a joint conference of the 9th Asia-Pacific Web Conference and the 8th International Conference on Web-Age Information Management (APWeb/WAIM 2007), Huang Shan, China, June 16-18, Lecture Notes in Computer Science Vol.4505, pages 821-828, 2007.
- Yu Zhang and Nian Wu.
An XML stream query automaton with promoting layered buffer (in Chinese).
Journal of Chinese Computer Systems, 28(3):456-461, 2007.3.
[Top]
[2006]
- Xiong Fu, Yu Zhang and Yiyun Chen.
Reuse distance based cache miss rate analysis (in Chinese).
Journal of Chinese Computer Systems, 27(9):1777-1781, 2006.9.
- Xiong Fu, Yu Zhang and Yiyun Chen.
Data-layout optimization using reuse distance distribution.Proc. of 2006 IFIP International Conference on Embedded and Ubiquitous Com-puting (EUC-06), EUC Workshops 2006, Lecture Notes in Computer Science Vol.4097, pages 858-867, Aug. 2006.
- Yu Zhang and Nian Wu.
XSIEQ-an XML stream query system with immediate evaluation (in Chinese).
Journal of Chinese Computer Systems, 27(8):1514-1518, 2006.8.
- Nian Wu and Yu Zhang.
Immediate processing of XPath query with predicates (in Chinese).
Computer Engineering, 32(13): 58-60, 2006.7.
- Lei Zhang, Yu Zhang and Yiyun Chen.
Porting Perl extension to JVM (in Chinese).
Computer Engineering, 32(3):94-96, 2006.2.
[2005]
[Top]
