| 1651 |
Semantic foundations of equality saturation
Dan Suciu, Yisu Remy Wang, Yihong Zhang
|
👻
Ghosted
|
cs.PL
|
1 |
1 year ago |
| 1652 |
Fuzzy Integration of Data Lake Tables
Aamod Khatiwada, Roee Shraga, Renée J. Miller
|
👻
Ghosted
|
cs.DB
|
1 |
1 year ago |
| 1653 |
Query Repairs
Balder ten Cate, Phokion Kolaitis, Carsten Lutz
|
👻
Ghosted
|
cs.DB
|
1 |
1 year ago |
| 1654 |
Graph Neural Network Based Hybrid Beamforming Design in Wideband Terahertz MIMO-OFDM Systems
Beier Li, Mai Vu
|
👻
Ghosted
|
eess.SP
|
1 |
1 year ago |
| 1655 |
Causes and Effects of Fitness Landscapes in System Test Generation: A Replication Study
Omur Sahin, Man Zhang, Andrea Arcuri
|
👻
Ghosted
|
cs.SE
|
1 |
1 year ago |
| 1656 |
Generating Skyline Datasets for Data Science Models
Mengying Wang, Hanchao Ma, ... (+3 more)
|
👻
Ghosted
|
cs.DB
|
1 |
1 year ago |
| 1657 |
NodeNAS: Node-Specific Graph Neural Architecture Search for Out-of-Distribution Generalization
Qiyi Wang, Yinning Shao, ... (+2 more)
|
👻
Ghosted
|
cs.LG
|
1 |
1 year ago |
| 1658 |
Fair Center Clustering in Sliding Windows
Matteo Ceccarello, Andrea Pietracaprina, ... (+2 more)
|
👻
Ghosted
|
cs.DS
|
1 |
1 year ago |
| 1659 |
A Novel Double Pruning method for Imbalanced Data using Information Entropy and Roulette Wheel Selection for Breast Cancer Diagnosis
Soufiane Bacha, Huansheng Ning, ... (+3 more)
|
👻
Ghosted
|
cs.LG
|
1 |
1 year ago |
| 1660 |
Automated Archival Descriptions with Federated Intelligence of LLMs
Jinghua Groppe, Andreas Marquet, ... (+2 more)
|
👻
Ghosted
|
cs.AI
|
1 |
1 year ago |
| 1661 |
An Empirical Study of Python Library Migration Using Large Language Models
Md Mohayeminul Islam, Ajay Kumar Jha, ... (+3 more)
|
👻
Ghosted
|
cs.SE
|
1 |
1 year ago |
| 1662 |
The Role of Generative AI in Strengthening Secure Software Coding Practices: A Systematic Perspective
Hathal S. Alwageed, Rafiq Ahmad Khan
|
👻
Ghosted
|
cs.SE
|
1 |
1 year ago |
| 1663 |
Out-of-Distribution Detection in Heterogeneous Graphs via Energy Propagation
Tao Yin, Chen Zhao, ... (+2 more)
|
👻
Ghosted
|
cs.LG
|
1 |
1 year ago |
| 1664 |
Does CLIP perceive art the same way we do?
Andrea Asperti, Leonardo Dessì, ... (+2 more)
|
👻
Ghosted
|
cs.CV
|
1 |
1 year ago |
| 1665 |
Backdoors in Code Summarizers: How Bad Is It?
Chenyu Wang, Zhou Yang, ... (+2 more)
|
👻
Ghosted
|
cs.CR
|
1 |
1 year ago |
| 1666 |
Assessing the Impact of Refactoring Energy-Inefficient Code Patterns on Software Sustainability: An Industry Case Study
Rohit Mehra, Priyavanshi Pathania, ... (+4 more)
|
👻
Ghosted
|
cs.SE
|
1 |
1 year ago |
| 1667 |
PUL: Pre-load in Software for Caches Wouldn't Always Play Along
Arthur Bernhardt, Sajjad Tamimi, ... (+3 more)
|
👻
Ghosted
|
cs.DB
|
1 |
1 year ago |
| 1668 |
Your Build Scripts Stink: The State of Code Smells in Build Scripts
Mahzabin Tamanna, Yash Chandrani, ... (+4 more)
|
👻
Ghosted
|
cs.SE
|
1 |
1 year ago |
| 1669 |
Reflective Unit Test Generation for Precise Type Error Detection with Large Language Models
Chen Yang, Ziqi Wang, ... (+5 more)
|
👻
Ghosted
|
cs.SE
|
1 |
12 months ago |
| 1670 |
Heterogeneous object manipulation on nonlinear soft surface through linear controller
Pratik Ingle, Kasper Støy, Andres Faiña
|
👻
Ghosted
|
cs.RO
|
1 |
11 months ago |
| 1671 |
Multi-agent Reinforcement Learning for Robotized Coral Reef Sample Collection
Daniel Correa, Tero Kaarlela, ... (+4 more)
|
👻
Ghosted
|
cs.RO
|
1 |
11 months ago |
| 1672 |
DALEQ -- Explainable Equivalence for Java Bytecode
Jens Dietrich, Behnaz Hassanshahi
|
👻
Ghosted
|
cs.CR
|
1 |
11 months ago |
| 1673 |
JSidentify-V2: Leveraging Dynamic Memory Fingerprinting for Mini-Game Plagiarism Detection
Zhihao Li, Chaozheng Wang, ... (+10 more)
|
👻
Ghosted
|
cs.CR
|
1 |
11 months ago |
| 1674 |
Towards High Precision: An Adaptive Self-Supervised Learning Framework for Force-Based Verification
Zebin Duan, Frederik Hagelskjær, ... (+3 more)
|
👻
Ghosted
|
cs.RO
|
1 |
10 months ago |
| 1675 |
ReFuzzer: Feedback-Driven Approach to Enhance Validity of LLM-Generated Test Programs
Iti Shree, Karine Even-Mendoza, Tomasz Radzik
|
👻
Ghosted
|
cs.SE
|
1 |
10 months ago |
| 1676 |
ORFuzz: Fuzzing the "Other Side" of LLM Safety -- Testing Over-Refusal
Haonan Zhang, Dongxia Wang, ... (+6 more)
|
👻
Ghosted
|
cs.SE
|
1 |
10 months ago |
| 1677 |
Explaining Black-box Language Models with Knowledge Probing Systems: A Post-hoc Explanation Perspective
Yunxiao Zhao, Hao Xu, ... (+4 more)
|
👻
Ghosted
|
cs.CL
|
1 |
10 months ago |
| 1678 |
Attackers Strike Back? Not Anymore -- An Ensemble of RL Defenders Awakens for APT Detection
Sidahmed Benabderrahmane, Talal Rahwan
|
👻
Ghosted
|
cs.CR
|
1 |
10 months ago |
| 1679 |
Diverse Unionable Tuple Search: Novelty-Driven Discovery in Data Lakes [Technical Report]
Aamod Khatiwada, Roee Shraga, Renée J. Miller
|
👻
Ghosted
|
cs.DB
|
1 |
10 months ago |
| 1680 |
Are We SOLID Yet? An Empirical Study on Prompting LLMs to Detect Design Principle Violations
Fatih Pehlivan, Arçin Ülkü Ergüzen, ... (+3 more)
|
👻
Ghosted
|
cs.SE
|
1 |
9 months ago |
| 1681 |
Vulnerability-Affected Versions Identification: How Far Are We?
Xingchu Chen, Chengwei Liu, ... (+7 more)
|
👻
Ghosted
|
cs.SE
|
1 |
9 months ago |
| 1682 |
Unlocking Reproducibility: Automating re-Build Process for Open-Source Software
Behnaz Hassanshahi, Trong Nhan Mai, ... (+2 more)
|
👻
Ghosted
|
cs.CR
|
1 |
9 months ago |
| 1683 |
AutoStub: Genetic Programming-Based Stub Creation for Symbolic Execution
Felix Mächtle, Nils Loose, ... (+3 more)
|
👻
Ghosted
|
cs.SE
|
1 |
9 months ago |
| 1684 |
Time-Constrained Intelligent Adversaries for Automation Vulnerability Testing: A Multi-Robot Patrol Case Study
James C. Ward, Alex Bott, ... (+2 more)
|
👻
Ghosted
|
cs.RO
|
1 |
9 months ago |
| 1685 |
Representation Learning on Large Non-Bipartite Transaction Networks using GraphSAGE
Mihir Tare, Clemens Rattasits, ... (+2 more)
|
👻
Ghosted
|
cs.LG
|
1 |
9 months ago |
| 1686 |
CattleSense - A Multisensory Approach to Optimize Cattle Well-Being
Srijesh Pillai, M. I. Jawid Nazir
|
👻
Ghosted
|
eess.SY
|
1 |
9 months ago |
| 1687 |
Annotating Satellite Images of Forests with Keywords from a Specialized Corpus in the Context of Change Detection
Nathalie Neptune, Josiane Mothe
|
👻
Ghosted
|
cs.CV
|
1 |
9 months ago |
| 1688 |
Optimization techniques for SQL+ML queries: A performance analysis of real-time feature computation in OpenMLDB
Mashkhal A. Sidiq, Aras A. Salih, Samrand M. Hassan
|
👻
Ghosted
|
cs.DB
|
1 |
9 months ago |
| 1689 |
Prompt-with-Me: in-IDE Structured Prompt Management for LLM-Driven Software Engineering
Ziyou Li, Agnia Sergeyuk, Maliheh Izadi
|
👻
Ghosted
|
cs.SE
|
1 |
9 months ago |
| 1690 |
Navigating the Labyrinth: Path-Sensitive Unit Test Generation with Large Language Models
Dianshu Liao, Xin Yin, ... (+4 more)
|
👻
Ghosted
|
cs.SE
|
1 |
9 months ago |
| 1691 |
Agentic Specification Generator for Move Programs
Yu-Fu Fu, Meng Xu, Taesoo Kim
|
👻
Ghosted
|
cs.SE
|
1 |
9 months ago |
| 1692 |
LogAction: Consistent Cross-system Anomaly Detection through Logs via Active Domain Adaptation
Chiming Duan, Minghua He, ... (+12 more)
|
👻
Ghosted
|
cs.LG
|
1 |
9 months ago |
| 1693 |
Detecting Semantic Clones of Unseen Functionality
Konstantinos Kitsios, Francesco Sovrano, ... (+2 more)
|
👻
Ghosted
|
cs.SE
|
1 |
8 months ago |
| 1694 |
Beyond More Context: How Granularity and Order Drive Code Completion Quality
Uswat Yusuf, Genevieve Caumartin, Diego Elias Costa
|
👻
Ghosted
|
cs.SE
|
1 |
8 months ago |
| 1695 |
XLSR-Kanformer: A KAN-Intergrated model for Synthetic Speech Detection
Phuong Tuan Dat, Tran Huy Dat
|
👻
Ghosted
|
cs.SD
|
1 |
8 months ago |
| 1696 |
Interleaved Learning and Exploration: A Self-Adaptive Fuzz Testing Framework for MLIR
Zeyu Sun, Jingjing Liang, ... (+4 more)
|
👻
Ghosted
|
cs.SE
|
1 |
8 months ago |
| 1697 |
Which Is Better For Reducing Outdated and Vulnerable Dependencies: Pinning or Floating?
Imranur Rahman, Jill Marley, ... (+2 more)
|
👻
Ghosted
|
cs.SE
|
1 |
8 months ago |
| 1698 |
Relative Positioning Based Code Chunking Method For Rich Context Retrieval In Repository Level Code Completion Task With Code Language Model
Imranur Rahman, Md Rayhanur Rahman
|
👻
Ghosted
|
cs.SE
|
1 |
8 months ago |
| 1699 |
Defects4C: Benchmarking Large Language Model Repair Capability with C/C++ Bugs
Jian Wang, Xiaofei Xie, ... (+5 more)
|
👻
Ghosted
|
cs.SE
|
1 |
8 months ago |
| 1700 |
SpareCodeSearch: Searching for Code Context When You Have No Spare GPU
Minh Nguyen
|
👻
Ghosted
|
cs.SE
|
1 |
8 months ago |