张昱的出版物

论文预印本

• 陈金宝, 向红静, 李璐豪, 张昱*, 丁伯尧, 李清伟. Utilizing Precise and Complete Code Context to Guide LLM in Automatic False Positive Mitigation. arXiv:2411.03079 [pdf]
• 徐柴俊, 魏星迪, 张昱*, 李恺威, 朱晓伟, 黄科, 王涛, 戚仕鹏. MV4PG: Materialized Views for Property Graphs. arXiv:2411.18847 [pdf]
• 陈铭喻, 张昱*, 郑钊雨, 李永尚, 邓皓苧. Pattern Tree: Enhancing Efficiency in Quantum Circuit Optimization Based on Pattern-matching. arXiv:2412.07803 [pdf]

[2025]

• 李清伟, 丁伯尧, 张昱*, 陈金宝. Go语言程序的内存性能与安全问题实证研究. 软件学报, 2025.5.6录用.
• 郝小晨, 张铭哲, 孙策, 陶卓夫, 容红波, 张昱, 何磊, Eric Petit, 陈文光, 梁云. Productively Generating a High-Performance Linear Algebra Library on FPGAs. ACM Transactions on Reconfigurable Technology and Systems (FPGA), Early Access, 2025.3.11.
  DOI:10.1145/3723046
• 彭浩然, 张昱*, Michael D. Ernst, 陈金宝, 丁伯尧. 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
• 李永尚, 张昱*, 邓皓苧, 陈铭瑜, 李震宇. 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]

• 丁伯尧, 李清伟, 张昱*, 唐富根, 陈金宝. 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
• 翟祎, 杨思嘉, 潘柯宇, 张任伟, 刘硕, 刘超, 叶子纯, 吉建民, 赵捷, 张昱*, 张燕咏*. 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
• 徐柴俊¹, 梁运龙¹, 张昱*, 胡海蓉, 黄晶晶, 李恺威, 王涛, 张燕咏. Graph-specific Schema-guided Query Optimization. The 29th International Conference on Database Systems for Advanced Applications (DASFAA). Gifu, Japan from July 2-5, 2024.
  DOI:10.1007/978-981-97-5552-3_25
• 孙新雨, 张昱*, 刘硕, 翟祎. Crop: An Analytical Cost Model for Cross-Platform Performance Prediction of Tensor Programs. The 61th Design Automation Conference (DAC). Moscone West, San Francisco, USA from June 23-27, 2024.
  DOI:10.1145/3649329.3658249
• 陈金宝, 张昱*, 李清伟, 丁伯尧. DBI-Go: 动态插桩定位Go二进制的非法内存引用. 软件学报, 35(6):1-23, 2024.6.
  DOI:10.13328/j.cnki.jos.007096（JOS）
• 王顺洪, 张昱*, 沈江楠, 吉建民, 张燕咏. 面向三维多目标追踪的运动补偿优化方法. 电子学报, 52(2):528-539, 2024.
  DOI:10.12263/DZXB.20220104
• 龚磊, 张昱*, 夏迎庆, 张燕咏, 吉建民. 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 from February 20-27, 2024.
  DOI:10.1609/aaai.v38i3.27961

[2023]

• 李永尚, 张昱*, 陈铭瑜, 李向阳, 许鹏. 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
• 王颖杰, 邓家俊*, 李垚, 胡金水, 刘聪, 张昱, 吉建民, 欧阳万里, 张燕咏*. Bi-LRFusion: Bi-Directional LiDAR-Radar Fusion for 3D Dynamic Object Detection. Conference on Computer Vision and Pattern Recognition (CVPR). Vancouver, Canada, Jun. 18 - 22, 2023.
• 郝晓晨, 容红波, 张铭哲, 孙策, Zhuifu Tao, 张昱, 何磊, Eric Petit, 陈文光, 梁云. 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.
• 翟祎, 张昱*, 刘硕, 褚晓萌, 彭杰, 吉建民, 张燕咏. 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
• 龚磊, 孙新雨, 张昱*, 张燕咏, 吉建民, 华蓓. 嵌入路网图模型的自动驾驶场景描述语言. 软件学报, 34(9):2204-2229, 2023.9. 在线优先出版.
• 胡明哲, 赵琦, 张昱*, 熊焰. 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
• 丁伯尧, 张昱*, 陈金宝, 胡明哲, 李清伟. 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]

• 胡明哲, 张昱*. 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
• 陈铭瑜, 张昱*, 李永尚, 汪震, 李俊, 李向阳. 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
• 李垚, 邓家俊, 张昱, 吉建民, 张燕咏*. 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
• 段逸凡, 彭杰, 张昱, 吉建民, 张燕咏*. 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). (June 2022).
• 祝含颀, 邓家俊, 张昱, 吉建民, 毛秋宇, 李厚强, 张燕咏*. 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.
• 王博, 张昱*, 耿佳宁, 李向阳. SSRules: 让智能家居自动化规则更易于编写和检查. 软件学报, 2021.12, 32(12):3728-3750.
  DOI: 10.13328/j.cnki.jos.006098
• 胡明哲, 张昱*, 黄文超, 熊焰. 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
• 褚晓萌, 邓家俊, 李垚, 袁震巽, 张燕咏*, 吉建民, 张昱. Neighbor-Vote: Improving Monocular 3D Object Detection through Neighbor Distance Voting. ACM Multimedia, Chengdu, China, Oct 20-24, 2021.
• 陈铭瑜, 张昱*, 李永尚. A Quantum Circuit Optimization Framework Based on Pattern Matching. SPIN, Oct 15, 2021.
  DOI: 10.1142/S2010324721400087
• 陈宇铵, 陈广大, 潘李凡, 马骏, 张昱, 张燕咏, 吉建民*. 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.
• 张昱, 欧阳幼文. 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
• 张昱, 胡春明, 曾明亮, 黄奕桐, 陈文光, 王元炜. 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
• 彭杰, 陈宇铵, 段逸凡, 吉建民*, 张昱, 张燕咏. 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.
• 龚磊, 王顺洪, 张昱*, 张燕咏, 吉建民. 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
• 彭昀, 张昱*, 胡明哲. An Empirical Study for Common Language Features Used in Python Projects (video). 28th IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER 2021), 页码: 24-35, 2021.3月9-12日, 虚拟会议.
  DOI: 10.1109/SANER50967.2021.00012

[2020]

• 王俊彦, 张昱*. 基于一阶段模式的目标检测模型的设计与调优. 计算机应用与软件, 37(11):90-94,100, 2020.
• 黄奕桐, 张昱*, 冯博远, 郭兴, 张燕咏, 丁雨霏. 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
• 张燕咏, 张莎, 张昱*, 吉建民, 段逸凡, 黄奕桐, 彭杰, 张宇翔. 基于多模态融合的自动驾驶感知及计算. 计算机研究与发展, 57(9):1781-1799, 2020.
  DOI: 10.7544/issn1000-1239.2020.20200255
• 邓皓巍, 张昱, 李权熹. 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
• 胡明哲, 张昱*. 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
• 张昱, 邓皓巍, 李权熹. 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]

• 张宇翔, 张昱*. Fast Schedule Tensor Computation on 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.
  DOI: 10.1109/ISPA-BDCloud-SustainCom-SocialCom48970.2019.00084
• 张昱, 邓皓巍, 李权熹, 宋昊泽, 聂雷海. Optimizing Quantum Programs against Decoherence: Delaying Qubits into Quantum Superposition. 13th International Symposium on Theoretical Aspects of Software Engineering (TASE 2019), Guilin, China, July 29- August 1, 2019.
  DOI: 10.1109/TASE.2019.000-2
• 潘振忠, 张昱*, 郭兴. Image Super Resolution Model Based on Bypass Convolution and Feature Weighting. 21st IEEE International Conference on High Performance Computing and Communications (HPCC 2019), Zhangjiajie, Hunan, China, August 10-12, 2019.

[2018]

• 张昱, 陈健康. 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.
• 谢念念, 曾凡平, 秦晓霞, 张昱, 周明松, 吕成成. 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.
• 张昱, 张宇翔. 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
• 张昱, 俞玉芬, 陈健康. 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.
• 陈健康, 张昱*. 虚拟内存密集型多线程程序的性能改进方法. 小型微型计算机系统, 39(5):924-929, 2018.5.

[2017]

• 张昱, 俞玉芬, 曹慧芳, 陈健康, 张其良. Chaus: Scalable VM-based Channels for Unbounded Streaming (一种基于VM的支持无界流传递的可伸缩通道). Journal of Computer Science and Technology, 32(6):1288–1304, Nov. 2017,
  DOI: 10.1007/s11390-017-1801-4.
• 张其良, 张昱*. 并发多播队列的实现框架及其多种实现的性能分析. 小型微型计算机系统, 37(6):1237-1242, 2017.6.
• 张其良, 张昱*, 周坤. CCodeExtractor: 一种针对C程序自动化的函数提取方法 [PDF]. 计算机科学, 44(4):16-20,29, 2017.4. (NASAC2015会议推荐论文)
• 张昱, 曹慧芳. 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]

• 张昱, 张剑格, 张其良. Making User-level VMM for Deterministic Parallelism Nonblocking and Efficient. 17th International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT '16), Guangzhou, December 16-18, 2016.
• 张昱, 陈意云, 李兆鹏. 形状图理论的定理证明. 计算机学报, 39(12):2460-2480,2016.12.
• 张震. xWIDL: Modular and Deep JavaScript API Misuses Checking Based on eXtended WebIDL. SPLASH Companion 2016, October 30 - November 4, 2016, Amsterdam, Netherlands. ACM SIGPLAN SPLASH学生研究竞赛本科生组第2名, 指导教师: 张昱.
• 曹慧芳, 张昱*. 确定性多线程编程模型的可编程性及其实现性能的探索. 小型微型计算机系统, 37(6): 1126-1131, 2016.6.

[2015]

• 张昱, 陈意云, 李兆鹏. 形状图理论的定理证明. 计算机学报, 2015, CNKI在线出版.
• 张学令,张昱*,张维. 一种针对于堆内存对象的结构分析, 小型微型计算机系统, 36(7):1633-1638, 2015.7.
• 张维, 张昱*. Lightweight Function Pointer Analysis. 11st International Conference on Information Security Practice and Experience (ISPEC'15), May 5-8, 2015, Beijing, China. LNCS 9065: 439-453.
• 张昱, 李兆鹏, 曹慧芳. System-Enforced Deterministic Streaming for Efficient Pipeline Parallelism . Journal of Computer Science and Technology, 30(1):57-73, 2015.1,
  DOI: 10.1007/s11390-015-1504-7.

[2013]

• 李兆鹏, 张昱*, 陈意云. A Shape Graph Logic and A Shape System. Journal of Computer Science and Technology,28(6):1063-1084, 2013,
  DOI: 10.1007/s11390-013-1398-1. (中文版)
• 张昱, Bryan Ford. Lazy Tree Mapping: Generalizing and Scaling Deterministic Parallelism. 4th ACM SIGOPS Asia-Pacific Workshop on Systems. (APSys '13), Singapore, July 30, 2013.

[2012]

• 张昱, 胡伟. Exploring Deterministic Shared Memory Programming Model. 13th International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT'12), Beijing, Dec. 2012.
• 彭文, 张昱, 李泉龙. 编译时对象回收中的Java库分析研究. 小型微型计算机系统, 33(11):2341-2345, 2012.11.
• 张予现, 张昱*. 一种链状数据结构细粒度自动加锁方法. 小型微型计算机系统, 33(9):1892-1897, 2012.9. [code, demo ]
• 胡伟, 张昱*, 李泉龙. Exploring Deterministic Programming Model for Pipeline Parallelism. First Asia-Pacific Programming Languages and Compilers Workshop (APPLC'12), June 2012.

2011年

• 张昱, 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.
• 付小朋, 张昱*, 张伟, 汪晨. 一种面向动态链状数据结构的指针定值引用链算法. 小型微型计算机系统, 32(7):1412-1417, 2011.
• 汪晨, 张昱*, 付小朋, 张伟. 一种含共享变量维持声明的并行程序语言. 小型微型计算机系统, 32(7):1387-1393, 2011.
• Amittai Aviram, Bryan Ford, 张昱. 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.
• 张伟, 张昱*, 汪晨, 付小朋. 一种动态共享数据结构的并发访问控制分析方法. 中国科学技术大学学报, 41(2): 164-172, 2011.

2010年

• 张昱, 袁丽娜, 吴廷鹏, 彭文、李泉龙. 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.
• 付明, 李勇, 冯新宇, 邵中、张昱. 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.
• 李勇, 张昱*, 陈意云, 付明. Formal reasoning about lazy-STM programs. Journal of Computer Science and Technology, 25(4):841-852, 2010. ( [Chinese] [Abstract] [PDF 410KB]).
• 张昱, 袁丽娜. 即时编译器辅助的垃圾收集中的插桩算法研究. 小型微型计算机系统，31(4):651-656, 2010.4.
• 梁红瑾, 张昱*, 陈意云, 李兆鹏、华保健. 处理指针相等关系不确定的指针逻辑. 软件学报，21(2):334-343, 2010.2.
• 付明, 张昱*, 李勇. 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.
• 袁丽娜, 张昱. 即时编译器辅助垃圾收集中的对象生命期分析研究. 西安交通大学学报，44(2):50-55, 2010.2.

2009年

• 张昱, 史成荣. 利用Java即时编译器自动外提循环中的同步操作. 小型微型计算机系统，30(12):2414-2419，2009.12.
• 张昱, 郝允允. Java程序数据竞争的增量式检测. 西安交通大学学报，43(8):22-27, 2009.8.
• 付明, 张昱*, 李勇. 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.
• 李勇, 张昱*, 陈意云, 付明. On 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.
• 吴廷鹏, 张昱*, 刘玉宇. 基于即时编译器辅助的并行垃圾收集器. 计算机工程, 35(10):86-88, 2009.5.
• 李隆, 张昱*, 陈意云, 李勇. Certifying concurrent programs using transactional memory. Journal of Computer Science and Technology, 24(1):110-121, January 2009.

2008年

• 张昱, 曹益华, 李勋浩. 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.
• 吴晓勇, 张昱*, 孙东海. 带Order子句的XQuery在XML流上的查询. 小型微型计算机系统, 29(3):481-486, 2008.3.
• 吴晓勇, 张昱*, 孙东海. XQuery在XML流上查询的结构化连接. 计算机工程, 34(4):63-65,70, 2008.2.
• 曹益华, 张昱*. DTD可选的XML访问控制研究. 小型微型计算机系统, 29(1):73-79, 2008.1.
• 张昱, 刘玉宇. 一种Java字节码优化框架. 计算机工程, 34(2):69-71, 2008.1.

2007年

• 孙东海, 张昱*, 吴晓勇. XML流上的XQuery前缀共享查询. 计算机科学, 34(10):137-142,2007.10.
• 张昱. 一种构建Java语言扩展的编译器框架. 计算机工程, 33(19):51-53, 2007.10.
• 刘玉宇,张昱*. 一种基于逃逸分析的对象生命期分析方法. 中国计算机大会(CNCC2007)，苏州，2007年10月18-20日.
• 赵雷,张昱*. Implementing atomic section by using hybrid concurrent control. 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.
• 戴莉莉,张昱*,张磊. Parrot动态编译及其到Java的移植. 计算机应用与软件, 24(8):70,71,74, 2007.8.
• 付明, 张昱*. 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.
• 张昱, 吴年. 一种逐层提升缓冲的XML流查询自动机. 小型微型计算机系统, 28(3):456-461, 2007.3.

2006年

• 付雄,张昱*,陈意云. 基于复用距离的cache失效率分析. 小型微型计算机系统, 27(9):1777-1781, 2006.9.
• 付雄,张昱*, 陈意云. 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.
• 张昱, 吴年. XSIEQ-一种立即计算的XML流查询系统. 小型微型计算机系统, 27(8):1514-1518, 2006.8.
• 吴年,张昱*. 带谓词的XPath查询的即时处理. 计算机工程, 32(13): 58-60, 2006.7.
• 张磊,张昱*,陈意云. Perl扩展到JVM的移植. 计算机工程, 32(3):94-96, 2006.2.

2005年

• 张昱,李凡. 用Xerces-J进行基于XML Schema的XML局部验证. 小型微型计算机系统, 26(8):1369-1373, 2005.8.
• 张昱,张磊. LALR(1)解析器的再工程:剖析YACC和CUP. 计算机工程, 31(15):50-52, 2005.8.
• 徐丽,张昱*,陈意云. Perl后端到JVM的移植. 计算机工程, 31(8):82-83,150, 2005.4.

教研论文

• 张昱, 欧阳幼文. 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.
• 张昱, 胡春明, 曾明亮, 黄奕桐, 陈文光, 王元炜. 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 26th - July 1st, 2021.
• 张昱, 黄奕桐. 编译原理课程的在线综合性软件实践构建与实施, 计算机教育, 2021年第4期. 2020全国高校计算机教育大会, 优秀论文奖, 2020.8.21-24, 南京.
• 张昱, 许胤龙. 编程语言及原理类课程设置及教学内容探索, 计算机教育, 2019年第2期. 2018全国高校计算机教育大会, 优秀论文奖, 2018.7.10-12, 合肥.
• 卢建良, 张昱, 张辉. 云实验室在计算机实验教学中的应用, 2018全国高校计算机教育大会, 优秀论文奖, 2018.7.10-12, 合肥.
• 张昱. 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.
• 张昱,陈娟,肖胜刚,张铭. 由第48 届ACM 计算机科学教育大会看国内计算机教育科研, 计算机教育，No.273:176-179，2017.9.
• 张昱, 陈香兰, 安鑫等. 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.
• 张昱, 桑榆扬. 引入开源编译器LLVM的编译原理课程改革, 计算机教育, No.266:62-67, 2017.2.
• 张昱, 桑榆扬. 编译原理实践改革的再次探索：引入开源编译器 LLVM. 2016全国高校计算机教育大会, 优秀论文一等奖, 2016.7.11-13, 长春.
• 张昱, 陈意云, 郭宇, 李兆鹏. “编译原理”课程的教学内容选择的探讨. 计算机教育, 102:143-146, 2009.9.
• 张昱, 陈意云. 编译原理课程实践改革探索. 计算机教育, 68:24-26, 2008.4. 第二届中国计算机教育与发展学术研讨会暨中国计算机学会教育专业委员会年会, 2008.5.8~11, 山东大学, 济南.
• 陈意云, 张昱. “编译原理”的教学与实际相结合的再探讨. 第三届“大学计算机课程报告论坛”(同济大学, 上海, 2007年10月26～28日)论文集，高等教育出版社，2008.6.
• 张昱. 在《数据结构》教学中开展程序理解的实践探讨. 第二届“大学计算机课程报告论坛”(南京, 2006年11月18日～20日)论文集，高等教育出版社, 2007.
• 陈意云, 张昱, 郑启龙. 《编译原理》的教学与实际相结合的探讨. 教育与现代化, 77:32-36, 2005.4.
• 张昱, 陈意云, 郑启龙. 编译原理课程的教学方法和教材建设. 中国大学教学, 61-62, 2005.7.

教材

• 陈意云, 张昱. 编译原理（第3版）. 普通高等教育“十二五”国家级规划教材. 北京：高等教育出版社, 2014.9.
• 陈意云, 张昱. 编译原理（第3版）习题精选与解析. 普通高等教育“十二五”国家级规划教材配套参考书. 北京：高等教育出版社, 2014.9.
• 张昱, 陈意云. 编译原理与技术. 北京：高等教育出版社，2010.8.
• 陈意云, 张昱. 程序设计语言理论（第2版）. 研究生教学用书. 北京：高等教育出版社, 2010.2.
• 张昱, 陈意云. 编译原理实验教程. 北京：高等教育出版社，2009.5.
• 安虹, 张昱, 吴俊敏译. 虚拟机——系统与进程的通用平台. 北京：机械工业出版社，2009.1.
• 陈意云, 张昱. 编译原理（第2版）. 普通高等教育“十一五”国家级规划教材. 北京：高等教育出版社, 2008.6.
• 陈意云, 张昱. 编译原理习题精选与解析. 普通高等教育“十五”国家级规划教材配套参考书. 北京：高等教育出版社, 2005.8.
• 陈意云, 张昱. 编译原理. 普通高等教育“十五”国家级规划教材. 北京：高等教育出版社, 2003.9.
• 陈意云, 张昱. 编译原理习题精选. 合肥：中国科学技术大学出版社, 2002.1.