activity
20012023
most citedA Situation Calculus-based Approach To Model Ubiquitous Information Services

11 citations · 53 across the 19 of their papers we have counts for

collaborators

20 papers

cs.CR2023★ 1 cited

BandwidthBreach: Unleashing Covert and Side Channels through Cache Bandwidth Exploitation

Han Wang, Ming Tang, Ke Xu +1

In the modern CPU architecture, enhancements such as the Line Fill Buffer (LFB) and Super Queue (SQ), which are designed to track pending cache requests, have significantly boosted…

cs.LG2021★ 1 cited

Structural Optimization Makes Graph Classification Simpler and Better

Junran Wu, Jianhao Li, Yicheng Pan +1

In deep neural networks, better results can often be obtained by increasing the complexity of previously developed basic models. However, it is unclear whether there is a way to bo…

cs.CL2021★ 2 cited

CoSQA: 20,000+ Web Queries for Code Search and Question Answering

Junjie Huang, Duyu Tang, Linjun Shou +5

Finding codes given natural language query isb eneficial to the productivity of software developers. Future progress towards better semantic matching between query and code require…

cs.CL2020★ 7 cited

Improving BERT with Syntax-aware Local Attention

Zhongli Li, Qingyu Zhou, Chao Li +2

Pre-trained Transformer-based neural language models, such as BERT, have achieved remarkable results on varieties of NLP tasks. Recent works have shown that attention-based models…

cs.CL2020★ 1 cited

Pseudo-Bidirectional Decoding for Local Sequence Transduction

Wangchunshu Zhou, Tao Ge, Ke Xu

Local sequence transduction (LST) tasks are sequence transduction tasks where there exists massive overlapping between the source and target sequences, such as Grammatical Error Co…

cs.AI2017

Diversified Top-k Partial MaxSAT Solving

Junping Zhou, Huanyao Sun, Feifei Ma +3

We introduce a diversified top-k partial MaxSAT problem, a combination of partial MaxSAT problem and enumeration problem. Given a partial MaxSAT formula F and a positive integer k,…