咨询与建议

限定检索结果

文献类型

  • 4 篇 会议
  • 1 篇 期刊文献

馆藏范围

  • 5 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 4 篇 工学
    • 3 篇 计算机科学与技术...
    • 3 篇 软件工程
    • 1 篇 信息与通信工程
    • 1 篇 控制科学与工程
    • 1 篇 生物医学工程(可授...
    • 1 篇 生物工程
  • 1 篇 理学
    • 1 篇 数学
    • 1 篇 生物学

主题

  • 2 篇 program synthesi...
  • 2 篇 compiler testing
  • 2 篇 heuristic algori...
  • 1 篇 tools
  • 1 篇 jvm testing
  • 1 篇 java virtual mac...
  • 1 篇 memory managemen...
  • 1 篇 go programming l...
  • 1 篇 software enginee...
  • 1 篇 escape analysis
  • 1 篇 metamorphic test...
  • 1 篇 optimization
  • 1 篇 computer languag...
  • 1 篇 memory optimizat...
  • 1 篇 open source soft...
  • 1 篇 code generation

机构

  • 2 篇 tianjin univ col...
  • 1 篇 huawei 2012 lab ...
  • 1 篇 programming lang...
  • 1 篇 compiler and pro...
  • 1 篇 huawei programmi...
  • 1 篇 kliss bnrist sch...
  • 1 篇 college of engin...
  • 1 篇 tsinghua univ sc...
  • 1 篇 huawei technol c...
  • 1 篇 australian natl ...

作者

  • 2 篇 chen junjie
  • 2 篇 ye haojie
  • 2 篇 zhao yingquan
  • 2 篇 fu ruifeng
  • 2 篇 wang zan
  • 1 篇 huafeng zhang
  • 1 篇 mingrui zhang
  • 1 篇 zhang huafeng
  • 1 篇 ming gu
  • 1 篇 yu jiang
  • 1 篇 xing zhenchang
  • 1 篇 gu ming
  • 1 篇 li zengkun
  • 1 篇 gao tianchang
  • 1 篇 wang cong
  • 1 篇 zhang mingrui
  • 1 篇 jiang yu
  • 1 篇 zhenchang xing
  • 1 篇 cong wang
  • 1 篇 lu yanzhou

语言

  • 5 篇 英文
检索条件"机构=Programming Language Lab Huawei"
5 条 记 录,以下是1-10 订阅
排序:
Testing the Compiler for a New-Born programming language: An Industrial Case Study (Experience Paper)  2023
Testing the Compiler for a New-Born Programming Language: An...
收藏 引用
32nd ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA)
作者: Zhao, Yingquan Chen, Junjie Fu, Ruifeng Ye, Haojie Wang, Zan Tianjin Univ Coll Intelligence & Comp Tianjin Peoples R China Huawei Programming Language Lab Hangzhou Peoples R China
Due to the critical role of compilers, many compiler testing techniques have been proposed, two most notable categories among which are grammar-based and metamorphic-based techniques. All of them have been extensively... 详细信息
来源: 评论
Program Ingredients Abstraction and Instantiation for Synthesis-based JVM Testing  24
Program Ingredients Abstraction and Instantiation for Synthe...
收藏 引用
31st Conference on Computer and Communications Security
作者: Zhao, Yingquan Wang, Zan Chen, Junjie Fu, Ruifeng Lu, Yanzhou Gao, Tianchang Ye, Haojie Tianjin Univ Coll Intelligence & Comp Tianjin Peoples R China Programming Language Lab Huawei Hangzhou Peoples R China
Java Virtual Machine (JVM) holds a crucial position in executing various Java programs, thereby necessitating rigorous testing to ensure software reliability and security. Regarding existing JVM testing techniques, sy... 详细信息
来源: 评论
A Heuristic Search Algorithm Using the Stability of Learning Algorithms in Certain Scenarios as the Fitness Function: An Artificial General Intelligence Engineering Approach
arXiv
收藏 引用
arXiv 2017年
作者: Li, Zengkun Huawei 2012 Lab Central Software Institute Compiler and Programming Language Lab
This paper presents a non-manual design engineering method based on heuristic search algorithm to search for candidate agents in the solution space which formed by artificial intelligence agents modeled on the base of... 详细信息
来源: 评论
Escape from Escape Analysis of Golang  42
Escape from Escape Analysis of Golang
收藏 引用
42nd ACM/IEEE International Conference on Software Engineering - Companion Proceedings (ICSE-Companion) / 42nd ACM/IEEE International Conference on Software Engineering - Software Engineering in Practice (ICSE-SEIP)
作者: Wang, Cong Zhang, Mingrui Jiang, Yu Zhang, Huafeng Xing, Zhenchang Gu, Ming Tsinghua Univ Sch Software BNRist KLISS Beijing Peoples R China Huawei Technol Compiler & Programming Language Lab Hangzhou Peoples R China Australian Natl Univ Coll Engn & Comp Sci Canberra ACT Australia
Escape analysis is widely used to determine the scope of variables, and is an effective way to optimize memory usage. However, the escape analysis algorithm can hardly reach 100% accurate, mistakes of which can lead t... 详细信息
来源: 评论
Escape from Escape Analysis of Golang
Escape from Escape Analysis of Golang
收藏 引用
IEEE/ACM International Conference on Software Engineering: Software Engineering in Practice Track (ICSE-SEIP)
作者: Cong Wang Mingrui Zhang Yu Jiang Huafeng Zhang Zhenchang Xing Ming Gu KLISS BNRist School of Software Tsinghua University Beijing China Compiler and Programming Language Lab Huawei Technologies Hangzhou China College of Engineering and Computer Science ANU Canberra Australia
Escape analysis is widely used to determine the scope of variables, and is an effective way to optimize memory usage. However, the escape analysis algorithm can hardly reach 100% accurate, mistakes of which can lead t... 详细信息
来源: 评论