| 2023年软件技术相关论文大盘点 |
| 1. 智能系统软件的机遇和挑战 （ 李国良 ） |
| 2. 机器学习方法赋能系统软件：挑战、实践与展望 （ 唐楚哲, 王肇国, 陈海波 ） |
| 3. 优化无人驾驶系统仿真模糊测试 （ 沈学民 ） |
| 4. 黑盒验证：无人驾驶系统安全挑战的解决途径 （ 蒲戈光 ） |
| 5. 面向无人驾驶系统的仿真模糊测试：现状、挑战与展望 （ 戴嘉润, 李忠睿, 张琬琪, 张源, 杨珉 ） |
| 6. 程序语义深度理解前沿进展专题前言 （ 卜磊, 陈振邦 ） |
| 7. 抽象解释及其应用研究进展 （ 陈立前, 范广生, 尹帮虎, 王戟 ） |
| 8. 基于多线程并行的符号执行引擎设计与实现 （ 周彭, 左志强 ） |
| 9. 模糊测试中的静态插桩技术 （ 王明哲, 姜宇, 孙家广 ） |
| 10. Java指针分析综述 （ 谭添, 马晓星, 许畅, 马春燕, 李樾 ） |
| 11. 中断驱动型航天嵌入式软件原子性违反检测方法 （ 于婷婷, 李超, 王博祥, 陈睿, 江云松 ） |
| 12. 智能合约Gas优化综述 （ 宋书玮, 倪孝泽, 陈厅 ） |
| 13. 泛在计算专题前言 （ 张玉清, 郭耀, 马华东, 武延军, 刘杨, 段海新, 马全一 ） |
| 14. 面向机器学习的安全外包计算研究进展 （ 陈珍珠, 周纯毅, 苏铓, 高艳松, 付安民 ） |
| 15. 开源软件缺陷预测方法综述 （ 田笑, 常继友, 张弛, 荣景峰, 王子昱, 张光华, 王鹤, 伍高飞, 胡敬炉, 张玉清 ） |
| 16. 基于错误路径行为一致性的内核引用计数缺陷检测 （ 熊忻, 谈心, 张源 ） |
| 17. HeapAFL：基于堆操作行为引导的灰盒模糊测试 （ 余媛萍, 苏璞睿 ） |
| 18. openEuler中C标准库替换的兼容性分析 （ 吴亦泽, 于佳耕, 郑晨, 武延军 ） |
| 19. 基于多目标混合蚁狮优化的算法选择方法 （ 李庚松, 刘艺, 郑奇斌, 李翔, 刘坤, 秦伟, 王强, 杨长虹 ） |
| 20. 基于FP-tree和MapReduce的集合相似度自连接算法 （ 冯禹洪, 吴坤汉, 黄志鸿, 冯洋洲, 陈欢欢, 白鉴聪, 明仲 ） |
| 21. 基于多种同构化变换的SLP向量化方法 （ 冯竞舸, 贺也平, 陶秋铭, 马恒太 ） |
| 22. 数据库系统参数调优方法综述 （ 曹蓉, 鲍亮, 崔江涛, 李辉, 周恒 ） |
| 23. 分布式多维大图迭代计算性能优化方法 （ 杜玉洁, 王志刚, 王宁, 刘芯亦, 衣军成, 聂婕, 魏志强, 谷峪, 于戈 ） |
| 24. 大规模结构网格数据的相关性统计建模轻量化方法 （ 杨阳, 武昱, 汪云海, 曹轶 ） |
| 25. Android恶意应用的静态检测方法综述 （ 潘建文, 崔展齐, 林高毅, 陈翔, 郑丽伟 ） |
| 26. 安全关键的信息物理系统中时序行为的组合与精化 （ 陈博, 李曦, 周学海 ） |
| 27. ADFuzz：使用异常检测筛选低频路径高效模糊测试 （ 李航宇, 方浩然, 曲彦文, 郭帆 ） |
| 28. 以RISC-V为目标的动态二进制翻译代码质量优化方法 （ 余子濠, 陈璐, 孙凝晖, 包云岗 ） |
| 29. 基于上下文感知并面向多样性的API推荐 （ 赖宝强, 李征, 赵瑞莲, 郭俊霞 ） |
| 30. 道路网多用户偏好Top-k 天际线查询方法 （ 李松, 宾婷亮, 郝晓红, 张丽平, 郝忠孝 ） |
| 31. 时间敏感嵌入式软件与系统专题前言 （ 陈铭松, 王泉, 郭兵, 邓庆绪, 张凯龙 ） |
| 32. CPU-GPU MPSoC中使用寿命驱动的OpenCL应用调度方法 （ 曹坤, 龙赛琴, 李哲涛 ） |
| 33. 异构多核全局限制性可抢占并行任务可调度分析 （ 韩美灵, 孙施宁, 邓庆绪 ） |
| 34. Mort：面向实时数据分发和传输优化的依赖性任务卸载框架 （ 殷昱煜, 苟红深, 李尤慧子, 黄彬彬, 万健 ） |
| 35. 实时计算机系统结构综述 （ 龚小航, 蒋滨泽, 陈香兰, 高银康, 李曦 ） |
| 36. 时间和能量敏感的端—边—云车路协同系统资源调度优化方法 （ 郑莹莹, 周俊龙, 申钰凡, 丛佩金, 吴泽彬 ） |
| 37. SAF-CNN：面向嵌入式FPGA的卷积神经网络稀疏化加速框架 （ 谢坤鹏, 仪德智, 刘义情, 刘航, 赫鑫宇, 龚成, 卢冶 ） |
| 38. 面向边缘计算的服务解耦与部署策略 （ 李丽颖, 张润泽, 魏同权 ） |
| 39. ROS2多线程执行器上DAG任务的优先级分配方法 （ 纪东, 魏阳杰, 李宇溪, 王义 ） |
| 摘自《计算机研究与发展》2023年刊登论文, 更多论文检索 请点击 |