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)

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

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

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

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

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)

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

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

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

Authors: 姚拓中, 郭 辉

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

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

一种多端口寄存器文件的全自动物理编译器. (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)

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)

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)

Importance of C/C++ compiler choice for performance and energy consumption of multithreaded WZ factorization.

Authors: BYLINA, Beata, PIEKARZ, Monika, BYLINA, Jarosław

Source: Bulletin of the Polish Academy of Sciences: Technical Sciences; Mar2025, Vol. 73 Issue 2, p1-13, 13p

Subject Terms: Computing platforms, Energy consumption, Linear algebra, Mathematical optimization, Factorization, Compilers (Computer programs)

Sound and precise static analysis using a generalization of static single assignment and value numbering.

Authors: Taft, S. Tucker

Source: International Journal on Software Tools for Technology Transfer; Oct2024, Vol. 26 Issue 5, p621-632, 12p

Subject Terms: Mathematical optimization, Generalization, Compilers (Computer programs), Algorithms

Automatic Categorization of Optimization Problems: An Application of Computer Symbolic Mathematics.

Authors: Stoutemyer, David R.

Source: Operations Research; Sep/Oct1978, Vol. 26 Issue 5, p773, 16p

Subject Terms: Mathematical analysis, Mathematical programming, Mathematical optimization, Computer software, Computer programming