Publications (49)
Real-Time Dynamic Map with Crowdsourcing Vehicles in Edge Computing
Qiang Liu, Tao Han, Jiang +2
Autonomous driving perceives surroundings with line-of-sight sensors that are compromised under environmental uncertainties. To achieve real time global information in high definit…
Keeping Deep Learning Models in Check: A History-Based Approach to Mitigate Overfitting
Hao Li, Gopi Krishnan Rajbahadur, Dayi Lin +3
In software engineering, deep learning models are increasingly deployed for critical tasks such as bug detection and code review. However, overfitting remains a challenge that affe…
Storage Coding for Wear Leveling in Flash Memories
Anxiao, Jiang, Robert Mateescu +5
Flash memory is a non-volatile computer memory comprised of blocks of cells, wherein each cell is implemented as either NAND or NOR floating gate. NAND flash is currently the most…
Trajectory Codes for Flash Memory
Anxiao, Jiang, Michael Langberg +2
Flash memory is well-known for its inherent asymmetry: the flash-cell charge levels are easy to increase but are hard to decrease. In a general rewriting model, the stored data cha…
An empirical study of testing machine learning in the wild
Moses Openja, Foutse Khomh, Armstrong Foundjem +4
Recently, machine and deep learning (ML/DL) algorithms have been increasingly adopted in many software systems. Due to their inductive nature, ensuring the quality of these systems…
A Survey on Automated Software Vulnerability Detection Using Machine Learning and Deep Learning
Nima Shiri Harzevili, Alvine Boaye Belle, Junjie Wang +4
Software vulnerability detection is critical in software security because it identifies potential bugs in software systems, enabling immediate remediation and mitigation measures t…
Towards Training Reproducible Deep Learning Models
Boyuan Chen, Mingzhi Wen, Yong Shi +4
Reproducibility is an increasing concern in Artificial Intelligence (AI), particularly in the area of Deep Learning (DL). Being able to reproduce DL models is crucial for AI-based…
LiveMap: Real-Time Dynamic Map in Automotive Edge Computing
Qiang Liu, Tao Han, Jiang +2
Autonomous driving needs various line-of-sight sensors to perceive surroundings that could be impaired under diverse environment uncertainties such as visual occlusion and extreme…
Functional Error Correction for Robust Neural Networks
Kunping Huang, Paul Siegel, Anxiao +1
When neural networks (NeuralNets) are implemented in hardware, their weights need to be stored in memory devices. As noise accumulates in the stored weights, the NeuralNet's perfor…
An Exploratory Study on Machine Learning Model Stores
Minke Xiu, Zhen Ming, Jiang +1
Recent advances in Artificial Intelligence, especially in Machine Learning (ML), have brought applications previously considered as science fiction (e.g., virtual personal assistan…
Low frequency fringe pattern analysis via a Fourier transform method
Andrew John Henning, Dawei Tang, Xiangqian +1
The analysis of signals created by a variety of instruments involves calculating the phase of a sinusoidal type signal. One widely used method to extract this information is throug…
On the Model Update Strategies for Supervised Learning in AIOps Solutions
Yingzhe Lyu, Heng Li, Zhen Ming +2
AIOps (Artificial Intelligence for IT Operations) solutions leverage the massive data produced during the operation of large-scale systems and machine learning models to assist sof…
The commutant of in the vertex operator algebra
Cuipo, Jiang, Zongzhu Lin
We study the commutant of in the vertex operator algebra , for…
Towards a consistent interpretation of AIOps models
Yingzhe Lyu, Gopi Krishnan Rajbahadur, Dayi Lin +3
Artificial Intelligence for IT Operations (AIOps) has been adopted in organizations in various tasks, including interpreting models to identify indicators of service failures. To a…
Rank-Modulation Rewrite Coding for Flash Memories
Eyal En Gad, Eitan Yaakobi, Anxiao +2
The current flash memory technology focuses on the cost minimization of its static storage capacity. However, the resulting approach supports a relatively small number of program-e…
Towards AI-Native Software Engineering (SE 3.0): A Vision and a Challenge Roadmap
Ahmed E. Hassan, Gustavo A. Oliva, Dayi Lin +3
The rise of AI-assisted software engineering (SE 2.0), powered by Foundation Models (FMs) and FM-powered coding assistants, has shown promise in improving developer productivity. H…
Compressed Encoding for Rank Modulation
Eyal En Gad, Anxiao, Jiang +1
Rank modulation has been recently proposed as a scheme for storing information in flash memories. While rank modulation has advantages in improving write speed and endurance, the c…
SimClone: Detecting Tabular Data Clones using Value Similarity
Xu Yang, Gopi Krishnan Rajbahadur, Dayi Lin +3
Data clones are defined as multiple copies of the same data among datasets. Presence of data clones between datasets can cause issues such as difficulties in managing data assets a…
Test Case Generation from Bug Reports via Large Language Models: A Cognitive Layered Evaluation Framework
Irtaza Sajid Qureshi, Zhen Ming, Jiang
Large Language Models (LLMs) are increasingly applied to automated software testing, yet their ability to generalize beyond memorized patterns and reason about natural language bug…
Non-Parametric Bayesian Inference for Partial Orders with Ties from Rank Data observed with Mallows Noise
Chuxuan, Jiang, Geoff K. Nicholls
Partial orders may be used for modeling and summarising ranking data when the underlying order relations are less strict than a total order. They are a natural choice when the data…
A Survey on Query-based API Recommendation
Moshi Wei, Nima Shiri Harzevili, Alvine Boaye Belle +6
Application Programming Interfaces (APIs) are designed to help developers build software more effectively. Recommending the right APIs for specific tasks has gained increasing atte…
An Empirical Study of Challenges in Converting Deep Learning Models
Moses Openja, Amin Nikanjam, Ahmed Haj Yahmed +3
There is an increase in deploying Deep Learning (DL)-based software systems in real-world applications. Usually DL models are developed and trained using DL frameworks that have th…
Data Resource Profile: Egress Behavior from Select NYC COVID-19 Exposed Health Facilities March-May 2020
Debra F. Laefer, Thomas Kirchner, Haoran +8
Vector control strategies are central to the mitigation and containment of COVID-19 and have come in the form of municipal ordinances that restrict the operational status of public…
A Pilot Study on LLM-Based Agentic Translation from Android to iOS: Pitfalls and Insights
Zhili Zeng, Kimya Khakzad Shahandashti, Alvine Boaye Belle +3
The rapid advancement of mobile applications has led to a significant demand for cross-platform compatibility, particularly between the Android and iOS platforms. Traditional appro…
Empirical Study on the Software Engineering Practices in Open Source ML Package Repositories
Minke Xiu, Ellis E. Eghan, Zhen Ming +2
Recent advances in Artificial Intelligence (AI), especially in Machine Learning (ML), have introduced various practical applications (e.g., virtual personal assistants and autonomo…
A First Look at Fairness of Machine Learning Based Code Reviewer Recommendation
Mohammad Mahdi Mohajer, Alvine Boaye Belle, Nima Shiri harzevili +5
The fairness of machine learning (ML) approaches is critical to the reliability of modern artificial intelligence systems. Despite extensive study on this topic, the fairness of ML…
Can I use this publicly available dataset to build commercial AI software? -- A Case Study on Publicly Available Image Datasets
Gopi Krishnan Rajbahadur, Erika Tuck, Li Zi +5
Publicly available datasets are one of the key drivers for commercial AI software. The use of publicly available datasets is governed by dataset licenses. These dataset licenses ou…
Hierarchical Partial-Order Models for Ranking
Dongqing Li, Geoff K. Nicholls, Jeong Eun Lee +2
Rank aggregation combines information from ordered lists ranking items by preference. Classical parametric models for such data, including the Mallows and Plackett-Luce models, ass…
A Cross-direction Task Decoupling Network for Small Logo Detection
Hou, Sujuan, Li +10
Logo detection plays an integral role in many applications. However, handling small logos is still difficult since they occupy too few pixels in the image, which burdens the extrac…
U-Finger: Multi-Scale Dilated Convolutional Network for Fingerprint Image Denoising and Inpainting
Ramakrishna Prabhu, Xiaojing Yu, Zhangyang Wang +3
This paper studies the challenging problem of fingerprint image denoising and inpainting. To tackle the challenge of suppressing complicated artifacts (blur, brightness, contrast,…
Do MLLMs See What We See? Analyzing Visualization Literacy Barriers in AI Systems
Mengli, Duan, Yuhe +3
Multimodal Large Language Models (MLLMs) are increasingly used to interpret visualizations, yet little is known about why they fail. We present the first systematic analysis of bar…
Balanced Modulation for Nonvolatile Memories
Hongchao Zhou, Anxiao, Jiang +1
This paper presents a practical writing/reading scheme in nonvolatile memories, called balanced modulation, for minimizing the asymmetric component of errors. The main idea is to e…
Bugs in Machine Learning-based Systems: A Faultload Benchmark
Mohammad Mehdi Morovati, Amin Nikanjam, Foutse Khomh +2
The rapid escalation of applying Machine Learning (ML) in various domains has led to paying more attention to the quality of ML components. There is then a growth of techniques and…
Representation-Oblivious Error Correction by Natural Redundancy
Pulakesh Upadhyaya, Anxiao, Jiang
Storage systems have a strong need for substantially improving their error correction capabilities, especially for long-term storage where the accumulating errors can exceed the de…
Nonuniform Codes for Correcting Asymmetric Errors in Data Storage
Hongchao Zhou, Anxiao, Jiang +1
The construction of asymmetric error correcting codes is a topic that was studied extensively, however, the existing approach for code construction assumes that every codeword shou…
Checker Bug Detection and Repair in Deep Learning Libraries
Nima Shiri Harzevili, Mohammad Mahdi Mohajer, Jiho Shin +8
Checker bugs in Deep Learning (DL) libraries are critical yet not well-explored. These bugs are often concealed in the input validation and error-checking code of DL libraries and…
When Learning Meets Dynamics: Distributed User Connectivity Maximization in UAV-Based Communication Networks
Bowei Li, Saugat Tripathi, Salman Hosain +4
Distributed management over Unmanned Aerial Vehicle (UAV) based communication networks (UCNs) has attracted increasing research attention. In this work, we study a distributed user…
Towards a Change Taxonomy for Machine Learning Systems
Aaditya Bhatia, Ellis E. Eghan, Manel Grichi +4
Machine Learning (ML) research publications commonly provide open-source implementations on GitHub, allowing their audience to replicate, validate, or even extend machine learning…
Predicting post-release defects with knowledge units (KUs) of programming languages: an empirical study
Md Ahasanuzzaman, Gustavo A. Oliva, Ahmed E. Hassan +2
Defect prediction plays a crucial role in software engineering, enabling developers to identify defect-prone code and improve software quality. While extensive research has focused…
Learning with Dynamics: Autonomous Regulation of UAV Based Communication Networks with Dynamic UAV Crew
Ran Zhang, Bowei Li, Liyuan Zhang +3
Unmanned Aerial Vehicle (UAV) based communication networks (UCNs) are a key component in future mobile networking. To handle the dynamic environments in UCNs, reinforcement learnin…
BloomAPR: A Bloom's Taxonomy-based Framework for Assessing the Capabilities of LLM-Powered APR Solutions
Yinghang Ma, Jiho Shin, Leuson Da Silva +5
Recent advances in large language models (LLMs) have accelerated the development of AI-driven automated program repair (APR) solutions. However, these solutions are typically evalu…
Maximizing User Connectivity in AI-Enabled Multi-UAV Networks: A Distributed Strategy Generalized to Arbitrary User Distributions
Bowei Li, Yang Xu, Ran Zhang +3
Deep reinforcement learning (DRL) has been extensively applied to Multi-Unmanned Aerial Vehicle (UAV) network (MUN) to effectively enable real-time adaptation to complex, time-vary…
Towards Build Verifiability for Java-based Systems
Jiawen Xiong, Yong Shi, Boyuan Chen +3
Build verifiability refers to the property that the build of a software system can be verified by independent third parties and it is crucial for the trustworthiness of a software…
Exceptional p-groups of order p^5
Sichao, Jiang
The mininal degree of a finite group G, mu(G), is defined to be the smallest natural number n such that G embeds inside Sym(n). The group G is said to be exceptional if there exist…
Bayesian Inference for Vertex-Series-Parallel Partial Orders
Chuxuan, Jiang, Geoff K. Nicholls +1
Partial orders are a natural model for the social hierarchies that may constrain "queue-like" rank-order data. However, the computational cost of counting the linear extensions of…
Rethinking Software Engineering in the Foundation Model Era: From Task-Driven AI Copilots to Goal-Driven AI Pair Programmers
Ahmed E. Hassan, Gustavo A. Oliva, Dayi Lin +3
The advent of Foundation Models (FMs) and AI-powered copilots has transformed the landscape of software development, offering unprecedented code completion capabilities and enhanci…
GitHub Copilot AI pair programmer: Asset or Liability?
Arghavan Moradi Dakhel, Vahid Majdinasab, Amin Nikanjam +4
Automatic program synthesis is a long-lasting dream in software engineering. Recently, a promising Deep Learning (DL) based solution, called Copilot, has been proposed by OpenAI an…
Bug Characterization in Machine Learning-based Systems
Mohammad Mehdi Morovati, Amin Nikanjam, Florian Tambon +3
Rapid growth of applying Machine Learning (ML) in different domains, especially in safety-critical areas, increases the need for reliable ML components, i.e., a software component…
Tensor Decomposition, Parafermions, Level-Rank Duality, and Reciprocity Law for Vertex Operator Algebras
Cuipo, Jiang, Zongzhu Lin
For the semisimple Lie algebra , the basic representation of the affine Lie algebra is a lattice vertex o…