My PhD addresses the problem of detecting field failures with a new approach to test software systems under conditions that emerge only in production. Ex-vivo approaches detect field failures by executing the software...
详细信息
In the face of multiple global crises such as climate change, a transformation towards sustainable development is more urgent than ever. Digitalization, as a fundamental change in society and the economy, offers great...
详细信息
Large Language Models (LLMs) have gained much attention in the softwareengineering (SE) community, specifically for coderelated tasks. though a common approach is to fine-tune these models fully, it is a computationa...
详细信息
the dependence on software in safety-critical system is increasingly growing and the reliability of the systems becomes more and more critical. therefore, we need to adapt softwareengineering concepts like DevOps to ...
详细信息
As the process of software development has matured, the reuse of open-source software has become commonplace. Open-source software licenses can both provide permissions and impose restrictions regarding software's...
详细信息
Dead Code Elimination (DCE) is a fundamental compiler optimization technique that removes dead code (e.g., unreachable or reachable but whose results are unused) in the program to produce smaller or faster executables...
详细信息
ISBN:
(纸本)9798400705007
Dead Code Elimination (DCE) is a fundamental compiler optimization technique that removes dead code (e.g., unreachable or reachable but whose results are unused) in the program to produce smaller or faster executables. However, since compiler optimizations are typically aggressively performed and there are complex relationships/interplay among a vast number of compiler optimizations (including DCE), it is not known whether DCE is indeed correctly performed and will only delete dead code in practice. In this study, we open a new research problem to investigate: can DCE happen to erroneously delete live code? To tackle this problem, we design a new approach named Xdead, which leverages differential testing, static binary analysis, and dynamic symbolic execution techniques, to detect miscompilation bugs caused by the erroneously deleted live code. Preliminary evaluation shows that Xdead can identify many divergent portions indicating erroneously deleted live code and finally detect two such miscompilation bugs in LLVM compilers. Our findings call for more attention to the potential issues in existing DCE implementations and more conservative strategies when designing new DCE-related compiler optimizations.
this dissertation aims to introduce interpretability techniques to comprehensively evaluate the performance of Large Language Models (LLMs) in softwareengineering tasks, beyond canonical metrics. In software engineer...
详细信息
A vast amount of software data are available on Github repositories and they are being reused by practitioners worldwide. the latest advances in privacy legislation, such as the EU General Data Protection Regulation (...
详细信息
Large language models have become increasingly utilized in programming contexts. However, due to the recent emergence of this trend, some aspects have been overlooked. We propose a research approach that investigates ...
详细信息
Quantum software testing (QST) is an emerging research area within quantum softwareengineering (QSE) to ensure quantum software functional and non-functional correctness and dependability. Since quantum computers per...
详细信息
暂无评论