史晓华｜北京航空航天大学｜学者主页

期刊论文

2025

Automatic Compiler Tuning for Inlining with Machine Learning

D. Huang, Xiaohua Shi, Yuchen Feng, Changhai Zhao, Jia-Min Wen, Minqiang Shang

International journal of pattern recognition and artificial intelligence

DOI

2025

Optimizing AutoTVM by Parallel Genetic Algorithms

Changhai Zhao, Jia-Min Wen, Minqiang Shang, Yuchen Feng, Xiaohua Shi

International journal of pattern recognition and artificial intelligence

DOI

2025

Accelerating the tuning process for optimizing DNN operators by ROFT model

Zichuan He, Hui Zhong, Xiaohua Shi, Changhai Zhao, Jia-Min Wen, Minqiang Shang

Scientific Reports

DOI

2025

Accelerating Startup Time of React Native Applications by Compiling JavaScript Ahead‐Of‐Time Under Network Communication Security

Ziye Li, Ruiqi Zhao, Han-Ke Zhang, Xiaohua Shi

Transactions on Emerging Telecommunications Technologies

DOI

2025

Optimizing GCC with ICC as the Performance Goal for SPEC CPU 2006 and 2017

Hanke Zhang, Puzhou Hou, Xiaohua Shi

Communications in computer and information science

DOI

2019

Optimizing an AltaRica simulator

Wenru Wang, Xiaojie Xu, Jian Jun Hu, Xinghai Lu, Xiaohua Shi

Concurrency and Computation Practice and Experience

DOI

2018

DATAM: A model‐based tool for dependability analysis

Xinghai Lu, Xiaohua Shi, WenRu Wang

Concurrency and Computation Practice and Experience

DOI

2018

A safety simulation analysis algorithm for Altarica language

Wenru Wang, Xiaohua Shi, Xinghai Lu

Concurrency and Computation Practice and Experience

DOI

2018

A low-overhead and efficient Java object profiler on ART virtual machine

Fei Wang, Xiaohua Shi, Xinghai Lu

Journal of Intelligent & Fuzzy Systems

DOI

2018

Restructuring AMS to reduce synchronization overheads on android system

Chao Li, Xiaohua Shi, Lu Xinghai

Cluster Computing

DOI

2018

Eliminating object reference checks by escape analysis on real-time Java virtual machine

Wei Feng, Xiaohua Shi, Wenru Wang

Cluster Computing

DOI

2015

Optimizing object reference checks on real-time Java virtual machine

Wei Feng, Xiaohua Shi, Hengyang Yu

IEEE International Conference on Software Engineering and Service Science (ICSESS)

DOI

2014

Address Chain: Profiling Java Objects without Overhead in Java Heaps

Xiaohua Shi, Junru Xie, Hengyang Yu

Lecture notes in computer science

DOI

2012

Profiling Object Life Ranges for Detecting Memory Leaks in Java Virtual Machine

Qingyue Sun, Xiaohua Shi, Junru Xie

International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT)

DOI

2009

“编译技术”:以编译过程带动课程知识点——教学过程中的思考与尝试

张莉，杨海燕，史晓华

《计算机教育》

2009

“编译技术”实践环节的质量管理体系及实践

杨海燕，史晓华，张莉

《计算机教育》

2009

A Novel Lightweight Instruction Scheduling Algorithm for Just-in-Time Compiler

Xiaohua Shi, Peng Guo

DOI

2008

Design a High-Performance Just-In-Time Compiler for a J2ME JVM on XScale

Xiaohua Shi, Jin Maozhong, Bu Qi Cheng, Peng Guo

International Conference on Embedded Software and Systems

DOI

2002

软件质量评价技术

李虎，史晓华，杨海燕，高仲仪

《计算机研究与发展》

1999

ADA程序通信死锁的动态检测方法

史晓华，高仲仪，邵晖

《计算机研究与发展》

会议论文

2017

YA-JOP:Yet Another Java Object Profiler On Art Virtual Machine

Fei Wang, Xiaohua Shi, Chao Li

Joint International Information Technology, Mechanical and Electronic Engineering Conference (JIMEC)

DOI

史晓华

精选作品

期刊论文

Automatic Compiler Tuning for Inlining with Machine Learning

Optimizing AutoTVM by Parallel Genetic Algorithms

Accelerating the tuning process for optimizing DNN operators by ROFT model

Accelerating Startup Time of React Native Applications by Compiling JavaScript Ahead‐Of‐Time Under Network Communication Security

Optimizing GCC with ICC as the Performance Goal for SPEC CPU 2006 and 2017

Optimizing an AltaRica simulator

DATAM: A model‐based tool for dependability analysis

A safety simulation analysis algorithm for Altarica language

A low-overhead and efficient Java object profiler on ART virtual machine

Restructuring AMS to reduce synchronization overheads on android system

Eliminating object reference checks by escape analysis on real-time Java virtual machine

Optimizing object reference checks on real-time Java virtual machine

Address Chain: Profiling Java Objects without Overhead in Java Heaps

Profiling Object Life Ranges for Detecting Memory Leaks in Java Virtual Machine

“编译技术”:以编译过程带动课程知识点——教学过程中的思考与尝试

“编译技术”实践环节的质量管理体系及实践

A Novel Lightweight Instruction Scheduling Algorithm for Just-in-Time Compiler

Design a High-Performance Just-In-Time Compiler for a J2ME JVM on XScale

软件质量评价技术

ADA程序通信死锁的动态检测方法

会议论文

YA-JOP:Yet Another Java Object Profiler On Art Virtual Machine

研究方向