Papers
Preprint
- Jinbao Chen, Hongjing Xiang, Luhao Li, Yu Zhang*, Boyao Ding, Qingwei Li. Utilizing Precise and Complete Code Context to Guide LLM in Automatic False Positive Mitigation. arXiv:2411.03079 [pdf]
- Chaijun Xu, Xingdi Wei, Yu Zhang*, Kaiwei Li, Xiaowei Zhu, Ke Huang, Tao Wang, Shipeng Qi. MV4PG: Materialized Views for Property Graphs. arXiv:2411.18847 [pdf]
- Mingyu Chen, Yu Zhang*, Zhaoyu Zheng, Yongshang Li, Haoning Deng. Pattern Tree: Enhancing Efficiency in Quantum Circuit Optimization Based on Pattern-matching. arXiv:2412.07803 [pdf]
[2025]
- Haoran Peng, Yu Zhang*, Michael D. Ernst, Jinbao Chen, Boyao Ding. GoFree: Reducing Garbage Collection via Compiler-inserted Freeing. 21st ACM/IEEE International Symposium on
Code Generation and Optimization (CGO). Las Vegas, Nevada, USA, March 1–5, 2025.
DOI:10.1145/3696443.3708925
- Yongshang Li, Yu Zhang*, Haoning Deng, Mingyu Chen, Zhenyu Li. PauliForest: Connectivity-Aware Synthesis and Pauli-Oriented Qubit Mapping for Near Term Quantum Simulation. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), Early Access, Dec. 2, 2024.
DOI:10.1109/TCAD.2024.3509794
[2024]
- Boyao Ding, Qingwei Li, Yu Zhang*, Fugen Tang, Jinbao Chen. MEA2: a Lightweight Field-Sensitive Escape Analysis with Points-to Calculation for Golang. The Object-Oriented Programming, Systems, Languages, and Applications (in PACM PL) (OOPSLA). Pasadena, California, USA, October 20-25, 2024.
DOI:10.1145/3689759
- Yi Zhai, Sijia Yang, Keyu Pan, Renwei Zhang, Shuo Liu, Chao Liu, Zichun Ye, Jianmin Ji, Jie Zhao, Yu Zhang*, Yanyong Zhang*. Enabling Tensor Language Model to Assist in Generating High-Performance Tensor Programs for Deep Learning. 18th USENIX Symposium on Operating Systems Design and Implementation (OSDI). Santa Clara, CA, USA, July 10–12, 2024.
USENIX OSDI Open Access | Paper | Code | Slides
- Chaijun Xu1, Yunlong Liang1, Yu Zhang*, Hairong Hu, Jingjing Huang, Kaiwei Li, Tao Wang, Yanyong Zhang. Graph-specific Schema-guided Query Optimization. 29th International Conference on Database Systems for Advanced Applications (DASFAA). Gifu, Japan, July 2-5, 2024.
DOI:10.1007/978-981-97-5552-3_25
- Xinyu Sun, Yu Zhang*, Shuo Liu, Yi Zhai. Crop: An Analytical Cost Model for Cross-Platform Performance Prediction of Tensor Programs. 61th Design Automation Conference (DAC). Moscone West, San Francisco, USA, June 23-27, 2024.
DOI:10.1145/3649329.3658249
- Jinbao Chen, Yu Zhang*, Qingwei Li, Boyao Ding. DBI-Go: Dynamic Binary Instrumentation for Pinpointing Illegal Memory References in Go Binaries. Journal of Software, 35(6):1-23, 2024.6.
DOI:10.13328/j.cnki.jos.007096(JOS)
- Shunhong Wang, Yu Zhang*, Jiangnan Shen, Jianmin Ji, Yanyong Zhang. Motion Compensation Optimization Method for 3D Multi-Object Tracking. Acta Electronica Sinica, 52(2):528-539, 2024.
DOI:10.12263/DZXB.20220104.
- Lei Gong, Yu Zhang*, Yingqing Xia, Yanyong Zhang, Jianmin Ji. SDAC: A Multimodal Synthetic Dataset for Anomaly and Corner Case Detection in Autonomous Driving. The 38th AAAI Conference on Artificial Intelligence, 38(3):1914-1922. Vancouver, British Columbia, Canada, February 20-27, 2024.
DOI:10.1609/aaai.v38i3.27961
[2023]
- Yongshang Li, Yu Zhang*, Mingyu Chen, Xiangyang Li, Peng Xu. Timing-Aware Qubit Mapping and Gate Scheduling Adapted to Neutral Atom Quantum Computing. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD). 42(11):3768-3780, Nov. 2023.
DOI: 10.1109/TCAD.2023.3261244
- Yingjie Wang, Jiajun Deng*, Yao Li, Jinshui Hu, Cong Liu, Yu Zhang, Jianmin Ji, Wanli Ouyang, Yanyong Zhang*. Bi-directional LiDAR-Radar Fusion for 3D Dynamic Object Detection. Conference on Computer Vision and Pattern Recognition (CVPR). Vancouver, Canada, Jun. 18 - 22, 2023.
- Xiaochen Hao, Hongbo Rong, Mingzhe Zhang, Ce Sun, Zhuifu Tao, Yu Zhang, Lei He, Eric Petit, Wenguang Chen, Yun Liang. Lasa: Abstraction and Specialization for Productive and Performant Linear Algebra on FPGAs. The 31st IEEE International Symposium On Field-Programmable Custom Computing Machines (FCCM). May 5-8, 2023.
- Yi Zhai, Yu Zhang*, Shuo Liu, Xiaomeng Chu, Jie Peng, Jianmin Ji, Yanyong Zhang. TLP: A Deep Learning-based Cost Model for Tensor Program Tuning. 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS). Vancouver, Canada, Mar. 25 - 29, 2023.
DOI: 10.1145/3575693.3575737
- Lei Gong, Xinyu Sun, Yu Zhang*, Yanyong Zhang, Jianmin Ji, Bei Hua. Autonomous Driving Scenario Description Language Embedded with Road Network Graph Model. Journal of Software, 34(9):2204-2229, Sept. 2023.
Online, DOI: 10.13328/j.cnki.jos.006877
- Mingzhe Hu, Qi Zhao, Yu Zhang*, Yan Xiong. Cross-Language Call Graph Construction Supporting Different Host Languages. 30th IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER). Macao, China, March 21-24, 2023.
DOI: 10.1109/SANER56733.2023.00024
- Boyao Ding, Yu Zhang*, Jinbao Chen, Mingzhe Hu and Qingwei Li. CGORewritter: A better way to use C library in Go (ERA). 30th IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER). Macao, China, March 21-24, 2023.
DOI: 10.1109/SANER56733.2023.00072
[2022]
- Mingzhe Hu, Yu Zhang*. An Empirical Study of the Python/C API on Evolution and Bug Patterns. Journal of Software: Evolution and Process. 35(2):e2507, 2023. First published: Sept. 06, 2022.
DOI: 10.1002/smr.2507
- Mingyu Chen, Yu Zhang*, Yongshang Li, Zhen Wang, Jun Li, Xiangyang Li. QCIR: Pattern Matching Based Universal Quantum Circuit Optimization Framework. 41st International Conference on Computer-Aided Design (ICCAD). San Diego, California, USA, Oct. 30 - Nov.4, 2022.
DOI: 10.1145/3508352.3549405
- Yao Li, Jiajun Deng, Yu Zhang, Jianmin Ji, Yanyong Zhang*. EZFusion: A Close Look at the Integration of LiDAR, Millimeter-wave Radar, and Camera for Accurate 3D Object Detection and Tracking. IEEE Robotics and Automation Letters (RA-L). 7(4):11182-11189, Oct. 2022.
DOI: 10.1109/LRA.2022.3193465.
- Yifan Duan, Jie Peng, Yu Zhang, Jianmin Ji, Yanyong Zhang*. PFilter: Building Persistent Maps through Feature Filtering for Fast and Accurate LiDAR-based SLAM. 2022 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS). Oct.23-27, 2022.
DOI: 10.1109/IROS47612.2022.9981566.
- Hanqi Zhu, Jiajun Deng, Yu Zhang, Jianmin Ji, Qiuyu Mao, Houqiang Li, Yanyong Zhang*. VPFNet: Improving 3D Object Detection with Virtual Point based LiDAR and Stereo Data Fusion. IEEE Trans on Multimedia (TMM). Accepted for publication (June 2022).
DOI: 10.1109/TMM.2022.3189778
[2021]
- The Quingo Development Team.
Quingo: A Programming Framework for Heterogeneous Quantum-Classical Computing with NISQ Features. [2009.01686]
ACM Transactions on Quantum Computing, 2(4): No.19, pp 1-37, Dec. 2021.
- Bo Wang, Yu Zhang*, Jianing Geng, Xiangyang Li.
SSRules: Make it Easier to Write and Check Automation Rules for Smart Home Systems.
Journal of Software, 32(12):3728-3750, Dec 2021.
DOI: 10.13328/j.cnki.jos.006098
- Mingzhe Hu, Yu Zhang*, Wenchao Huang, Yan Xiong.
Static Type Inference for Foreign Functions of Python.
32nd International Symposium on Software Reliability Engineering (ISSRE 2021),
Wuhan, China, Oct.25-28, 2021.
DOI: 10.1109/ISSRE52982.2021.00051
- Xiaomeng Chu, Jiajun Deng, Yao Li, Zhenxun Yuan, Yanyong Zhang*, Jianmin Ji, Yu Zhang.
Neighbor-Vote: Improving Monocular 3D Object Detection through Neighbor Distance Voting.
ACM Multimedia, Chengdu, China, Oct 20-24, 2021.
- Mingyu Chen, Yu Zhang*, and Yongshang Li.
A Quantum Circuit Optimization Framework Based on Pattern Matching.
SPIN, Oct 15, 2021. DOI: 10.1142/S2010324721400087
- Yu'an Chen, Guangda Chen, Lifan Pan, Jun Ma, Yu Zhang, Yanyong Zhang, Jianmin Ji*. DRQN-Based 3D Obstacle Avoidance with a Limited Field of View. 2021 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), Prague, Czech Republic, Online, Sept.27 - Oct.1, 2021.
- Yu Zhang, and Youwen Ouyang.
Designing a Course of Programming Language Foundations that Closely Combines Practice.
ACM Turing Award Celebration Conference - China (ACM TURC 2021), Hefei, China, July 30 - August 1, 2021.
DOI: 10.1145/3472634.3472637
- Yu Zhang, Chunming Hu, Mingliang Zeng, Yitong Huang, Wenguang Chen and Yuanwei Wang.
Encouraging Compiler Optimization Practice for Undergraduate Students through Competition.
26th annual conference on Innovation and Technology in Computer Science Education (ITiCSE), online-only, hosted by Paderborn University in Paderborn, Germany, June 26 - July 1, 2021.
DOI: 10.1145/3430665.3456354
- Jie Peng, Yu'an Chen, Yifan Duan, Jianmin Ji*, Yu Zhang, Yanyong Zhang.
Towards an Online RRT-based Path Planning Algorithm for Ackermann-steering Vehicles.
2021 IEEE International Conference on Robotics and Automation (ICRA), Xi'an, May 30 - June 5, 2021.
- Lei Gong, Shunhong Wang, Yu Zhang*, Yanyong Zhang and Jianmin Ji.
Lightweight Map-Enhanced 3D Object Detection and Tracking for Autonomous Driving.
12th Asia-Pacific Symposium on Internetware, Virtual, May 12-14, 2021.
DOI: 10.1145/3457913.3457941
- Yun Peng, Yu Zhang*, Mingzhe Hu.
An Empirical Study for Common Language Features Used in Python Projects (video).
28th IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER 2021), pp.24-35, Virtual, March 9-12, 2021.
DOI: 10.1109/SANER50967.2021.00012
[2020]
- Junyan Wang, Yu Zhang*.
Design and Optimization of One-stage-based Object Detection Model (in Chinese).
Computer Application and Software, 37(11):90-94,100, 2020.
- Yitong Huang Yu Zhang*, Boyuan Feng, Xing Guo, Yanyong Zhang, Yufei Ding.
A Close Look at Multi-Tenant Parallel CNN Inference for Autonomous Driving.
17th Annual IFIP International Conference on Network and Parallel Computing(NPC2020), Sept.28-30, 2020.
DOI: 10.1007/978-3-030-79478-1_8
- Yanyong Zhang, Sha Zhang, Yu Zhang*, Jianming Ji, Yifan Duan, Yitong Huang, Jie Peng, Yuxiang Zhang.
Multi-Modality Perception and Edge Computing in Autonomous Driving (in Chinese).
Journal of Computer Research and Development, 57(9):1781-1799, 2020.
DOI: 10.7544/issn1000-1239.2020.20200255
- Haowei Deng, Yu Zhang*, Quanxi Li.
CODAR : A Contextual Duration-Aware Qubit Mapping for Various NISQ Devices.
57th Design Automation Conference (DAC 2020),
San Francisco, CA, USA, July 19-23, 2020.
[preprint]
DOI: 10.1109/DAC18072.2020.9218561
- Mingzhe Hu, Yu Zhang*.
The Python/C API: Evolution, Usage Statistics and Bug Patterns (ERA).
27th IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER 2020),
London, Ontario, Canada, February 18-21, 2020.
DOI: 10.1109/SANER48275.2020.9054835
- Yu Zhang, Haowei Deng, Quanxi Li.
Context-Sensitive and Duration-Aware Qubit Mapping for Various NISQ Devices.
Accepted talk in 1st Programming Languages for Quantum Computing (PLanQC 2020),
New Orleans, Louisiana, USA, January 19-23, 2020. [preprint]
[2019]
- Yuxiang Zhang, Yu Zhang*.
Fast Schedule Tensor Computationon GPU with High Data Reuse and Device Utilization.
2019 IEEE Intl Conf on Parallel & Distributed Processing with Applications (ISPA 2019),
Xiamen, China, December 16-18, 2019.
- Zhenzhong Pan, Yu Zhang*, Xing Guo.
Image Super-Resolution Model Based on Bypass Convolution and Feature Weighting.
21st IEEE International Conference on High Performance Computing and Communications (HPCC 2019),
Zhangjiajie, China, August 10-12, 2019.
- Yu Zhang, Haowei Deng, Quanxi Li, Haoze Song, Leihai Nie.
Optimizing Quantum Programs against Decoherence: Delaying Qubits into Quantum Superposition.
13th International Symposium on Theoretical Aspects of Software Engineering (TASE 2019),
Guilin, China, 29 July - 1 August, 2019.
DOI: 10.1109/TASE.2019.000-2
[2018]
- Yu Zhang, Jiankang Chen.
A Scalable Pthreads-Compatible Thread Model for VM-Intensive Programs.
18th International Conference on Algorithms and Architectures for Parallel Processing (ICA3PP 2018),
Guangzhou, China, November 15-17, 2018.
- Niannian Xie, Fanping Zeng, Xiaoxia Qin, Yu Zhang, Mingsong Zhou, Chengcheng Lv.
RepassDroid: Automatic Detection of Android Malware Based on Essential Permissions and Semantic Features of Sensitive APIs.
12th International Symposium on Theoretical Aspects of Software Engineering (TASE 2018),
pages: 52-59,
Guangzhou, China, August 29-31, 2018.
- Yu Zhang, Yuxiang Zhang.
Making Halide Efficient for Multicore Systems.
4th International Conference on Big Data Computing and Communications (BIGCOM 2018),
IIT, Chicago, USA, August 7 - 9, 2018. Best Paper Runner Up Award
- Yu Zhang, Yufen Yu, Jiankang Chen.
SMR: Scalable MapReduce for Multicore Systems.
20th IEEE International Conference on High Performance Computing and Communications (HPCC 2018),
Exeter, England, UK, June 28-30, 2018.
- Jiankang Chen, Yu Zhang*.
Improving the Performance of Virtual Memory Intensive Multithreaded Programs (in Chinese).
Journal of Chinese Computer Systems, 39(5): 924-929, May 2018.
- Yu Zhang.
Compiler Practice System Integrated
with Real Open Source Compiler. Poster,
49th ACM Technical Symposium on Computer Science Education (SIGCSE 2018),
pages: 1091-1091, Baltimore, Maryland, USA, February 21 - 24, 2018.
[2017]
- Yu Zhang, Yufen Yu, Huifang Cao, Jiankang Chen,Qiliang Zhang.
Chaus: Scalable VM-based Channels for Unbounded Streaming
.
Journal of Computer Science and Technology, 32(6):1288-1304, November 2017,
DOI: 10.1007/s11390-017-1801-4.
- Yu Zhang, Juan Chen, Shenggang Xiao and Ming Zhang.
From the 48th ACM SIGCSE to See Domestic Computer Education Research (in Chinese),
Computer Education, No.273:176-179, September 2017.
- Qiliang Zhang, Yu Zhang*.
Framework of Concurrent Multicast Queue and the Performance Analysis of its Several Implementations (in Chinese).
Journal of Chinese Computer Systems, 38(6): 1237-1242, June 2017.
- Yu Zhang, Xianglan Chen, Xin An, et al.
Building Step-by-step Practical Curriculum System for Computer Systemic Ability Training,
ACM Turing 50th Celebration Conference - China (ACM TUR-C '17),
7:1-7:6, Shanghai, China, May 12-14, 2017.
- Qiliang Zhang, Yu Zhang*, Kun Zhou.
CCodeExtractor: An Automatic Extract-Method Approach for C Programs (in Chinese)
[PDF].
Computer Science, 44(4):16-20,29, April 2017.
(NASAC 2015 recommended paper)
- Yu Zhang, Yuyang Sang.
Compilation Principle Curriculum Reform by Introducing Open Source LLVM Compiler (in Chinese),
Computer Education, No.266:62-67, February 2017.
- Yu Zhang, Huifang Cao.
DMR: A Deterministic MapReduce for Multicore Systems.
International Journal of Parallel Programming, 2017, 45(1):128-141. DOI:10.1007/s10766-015-0390-5.
[2016]
- Yu Zhang, Jiange Zhang, Qiliang Zhang.
Making User-level VMM for Deterministic Parallelism Nonblocking and Efficient.
17th International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT '16),
Guangzhou, Dec.16-18, 2016.
- Yu Zhang, Yiyun Chen, Zhaopeng Li.
Theorem Proving for Theory of Shape Graph (in Chinese).
Chinese Journal of Computers, 39(12):2460-2480,2016.12.
- Zhen Zhang.
xWIDL: Modular and Deep JavaScript API Misuses Checking Based on eXtended WebIDL.
SPLASH Companion 2016>, October 30 - November 4, 2016, Amsterdam, Netherlands.
2nd Place in the ACM SIGPLAN SPLASH Student Research Competition (Undergraduate Category),
guided by Yu Zhang.
- Huifang Cao, Yu Zhang*.
Exploring the Programmability and Implementation Performance for a Deterministic Multithreaded Programming Model (in Chinese).
Journal of Chinese Computer Systems, 37(6): 1126-1131, June 2016.
[2015]
- Yu Zhang, Yiyun Chen, Zhaopeng Li.
Theorem Proving for Theory of Shape Graph (in Chinese).
Chinese Journal of Computers, 2015, CNKI online publishing.
- Xueling Zhang,Yu Zhang*,Wei Zhang.
A Structure Analysis for Heap-allocated Memory Object (in Chinese).
Journal of Chinese Computer Systems, 36(7):1633-1638, July 2015.
- Wei Zhang, Yu Zhang*.
Lightweight Function Pointer Analysis.
11st International Conference on Information Security Practice and Experience (ISPEC'15),
5-8 May 2015, Beijing, China. LNCS 9065: 439-453.
- Yu Zhang, Zhaopeng Li, Huifang Cao.
System-Enforced Deterministic Streaming for Efficient Pipeline Parallelism
.
Journal of Computer Science and Technology, 30(1):57-73, January 2015,
DOI: 10.1007/s11390-015-1504-7.
[2013]
[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 (in Chinese).
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
(in Chinese).
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 (in Chinese).
Journal of Chinese Computer Systems, 32(7):1412-1417, July 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), September 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, April 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, February 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, February 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, December 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, August 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, January 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]
