Articles with public access mandates - Sun JunLearn more
Available somewhere: 93
Towards generating thread-safe classes automatically
H Wang, Z Wang, J Sun, S Liu, A Sadiq, YF Li
Proceedings of the 35th IEEE/ACM International Conference on Automated …, 2020
Mandates: National Natural Science Foundation of China
IFIX: fixing concurrency bugs while they are introduced
Z Wang, H Wang, S Liu, J Sun, H Wang, J Chen
2020 25th International Conference on Engineering of Complex Computer …, 2020
Mandates: National Natural Science Foundation of China
Automatically ‘verifying’discrete-time complex systems through learning, abstraction and refinement
J Wang, J Sun, S Qin, C Jegourel
IEEE Transactions on Software Engineering 47 (1), 189-203, 2018
Mandates: National Natural Science Foundation of China
Testing automated driving systems by breaking many laws efficiently
X Zhang, W Zhao, Y Sun, J Sun, Y Shen, X Dong, Z Yang
Proceedings of the 32nd ACM SIGSOFT International Symposium on Software …, 2023
Mandates: National Natural Science Foundation of China
DeepArc: Modularizing neural networks for the model maintenance
X Ren, Y Lin, Y Xue, R Liu, J Sun, Z Feng, JS Dong
2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE …, 2023
Mandates: Chinese Academy of Sciences, National Natural Science Foundation of China, A …
gDefects4DL: a dataset of general real-world deep learning program defects
Y Liang, Y Lin, X Song, J Sun, Z Feng, JS Dong
Proceedings of the ACM/IEEE 44th International Conference on Software …, 2022
Mandates: National Natural Science Foundation of China, National Research Foundation …
Repairing Adversarial Texts through Perturbation
G Dong, J Wang, J Sun, S Chattopadhyay, X Wang, T Dai, J Shi, JS Dong
International Symposium on Theoretical Aspects of Software Engineering, 29-48, 2022
Mandates: National Natural Science Foundation of China, National Research Foundation …
Provably robust decisions based on potentially malicious sources of information
T Muller, D Wang, J Sun
2020 IEEE 33rd Computer Security Foundations Symposium (CSF), 411-424, 2020
Mandates: UK Engineering and Physical Sciences Research Council
Finding Causally Different Tests for an Industrial Control System
CM Poskitt, Y Chen, J Sun, Y Jiang
2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE …, 2023
Mandates: National Research Foundation, Singapore
Automated synthesis of local time requirement for service composition
É André, TH Tan, M Chen, S Liu, J Sun, Y Liu, JS Dong
Software and Systems Modeling 19, 983-1013, 2020
Mandates: Agence Nationale de la Recherche
ORIGAMI: Folding Data Structures to Reduce Timing Side-Channel Leakage
E Rothstein-Morris, J Sun, S Chattopadhyay
2022 20th ACM-IEEE International Conference on Formal Methods and Models for …, 2022
Mandates: Agence Nationale de la Recherche, National Research Foundation, Singapore
Enhancing symbolic execution of heap-based programs with separation logic for test input generation.(2019)
LH PHAM, Q LOC LE, QS PHAN, J SUN, S QIN
International Symposium on Automated Technology for Verification and …, 2019
Mandates: US National Aeronautics and Space Administration
Latent error prediction and fault localization for microservice applications by learning from system trace logs.(2019)
X ZHOU, X PENG, T XIE, J SUN, C JI, D LIU, Q XIANG, C HE
27th ACM Joint European Software Engineering Conference and Symposium on the …, 2019
Mandates: US National Science Foundation, National Natural Science Foundation of China
Adversarial sample detection for deep neural network through model mutation testing.(2019)
J WANG, G DONG, J SUN, X WANG, Z PEIXIN
International Conference on Software Engineering (ICSE 2019), Montreal …, 2019
Mandates: National Natural Science Foundation of China
Parametric timed model checking for guaranteeing timed opacity.(2019)
É ANDRÉ, J SUN
Proceedings of the 17th International Symposium, ATVA, 28-31, 2019
Mandates: Agence Nationale de la Recherche
sCompile: Critical path identification and analysis for smart contracts.(2019)
J CHANG, B GAO, H XIAO, J SUN, Y CAI, Z YANG
International Conference on Formal Engineering Methods (ICFEM 2019 …, 2019
Mandates: Chinese Academy of Sciences
Towards' verifying'a water treatment system.(2018)
J WANG, J SUN, Y JIA, S QIN, Z XU
International Symposium on Formal Methods: 22nd FM, 15-17, 2018
Mandates: National Natural Science Foundation of China, National Research Foundation …
Towards concolic testing for hybrid systems.(2016)
P KONG, Y LI, X CHEN, J SUN, M SUN, J WANG
Proceedings of the 21st International Symposium Limassol, Cyprus, 9-11, 2016
Mandates: National Natural Science Foundation of China
Regular symmetry patterns.(2016)
AW LIN, TK NGUYEN, P RÜMMER, J SUN
Proceedings of the 17th International Conference on Verification, Model …, 2016
Mandates: Swedish Research Council
Heuristic collective learning for efficient and robust emergence of social norms.(2015)
J HAO, J SUN, D HUANG, Y CAI, C YU
Proceedings of 2015 International Conference on Autonomous Agents and …, 2015
Mandates: National Natural Science Foundation of China
Publication and funding information is determined automatically by a computer program