Jiaguang Sun

ORCID

Publication Activity (10 Years)

Years Active: 2002-2023
Publications (10 Years): 69

Top Venues

Publications

Fuchen Ma, Meng Ren, Lerong Ouyang, Yuanliang Chen, Juan Zhu, Ting Chen, Yingli Zheng, Xiao Dai, Yu Jiang, Jiaguang Sun
Pied-Piper: Revealing the Backdoor Threats in Ethereum ERC Token Contracts. ACM Trans. Softw. Eng. Methodol. 32 (3) (2023)
Zhengxiong Luo, Junze Yu, Feilong Zuo, Jianzhong Liu, Yu Jiang, Ting Chen, Abhik Roychoudhury, Jiaguang Sun
Bleem: Packet Sequence Oriented Fuzzing for Protocol Implementations. USENIX Security Symposium (2023)
Fuchen Ma, Yuanliang Chen, Meng Ren, Yuanhang Zhou, Yu Jiang, Ting Chen, Huizhong Li, Jiaguang Sun
LOKI: State-Aware Fuzzing Framework for the Implementation of Blockchain Consensus Protocols. NDSS (2023)
Chen Wang, Jialin Qiao, Xiangdong Huang, Shaoxu Song, Haonan Hou, Tian Jiang, Lei Rui, Jianmin Wang, Jiaguang Sun
Apache IoTDB: A Time Series Database for IoT Applications. Proc. ACM Manag. Data 1 (2) (2023)
Zhuo Su, Dongyan Wang, Yixiao Yang, Zehong Yu, Wanli Chang, Wen Li, Aiguo Cui, Yu Jiang, Jiaguang Sun
MDD: A Unified Model-Driven Design Framework for Embedded Control Software. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 41 (10) (2022)
Jie Liang, Mingzhe Wang, Chijin Zhou, Zhiyong Wu, Yu Jiang, Jianzhong Liu, Zhe Liu, Jiaguang Sun
PATA: Fuzzing with Path Aware Taint Analysis. IEEE Symposium on Security and Privacy (2022)
Mingzhe Wang, Jie Liang, Chijin Zhou, Yu Jiang, Rui Wang, Chengnian Sun, Jiaguang Sun
RIFF: Reduced Instruction Footprint for Coverage-Guided Fuzzing. USENIX Annual Technical Conference (2021)
Jian Gao, Yu Jiang, Zhe Liu, Xin Yang, Cong Wang, Xun Jiao, Zijiang Yang, Jiaguang Sun
Semantic Learning and Emulation Based Cross-Platform Binary Vulnerability Seeker. IEEE Trans. Software Eng. 47 (11) (2021)
Jian Gao, Xin Yang, Yu Jiang, Houbing Song, Kim-Kwang Raymond Choo, Jiaguang Sun
Semantic Learning Based Cross-Platform Binary Vulnerability Search For IoT Devices. IEEE Trans. Ind. Informatics 17 (2) (2021)
Xi Cheng, Min Zhou, Xiaoyu Song, Ming Gu, Jiaguang Sun
Automatic Integer Error Repair by Proper-Type Inference. IEEE Trans. Dependable Secur. Comput. 18 (2) (2021)
Zhiyu Yao, Yunbo Wang, Mingsheng Long, Jianmin Wang, Philip S. Yu, Jiaguang Sun
Multi-Task Learning of Generalizable Representations for Video Action Recognition. ICME (2020)
Chen Wang, Xiangdong Huang, Jialin Qiao, Tian Jiang, Lei Rui, Jinrui Zhang, Rong Kang, Julian Feinauer, Kevin Mcgrail, Peng Wang, Diaohan Luo, Jun Yuan, Jianmin Wang, Jiaguang Sun
Apache IoTDB: Time-series database for Internet of Things. Proc. VLDB Endow. 13 (12) (2020)
Jian Gao, Yiwen Xu, Yu Jiang, Zhe Liu, Wanli Chang, Xun Jiao, Jiaguang Sun
EM-Fuzz: Augmented Firmware Fuzzing via Memory Checking. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39 (11) (2020)
Ying Jin, Yunbo Wang, Mingsheng Long, Jianmin Wang, Philip S. Yu, Jiaguang Sun
A Multi-Player Minimax Game for Generative Adversarial Networks. ICME (2020)
Jianmin Guo, Yue Zhao, Xueying Han, Yu Jiang, Jiaguang Sun
RNN-Test: Adversarial Testing Framework for Recurrent Neural Network Systems. CoRR (2019)
Yuexing Wang, Min Zhou, Ming Gu, Jiaguang Sun
Necessity and Capability of Flow, Context, Field and Quasi Path Sensitive Points-to Analysis. APSEC (2019)
Yu Jiang, Mingzhe Wang, Xun Jiao, Houbing Song, Hui Kong, Rui Wang, Yongxin Liu, Jian Wang, Jiaguang Sun
Uncertainty Theory Based Reliability-Centric Cyber-Physical System Design. iThings/GreenCom/CPSCom/SmartData (2019)
Heyuan Shi, Runzhe Wang, Ying Fu, Yu Jiang, Jian Dong, Kun Tang, Jiaguang Sun
Vulnerable Code Clone Detection for Operating System Through Correlation-Induced Learning. IEEE Trans. Ind. Informatics 15 (12) (2019)
Han Liu, Zhiqiang Yang, Yu Jiang, Wenqi Zhao, Jiaguang Sun
Enabling clone detection for ethereum via smart contract birthmarks. ICPC (2019)
Heyuan Shi, Yubo Zhang, Zizhao Zhang, Nan Ma, Xibin Zhao, Yue Gao, Jiaguang Sun
Hypergraph-Induced Convolutional Networks for Visual Classification. IEEE Trans. Neural Networks Learn. Syst. 30 (10) (2019)
Zuxing Gu, Jiecheng Wu, Chi Li, Min Zhou, Yu Jiang, Ming Gu, Jiaguang Sun
Vetting API usages in C programs with IMChecker. ICSE (Companion Volume) (2019)
Ying Fu, Meng Ren, Fuchen Ma, Yu Jiang, Heyuan Shi, Jiaguang Sun
EVMFuzz: Differential Fuzz Testing of Ethereum Virtual Machine. CoRR (2019)
Heyuan Shi, Runzhe Wang, Ying Fu, Mingzhe Wang, Xiaohai Shi, Xun Jiao, Houbing Song, Yu Jiang, Jiaguang Sun
Industry practice of coverage-guided enterprise Linux kernel fuzzing. ESEC/SIGSOFT FSE (2019)
Jie Liang, Yuanliang Chen, Mingzhe Wang, Yu Jiang, Zijiang Yang, Chengnian Sun, Xun Jiao, Jiaguang Sun
Engineering a Better Fuzzer with Synergically Integrated Optimizations. ISSRE (2019)
Xi Cheng, Min Zhou, Xiaoyu Song, Ming Gu, Jiaguang Sun
Tolerating C Integer Error via Precision Elevation. IEEE Trans. Computers 68 (2) (2019)
Guang Chen, Yuexing Wang, Min Zhou, Jiaguang Sun
VFQL: combinational static analysis as query language. ISSTA (2019)
Yixiao Yang, Xiang Chen, Jiaguang Sun
Improve Language Modeling for Code Completion Through Learning General Token Repetition of Source Code with Optimized Memory. Int. J. Softw. Eng. Knowl. Eng. 29 (11&12) (2019)
Cong Wang, Jian Gao, Yu Jiang, Zhenchang Xing, Huafeng Zhang, Weiliang Yin, Ming Gu, Jiaguang Sun
Go-clone: graph-embedding based clone detector for Golang. ISSTA (2019)
Fuchen Ma, Ying Fu, Meng Ren, Wanting Sun, Zhe Liu, Yu Jiang, Jun Sun, Jiaguang Sun
GasFuzz: Generating High Gas Consumption Inputs to Avoid Out-of-Gas Vulnerability. CoRR (2019)
Yu Jiang, Houbing Song, Yixiao Yang, Han Liu, Ming Gu, Yong Guan, Jiaguang Sun, Lui Sha
Dependable Model-driven Development of CPS: From Stateflow Simulation to Verified Implementation. ACM Trans. Cyber Phys. Syst. 3 (1) (2019)
Zhengxiong Luo, Feilong Zuo, Yu Jiang, Jian Gao, Xun Jiao, Jiaguang Sun
Polar: Function Code Aware Fuzz Testing of ICS Protocol. ACM Trans. Embed. Comput. Syst. 18 (5s) (2019)
Yuexing Wang, Guang Chen, Min Zhou, Ming Gu, Jiaguang Sun
TsmartGP: A Tool for Finding Memory Defects with Pointer Analysis. ASE (2019)
Rui Wang, Houbing Song, Yu Jing, Kang Yang, Yong Guan, Jiaguang Sun
A Sensor Attack Detection Method in Intelligent Vehicle with Multiple Sensors. ICII (2019)
Guang Chen, Min Zhou, Jiaguang Sun, Xiaoyu Song
Scalable and Extensible Static Memory Safety Analysis with Summary over Access Path. APSEC (2018)
Xi Cheng, Min Zhou, Xiaoyu Song, Ming Gu, Jiaguang Sun
Parallelizing SMT solving: Lazy decomposition and conciliation. Artif. Intell. 257 (2018)
Guang Chen, Dexi Wang, Tianchi Li, Chao Zhang, Ming Gu, Jiaguang Sun
Scalable Verification Framework for C Program. APSEC (2018)
Yuexing Wang, Min Zhou, Xiaoyu Song, Ming Gu, Jiaguang Sun
Constructing Cost-Aware Functional Test-Suites Using Nested Differential Evolution Algorithm. IEEE Trans. Evol. Comput. 22 (3) (2018)
Jianmin Guo, Yu Jiang, Yue Zhao, Quan Chen, Jiaguang Sun
DLFuzz: Differential Fuzzing Testing of Deep Learning Systems. CoRR (2018)
Han Liu, Chao Liu, Wenqi Zhao, Yu Jiang, Jiaguang Sun
S-gram: towards semantic-aware security auditing for Ethereum smart contracts. ASE (2018)
Jiyuan Wang, Ming Gao, Yu Jiang, Jian-Guang Lou, Yue Gao, Dongmei Zhang, Jiaguang Sun
QuanFuzz: Fuzz Testing of Quantum Program. CoRR (2018)
Jianmin Guo, Yu Jiang, Yue Zhao, Quan Chen, Jiaguang Sun
DLFuzz: differential fuzzing testing of deep learning systems. ESEC/SIGSOFT FSE (2018)
Jian Gao, Xin Yang, Ying Fu, Yu Jiang, Jiaguang Sun
VulSeeker: a semantic learning based vulnerability seeker for cross-platform binary. ASE (2018)
Han Liu, Zhiqiang Yang, Chao Liu, Yu Jiang, Wenqi Zhao, Jiaguang Sun
EClone: detect semantic clones in Ethereum via symbolic transaction sketch. ESEC/SIGSOFT FSE (2018)
Min Zhou, William N. N. Hung, Xiaoyu Song, Ming Gu, Jiaguang Sun
Temporal Coverage Analysis for Dynamic Verification. IEEE Trans. Circuits Syst. II Express Briefs (1) (2018)
Jie Liang, Yu Jiang, Yuanliang Chen, Mingzhe Wang, Chijin Zhou, Jiaguang Sun
PAFL: extend fuzzing optimizations of single mode to industrial parallel mode. ESEC/SIGSOFT FSE (2018)
Jian Gao, Xin Yang, Ying Fu, Yu Jiang, Heyuan Shi, Jiaguang Sun
VulSeeker-pro: enhanced semantic learning based binary vulnerability seeker with emulation. ESEC/SIGSOFT FSE (2018)
Cong Wang, Yu Jiang, Xibin Zhao, Xiaoyu Song, Ming Gu, Jiaguang Sun
Weak-assert: a weakness-oriented assertion recommendation toolkit for program analysis. ICSE (Companion Volume) (2018)
Xibin Zhao, Nan Wang, Yubo Zhang, Shaoyi Du, Yue Gao, Jiaguang Sun
Beyond Pairwise Matching: Person Reidentification via High-Order Relevance Learning. IEEE Trans. Neural Networks Learn. Syst. 29 (8) (2018)
Mingzhe Wang, Jie Liang, Yuanliang Chen, Yu Jiang, Xun Jiao, Han Liu, Xibin Zhao, Jiaguang Sun
SAFL: increasing and accelerating testing coverage with symbolic execution and guided fuzzing. ICSE (Companion Volume) (2018)
Jiaxiang Liu, Min Zhou, Xiaoyu Song, Ming Gu, Jiaguang Sun
Formal Modeling and Verification of a Rate-Monotonic Scheduling Implementation with Real-Time Maude. IEEE Trans. Ind. Electron. 64 (4) (2017)
Yuexing Wang, Zuxing Gu, Xi Cheng, Min Zhou, Xiaoyu Song, Ming Gu, Jiaguang Sun
A Constraint-Pattern Based Method for Reachability Determination. COMPSAC (1) (2017)
Cong Wang, Fei He, Xiaoyu Song, Yu Jiang, Ming Gu, Jiaguang Sun
Assertion Recommendation for Formal Program Verification. COMPSAC (1) (2017)
Han Liu, Chengnian Sun, Zhendong Su, Yu Jiang, Ming Gu, Jiaguang Sun
Stochastic optimization of program obfuscation. ICSE (2017)
Yixiao Yang, Yu Jiang, Ming Gu, Jiaguang Sun, Jian Gao, Han Liu
A language model for statements of software code. ASE (2017)
Xi Cheng, Min Zhou, Xiaoyu Song, Ming Gu, Jiaguang Sun
IntPTI: automatic integer error repair with proper-type inference. ASE (2017)
Lifan Su, Yue Gao, Xibin Zhao, Hai Wan, Ming Gu, Jiaguang Sun
Vertex-Weighted Hypergraph Learning for Multi-View Object Classification. IJCAI (2017)
Ronglu Yang, Lifan Su, Xibin Zhao, Hai Wan, Jiaguang Sun
Representative band selection for hyperspectral image classification. J. Vis. Commun. Image Represent. 48 (2017)
Heyuan Shi, Kun Tang, Chengbao Liu, Xiaoyu Song, Chao Hu, Jiaguang Sun
Memetic-based schedule synthesis for communication on time-triggered embedded systems. Int. J. Distributed Sens. Networks 13 (10) (2017)
Yu Jiang, Mingzhe Wang, Han Liu, Mohammad Hosseini, Jiaguang Sun
Dependable integrated clinical system architecture with runtime verification. ICCAD (2017)
Yu Jiang, Houbing Song, Rui Wang, Ming Gu, Jiaguang Sun, Lui Sha
Data-Centered Runtime Verification of Wireless Medical Cyber-Physical System. IEEE Trans. Ind. Informatics 13 (4) (2017)
Dexi Wang, Yu Jiang, Houbing Song, Fei He, Ming Gu, Jiaguang Sun
Verification of Implementations of Cryptographic Hash Functions. IEEE Access 5 (2017)
Yuexing Wang, Min Zhou, Yu Jiang, Xiaoyu Song, Ming Gu, Jiaguang Sun
A static analysis tool with optimizations for reachability determination. ASE (2017)
Han Liu, Yu Jiang, Huafeng Zhang, Ming Gu, Jiaguang Sun
Taming Interrupts for Verifying Industrial Multifunction Vehicle Bus Controllers. FM (2016)
Xi Cheng, Min Zhou, Xiaoyu Song, Ming Gu, Jiaguang Sun
Automatic Fix for C Integer Errors by Precision Improvement. COMPSAC (2016)
Heyuan Shi, Xiaoyu Song, Ming Gu, Jiaguang Sun
Task and Participant Scheduling of Trading Platforms in Vehicular Participatory Sensing Networks. Sensors 16 (12) (2016)
Huafeng Zhang, Yu Jiang, Han Liu, Ming Gu, Jiaguang Sun
Tsmart-BIPEX: An Integrated Graphical Design Toolkit for Software Systems. D&P@MoDELS (2016)
Dexi Wang, Chao Zhang, Guang Chen, Ming Gu, Jiaguang Sun
C Code Verification based on the Extended Labeled Transition System Model. D&P@MoDELS (2016)
Jianmin Wang, Shaoxu Song, Xiaochen Zhu, Xuemin Lin, Jiaguang Sun
Efficient Recovery of Missing Events. IEEE Trans. Knowl. Data Eng. 28 (11) (2016)
Yu Jiang, Han Liu, Houbing Song, Hui Kong, Ming Gu, Jiaguang Sun, Lui Sha
Safety-Assured Formal Model-Driven Design of the Multifunction Vehicle Bus Controller. FM (2016)
Qian Wang, Xiaoyu Song, William N. N. Hung, Ming Gu, Jiaguang Sun
Scalable Verification of a Generic End-Around-Carry Adder for Floating-Point Units by Coq. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 34 (1) (2015)
Fei He, Xiaoyu Song, Ming Gu, Jiaguang Sun
Generalized interface automata with multicast synchronization. Frontiers Comput. Sci. 9 (1) (2015)
Xinrui Guo, Min Zhou, Xiaoyu Song, Ming Gu, Jiaguang Sun
First, Debug the Test Oracle. IEEE Trans. Software Eng. 41 (10) (2015)
Litian Xiao, Mengyuan Li, Ming Gu, Jiaguang Sun
PLC programs' checking method and strategy based on module state transfer. ICIA (2015)
Lan Zhang, Xiang-Yang Li, Jingsheng Lei, Jiaguang Sun, Yunhao Liu
Mechanism Design for Finding Experts Using Locally Constructed Social Referral Web. IEEE Trans. Parallel Distributed Syst. 26 (8) (2015)
Yamei Wen, Hui Zhang, Fangtao Li, Jiaguang Sun
Identifying and constructing elemental parts of shafts based on conditional random fields model. Comput. Aided Des. 62 (2015)
Yu Jiang, Hehua Zhang, Huafeng Zhang, Han Liu, Xiaoyu Song, Ming Gu, Jiaguang Sun
Design of Mixed Synchronous/Asynchronous Systems with Multiple Clocks. IEEE Trans. Parallel Distributed Syst. 26 (8) (2015)
Han Liu, Hehua Zhang, Yu Jiang, Xiaoyu Song, Ming Gu, Jiaguang Sun
Application-Specific Architecture Selection for Embedded Systems via Schedulability Analysis. TASE (2014)
Huafeng Zhang, Hehua Zhang, Ming Gu, Jiaguang Sun
Modeling a Heterogeneous Embedded System in Coloured Petri Nets. J. Appl. Math. 2014 (2014)
Mingsheng Long, Jianmin Wang, Guiguang Ding, Jiaguang Sun, Philip S. Yu
Transfer Joint Matching for Unsupervised Domain Adaptation. CVPR (2014)
Min Zhou, Fei He, Bow-Yaw Wang, Ming Gu, Jiaguang Sun
Array Theory of Bounded Elements and its Applications. J. Autom. Reason. 52 (4) (2014)
Hui Kong, Xiaoyu Song, Dong Han, Ming Gu, Jiaguang Sun
A New Barrier Certificate for Safety Verification of Hybrid Systems. Comput. J. 57 (7) (2014)
Xiaochen Zhu, Shaoxu Song, Jianmin Wang, Philip S. Yu, Jiaguang Sun
Matching heterogeneous events with patterns. ICDE (2014)
Yu Jiang, Zonghui Li, Hehua Zhang, Yangdong Deng, Xiaoyu Song, Ming Gu, Jiaguang Sun
Design and optimization of multi-clocked embedded systems using formal technique. ESEC/SIGSOFT FSE (2013)
Yu Jiang, Hehua Zhang, Xiaoyu Song, Xun Jiao, William N. N. Hung, Ming Gu, Jiaguang Sun
Bayesian-Network-Based Reliability Analysis of PLC Systems. IEEE Trans. Ind. Electron. 60 (11) (2013)
Hehua Zhang, Yu Jiang, Xiaoyu Song, William N. N. Hung, Ming Gu, Jiaguang Sun
Sequential dependency and reliability analysis of embedded systems. ASP-DAC (2013)
Yu Jiang, Hehua Zhang, Xiaoyu Song, William N. N. Hung, Ming Gu, Jiaguang Sun
Verification and Implementation of the Protocol Standard in Train Control System. COMPSAC (2013)
Mingsheng Long, Guiguang Ding, Jianmin Wang, Jiaguang Sun, Yuchen Guo, Philip S. Yu
Transfer Sparse Coding for Robust Image Representation. CVPR (2013)
Min Zhou, Fei He, Bow-Yaw Wang, Ming Gu, Jiaguang Sun
A Unified Framework for DPLL(T) + Certificates. J. Appl. Math. 2013 (2013)
Mingsheng Long, Jianmin Wang, Guiguang Ding, Jiaguang Sun, Philip S. Yu
Transfer Feature Learning with Joint Distribution Adaptation. ICCV (2013)
Yu Jiang, Hehua Zhang, Han Liu, Xiaoyu Song, William N. N. Hung, Ming Gu, Jiaguang Sun
System reliability calculation based on the run-time analysis of ladder program. ESEC/SIGSOFT FSE (2013)
Yu Jiang, Hehua Zhang, Xun Jiao, Xiaoyu Song, William N. N. Hung, Ming Gu, Jiaguang Sun
Uncertain Model and Algorithm for Hardware/Software Partitioning. ISVLSI (2012)
Rui Wang, Min Zhou, Liangze Yin, Lianyi Zhang, Jiaguang Sun, Ming Gu, Marius Bozga
Modeling and Validation of PLC-Controlled Systems: A Case Study. TASE (2012)
Litian Xiao, Rui Wang, Ming Gu, Jiaguang Sun
Semantic characterization of programmable logic controller programs. Math. Comput. Model. 55 (5-6) (2012)
Zijia Lin, Guiguang Ding, Mingqing Hu, Jianmin Wang, Jiaguang Sun
Automatic image annotation using tag-related random search over visual neighbors. CIKM (2012)
Wenshan Fan, Bin Wang, Bin Chan, Jean-Claude Paul, Jiaguang Sun
Recovering Geometric Detail by Octree Normal Maps. Trans. Edutainment 7 (2012)
Hehua Zhang, Yu Jiang, William N. N. Hung, Guowu Yang, Ming Gu, Jiaguang Sun
New strategies for reliability analysis of Programmable Logic Controllers. Math. Comput. Model. 55 (7-8) (2012)
Haining Fan, Ming Gu, Jiaguang Sun, Kwok-Yan Lam
Obtaining more Karatsuba-like formulae over the binary field. IET Inf. Secur. 6 (1) (2012)
Hui Kong, Hehua Zhang, Xiaoyu Song, Ming Gu, Jiaguang Sun
Proving Computational Geometry Algorithms in TLA+2. TASE (2011)
Yamei Wen, Hui Zhang, Jiaguang Sun, Jean-Claude Paul
A new method for identifying and validating features from 2D sectional views. Comput. Aided Des. 43 (6) (2011)
Wenshan Fan, Bin Wang, Jianliang Zhou, Jiaguang Sun
Parallel Spatial Hashing for Collision Detection of Deformable Surfaces. CAD/Graphics (2011)

Jiaguang Sun.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Jiaguang Sun