Search Results - Theory of computation Theory and algorithms for application domains
-
1
HIFI: Explaining and Mitigating Algorithmic Bias Through the Lens of Game-Theoretic Interactions
ISSN: 1558-1225Published: IEEE 26.04.2025Published in Proceedings / International Conference on Software Engineering (26.04.2025)“…Machine Learning (ML) algorithms are increasingly used in decision-making process across various social-critical domains, but they often somewhat inherit and amplify bias from their training data, leading to unfair and unethical outcomes…”
Get full text
Conference Proceeding -
2
Twin Graph-Based Anomaly Detection via Attentive Multi-Modal Learning for Microservice System
ISSN: 2643-1572Published: IEEE 11.09.2023Published in IEEE/ACM International Conference on Automated Software Engineering : [proceedings] (11.09.2023)“…Microservice architecture has sprung up over recent years for managing enterprise applications, due to its ability to independently deploy and scale services…”
Get full text
Conference Proceeding -
3
Making Fair ML Software using Trustworthy Explanation
ISSN: 2643-1572Published: ACM 01.09.2020Published in 2020 35th IEEE/ACM International Conference on Automated Software Engineering (ASE) (01.09.2020)“…Machine learning software is being used in many applications (finance, hiring, admissions, criminal justice…”
Get full text
Conference Proceeding -
4
Invited: Algorithms and Architectures for Accelerating Long Read Sequence Analysis
Published: IEEE 09.07.2023Published in 2023 60th ACM/IEEE Design Automation Conference (DAC) (09.07.2023)“…; and three, novel algorithms and domain-specific architectures for rapid in situ analysis of third-generation sequencing data…”
Get full text
Conference Proceeding -
5
Holistic Design towards Resource-Stringent Binary Vector Symbolic Architecture
Published: IEEE 22.06.2025Published in 2025 62nd ACM/IEEE Design Automation Conference (DAC) (22.06.2025)“… This paper introduces UniVSA, a co-optimized binary VSA framework for both algorithm and hardware…”
Get full text
Conference Proceeding -
6
Multiple-Boundary Clustering and Prioritization to Promote Neural Network Retraining
ISSN: 2643-1572Published: ACM 01.09.2020Published in 2020 35th IEEE/ACM International Conference on Automated Software Engineering (ASE) (01.09.2020)“…With the increasing application of deep learning (DL) models in many safety-critical scenarios, effective and efficient DL testing techniques are much in demand to improve the quality of DL models…”
Get full text
Conference Proceeding -
7
Quorum: Zero-Training Unsupervised Anomaly Detection using Quantum Autoencoders
Published: IEEE 22.06.2025Published in 2025 62nd ACM/IEEE Design Automation Conference (DAC) (22.06.2025)“…Detecting mission-critical anomalous events and data is a crucial challenge across various industries, including finance, healthcare, and energy. Quantum…”
Get full text
Conference Proceeding -
8
Optimal Memory Allocation and Scheduling for DMA Data Transfers under the LET Paradigm
Published: IEEE 05.12.2021Published in 2021 58th ACM/IEEE Design Automation Conference (DAC) (05.12.2021)“…The Logical Execution Time (LET) paradigm is increasingly used to achieve predictable communications in modern multicore automotive applications…”
Get full text
Conference Proceeding -
9
ParGNN: A Scalable Graph Neural Network Training Framework on multi-GPUs
Published: IEEE 22.06.2025Published in 2025 62nd ACM/IEEE Design Automation Conference (DAC) (22.06.2025)“… over-partition to alleviate load imbalance. Based on the over-partition results, we present a subgraph pipeline algorithm to overlap communication and computation while maintaining the accuracy of GNN training…”
Get full text
Conference Proceeding -
10
A Universal Method for Task Allocation on FP-FPS Multiprocessor Systems with Spin Locks
Published: IEEE 09.07.2023Published in 2023 60th ACM/IEEE Design Automation Conference (DAC) (09.07.2023)“…Many complex real-time systems, such as increasingly automated vehicles and 5G wireless base stations, contain a large amount of shared resources that must be…”
Get full text
Conference Proceeding -
11
Scalable Community Detection Using Quantum Hamiltonian Descent and QUBO Formulation
Published: IEEE 22.06.2025Published in 2025 62nd ACM/IEEE Design Automation Conference (DAC) (22.06.2025)“…We present a quantum-inspired algorithm that utilizes Quantum Hamiltonian Descent (QHD…”
Get full text
Conference Proceeding -
12
A Multiple Representation Transformer with Optimized Abstract Syntax Tree for Efficient Code Clone Detection
ISSN: 1558-1225Published: IEEE 26.04.2025Published in Proceedings / International Conference on Software Engineering (26.04.2025)“…Over the past decade, the application of deep learning in code clone detection has produced remarkable results…”
Get full text
Conference Proceeding -
13
Robin: A Novel Method to Produce Robust Interpreters for Deep Learning-Based Code Classifiers
ISSN: 2643-1572Published: IEEE 11.09.2023Published in IEEE/ACM International Conference on Automated Software Engineering : [proceedings] (11.09.2023)“…Deep learning has been widely used in source code classification tasks, such as code classification according to their functionalities, code authorship…”
Get full text
Conference Proceeding -
14
SLIM: a Scalable and Interpretable Light-weight Fault Localization Algorithm for Imbalanced Data in Microservice
ISSN: 2643-1572Published: ACM 27.10.2024Published in IEEE/ACM International Conference on Automated Software Engineering : [proceedings] (27.10.2024)“…) approach to select rules iteratively, maximizing a non-monotone submodular lower bound. Compared with existing fault localization algorithms, our algorithm can adapt…”
Get full text
Conference Proceeding -
15
MAGIKA: AI-Powered Content-Type Detection
ISSN: 1558-1225Published: IEEE 26.04.2025Published in Proceedings / International Conference on Software Engineering (26.04.2025)“…, and a variety of security applications. In this paper, we introduce Magika, a novel AI-powered content-type detection tool…”
Get full text
Conference Proceeding -
16
ADAMAS: Adaptive Domain-Aware Performance Anomaly Detection in Cloud Service Systems
ISSN: 1558-1225Published: IEEE 26.04.2025Published in Proceedings / International Conference on Software Engineering (26.04.2025)“…A common practice in the reliability engineering of cloud services involves the collection of monitoring metrics, followed by comprehensive analysis to…”
Get full text
Conference Proceeding -
17
Famos: Fault Diagnosis for Microservice Systems Through Effective Multi-Modal Data Fusion
ISSN: 1558-1225Published: IEEE 26.04.2025Published in Proceedings / International Conference on Software Engineering (26.04.2025)“…Accurately diagnosing the fault that causes the failure is crucial for maintaining the reliability of a microservice system after a failure occurs. Mainstream…”
Get full text
Conference Proceeding -
18
IFHE: Intermediate-Feature Heterogeneity Enhancement for Image Synthesis in Data-Free Knowledge Distillation
Published: IEEE 09.07.2023Published in 2023 60th ACM/IEEE Design Automation Conference (DAC) (09.07.2023)“…Data-free knowledge distillation (DFKD) explores training a compact student network only by a pre-trained teacher without real data. Prevailing DFKD methods…”
Get full text
Conference Proceeding -
19
ACGraph: Accelerating Streaming Graph Processing via Dependence Hierarchy
Published: IEEE 09.07.2023Published in 2023 60th ACM/IEEE Design Automation Conference (DAC) (09.07.2023)“…Streaming graph processing needs to timely evaluate continuous queries. Prior systems suffer from massive redundant computations due to the irregular order of processing vertices influenced by updates…”
Get full text
Conference Proceeding -
20
DuQTTA: Dual Quantized Tensor-Train Adaptation with Decoupling Magnitude-Direction for Efficient Fine-Tuning of LLMs
Published: IEEE 22.06.2025Published in 2025 62nd ACM/IEEE Design Automation Conference (DAC) (22.06.2025)“…Recent parameter-efficient fine-tuning (PEFT) techniques have enabled large language models (LLMs) to be efficiently fine-tuned for specific tasks, while…”
Get full text
Conference Proceeding