Export Citations
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
- research-articleJuly 2024
Deep Automated Mechanism Design for Integrating Ad Auction and Allocation in Feed
SIGIR '24: Proceedings of the 47th International ACM SIGIR Conference on Research and Development in Information RetrievalJuly 2024, Pages 1211–1220https://doi.org/10.1145/3626772.3657774E-commerce platforms usually present an ordered list, mixed with several organic items and an advertisement, in response to each user's page view request. This list, the outcome of ad auction and allocation processes, directly impacts the platform's ad ...
- research-articleJanuary 2024
Leveraging Datapath Propagation in IC3 for Hardware Model Checking
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCADICS), Volume 43, Issue 7July 2024, Pages 2215–2228https://doi.org/10.1109/TCAD.2024.3360022IC3 is a famous bit-level framework for safety verification. By incorporating datapath abstraction, a notable enhancement in the efficiency of hardware verification can be achieved. However, datapath abstraction entails a coarse level of abstraction where ...
- research-articleFebruary 2024
On the methodology of three-way structured merge in version control systems: Top-down, bottom-up, or both
Journal of Systems Architecture: the EUROMICRO Journal (JOSA), Volume 145, Issue CDec 2023https://doi.org/10.1016/j.sysarc.2023.103011AbstractThree-way merging is an essential component of version control systems. Despite the efficiency of the conventional line-based textual methods, syntax-based structured approaches have demonstrated benefits in improving merge accuracy. Prior ...
- research-articleNovember 2023
P4b: A Translator from P4 Programs to Boogie
ESEC/FSE 2023: Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software EngineeringNovember 2023, Pages 2172–2176https://doi.org/10.1145/3611643.3613091P4 is a mainstream language for Software Defined Network (SDN) data planes. P4 is designed to achieve target-independent, protocol-independent, and configurable SDN data planes. However, logic errors may occur in P4 programs, resulting in improper packet ...
- research-articleApril 2024
Path Planning Method for Robot-assisted Puncture Based on Genetic Algorithm
ISAIMS '23: Proceedings of the 2023 4th International Symposium on Artificial Intelligence for Medicine ScienceOctober 2023, Pages 1043–1050https://doi.org/10.1145/3644116.3644295Trigeminal neuralgia is a common cerebral neurological disorder. Clinical intervention for this disorder typically involves puncturing the foramen ovale at the skull base. However, the small morphological structure of the foramen ovale and the complex ...
-
Automated Ambiguity Detection in Layout-Sensitive Grammars
Proceedings of the ACM on Programming Languages (PACMPL), Volume 7, Issue OOPSLA2Article No.: 262, Pages 1150–1175https://doi.org/10.1145/3622838Layout-sensitive grammars have been adopted in many modern programming languages. In a serious language design phase, the specified syntax—typically a grammar—must be unambiguous. Although checking ambiguity is undecidable for context-free grammars ...
- research-articleJune 2023
Learning Adaptive Node Embeddings Across Graphs
IEEE Transactions on Knowledge and Data Engineering (IEEECS_TKDE), Volume 35, Issue 6June 2023, Pages 6028–6042https://doi.org/10.1109/TKDE.2022.3160211Recently, learning embeddings of nodes in graphs has attracted increasing research attention. There are two main kinds of graph embedding methods, i.e., transductive embedding methods and inductive embedding methods. The former focuses on directly ...
- research-articleJuly 2023
Data-Driven Recurrent Set Learning for Non-termination Analysis
ICSE '23: Proceedings of the 45th International Conference on Software EngineeringMay 2023, Pages 1303–1315https://doi.org/10.1109/ICSE48619.2023.00115Termination is a fundamental liveness property for program verification. In this paper, we revisit the problem of non-termination analysis and propose the first data-driven learning algorithm for synthesizing recurrent sets, where the non-terminating ...
- research-articleMarch 2023
A Characterization Study of Merge Conflicts in Java Projects
ACM Transactions on Software Engineering and Methodology (TOSEM), Volume 32, Issue 2Article No.: 40, Pages 1–28https://doi.org/10.1145/3546944In collaborative software development, programmers create software branches to add features and fix bugs tentatively, and then merge branches to integrate edits. When edits from different branches textually overlap (i.e., textual conflicts) or lead to ...
- research-articleMarch 2023
Satisfiability Modulo Ordering Consistency Theory for SC, TSO, and PSO Memory Models
ACM Transactions on Programming Languages and Systems (TOPLAS), Volume 45, Issue 1Article No.: 6, Pages 1–37https://doi.org/10.1145/3579835Automatically verifying multi-threaded programs is difficult because of the vast number of thread interleavings, a problem aggravated by weak memory consistency. Partial orders can help with verification because they can represent many thread ...
- research-articleFebruary 2023
CSI-based cross-scene human activity recognition with incremental learning
Neural Computing and Applications (NCAA), Volume 35, Issue 17Jun 2023, Pages 12415–12432https://doi.org/10.1007/s00521-023-08389-0AbstractHuman Activity Recognition (HAR) based on Channel State Information (CSI) has important application prospects in various fields such as human–computer interactivity, medical health et al. Although the current CSI-based HAR researches have made ...
- research-articleApril 2024
InsPro: propagating instance query and proposal for online video instance segmentation
NIPS '22: Proceedings of the 36th International Conference on Neural Information Processing SystemsNovember 2022, Article No.: 1408, Pages 19370–19383Video instance segmentation (VIS) aims at segmenting and tracking objects in videos. Prior methods typically generate frame-level or clip-level object instances first and then associate them by either additional tracking heads or complex instance ...
- research-articleJanuary 2023
Graph Neural Network Recommendation Method Based on User Behavior
AISS '22: Proceedings of the 4th International Conference on Advanced Information Science and SystemNovember 2022, Article No.: 21, Pages 1–7https://doi.org/10.1145/3573834.3574487In recent years, the recommendation field has gradually started to combine GNN-like approaches to address the challenges. The Neural Graph Collaborative Filtering (NGCF) framework has made a preliminary attempt to extract structural knowledge in model-...
- research-articleOctober 2022
Consistency-preserving propagation for SMT solving of concurrent program verification
Proceedings of the ACM on Programming Languages (PACMPL), Volume 6, Issue OOPSLA2Article No.: 158, Pages 929–956https://doi.org/10.1145/3563321The happens-before orders have been widely adopted to model thread interleaving behaviors of concurrent programs. A dedicated ordering theory solver, usually composed of theory propagation, consistency checking, and conflict clause generation, plays a ...
- ArticleOctober 2022
EqFix: Fixing LaTeX Equation Errors by Examples
Dependable Software Engineering. Theories, Tools, and ApplicationsOct 2022, Pages 106–124https://doi.org/10.1007/978-3-031-21213-0_7Abstract[inline-graphic not available: see fulltext] is a widely-used document preparation system. Its powerful ability in mathematical equation editing is perhaps the main reason for its popularity in academia. Sometimes, however, even an expert user may ...
- ArticleOctober 2022
- research-articleOctober 2022
Dysphagia diagnosis system with integrated speech analysis from throat vibration
- Hengling Zhao,
- Yangyang Jiang,
- Shenghan Wang,
- Fei He,
- Fangzhou Ren,
- Zhonghao Zhang,
- Xue Yang,
- Ce Zhu,
- Jirong Yue,
- Ying Li,
- Yipeng Liu
Expert Systems with Applications: An International Journal (EXWA), Volume 204, Issue COct 2022https://doi.org/10.1016/j.eswa.2022.117496AbstractDysphagia is a widespread swallowing disorder. One of the most widely used clinical assessments is the bedside swallowing disorder screening, including the water swallow test. This method can only diagnose the disease according to the choking ...
Highlights- We achieve an early screening of dysphagia based on speech analysis.
- We use a new data acquisition system to collect clear throat vibration.
- We design a new integrated classifier that performs well.
- A new group of speech ...
- research-articleJuly 2022
Temporal-adaptive sparse feature aggregation for video object detection
Highlights- We propose a novel temporal-adaptive sparse feature aggregation framework for challenging video object detection.
Video object detection is a challenging task due to the appearance deterioration in video frames. To enhance feature representation of the deteriorated frames, previous methods usually aggregate features from fixed-density and fixed-...
Data-driven loop bound learning for termination analysis
ICSE '22: Proceedings of the 44th International Conference on Software EngineeringMay 2022, Pages 499–510https://doi.org/10.1145/3510003.3510220Termination is a fundamental liveness property for program verification. A loop bound is an upper bound of the number of loop iterations for a given program. The existence of a loop bound evidences the termination of the program. This paper employs a ...
- ArticleApril 2022
Deagle: An SMT-based Verifier for Multi-threaded Programs (Competition Contribution)
Tools and Algorithms for the Construction and Analysis of SystemsApr 2022, Pages 424–428https://doi.org/10.1007/978-3-030-99527-0_25AbstractDeagle is an SMT-based multi-threaded program verification tool. It is built on top of CBMC (front-end) and MiniSAT (back-end). The basic idea of Deagle is to integrate into the SMT solver an ordering consistency theory that handles ordering ...