Numerous publications and technical papers have investigated thermal interface materials (TIMs) and the optimized use of TIMs and heat sinks for thermal management in integrated circuit (IC). Several of these studies employ scanning acoustic microscopy (SAM), which is widely recognized as a highly effective, non-dest...
D. Nuez, Zyzi Ramos· International Symposium for...· 0 citations
Conventional dynamic laser stimulation (DLS) relies on binary pass/fail detection and sequential single-parameter analysis, which limits sensitivity, efficiency, and robustness when applied to analog soft failures. This paper presents Parametric Laser Mapping (PLM), a boundary-free fault isolation technique that cont...
Lee-Xiang Gan, Guo-Feng You, Aldrin Rico Limos et al.· International Symposium for...· 0 citations
This article presents an analysis of the empirical results of the initial stage of scientific research carried out to identify the structural components and predictors of students' social giftedness. The main goal of the study is to identify the predictors of students' social giftedness. Students from state and non-sta...
Ibrogimov Muhammadrasul Abdimumin O'G'Li· Zamonaviy jamiyat va innovat...· 0 citations
The HPC site profile is proposed, a structured, evidence-backed document that preflights a workflow into an execution plan or an early, explainable failure and is presented as a case study of preflighting a real workflow.
Md Saiful Islam, D. Thain· 0 citations
Reach audiences
Advertise in front of researchers, engineers, and readers.
FaultScape is a novel LLM-based framework for project-scale, statement-level FL that formulates FL as a multi-view semantic learning and reasoning problem and shows that combining multi-view fault semantics with contrastive, failure-guided reasoning substantially improves the effectiveness and robustness of statement-l...
Hong-Wei Yu, Xu Wang, Jian Zhang et al.· Proceedings of the ACM on So...· 0 citations
Quantum computing platforms are susceptible to quantum-specific bugs, such as incorrectly ordering qubits or incorrectly implementing quantum abstractions. These bugs are difficult to detect and require specialized expertise. The field faces challenges due to a fragmented landscape of platforms and rapid development cy...
Matteo Paltenghi, Michael Pradel· Proceedings of the ACM on So...· 4 citations
AnaDroid is proposed, a novel LLM training framework specifically tailored for analyzing failed mobile tests that first leverages bidirectional pre-training to instill the domain-specific knowledge and reasoning capabilities required for failed test analysis into the model and employs preference optimization to enhance...
Chun Li, Fei Wang, Min-Xue Pan et al.· Proceedings of the ACM on So...· 0 citations
Method relocation refactorings, primarily Move Method and Pull Up/Push Down Method, are indispensable for reducing coupling and enhancing cohesion. Despite their widespread automation in modern refactoring engines, these algorithms remain notoriously error-prone, posing significant risks to software reliability. A prim...
Chun-Hao Dong, Yan-Jie Jiang, Yang Zhang et al.· 0 citations
Software debugging is a critical and time-consuming aspect of software development, with fault localization being a fundamental step that significantly impacts debugging efficiency. Mutation-Based Fault Localization (MBFL) has gained prominence due to its robust theoretical foundations and fine-grained analysis capabil...
Heng-Yuan Liu, Xia Song, Yong Liu et al.· 0 citations
Analyzing, understanding, and validating the performance of modern processors present significant challenges. These stem from two primary issues. First, it is difficult to construct “performance tests” that can test precisely scoped hypotheses about microarchitectural behavior. Second, it is difficult to make sense of...
Guo-Kai Chen, Sergi Soler Arrufat, Clément Pit-Claudel et al.· Proceedings of the ACM on Pr...· 0 citations
Neude is presented, a lightweight and extensible coverage-guided fuzzing framework specifically designed for hybrid AI-enabled systems that combines observations of program execution and neural model coverage to guide input mutations toward unexplored state spaces, enabling systematic testing of the entire hybrid syste...
Xin-Yu Gao, Yang Feng, Yu-Chen Lu et al.· Proceedings of the ACM on So...· 0 citations
Test driven development (TDD) is a controversial and interesting approach to software development; while many think of better tests as a primary purpose of TDD, in practice the goal is as much to use tests to encourage continued progress in coding. That goal however rests on the notion that TDD ensures tests are good e...
“X-Hinges” helps design and 3D print items like lamps and gloves with an interactive twist: automatically embedded sensors that perceive and adaptively respond to human contact.
StudentSim is a research system for evaluating and improving AI tutoring tools before they are tested with learners. It models how individuals may engage with tutors, giving feedback to improve tutor performance across subjects like chess, writing, and mathematics. The post Simulating student learning for better AI tutoring appeared first on Microsoft Research.
MIT News · Artificial Intelligence· news.mit.eduOct 6, 2026
Writing as a participant and researcher, PhD student JS Tan SM ’22 has co-authored a new book about the rise of tech worker protests and the employer backlash that followed.
MIT News · Artificial Intelligence· news.mit.eduOct 2, 2026
Writing as a participant and researcher, PhD student JS Tan SM ’22 has co-authored a new book about the rise of tech worker protests and the employer backlash that followed.
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.
