MIP-DD: Delta Debugging for Mixed-Integer Programming Solvers.

Authors: Hoen, Alexander¹ (AUTHOR) hoen@zib.de, Kamp, Dominik² (AUTHOR) dominik.kamp@uni-bayreuth.de, Gleixner, Ambros¹ (AUTHOR) gleixner@htw-berlin.de

Source: INFORMS Journal on Computing. Mar/Apr2026, Vol. 38 Issue 2, p414-423. 10p.

Subject Terms: *Open source software, Debugging, Software failures, Computer performance, Mixed integer linear programming

A Scalable Framework for Remote Real-Time Debugging of Embedded EV Chargers via WebSocket and XCP

Authors: Bandara, W.D.N.D., Dissanayake, P.J., Haleem, M.A.L.A., Weerarathna, M.G.N.D.

Source: 2026 Moratuwa Engineering Research Conference (MERCon) Moratuwa Engineering Research Conference (MERCon), 2026. :133-138 Aug, 2026

Relation: 2026 Moratuwa Engineering Research Conference (MERCon)

DeepView: A Generalizable Debugging Methodology for Enabling Large Language Models on Emerging AI Accelerators

Authors: El Maghraoui, Kaoutar, Sullivan, Jordan, Goel, Seep, Chakraborty, Aishwariya, Naik, Priyanka, Suneja, Sahil, Beo, Flavia Janine Rosante, Bhatti, Rashed, Gonzalez, Pablo, Deshane, Todd, Godoy, Borja, Jayachandran, Praveen, Youssef, Alaa, Ganti, Raghu Kiran

Source: 2026 IEEE International Conference on Software Services Engineering (SSE) SSE Software Services Engineering (SSE), 2026 IEEE International Conference on. :13-22 Jul, 2026

Relation: 2026 IEEE International Conference on Software Services Engineering (SSE)

QBugLM: An Agentic Benchmarking Framework for LLM-based Quantum Software Debugging

Authors: Pham, An B. B., Nguyen, Hoa T., Usman, Muhammad

Source: 2026 IEEE International Conference on Quantum Software (QSW) QSW Quantum Software (QSW), 2026 IEEE International Conference on. :185-191 Jul, 2026

Relation: 2026 IEEE International Conference on Quantum Software (QSW)

A Framework for the Efficient Evaluation of Runtime Assertions on Quantum Computers

Authors: Rovara, Damian, Burgholzer, Lukas, Wille, Robert

Source: 2026 IEEE International Conference on Quantum Software (QSW) QSW Quantum Software (QSW), 2026 IEEE International Conference on. :1-7 Jul, 2026

Relation: 2026 IEEE International Conference on Quantum Software (QSW)

SiliconMind-V1: Multi-Agent Distillation and Debug-Reasoning Workflows for Verilog Code Generation

Authors: Chen, Mu-Chi, Kao, Yu-Hung, Huang, Po-Hsuan, Ho, Shao-Chun, Tsou, Hsiang-Yu, Wu, I-Ting, Huang, En-Ming, Hung, Yu-Kai, Hsin, Wei-Po, Liang, Cheng, Tu, Chia-Heng, Hung, Shih-Hao, Kung, H. T.

Source: 2026 IEEE 50th Annual Computers, Software, and Applications Conference (COMPSAC) COMPSAC Computers, Software, and Applications Conference (COMPSAC), 2026 IEEE 50th Annual. :88-97 Jul, 2026

Relation: 2026 IEEE 50th Annual Computers, Software, and Applications Conference (COMPSAC)

Exploring Upper Elementary Students' Debugging Strategies in Scratch

Authors: Jimenez, Yerika, Gardner-McCune, Christina, Tong, Karen, Wiggins, Joseph B.

Source: Proceedings of the 31st ACM Conference on Innovation and Technology in Computer Science Education V. 1. :499-505

Availability: http://dl.acm.org/doi/10.1145/3803400.3809360

PYURIFY: Purifying Python Tests for Precise Fault Localization

Authors: Smytzek, Marius, Zeller, Andreas

Source: Proceedings of the 34th ACM International Conference on the Foundations of Software Engineering. :267-271

Availability: http://dl.acm.org/doi/10.1145/3803437.3806433

Verify, Explain, Remain Independent: A Learner-Agency Lens on Generative AI Use in a Higher-Education Machine Learning Course

Authors: Zourlidou, Stefania

Source: 2026 International Symposium on Networks, Computers and Communications (ISNCC) Networks, Computers and Communications (ISNCC), 2026 International Symposium on. :1-6 Sep, 2026

Relation: 2026 International Symposium on Networks, Computers and Communications (ISNCC)

Research and Design of an Intelligent Flowerpot System

Authors: Gu, Juanjuan

Source: 2026 3rd International Conference on Intelligent Systems and Robotics (CISR) Intelligent Systems and Robotics (CISR), 2026 3rd International Conference on. :1-6 Aug, 2026

Relation: 2026 3rd International Conference on Intelligent Systems and Robotics (CISR)

From Code Generation to Logic Internalization: A Human–AI Collaborative Mechanism for Generative AI- Enabled Programming Instruction

Authors: Wang, Xue, Hou, Zhiyuan, Lang, Simiao, Yu, Zhongwen

Source: 2026 IEEE International Conference on Cybernetics and Intelligent Systems (CIS) and IEEE International Conference on Robotics, Automation and Mechatronics (RAM) Cybernetics and Intelligent Systems (CIS) and IEEE International Conference on Robotics, Automation and Mechatronics (RAM), 2026 IEEE International Conference on. :500-505 Aug, 2026

Relation: 2026 IEEE International Conference on Cybernetics and Intelligent Systems (CIS) and IEEE International Conference on Robotics, Automation and Mechatronics (RAM)

Machine Learning Evaluation of Generative AI Debugging Feedback Plausibility for Introductory Python Programming

Authors: Toscano, Brendan, Bouzar-Benlabiod, Lydia, Benoit, Darcy

Source: 2026 IEEE International Conference on Information Reuse and Integration for Data Science (IRI) IRI Information Reuse and Integration for Data Science (IRI), 2026 IEEE International Conference on. :92-97 Jul, 2026

Relation: 2026 IEEE International Conference on Information Reuse and Integration for Data Science (IRI)

A Novel Verification Method for Debug Tracing-in Close Chassis System

Authors: Pandey, Maneesh, Lekkala, Madhav

Source: 2026 IEEE 10th International Test Conference India (ITC India) Test Conference India (ITC India), 2026 IEEE 10th International. :1-5 Jul, 2026

Relation: 2026 IEEE 10th International Test Conference India (ITC India)

Empirical Evaluation of the uSV Ratio Metric for Fault Localization

Authors: Ferreira, Willian Jesus, Leitao-Junior, Plinio Sa, Nascimento, Thamer Horbylon, Silva-Junior, Deuslirio, Harrison, Rachel

Source: 2026 IEEE 50th Annual Computers, Software, and Applications Conference (COMPSAC) COMPSAC Computers, Software, and Applications Conference (COMPSAC), 2026 IEEE 50th Annual. :1947-1952 Jul, 2026

Relation: 2026 IEEE 50th Annual Computers, Software, and Applications Conference (COMPSAC)

Security Acceptance Criteria for FPGA Device Adoption in Nuclear Safety-Critical Systems

Authors: Seo, Sooyon, Park, Seunghoon, Jeon, Sanghoon, Min, Moohong, Kim, Aram

Source: 2026 6th International Conference on Electrical, Computer and Energy Technologies (ICECET) Electrical, Computer and Energy Technologies (ICECET), 2026 6th International Conference on. :1-7 Jul, 2026

Relation: 2026 6th International Conference on Electrical, Computer and Energy Technologies (ICECET)

A Novel Approach to Secure Execution in Embedded Systems: Custom ISA and Compiler Binding

Authors: Ayub, Maria, Khawaja, Sajid Gul, Khan, Asad Mansoor, Waris, Haroon

Source: 2026 IEEE 26th International Conference on Nanotechnology (NANO) Nanotechnology (NANO), 2026 IEEE 26th International Conference on. :230-235 Jul, 2026

Relation: 2026 IEEE 26th International Conference on Nanotechnology (NANO)

Visualization-Guided Debug Methodology for Verification of GPU Fixed-Function Pipelines Under Stall Scenarios

Authors: Tripathi, Chirag, Sharma, R.K.

Source: 2026 1st International Conference on VLSI Circuits and Systems (ICVCS) VLSI Circuits and Systems (ICVCS), 2026 1st International Conference on. 1:1-5 Jul, 2026

Relation: 2026 1st International Conference on VLSI Circuits and Systems (ICVCS)

Construction and Evaluation of a Knowledge Graph for Adolescent AI Courses Oriented Toward Computational Thinking Development

Authors: Li, Sina, Yang, Wei

Source: 2026 9th International Conference on Computer Information Science and Application Technology (CISAT) Computer Information Science and Application Technology (CISAT), 2026 9th International Conference on. :546-550 Jul, 2026

Relation: 2026 9th International Conference on Computer Information Science and Application Technology (CISAT)

ONACADI: An Online Autotuner for Compiled Applications Based on Debugger Interfaces

Authors: Mikula, Fabian, Korch, Matthias

Source: 2026 25th International Symposium on Parallel and Distributed Computing (ISPDC) ISPDC Parallel and Distributed Computing (ISPDC), 2026 25th International Symposium on. :112-120 Jul, 2026

Relation: 2026 25th International Symposium on Parallel and Distributed Computing (ISPDC)

Closing the Loop: Code Generation and Intelligent Debugging with Large Language Models

Authors: Lyu, Ning

Source: 2026 IEEE 18th International Conference on Computational Intelligence and Communication Networks (CICN) Computational Intelligence and Communication Networks (CICN), 2026 IEEE 18th International Conference on. :309-314 Jun, 2026

Relation: 2026 IEEE 18th International Conference on Computational Intelligence and Communication Networks (CICN)