Search Results - "Computing methodologies Machine learning Machine learning approaches Bio-inspired approaches"
-
1
GENESYS: A novel evolutionary program synthesis tool with continuous optimization
ISSN: 2836-8924, 2836-8924Published: 13.11.2025Published in ACM transactions on probabilistic machine learning (13.11.2025)“…Automatic software generation based on some specification is known as program synthesis. Most existing approaches formulate program synthesis as a search…”
Get full text
Journal Article -
2
A Closer Look at Different Difficulty Levels Code Generation Abilities of ChatGPT
ISSN: 2643-1572Published: IEEE 11.09.2023Published in IEEE/ACM International Conference on Automated Software Engineering : [proceedings] (11.09.2023)“…Code generation aims to generate source code implementing human requirements illustrated with natural language specifications. With the rapid development of…”
Get full text
Conference Proceeding -
3
PertNAS: Architectural Perturbations for Memory-Efficient Neural Architecture Search
Published: IEEE 09.07.2023Published in 2023 60th ACM/IEEE Design Automation Conference (DAC) (09.07.2023)“…Differentiable Neural Architecture Search (NAS) relies on aggressive weight-sharing to reduce its search cost. This leads to GPU-memory bottlenecks that hamper…”
Get full text
Conference Proceeding -
4
Search-Based LLMs for Code Optimization
ISSN: 1558-1225Published: IEEE 26.04.2025Published in Proceedings / International Conference on Software Engineering (26.04.2025)“…The code written by developers usually suffers from efficiency problems and contain various performance bugs. These inefficiencies necessitate the research of…”
Get full text
Conference Proceeding -
5
Diversity Drives Fairness: Ensemble of Higher Order Mutants for Intersectional Fairness of Machine Learning Software
ISSN: 1558-1225Published: IEEE 26.04.2025Published in Proceedings / International Conference on Software Engineering (26.04.2025)“…Intersectional fairness is a critical requirement for Machine Learning (ML) software, demanding fairness across subgroups defined by multiple protected…”
Get full text
Conference Proceeding -
6
CODEMORPH: Mitigating Data Leakage in Large Language Model Assessment
ISSN: 2574-1934Published: IEEE 27.04.2025Published in Proceedings (IEEE/ACM International Conference on Software Engineering Companion. Online) (27.04.2025)“…Concerns about benchmark leakage in large language models for code (Code LLMs) have raised issues of data contamination and inflated evaluation metrics. The…”
Get full text
Conference Proceeding -
7
ReChisel: Effective Automatic Chisel Code Generation by LLM with Reflection
Published: IEEE 22.06.2025Published in 2025 62nd ACM/IEEE Design Automation Conference (DAC) (22.06.2025)“…Coding with hardware description languages (HDLs) such as Verilog is a time-intensive and laborious task. With the rapid advancement of large language models…”
Get full text
Conference Proceeding -
8
GARL: Genetic Algorithm-Augmented Reinforcement Learning to Detect Violations in Marker-Based Autonomous Landing Systems
ISSN: 1558-1225Published: IEEE 26.04.2025Published in Proceedings / International Conference on Software Engineering (26.04.2025)“…Automated Uncrewed Aerial Vehicle (UAV) landing is crucial for autonomous UAV services such as monitoring, surveying, and package delivery. It involves…”
Get full text
Conference Proceeding -
9
UniGenCoder: Merging SEQ2SEQ and SEQ2TREE Paradigms for Unified Code Generation
ISSN: 2832-7632Published: IEEE 27.04.2025Published in IEEE/ACM International Conference on Software Engineering: New Ideas and Emerging Technologies Results (Online) (27.04.2025)“…Deep learning-based code generation has completely transformed the way developers write programs today. Existing approaches to code generation have focused…”
Get full text
Conference Proceeding -
10
PrefixRL: Optimization of Parallel Prefix Circuits using Deep Reinforcement Learning
Published: IEEE 05.12.2021Published in 2021 58th ACM/IEEE Design Automation Conference (DAC) (05.12.2021)“…In this work, we present a reinforcement learning (RL) based approach to designing parallel prefix circuits such as adders or priority encoders that are…”
Get full text
Conference Proceeding -
11
Code Difference Guided Adversarial Example Generation for Deep Code Models
ISSN: 2643-1572Published: IEEE 11.09.2023Published in IEEE/ACM International Conference on Automated Software Engineering : [proceedings] (11.09.2023)“…Adversarial examples are important to test and enhance the robustness of deep code models. As source code is discrete and has to strictly stick to complex…”
Get full text
Conference Proceeding -
12
UniCoS: A Unified Neural and Accelerator Co-Search Framework for CNNs and ViTs
Published: IEEE 22.06.2025Published in 2025 62nd ACM/IEEE Design Automation Conference (DAC) (22.06.2025)“…Current algorithm-hardware co-search works often suffer from lengthy training times and inadequate exploration of hardware design spaces, leading to suboptimal…”
Get full text
Conference Proceeding -
13
FixKit: A Program Repair Collection for Python
ISSN: 2643-1572Published: ACM 27.10.2024Published in IEEE/ACM International Conference on Automated Software Engineering : [proceedings] (27.10.2024)“…In recent years, automatic program repair has gained much attention in the research community. Generally, program repair approaches consider a faulty program…”
Get full text
Conference Proceeding -
14
Distilled Lifelong Self-Adaptation for Configurable Systems
ISSN: 1558-1225Published: IEEE 26.04.2025Published in Proceedings / International Conference on Software Engineering (26.04.2025)“…Modern configurable systems provide tremendous opportunities for engineering future intelligent software systems. A key difficulty thereof is how to…”
Get full text
Conference Proceeding -
15
Resolving Goal-Conflicts and Scaling Synthesis through Mode-Based Decomposition
ISSN: 2574-1934Published: ACM 14.04.2024Published in Proceedings (IEEE/ACM International Conference on Software Engineering Companion. Online) (14.04.2024)“…Reactive synthesis, with its roots in the work of A. Church, presents a transformative approach for the formal methods community. It seeks to translate system…”
Get full text
Conference Proceeding -
16
Automated Design of Complex Analog Circuits with Multiagent based Reinforcement Learning
Published: IEEE 09.07.2023Published in 2023 60th ACM/IEEE Design Automation Conference (DAC) (09.07.2023)“…Despite the effort of analog circuit design automation, currently complex analog circuit design still requires extensive manual iterations, making it labor…”
Get full text
Conference Proceeding -
17
A Tale of Two Domains: Exploring Efficient Architecture Design for Truly Autonomous Things
Published: IEEE 29.06.2024Published in 2024 ACM/IEEE 51st Annual International Symposium on Computer Architecture (ISCA) (29.06.2024)“…Autonomous Things (AuT) refers to a collection of self-sufficient tiny devices capable of performing intelligent computations. Looking ahead, AuT promises to…”
Get full text
Conference Proceeding -
18
Dissecting Global Search: A Simple Yet Effective Method to Boost Individual Discrimination Testing and Repair
ISSN: 1558-1225Published: IEEE 26.04.2025Published in Proceedings / International Conference on Software Engineering (26.04.2025)“…Deep Learning (DL) has achieved significant success in socially critical decision-making applications but often exhibits unfair behaviors, raising social…”
Get full text
Conference Proceeding -
19
Fast and Reliable Program Synthesis via User Interaction
ISSN: 2643-1572Published: IEEE 11.09.2023Published in IEEE/ACM International Conference on Automated Software Engineering : [proceedings] (11.09.2023)“…The performance of programming-by-example systems varies significantly across different tasks and even across different examples in one task. The key issue is…”
Get full text
Conference Proceeding -
20
SynergicLearning: Neural Network-Based Feature Extraction for Highly-Accurate Hyperdimensional Learning
ISSN: 1558-2434Published: Association on Computer Machinery 02.11.2020Published in Digest of technical papers - IEEE/ACM International Conference on Computer-Aided Design (02.11.2020)“…Machine learning models differ in terms of accuracy, computational/memory complexity, training time, and adaptability among other characteristics. For example,…”
Get full text
Conference Proceeding