49 citations · 223 across the 35 of their papers we have counts for
36 papers
Learning with Logical Constraints but without Shortcut Satisfaction
Zenan Li, Zehua Liu, Yuan Yao +4
Recent studies in neuro-symbolic learning have explored the integration of logical knowledge into deep learning via encoding logical constraints as an additional loss function. How…
Softened Symbol Grounding for Neuro-symbolic Systems
Zenan Li, Yuan Yao, Taolue Chen +4
Neuro-symbolic learning generally consists of two separated worlds, i.e., neural network training and symbolic constraint solving, whose success hinges on symbol grounding, a funda…
Assessing and Improving Syntactic Adversarial Robustness of Pre-trained Models for Code Translation
Guang Yang, Yu Zhou, Xiangyu Zhang +3
Context: Pre-trained models (PTMs) have demonstrated significant potential in automatic code translation. However, the vulnerability of these models in translation tasks, particula…
SAT-based Formal Fault-Resistance Verification of Cryptographic Circuits
Huiyu Tan, Pengfei Gao, Taolue Chen +2
Fault injection attacks represent a type of active, physical attack against cryptographic circuits. Various countermeasures have been proposed to thwart such attacks, the design an…
Automated Verification of Correctness for Masked Arithmetic Programs
Mingyang Liu, Fu Song, Taolue Chen
Masking is a widely-used effective countermeasure against power side-channel attacks for implementing cryptographic algorithms. Surprisingly, few formal verification techniques hav…
A Syntax-Guided Multi-Task Learning Approach for Turducken-Style Code Generation
Guang Yang, Yu Zhou, Xiang Chen +4
Due to the development of pre-trained language models, automated code generation techniques have shown great promise in recent years. However, the generated code is difficult to me…
Test Reuse Based on Adaptive Semantic Matching across Android Mobile Applications
Shuqi Liu, Yu Zhou, Tingting Han +1
Automatic test generation can help verify and develop the behavior of mobile applications. Test reuse based on semantic similarities between applications of the same category has b…
DRIVE: Dockerfile Rule Mining and Violation Detection
Yu Zhou, Weilin Zhan, Zi Li +3
A Dockerfile defines a set of instructions to build Docker images, which can then be instantiated to support containerized applications. Recent studies have revealed a considerable…
How Important are Good Method Names in Neural Code Generation? A Model Robustness Perspective
Guang Yang, Yu Zhou, Wenhua Yang +3
Pre-trained code generation models (PCGMs) have been widely applied in neural code generation which can generate executable code from functional descriptions in natural languages,…
Preventing Timing Side-Channels via Security-Aware Just-In-Time Compilation
Qi Qin, JulianAndres JiYang, Fu Song +2
Recent work has shown that Just-In-Time (JIT) compilation can introduce timing side-channels to constant-time programs, which would otherwise be a principled and effective means to…
Solving String Constraints With Regex-Dependent Functions Through Transducers With Priorities And Variables
Taolue Chen, Alejandro Flores Lamas, Matthew Hague +6
Regular expressions are a classical concept in formal language theory. Regular expressions in programming languages (RegEx) such as JavaScript, feature non-standard semantics of op…
Adversarial Robustness of Deep Code Comment Generation
Yu Zhou, Xiaoqing Zhang, Juanjuan Shen +3
Deep neural networks (DNNs) have shown remarkable performance in a variety of domains such as computer vision, speech recognition, or natural language processing. Recently they als…
BDD4BNN: A BDD-based Quantitative Analysis Framework for Binarized Neural Networks
Yedi Zhang, Zhe Zhao, Guangke Chen +2
Verifying and explaining the behavior of neural networks is becoming increasingly important, especially when they are deployed in safety-critical applications. In this paper, we st…
Learning Safe Neural Network Controllers with Barrier Certificates
Hengjun Zhao, Xia Zeng, Taolue Chen +2
We provide a novel approach to synthesize controllers for nonlinear continuous dynamical systems with control against safety properties. The controllers are based on neural network…
A Decision Procedure for Path Feasibility of String Manipulating Programs with Integer Data Type
Taolue Chen, Matthew Hague, Jinlong He +4
Strings are widely used in programs, especially in web applications. Integer data type occurs naturally in string-manipulating programs, and is frequently used to refer to lengths…
A Hybrid Approach to Formal Verification of Higher-Order Masked Arithmetic Programs
Pengfei Gao, Hongyi Xie, Fu Song +1
Side-channel attacks, which are capable of breaking secrecy via side-channel information, pose a growing threat to the implementation of cryptographic algorithms. Masking is an eff…
Finger Texture Biometric Characteristic: a Survey
Raid R. O. Al-Nima, Tingting Han, Taolue Chen +2
\begin{abstract} In recent years, the Finger Texture (FT) has attracted considerable attention as a biometric characteristic. It can provide efficient human recognition performance…
Boosting API Recommendation with Implicit Feedback
Yu Zhou, Xinying Yang, Taolue Chen +3
Developers often need to use appropriate APIs to program efficiently, but it is usually a difficult task to identify the exact one they need from a vast of candidates. To ease the…
Model-based Automated Testing of JavaScript Web Applications via Longer Test Sequences
Pengfei Gao, Fu Song, Taolue Chen +2
JavaScript has become one of the most widely used languages for Web development. However, it is challenging to ensure the correctness and reliability of Web applications written in…
Online Observability of Boolean Control Networks
Guisen Wu, Liyun Dai, Zhiming Liu +2
Observabililty is an important topic of Boolean control networks (BCNs). In this paper, we propose a new type of observability named online observability to present the sufficient…
User Review-Based Change File Localization for Mobile Applications
Yu Zhou, Yanqi Su, Taolue Chen +3
In the current mobile app development, novel and emerging DevOps practices (e.g., Continuous Delivery, Integration, and user feedback analysis) and tools are becoming more widespre…
Quantitative Verification of Masked Arithmetic Programs against Side-Channel Attacks
Pengfei Gao, Hongyi Xie, Jun Zhang +2
Power side-channel attacks, which can deduce secret data via statistical analysis, have become a serious threat. Masking is an effective countermeasure for reducing the statistical…
Making Agents' Abilities Explicit
Yedi Zhang, Fu Song, Taolue Chen
Alternating-time temporal logics (ATL/ATL*) represent a family of modal logics for reasoning about agents' strategic abilities in multiagent systems (MAS). The interpretations of A…
Decision Procedures for Path Feasibility of String-Manipulating Programs with Complex Operations
Taolue Chen, Matthew Hague, Anthony W. Lin +2
The design and implementation of decision procedures for checking path feasibility in string-manipulating programs is an important problem, whose applications include symbolic exec…