Search Results - Program Analysis for Machine Learning Models

Evaluating the Effectiveness of Deep Learning Models for Foundational Program Analysis Tasks

Authors: Qian Chen Chenyang Yu Ruyan Liu et al.

Source: Proceedings of the ACM on Programming Languages. 8:500-528

Subject Terms: 0103 physical sciences, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, 01 natural sciences

Teacher Readiness for Deep Learning in Islamic Education: A Rasch Model Analysis of Challenges and Opportunities

Authors: Agus Pahrudin Irwandani Muhammad Aridan et al.

Source: Journal of Teaching and Learning. 2025 19(4):262-283.

Peer Reviewed: Y

Page Count: 22

Descriptors: Religious Schools, Islam, Foreign Countries, Elementary School Teachers, Secondary School Teachers, Readiness, Artificial Intelligence, Computer Uses in Education, Teacher Characteristics, Age Differences, Gender Differences, Computer Literacy

Geographic Terms: Indonesia

Certifying machine learning models against evasion attacks by program analysis

Authors: Calzavara, S Ferrara, P Lucchese, C

Source: Journal of Computer Security. 31:57-84

Subject Terms: Adversarial machine learning, abstract interpretation, evasion attacks, security certification, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Access URL: https://hdl.handle.net/10278/5020963
https://doi.org/10.3233/JCS-210133

Analysis of the Effects of Severe Weather with the COAWST- Model Comparing Coupled and Decoupled Simulations, as well as Using Machine Learning Algorithms to Predict the Impact on Populations

Authors: Iglesias Deutú, Jordi

Contributors: University/Department: Universitat Rovira i Virgili. Departament d'Enginyeria Mecànica

Thesis Advisors: Cuesta Romeo, Ildefonso, Salueña Pérez, Clara, Solé Ollé, Jordi

Source: TDX (Tesis Doctorals en Xarxa)

Subject Terms: COAWST, Machine Learning, Meteorologia, Meteorology, Enginyeria i arquitectura

File Description: application/pdf

Access URL: http://hdl.handle.net/10803/689850

Power-Based Side-Channel Attacks on Program Control Flow with Machine Learning Models

Authors: Andey Robins Stone Olguin Jarek Brown et al.

Source: Journal of Cybersecurity and Privacy, Vol 3, Iss 3, Pp 351-363 (2023)
Journal of Cybersecurity and Privacy; Volume 3; Issue 3; Pages: 351-363

Subject Terms: side-channel attack, machine learning, cybersecurity, power analysis, control flow, dynamic program analysis, 0202 electrical engineering, electronic engineering, information engineering, T1-995, 02 engineering and technology, Technology (General)

File Description: application/pdf

Access URL: https://doaj.org/article/e7eaf1b4442f4efe91e446996c1005d9

Program semantic analysis model for code reuse detection

Authors: GUO Xi WANG Pan

Source: Tongxin xuebao, Vol 45, Pp 179-196 (2024)

Subject Terms: machine learning, fuzzy matching, program analysis, Telecommunication, TK5101-6720, statistical inference

Access URL: https://doaj.org/article/874549224ede4749b9bd7443d27fc965

Enhancing product recategorization in the toys industry: a comprehensive approach integrating classification machine learning model and industry trend analysis

Authors: Ocariz, Amaia Jinrong Salazar Ochoa de Belo, Rodrigo RUN

Contributors: Ocariz, Amaia Jinrong Salazar Ochoa de Belo, Rodrigo RUN

Subject Terms: DRI – Directed Research Internship, KPI – Key Performance Indicator, EAN – European Article Number, ML – Machine Learning, MP – Marketplace, OPS – Order Product Sales, TTM – Trailing Twelve Months, AWS – Amazon Web Services, Domínio/Área Científica::Ciências Sociais::Economia e Gestão

File Description: application/pdf

Availability: http://hdl.handle.net/10362/186008

Classification of Reflective Writing: A Comparative Analysis with Shallow Machine Learning and Pre-Trained Language Models

Authors: Chengming Zhang Florian Hofmann Lea Plößl et al.

Source: Education and Information Technologies. 2024 29(16):21593-21619.

Peer Reviewed: Y

Page Count: 27

Descriptors: Foreign Countries, Higher Education, Reflection, Student Writing Models, Preservice Teacher Education, Writing (Composition), Artificial Intelligence, Comparative Analysis, Writing Evaluation, Automation

Geographic Terms: Germany

A Machine-Learning Algorithm with Disjunctive Model for Data-Driven Program Analysis

Authors: Minseok Jeon Sehun Jeong Sungdeok Cha et al.

Source: ACM Transactions on Programming Languages and Systems. 41:1-41

Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Access URL: https://dl.acm.org/doi/10.1145/3293607
https://dlnext.acm.org/doi/10.1145/3293607
https://dblp.uni-trier.de/db/journals/toplas/toplas41.html#JeonJCO19
https://doi.org/10.1145/3293607
https://koreauniv.pure.elsevier.com/en/publications/a-machine-learning-algorithm-with-disjunctive-model-for-data-driv

A Contemporary Survey of Large Language Model Assisted Program Analysis

Authors: Wang, Jiayimei Ni, Tao Lee, Wei-Bin et al.

Index Terms: Computer Science - Software Engineering, Computer Science - Artificial Intelligence, text

URL: http://arxiv.org/abs/2502.18474

Analysing Emotions During Interrogations: A Case Study

Multimodal Sentiment Analysis with Deep Learning

Authors: Garcia, José António da Silva Pinto Miragaia, Rolando Lúcio Germano Grilo, Carlos Fernando de Almeida et al.

Contributors: Garcia, José António da Silva Pinto Miragaia, Rolando Lúcio Germano Grilo, Carlos Fernando de Almeida et al.

Source: urn:tid:204013500

Subject Terms: Early/Late Fusion, Multimodal sentiment analysis, Transfer learning, INTU-AI, Supervised learning, Deep learning, Transformer models

File Description: application/pdf

Availability: http://hdl.handle.net/10400.8/14232

Verifiable Boosted Tree Ensembles

Authors: Calzavara S. Cazzaro L. Lucchese C. et al.

Source: 2025 IEEE Symposium on Security and Privacy (SP). :2057-2075

Subject Terms: Computer Science - Machine Learning, Computer Science - Logic in Computer Science, Computer Science - Cryptography and Security, Machine Learning and Security, Program Analysis for Machine Learning Models, Robustness, Verification, Statistics - Machine Learning

File Description: application/pdf

Access URL: http://arxiv.org/abs/2402.14988

Systematic Review and Meta-Analysis of Machine Learning Models for Acute Kidney Injury Risk Classification.

Authors: Cama-Olivares A Braun C Takeuchi T et al.

Source: Journal of the American Society of Nephrology : JASN [J Am Soc Nephrol] 2025 Oct 01; Vol. 36 (10), pp. 1969-1983. Date of Electronic Publication: 2025 Mar 28.

Publication Type: Journal Article

Journal Info: Publisher: Wolters Kluwer Health, on behalf of the American Society of Nephrology Country of Publication: United States NLM ID: 9013836 Publication Model: Print-Electronic Cited Medium: Internet ISSN: 1533-3450 (Electronic) Linking ISSN: 10466673 NLM ISO Abbreviation: J Am Soc Nephrol Subsets: In Process; MEDLINE

Development and evaluation of an early childhood caries prediction model: a deep learning-based hybrid statistical modelling approach.

Authors: Eusufzai, S. Z. Jamayet, N. B. Ahmed, S. et al.

Source: European Archives of Paediatric Dentistry (Springer Science & Business Media B.V.); Oct2025, Vol. 26 Issue 5, p953-964, 12p

Subject Terms: DEEP learning, PREDICTION models, STATISTICAL models, ARTIFICIAL neural networks, DATA analysis, DENTAL caries, ORAL health, LOGISTIC regression analysis

Machine Learning Models for Predicting in-Hospital Cardiac Arrest: A Comparative Analysis with Logistic Regression.

Authors: Chang, Wei-Shan Hsiao, Kai-Yuan Lin, Lian-Yu et al.

Source: International Journal of General Medicine; Oct2025, Vol. 18, p6341-6352, 12p

Subject Terms: MACHINE learning, CARDIAC arrest, PREDICTION models, MEDICAL records, LOGISTIC regression analysis, RISK assessment

LLM-based program analysis for source codes, abstract syntax trees and webassembly instructions.

Authors: Deng, Liangjun Zhong, Qi Qiu, Yao et al.

Source: Cluster Computing; Nov2025, Vol. 28 Issue 14, p1-14, 14p

Subject Terms: SOURCE code, COMPUTER software security, FAULT diagnosis, LANGUAGE models, PROGRAMMING languages, ENCODING, QUALITY assurance, SYNTAX in programming languages

A hybrid 1DCNN-GRU deep learning framework for classifying caprine granulosa cell fertility potential using single-cell transcriptomics.

Authors: Sananmuang, Thanida Puthier, Denis Chokeshaiusaha, Kaj

Source: Veterinary World. Jul2025, Vol. 18 Issue 7, p1922-1935. 14p.

Subjects: Granulosa cells, Fertility, Convolutional neural networks, Transcriptomes, Deep learning, Recurrent neural networks, Goats, Biomarkers

A Combined Approach of Program Analysis and Deep Learning for Code Completion

Authors: Yi Liu

Source: Scientific Journal of Technology. 6:29-33

Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Smarter ways to predict rabbit body weight across multiple breeds.

Authors: Brahmantiyo, Bram Nuraini, Henny Islami, Amelia Kamila et al.

Source: Journal of Advanced Veterinary & Animal Research; Sep2025, Vol. 12 Issue 3, p1045-1050, 6p

Subject Terms: BODY weight, REGRESSION analysis, RANDOM forest algorithms, RABBITS, LIVESTOCK breeding, PREDICTION models, SHAPE measurement, MACHINE learning

Program Analysis and Machine Learning–based Approach to Predict Power Consumption of CUDA Kernel

Authors: Gargi Alavani Jineet Desai Snehanshu Saha et al.

Source: ACM Transactions on Modeling and Performance Evaluation of Computing Systems. 8:1-24

Subject Terms: 0103 physical sciences, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, 7. Clean energy, 01 natural sciences, 12. Responsible consumption