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

Συγγραφείς: Liu, Jie¹ (AUTHOR) liujie_ran@bupt.edu.cn, Zou, Shun¹ (AUTHOR) zous@bupt.edu.cn, Liang, Hongliang¹ (AUTHOR) hliang@bupt.edu.cn

Πηγή: Journal of Systems & Software. Oct2026, Vol. 240, pN.PAG-N.PAG. 1p.

Θεματικοί όροι: *Mathematical optimization, Compilers (Computer programs), Penetration testing (Computer security)

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

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

Συγγραφείς: 周 放^1,2 735672985@qq.com, 刘茂福^1,2, 李珊枝³

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

Θεματικοί όροι: *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.

Συγγραφείς: D, Banumathy, Latha Pandala, Madhavi, Masud, Mehedi, Abouhawwash, Mohamed

Πηγή: PeerJ Computer Science; Jun2026, p1-26, 26p

Θεματικοί όροι: Myocardial infarction, Electrocardiography, Mathematical optimization, Random forest algorithms, Artificial neural networks, Statistical accuracy, Subroutines (Computer programs)

RAAS: Runtime Adaptive Approximation System.

Συγγραφείς: Reis, Lucas, Rigo, Sandro, Wanner, Lucas

Πηγή: Concurrency & Computation: Practice & Experience; Jun2026, Vol. 38 Issue 12, p1-20, 20p

Θεματικοί όροι: Compilers (Computer programs), Approximation algorithms, Mathematical optimization

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

Συγγραφείς: Derval, Guillaume, Ernst, Damien, Louveaux, Quentin, Miftari, Bardhyl

Θεματικοί όροι: 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

Σύνδεσμος πρόσβασης: https://orbi.uliege.be/handle/2268/323606

Scuzer: A Scheduling Optimization Fuzzer for TVM.

Συγγραφείς: Chen, Xiangxiang, Lin, Xingwei, Wang, Jingyi, Sun, Jun, Wang, Jiashui, Wang, Wenhai

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

Θεματικοί όροι: 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.

Συγγραφείς: Xie, Kaifeng, Wan, Jinjing, Chen, Lifeng, Wang, Yi

Πηγή: Mathematics (2227-7390); Aug2025, Vol. 13 Issue 15, p2459, 20p

Θεματικοί όροι: 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.

Συγγραφείς: Martinez, Alejandro Moreno, Landassuri Moreno, Victor Manuel, Chau, Asdrúbal López, Morales Escobar, Saturnino Job

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

Θεματικοί όροι: Genetic algorithms, School schedules, Scheduling, Mathematical functions, Mathematical optimization, Subroutines (Computer programs)

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

Συγγραφείς: Chen, Juncheng, Chen, Weiwei, Cai, Zhi

Πηγή: Applied Sciences (2076-3417); Sep2025, Vol. 15 Issue 17, p9523, 17p

Θεματικοί όροι: Deep learning, Compilers (Computer programs), Prediction models, Mathematical optimization

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

Συγγραφείς: 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

Πηγή: Journal of Systems Architecture. Apr2026, Vol. 173, pN.PAG-N.PAG. 1p.

Θεματικοί όροι: *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.

Συγγραφείς: Gorlatch, Sergei, Garanina, Natalia, Staroletov, Sergey

Πηγή: Journal of Mathematical Sciences; May2025, Vol. 290 Issue 5, p641-653, 13p

Θεματικοί όροι: 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

Συγγραφείς: Kamil, Aidazade^{Aff12, Aff14}, Quliyev, Samir^{Aff12, Aff13}

Συνεισφορές: 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

Πηγή: 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.

Συγγραφείς: Gupta, Priya, ManiKiran, Terala, Purushotham, Mailapalli, Suriya, L. Jeya, Venkata, Rasamsetty Naga, Nanda, Sambhudutta

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

Θεματικοί όροι: Compilers (Computer programs), Geometric shapes, Mathematical optimization, Computer software development

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

Συγγραφείς: 姚拓中, 郭 辉

Πηγή: Electronic Communication & Computer Science; 2026, Vol. 8 Issue 5, p212-214, 3p

Θεματικοί όροι: Programming languages, Compilers (Computer programs), Mathematical optimization

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

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

Συγγραφείς: 明天波, 刘必慰, 胡春媚, 吴振宇, 宋睿强, 宋芳芳

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

Θεματικοί όροι: 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.

Συγγραφείς: 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

Πηγή: Electronics Letters (Wiley-Blackwell). Jan2025, Vol. 61 Issue 1, p1-4. 4p.

Θεματικοί όροι: *Systems design, *Mathematical optimization, Subroutines (Computer programs)

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

Συγγραφείς: Radtke, Pawel K., Weinzierl, Tobias

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

Θεματικοί όροι: C++, Annotations, Data structures, Mathematical optimization, Compilers (Computer programs)

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

Συγγραφείς: BYLINA, Beata, PIEKARZ, Monika, BYLINA, Jarosław

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

Θεματικοί όροι: 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.

Συγγραφείς: Taft, S. Tucker

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

Θεματικοί όροι: Mathematical optimization, Generalization, Compilers (Computer programs), Algorithms

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

Συγγραφείς: Stoutemyer, David R.

Πηγή: Operations Research; Sep/Oct1978, Vol. 26 Issue 5, p773, 16p

Θεματικοί όροι: Mathematical analysis, Mathematical programming, Mathematical optimization, Computer software, Computer programming