Analysis of Research Progress on Deployment Methods for Deep Learning Models on FPGAs.

Authors: Wang, Shuo, Chen, Lei, Tian, Chunsheng, Zhou, Jing, Zhang, Yaowei, Cao, Yongzheng

Source: Electronics (2079-9292); Aug2026, Vol. 15 Issue 16, p3536, 51p

Subject Terms: Deep learning, Programmable logic devices, Compilers (Computer programs), Run time systems (Computer science), Software architecture, Electronic design automation, Mathematical optimization

BinSleuth: Scalable vulnerability discovery in binaries via automated source identification and path optimization.

Authors: Liu, Jie¹ (AUTHOR) liujie_ran@bupt.edu.cn, Zou, Shun¹ (AUTHOR) zous@bupt.edu.cn, Liang, Hongliang¹ (AUTHOR) hliang@bupt.edu.cn

Source: Journal of Systems & Software. Oct2026, Vol. 240, pN.PAG-N.PAG. 1p.

Subject Terms: *Mathematical optimization, Compilers (Computer programs), Penetration testing (Computer security)

Bi-directional Long Short-term Memory with Hybrid Optimiser for Image Captioning.

Authors: Hanumanth Raju, R. K., Vinay Kumar, S. B.

Source: Journal of Information & Knowledge Management; Aug2026, Vol. 25 Issue 8, p1-37, 37p

Subject Terms: Long short-term memory, Photograph captions, Subroutines (Computer programs), Deep learning, Optimization algorithms, Mathematical optimization, Natural language processing, Metaheuristic algorithms

基于源代码迁移的编译器优化方法研究.

Alternate Title: Research on compiler optimization methods based on source code migration.

Authors: 周 放^1,2 735672985@qq.com, 刘茂福^1,2, 李珊枝³

Source: Computer Engineering & Science / Jisuanji Gongcheng yu Kexue. Oct2025, Vol. 47 Issue 10, p1890-1900. 11p.

Subject Terms: *Deep learning, *Compilers (Computer programs), *Mathematical optimization, *Program transformation, *Flowgraphs

Sensitivity analysis for linear changes of the constraint matrix of a (mixed-integer) linear program

Authors: Derval, Guillaume, Ernst, Damien, Louveaux, Quentin, Miftari, Bardhyl

Subject Terms: Linear Programming, Sensitivity analysis, Constraint matrix, Robust optimization, Physical, chemical, mathematical & earth Sciences, Mathematics, Engineering, computing & technology, Computer science, Physique, chimie, mathématiques & sciences de la terre, Mathématiques, Ingénierie, informatique & technologie, Sciences informatiques

Access URL: https://orbi.uliege.be/handle/2268/323606

Scuzer: A Scheduling Optimization Fuzzer for TVM.

Authors: Chen, Xiangxiang, Lin, Xingwei, Wang, Jingyi, Sun, Jun, Wang, Jiashui, Wang, Wenhai

Source: ACM Transactions on Software Engineering & Methodology; May2025, Vol. 34 Issue 4, p1-28, 28p

Subject Terms: Scheduling, Compilers (Computer programs), Mathematical optimization, Deep learning, Defect tracking (Computer software development), Optimizers (Computer software), Scientific experimentation

A Comprehensive Approach to Rustc Optimization Vulnerability Detection in Industrial Control Systems.

Authors: Xie, Kaifeng, Wan, Jinjing, Chen, Lifeng, Wang, Yi

Source: Mathematics (2227-7390); Aug2025, Vol. 13 Issue 15, p2459, 20p

Subject Terms: Industrial controls manufacturing, Compilers (Computer programs), Dynamic testing, Quality assurance, Language models, Risk assessment, Mathematical optimization

Evaluation of customized adaptive cardiovascular activation function with deep neural networks for myocardial infarction classification using ECG image.

Authors: D, Banumathy, Latha Pandala, Madhavi, Masud, Mehedi, Abouhawwash, Mohamed

Source: PeerJ Computer Science; Jun2026, p1-26, 26p

Subject Terms: Myocardial infarction, Electrocardiography, Mathematical optimization, Random forest algorithms, Artificial neural networks, Statistical accuracy, Subroutines (Computer programs)

RAAS: Runtime Adaptive Approximation System.

Authors: Reis, Lucas, Rigo, Sandro, Wanner, Lucas

Source: Concurrency & Computation: Practice & Experience; Jun2026, Vol. 38 Issue 12, p1-20, 20p

Subject Terms: Compilers (Computer programs), Approximation algorithms, Mathematical optimization

Repair and Initialization Functions in the Generation of School Schedules with Genetic Algorithms.

Authors: Martinez, Alejandro Moreno, Landassuri Moreno, Victor Manuel, Chau, Asdrúbal López, Morales Escobar, Saturnino Job

Source: International Journal of Combinatorial Optimization Problems & Informatics; Jan-Apr2026, Vol. 17 Issue 1, p263-274, 12p

Subject Terms: Genetic algorithms, School schedules, Scheduling, Mathematical functions, Mathematical optimization, Subroutines (Computer programs)

Orchestrating optimization passes of machine learning compiler for reducing memory footprints of computation graphs.

Authors: Yu, Qianwei¹ (AUTHOR) yuqianwei@sjtu.edu.cn, Nie, Pengbo¹ (AUTHOR) yuemonangong@sjtu.edu.cn, Wang, Zihan¹ (AUTHOR) wangzh99@sjtu.edu.cn, Wan, Chengcheng² (AUTHOR) ccwan@sei.ecnu.edu.cn, Lin, Ziyi³ (AUTHOR) cengfeng.lzy@alibaba-inc.com, Jiang, He⁴ (AUTHOR) jianghe@dlut.edu.cn, Zhao, Jianjun⁵ (AUTHOR) zhao@ait.kyushu-u.ac.jp, Qiao, Lei⁶ (AUTHOR) fly2moon@163.com, Chen, Le¹ (AUTHOR) tom2cat@sjtu.edu.cn, Chen, Yuting^1,7 (AUTHOR) chenyt@sjtu.edu.cn

Source: Journal of Systems Architecture. Apr2026, Vol. 173, pN.PAG-N.PAG. 1p.

Subject Terms: *Mathematical optimization, *Scheduling, Computer memory management, Compilers (Computer programs), Graph algorithms, Deep learning, Edge computing

USING THE SPIN MODEL CHECKER FOR AUTO-TUNING HIGH-PERFORMANCE PROGRAMS.

Authors: Gorlatch, Sergei, Garanina, Natalia, Staroletov, Sergey

Source: Journal of Mathematical Sciences; May2025, Vol. 290 Issue 5, p641-653, 13p

Subject Terms: High performance computing, Parallel programs (Computer programs), OpenCL (Computer program language), Software verification, Program transformation, Mathematical optimization, Modeling languages (Computer science), Model validation

Automated and Automatic Systems of Management of an Optimization Programs Package for Decisions Making

Authors: Kamil, Aidazade^{Aff12, Aff14}, Quliyev, Samir^{Aff12, Aff13}

Contributors: Hartmanis, Juris, Founding Editor^Aff1, Goos, Gerhard, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Yung, Moti, Editorial Board Member^Aff6, Eremeev, Anton, editor^Aff7, Khachay, Michael, editor^Aff8, Kochetov, Yury, editor^Aff9, Mazalov, Vladimir, editor^Aff10, Pardalos, Panos, editor^Aff11

Source: Mathematical Optimization Theory and Operations Research : 23rd International Conference, MOTOR 2024, Omsk, Russia, June 30–July 6, 2024, Proceedings. 14766:390-407

Efficient Compiler Design for a Geometric Shape Domain-Specific Language: Emphasizing Abstraction and Optimization Techniques.

Authors: Gupta, Priya, ManiKiran, Terala, Purushotham, Mailapalli, Suriya, L. Jeya, Venkata, Rasamsetty Naga, Nanda, Sambhudutta

Source: EAI Endorsed Transactions on Scalable Information Systems; 2024, Vol. 11 Issue 4, p1-5, 5p

Subject Terms: Compilers (Computer programs), Geometric shapes, Mathematical optimization, Computer software development

Key Operator Vectorization for LeNet and ResNet Based on Buddy Compiler.

Authors: Chen, Juncheng, Chen, Weiwei, Cai, Zhi

Source: Applied Sciences (2076-3417); Sep2025, Vol. 15 Issue 17, p9523, 17p

Subject Terms: Deep learning, Compilers (Computer programs), Prediction models, Mathematical optimization

编译过程中高级语言到机器语言的指令转换优化策略. (Chinese)

Authors: 姚拓中, 郭 辉

Source: Electronic Communication & Computer Science; 2026, Vol. 8 Issue 5, p212-214, 3p

Subject Terms: Programming languages, Compilers (Computer programs), Mathematical optimization

Patent Issued for Runtime optimization of computations of an artificial neural network compiled for execution on a deep learning accelerator (USPTO 12725026).

Source: Pharma Business Week. 9/21/2026, p5631-5631. 1p.

Subject Terms: *Artificial neural networks, *Integrated circuits, *Mathematical optimization, Compilers (Computer programs), Neural computers, Adaptive computing systems, Semiconductor devices

Company/Entity: Micron Technology Inc. 093120871 MU

Annotation‐Guided AoS‐to‐SoA Conversions and GPU Offloading With Data Views in C++.

Authors: Radtke, Pawel K., Weinzierl, Tobias

Source: Concurrency & Computation: Practice & Experience; 9/25/2025, Vol. 37 Issue 21/22, p1-23, 23p

Subject Terms: C++, Annotations, Data structures, Mathematical optimization, Compilers (Computer programs)

A Fusion of ReLU and upSample Function With Store in VTA for Higher Throughput of Network Inferencing.

Authors: Gou, Dong¹ (AUTHOR), He, Zheng¹ (AUTHOR), Zhao, Yinghai² (AUTHOR), Wang, Xuhui¹ (AUTHOR), Gao, Yanshuo¹ (AUTHOR), Zhang, Guohe¹ (AUTHOR), Mei, Kuizhi¹ (AUTHOR) meikuizhi@mail.xjtu.edu.cn

Source: Electronics Letters (Wiley-Blackwell). Jan2025, Vol. 61 Issue 1, p1-4. 4p.

Subject Terms: *Systems design, *Mathematical optimization, Subroutines (Computer programs)

一种多端口寄存器文件的全自动物理编译器. (Chinese)

Alternate Title: An automated physical compiler for multi-port register files. (English)

Authors: 明天波, 刘必慰, 胡春媚, 吴振宇, 宋睿强, 宋芳芳

Source: Computer Engineering & Science / Jisuanji Gongcheng yu Kexue; Jun2025, Vol. 47 Issue 6, p976-987, 12p

Subject Terms: Heuristic algorithms, Computer architecture, Mathematical optimization, Designers, Speed, Compilers (Computer programs)