default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJun Sun 0001
Person information
- affiliation: Singapore Management University, Singapore
- affiliation (former): Singapore University of Technology and Design, Singapore
- affiliation (PhD 2006): National University of Singapore, School of Computing, Singapore
Other persons with the same name
- Jun Sun — disambiguation page
- Jun Sun 0002 — DoCoMo Communication Laboratories Inc., San Jose, CA, USA (and 1 more)
- Jun Sun 0003 — Stanford University, USA
- Jun Sun 0004
![[0000-0002-0967-4859]](https://dblp1.uni-trier.de/img/orcid-mark.12x12.png "0000-0002-0967-4859")
— Fujitsu R&D Center, Beijing, China (and 1 more) - Jun Sun 0005 — Shanghai Jiaotong University, Institute of Image Communication and Information Processing, China
- Jun Sun 0007 — MIT, Cambridge, MA, USA
- Jun Sun 0008 — Jiangnan University, School of Information Technology, Wuxi, China
- Jun Sun 0009 — Shanghai Jiao Tong University, Dept. of Electronic Engineering, China
- Jun Sun 0010 — Tsinghua University, School of Aerospace, Beijing, China
- Jun Sun 0011 — GESIS, Germany (and 1 more)
- Jun Sun 0012 — Peking University, Wangxuan Institute of Computer Science, Beijing, China
- Jun Sun 0013 — University of Texas Rio Grande Valley, Edinburg, TX, USA (and 1 more)
- Jun Sun 0014 — Zhejiang University, State Key Laboratory of Industrial Control Technology, China
- Jun Sun 0015 — Shanghai Aerospace Control Technology Institute, Shanghai, China
- Jun Sun 0016 — Anhui Province Children's Hospital of China, China
- Jun Sun 0017 — Beihang University, Beijing, China
- Jun Sun 0018 — Huazhong Agricultural University, College of Informatics, Hubei Key Laboratory of Agricultural Bioinformatics, China
- Jun Sun 0019 — Jiangsu University, School of Electrical and Information Engineering, Zhenjiang, China
- Jun Sun 0020 — Huazhong University of Science and Technology, Wuhan, China
- Jun Sun 0021 — Aerospace Information Research Institute, Chinese Academy of Sciences, Beijing, China
- Jun Sun 0022 — University of Calgary, Department of Mechanical and Manufacturing Engineering, Alberta Research Council, Canada
- Jun Sun 0023 — University of Electronic Science and Technology of China, School of Information and Communication Engineering, Chengdu, China
- Jun Sun 0024 — A-STAR, Institute for Infocomm Research, Singapore (and 1 more)
- Jun Sun 0025 — Yangzhou University, School of Information Engineering, China
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j74]Ziqi Shuai, Zhenbang Chen, Kelin Ma, Kunlin Liu, Yufeng Zhang, Jun Sun, Ji Wang:
Partial Solution Based Constraint Solving Cache in Symbolic Execution. Proc. ACM Softw. Eng. 1(FSE): 2493-2514 (2024)- [j73]Haoyu Wang, Zan Wang, Shuang Liu, Jun Sun, Yingquan Zhao, Yan Wan, Tai D. Nguyen:
sFuzz2.0: Storage-access pattern guided smart contract fuzzing. J. Softw. Evol. Process. 36(4) (2024) - [j72]Yinxing Xue, Jiaming Ye, Wei Zhang, Jun Sun, Lei Ma, Haijun Wang, Jianjun Zhao:
xFuzz: Machine Learning Guided Cross-Contract Fuzzing. IEEE Trans. Dependable Secur. Comput. 21(2): 515-529 (2024) - [j71]Dongxia Wang, Tim Muller, Jun Sun:
Provably Secure Decisions Based on Potentially Malicious Information. IEEE Trans. Dependable Secur. Comput. 21(5): 4388-4403 (2024) - [j70]Yuhan Zhi, Xiaofei Xie, Chao Shen, Jun Sun, Xiaoyu Zhang, Xiaohong Guan:
Seed Selection for Testing Deep Neural Networks. ACM Trans. Softw. Eng. Methodol. 33(1): 23:1-23:33 (2024) - [j69]Zhe Zhao, Guangke Chen, Tong Liu, Taishan Li, Fu Song, Jingyi Wang, Jun Sun:
Attack as Detection: Using Adversarial Attack Methods to Detect Abnormal Examples. ACM Trans. Softw. Eng. Methodol. 33(3): 68:1-68:45 (2024) - [j68]Cuifeng Gao, Wenzhang Yang, Jiaming Ye, Yinxing Xue, Jun Sun:
sGuard+: Machine Learning Guided Rule-Based Automated Vulnerability Repair on Smart Contracts. ACM Trans. Softw. Eng. Methodol. 33(5): 114:1-114:55 (2024) - [j67]Shunkai Zhu, Jingyi Wang, Jun Sun, Jie Yang, Xingwei Lin, Tian Wang, Liyi Zhang, Peng Cheng:
Better Pay Attention Whilst Fuzzing. IEEE Trans. Software Eng. 50(2): 190-208 (2024) - [c244]Ruihan Zhang, Jun Sun:
Certified Robust Accuracy of Neural Networks Are Bounded Due to Bayes Errors. CAV (2) 2024: 352-376 - [c243]Wei Zhao, Zhe Li, Yige Li, Ye Zhang, Jun Sun:
Defending Large Language Models Against Jailbreak Attacks via Layer-specific Editing. EMNLP (Findings) 2024: 5094-5109 - [c242]Yedi Zhang, Guangke Chen, Fu Song, Jun Sun, Jin Song Dong:
Certified Quantization Strategy Synthesis for Neural Networks. FM (1) 2024: 343-362 - [c241]Simiao Zhang, Jitao Bai, Menghong Guan, Yueling Zhang, Jun Sun, Yihao Huang, Jiaping Wang, Chengcheng Wan, Ting Su, Geguang Pu:
CFP: A Reinforcement Learning Framework for Comprehensive Fairness-Performance Trade-Off in Machine Learning. ICANN (1) 2024: 463-477 - [c240]Huijia Sun, Christopher M. Poskitt, Yang Sun, Jun Sun, Yuqi Chen:
ACAV: A Framework for Automatic Causality Analysis in Autonomous Vehicle Accident Recordings. ICSE 2024: 102:1-102:13 - [c239]Yang Sun, Christopher M. Poskitt, Xiaodong Zhang, Jun Sun:
REDriver: Runtime Enforcement for Autonomous Vehicles. ICSE 2024: 176:1-176:12 - [c238]Long H. Pham, Jun Sun:
Certified Continual Learning for Neural Network Regression. ISSTA 2024: 806-818 - [c237]Jingling Sun, Ting Su, Jun Sun, Jianwen Li, Mengfei Wang, Geguang Pu:
Property-Based Testing for Validating User Privacy-Related Functionalities in Social Media Apps. SIGSOFT FSE Companion 2024: 440-451 - [c236]Bing Sun, Jun Sun, Wayne Koh, Jie Shi:
Neural Network Semantic Backdoor Detection and Mitigation: A Causality-Based Approach. USENIX Security Symposium 2024 - [e7]Holger Hermanns, Jun Sun, Lei Bu:
Dependable Software Engineering. Theories, Tools, and Applications - 9th International Symposium, SETTA 2023, Nanjing, China, November 27-29, 2023, Proceedings. Lecture Notes in Computer Science 14464, Springer 2024, ISBN 978-981-99-8663-7 [contents] - [i90]Guoliang Dong, Jun Sun, Richard Schumi, Bo Wang, Xinyu Wang:
PTE: Axiomatic Semantics based Compiler Testing. CoRR abs/2401.01036 (2024) - [i89]Simiao Zhang, Jiaping Wang, Guoliang Dong, Jun Sun, Yueling Zhang, Geguang Pu:
Experimenting a New Programming Practice with LLMs. CoRR abs/2401.01062 (2024) - [i88]Yang Sun, Christopher M. Poskitt, Xiaodong Zhang, Jun Sun:
REDriver: Runtime Enforcement for Autonomous Vehicles. CoRR abs/2401.02253 (2024) - [i87]Huijia Sun, Christopher M. Poskitt, Yang Sun, Jun Sun, Yuqi Chen:
ACAV: A Framework for Automatic Causality Analysis in Autonomous Vehicle Accident Recordings. CoRR abs/2401.07063 (2024) - [i86]Boquan Li, Mengdi Zhang, Peixin Zhang, Jun Sun, Xingmei Wang:
Resilient Watermarking for LLM-Generated Codes. CoRR abs/2402.07518 (2024) - [i85]Yihao Zhang, Zeming Wei, Jun Sun, Meng Sun:
Towards General Conceptual Model Editing via Adversarial Representation Engineering. CoRR abs/2404.13752 (2024) - [i84]Guoliang Dong, Haoyu Wang, Jun Sun, Xinyu Wang:
Evaluating and Mitigating Linguistic Discrimination in Large Language Models. CoRR abs/2404.18534 (2024) - [i83]Ruihan Zhang, Jun Sun:
Certified Robust Accuracy of Neural Networks Are Bounded due to Bayes Errors. CoRR abs/2405.11547 (2024) - [i82]Jingnan Zheng, Han Wang, An Zhang, Tai D. Nguyen, Jun Sun, Tat-Seng Chua:
ALI-Agent: Assessing LLMs' Alignment with Human Values via Agent-based Evaluation. CoRR abs/2405.14125 (2024) - [i81]Nay Myat Min, Long H. Pham, Jun Sun:
Unified Neural Backdoor Removal with Only Few Clean Samples through Unlearning and Relearning. CoRR abs/2405.14781 (2024) - [i80]Ruihan Zhang, Jun Sun:
How Does Bayes Error Limit Probabilistic Robust Accuracy. CoRR abs/2405.14923 (2024) - [i79]Wei Zhao, Zhe Li, Yige Li, Ye Zhang, Jun Sun:
Defending Large Language Models Against Jailbreak Attacks via Layer-specific Editing. CoRR abs/2405.18166 (2024) - [i78]Dong Chen, Shaoxin Lin, Muhan Zeng, Daoguang Zan, Jian-Gang Wang, Anton Cheshkov, Jun Sun, Hao Yu, Guoliang Dong, Artem Aliev, Jie Wang, Xiao Cheng, Guangtai Liang, Yuchi Ma, Pan Bian, Tao Xie, Qianxiang Wang:
CodeR: Issue Resolving with Multi-Agent and Task Graphs. CoRR abs/2406.01304 (2024) - [i77]Shuang Liu, Chenglin Tian, Jun Sun, Ruifeng Wang, Wei Lu, Yongxin Zhao, Yinxing Xue, Junjie Wang, Xiaoyong Du:
Conformance Testing of Relational DBMS Against SQL Specifications. CoRR abs/2406.09469 (2024) - [i76]Yufan Cai, Zhe Hou, Xiaokun Luan, David Sanán, Yun Lin, Jun Sun, Jin Song Dong:
Towards Large Language Model Aided Program Refinement. CoRR abs/2406.18616 (2024) - [i75]Long H. Pham, Jun Sun:
Certified Continual Learning for Neural Network Regression. CoRR abs/2407.06697 (2024) - [i74]Kun Wang, Christopher M. Poskitt, Yang Sun, Jun Sun, Jingyi Wang, Peng Cheng, Jiming Chen:
μDrive: User-Controlled Autonomous Driving. CoRR abs/2407.13201 (2024) - [i73]Étienne André, Shuang Liu, Yang Liu, Christine Choppy, Jun Sun, Jin Song Dong:
Formalizing UML State Machines for Automated Verification - A Survey. CoRR abs/2407.17215 (2024) - [i72]Shengping Xiao, Yongkang Li, Shufang Zhu, Jun Sun, Jianwen Li, Geguang Pu, Moshe Y. Vardi:
On-the-fly Synthesis for LTL over Finite Traces: An Efficient Approach that Counts. CoRR abs/2408.07324 (2024) - [i71]Yige Li, Hanxun Huang, Yunhan Zhao, Xingjun Ma, Jun Sun:
BackdoorLLM: A Comprehensive Benchmark for Backdoor Attacks on Large Language Models. CoRR abs/2408.12798 (2024) - [i70]Yang Sun, Christopher M. Poskitt, Jun Sun:
Are Existing Road Design Guidelines Suitable for Autonomous Vehicles? CoRR abs/2409.10562 (2024) - [i69]Zhe Li, Wei Zhao, Yige Li, Jun Sun:
Do Influence Functions Work on Large Language Models? CoRR abs/2409.19998 (2024) - [i68]Wei Zhao, Zhe Li, Yige Li, Jun Sun:
Adversarial Suffixes May Be Features Too! CoRR abs/2410.00451 (2024) - [i67]Tai D. Nguyen, Long H. Pham, Jun Sun:
UniAdapt: A Universal Adapter for Knowledge Calibration. CoRR abs/2410.00454 (2024) - [i66]Mengdi Zhang, Kai Kiat Goh, Peixin Zhang, Jun Sun:
LLMScan: Causal Scan for LLM Misbehavior Detection. CoRR abs/2410.16638 (2024) - 2023
- [j66]Étienne André, Shuang Liu, Yang Liu, Christine Choppy, Jun Sun, Jin Song Dong:
Formalizing UML State Machines for Automated Verification - A Survey. ACM Comput. Surv. 55(13s): 277:1-277:47 (2023) - [j65]Feng Zhang, Leping Zhang, Yongwang Zhao, Yang Liu, Jun Sun:
Refinement-based Specification and Analysis of Multi-core ARINC 653 Using Event-B. Formal Aspects Comput. 35(4): 24:1-24:29 (2023) - [j64]Bo Gao, Jun Sun, Bochun Wang:
Personal Information Protection in Government Data Openness Using Decision Tree Model. J. Glob. Inf. Manag. 31(9): 1-23 (2023) - [j63]Yifan Jia, Christopher M. Poskitt, Peixin Zhang, Jingyi Wang, Jun Sun, Sudipta Chattopadhyay:
Boosting Adversarial Training in Safety-Critical Systems Through Boundary Data Selection. IEEE Robotics Autom. Lett. 8(12): 8350-8357 (2023) - [j62]Jialuo Chen, Jingyi Wang, Xingjun Ma, Youcheng Sun, Jun Sun, Peixin Zhang, Peng Cheng:
QuoTe: Quality-oriented Testing for Deep Learning Systems. ACM Trans. Softw. Eng. Methodol. 32(5): 125:1-125:33 (2023) - [j61]Mengdi Zhang, Jun Sun, Jingyi Wang, Bing Sun:
TestSGD: Interpretable Testing of Neural Networks against Subtle Group Discrimination. ACM Trans. Softw. Eng. Methodol. 32(6): 137:1-137:24 (2023) - [j60]Yingquan Zhao, Zan Wang, Shuang Liu, Jun Sun, Junjie Chen, Xiang Chen:
Achieving High MAP-Coverage Through Pattern Constraint Reduction. IEEE Trans. Software Eng. 49(1): 99-112 (2023) - [j59]Yuan Zhou, Yang Sun, Yun Tang, Yuqi Chen, Jun Sun, Christopher M. Poskitt, Yang Liu, Zijiang Yang:
Specification-Based Autonomous Driving System Testing. IEEE Trans. Software Eng. 49(6): 3391-3410 (2023) - [j58]Kun Wang, Jingyi Wang, Christopher M. Poskitt, Xiangxiang Chen, Jun Sun, Peng Cheng:
K-ST: A Formal Executable Semantics of the Structured Text Language for PLCs. IEEE Trans. Software Eng. 49(10): 4796-4813 (2023) - [j57]Fan Zhang, Qianmei Wu, Bohan Xuan, Yuqi Chen, Wei Lin, Christopher M. Poskitt, Jun Sun, Binbin Chen:
Constructing Cyber-Physical System Testing Suites Using Active Sensor Fuzzing. IEEE Trans. Software Eng. 49(11): 4829-4845 (2023) - [c235]Mingtian Tan, Xiaofei Xie, Jun Sun, Tianhao Wang:
Mitigating Membership Inference Attacks via Weighted Smoothing. ACSAC 2023: 787-798 - [c234]Yedi Zhang, Fu Song, Jun Sun:
QEBVerif: Quantization Error Bound Verification of Neural Networks. CAV (2) 2023: 413-437 - [c233]Tai D. Nguyen, Long H. Pham, Jun Sun, Quang Loc Le:
An Idealist's Approach for Smart Contract Correctness. ICFEM 2023: 11-28 - [c232]Weipeng Jiang, Chao Shen, Chenhao Lin, Jingyi Wang, Jun Sun, Xuanqi Gao:
Black-Box Fairness Testing with Shadow Models. ICICS 2023: 467-484 - [c231]Xiaoning Ren, Yun Lin, Yinxing Xue, Ruofan Liu, Jun Sun, Zhiyong Feng, Jin Song Dong:
DeepArc: Modularizing Neural Networks for the Model Maintenance. ICSE 2023: 1008-1019 - [c230]Shuzheng Gao, Cuiyun Gao, Chaozheng Wang, Jun Sun, David Lo, Yue Yu:
Two Sides of the Same Coin: Exploiting the Impact of Identifiers in Neural Code Comprehension. ICSE 2023: 1933-1945 - [c229]Christopher M. Poskitt, Yuqi Chen, Jun Sun, Yu Jiang:
Finding Causally Different Tests for an Industrial Control System. ICSE 2023: 2578-2590 - [c228]Richard Schumi, Jun Sun:
Semantic-Based Neural Network Repair. ISSTA 2023: 150-162 - [c227]Chen Yang, Junjie Chen, Xingyu Fan, Jiajun Jiang, Jun Sun:
Silent Compiler Bug De-duplication via Three-Dimensional Analysis. ISSTA 2023: 677-689 - [c226]Xiaodong Zhang, Wei Zhao, Yang Sun, Jun Sun, Yulong Shen, Xuewen Dong, Zijiang Yang:
Testing Automated Driving Systems by Breaking Many Laws Efficiently. ISSTA 2023: 942-953 - [c225]Jiaying Li, Guangdong Bai, Long H. Pham, Jun Sun:
Towards an Effective and Interpretable Refinement Approach for DNN Verification. QRS 2023: 569-580 - [c224]Lida Zhao, Sen Chen, Zhengzi Xu, Chengwei Liu, Lyuye Zhang, Jiahui Wu, Jun Sun, Yang Liu:
Software Composition Analysis for Vulnerability Detection: An Empirical Study on Java Projects. ESEC/SIGSOFT FSE 2023: 960-972 - [c223]Bozhi Wu, Shangqing Liu, Yang Xiao, Zhiming Li, Jun Sun, Shang-Wei Lin:
Learning Program Semantics for Vulnerability Detection via Vulnerability-Specific Inter-procedural Slicing. ESEC/SIGSOFT FSE 2023: 1371-1383 - [c222]Étienne André, Engel Lefaucheux, Didier Lime, Dylan Marinho, Jun Sun:
Configuring Timing Parameters to Ensure Execution-Time Opacity in Timed Automata. TiCSA@ETAPS 2023: 1-26 - [e6]Étienne André, Jun Sun:
Automated Technology for Verification and Analysis - 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part I. Lecture Notes in Computer Science 14215, Springer 2023, ISBN 978-3-031-45328-1 [contents] - [e5]Étienne André, Jun Sun:
Automated Technology for Verification and Analysis - 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part II. Lecture Notes in Computer Science 14216, Springer 2023, ISBN 978-3-031-45331-1 [contents] - [i65]Christopher M. Poskitt, Yuqi Chen, Jun Sun, Yu Jiang:
Finding Causally Different Tests for an Industrial Control System. CoRR abs/2302.04175 (2023) - [i64]Richard Schumi, Jun Sun:
Semantic-Based Neural Network Repair. CoRR abs/2306.07995 (2023) - [i63]Tai D. Nguyen, Long H. Pham, Jun Sun:
Fuzzing with Quantitative and Adaptive Hot-Bytes Identification. CoRR abs/2307.02289 (2023) - [i62]Simiao Zhang, Jitao Bai, Menghong Guan, Yihao Huang, Yueling Zhang, Jun Sun, Geguang Pu:
Towards Better Fairness-Utility Trade-off: A Comprehensive Measurement-Based Reinforcement Learning Framework. CoRR abs/2307.11379 (2023) - [i61]Boquan Li, Jun Sun, Christopher M. Poskitt:
How Generalizable are Deepfake Detectors? An Empirical Study. CoRR abs/2308.04177 (2023) - [i60]Ruihan Zhang, Peixin Zhang, Jun Sun:
Towards Certified Probabilistic Robustness with High Accuracy. CoRR abs/2309.00879 (2023) - [i59]Peixin Zhang, Jun Sun, Mingtian Tan, Xinyu Wang:
Backdoor Attack through Machine Unlearning. CoRR abs/2310.10659 (2023) - [i58]Xiaoxia Liu, Jingyi Wang, Jun Sun, Xiaohan Yuan, Guoliang Dong, Peng Di, Wenhai Wang, Dongxia Wang:
Prompting Frameworks for Large Language Models: A Survey. CoRR abs/2311.12785 (2023) - [i57]Wei Zhao, Zhe Li, Jun Sun:
Causality Analysis for Evaluating the Security of Large Language Models. CoRR abs/2312.07876 (2023) - 2022
- [j56]Mengdi Zhang, Jun Sun, Jingyi Wang:
Which neural network makes more explainable decisions? An approach towards measuring explainability. Autom. Softw. Eng. 29(2): 39 (2022) - [j55]Chi Chen, Xin Peng, Bihuan Chen, Jun Sun, Zhenchang Xing, Xin Wang, Wenyun Zhao:
"More Than Deep Learning": post-processing for API sequence recommendation. Empir. Softw. Eng. 27(1): 15 (2022) - [j54]Bowen Li, Xin Peng, Qilin Xiang, Hanzhang Wang, Tao Xie, Jun Sun, Xuanzhe Liu:
Enjoy your observability: an industrial survey of microservice tracing and analysis. Empir. Softw. Eng. 27(1): 25 (2022) - [j53]Tao Xie, Shengchao Qin, Wenhui Zhang, Jun Sun, Lei Bu, Ge Li:
Preface. J. Comput. Sci. Technol. 37(1): 1-3 (2022) - [j52]Xuan-Bach Le, Shang-Wei Lin, Jun Sun, David Sanán:
A Quantum interpretation of separating conjunction for local reasoning of Quantum programs based on separation logic. Proc. ACM Program. Lang. 6(POPL): 1-27 (2022) - [j51]Yifan Jia, Christopher M. Poskitt, Jun Sun, Sudipta Chattopadhyay:
Physical Adversarial Attack on a Robotic Arm. IEEE Robotics Autom. Lett. 7(4): 9334-9341 (2022) - [j50]Étienne André, Didier Lime, Dylan Marinho, Jun Sun:
Guaranteeing Timed Opacity using Parametric Timed Model Checking. ACM Trans. Softw. Eng. Methodol. 31(4): 64:1-64:36 (2022) - [j49]Xiang Zhou, Xin Peng, Tao Xie, Jun Sun, Chao Ji, Wenhai Li, Dan Ding:
Delta Debugging Microservice Systems with Parallel Optimization. IEEE Trans. Serv. Comput. 15(1): 16-29 (2022) - [j48]Chi Chen, Xin Peng, Zhenchang Xing, Jun Sun, Xin Wang, Yifan Zhao, Wenyun Zhao:
Holistic Combination of Structural and Textual Code Information for Context Based API Recommendation. IEEE Trans. Software Eng. 48(8): 2987-3009 (2022) - [j47]Peixin Zhang, Jingyi Wang, Jun Sun, Xinyu Wang, Guoliang Dong, Xingen Wang, Ting Dai, Jin Song Dong:
Automatic Fairness Testing of Neural Classifiers Through Adversarial Sampling. IEEE Trans. Software Eng. 48(9): 3593-3612 (2022) - [c221]Long H. Pham, Jun Sun:
Verifying Neural Networks Against Backdoor Attacks. CAV (1) 2022: 171-192 - [c220]Yunkai Liang, Yun Lin, Xuezhi Song, Jun Sun, Zhiyong Feng, Jin Song Dong:
gDefects4DL: A Dataset of General Real-World Deep Learning Program Defects. ICSE-Companion 2022: 90-94 - [c219]Bing Sun, Jun Sun, Long H. Pham, Tie Shi:
Causality-Based Neural Network Repair. ICSE 2022: 338-349 - [c218]Richard Schumi, Jun Sun:
ExAIS: Executable AI Semantics. ICSE 2022: 859-870 - [c217]Yang Sun, Christopher M. Poskitt, Jun Sun, Yuqi Chen, Zijiang Yang:
LawBreaker: An Approach for Specifying Traffic Laws and Fuzzing Autonomous Vehicles. ASE 2022: 62:1-62:12 - [c216]Yedi Zhang, Zhe Zhao, Guangke Chen, Fu Song, Min Zhang, Taolue Chen, Jun Sun:
QVIP: An ILP-based Formal Verification Approach for Quantized Neural Networks. ASE 2022: 82:1-82:13 - [c215]Eric Rothstein Morris, Jun Sun, Sudipta Chattopadhyay:
ORIGAMI: Folding Data Structures to Reduce Timing Side-Channel Leakage. MEMOCODE 2022: 1-12 - [c214]Mengdi Zhang, Jun Sun:
Adaptive fairness improvement based on causality analysis. ESEC/SIGSOFT FSE 2022: 6-17 - [c213]Guoliang Dong, Jingyi Wang, Jun Sun, Sudipta Chattopadhyay, Xinyu Wang, Ting Dai, Jie Shi, Jin Song Dong:
Repairing Adversarial Texts Through Perturbation. TASE 2022: 29-48 - [d2]Étienne André, Hoang Gia Nguyen, Laure Petrucci, Jun Sun:
Experimental data for Distributed parametric model checking timed automata under non-Zenoness assumption. Zenodo, 2022
- [i56]Guoliang Dong, Jingyi Wang, Jun Sun, Sudipta Chattopadhyay, Xinyu Wang, Ting Dai, Jie Shi, Jin Song Dong:
Repairing Adversarial Texts through Perturbation. CoRR abs/2201.02504 (2022) - [i55]Kun Wang, Jingyi Wang, Christopher M. Poskitt, Xiangxiang Chen, Jun Sun, Peng Cheng:
K-ST: A Formal Executable Semantics of PLC Structured Text Language. CoRR abs/2202.04076 (2022) - [i54]Richard Schumi, Jun Sun:
ExAIS: Executable AI Semantics. CoRR abs/2202.09868 (2022) - [i53]Bing Sun, Jun Sun, Hong Long Pham, Jie Shi:
Causality-based Neural Network Repair. CoRR abs/2204.09274 (2022) - [i52]Long H. Pham, Jun Sun:
Verifying Neural Networks Against Backdoor Attacks. CoRR abs/2205.06992 (2022) - [i51]Étienne André, Didier Lime, Dylan Marinho, Jun Sun:
Guaranteeing Timed Opacity using Parametric Timed Model Checking. CoRR abs/2206.05438 (2022) - [i50]Shuzheng Gao, Cuiyun Gao, Chaozheng Wang, Jun Sun, David Lo:
CARBON: A Counterfactual Reasoning based Framework for Neural Code Comprehension Debiasing. CoRR abs/2207.11104 (2022) - [i49]Mengdi Zhang, Jun Sun, Jingyi Wang, Bing Sun:
TESTSGD: Interpretable Testing of Neural Networks Against Subtle Group Discrimination. CoRR abs/2208.11321 (2022) - [i48]Yang Sun, Christopher M. Poskitt, Jun Sun, Yuqi Chen, Zijiang Yang:
LawBreaker: An Approach for Specifying Traffic Laws and Fuzzing Autonomous Vehicles. CoRR abs/2208.14656 (2022) - [i47]Mengdi Zhang, Jun Sun:
Adaptive Fairness Improvement Based on Causality Analysis. CoRR abs/2209.07190 (2022) - [i46]Quang Loc Le, Jun Sun, Long H. Pham, Shengchao Qin:
S2TD: a Separation Logic Verifier that Supports Reasoning of the Absence and Presence of Bugs. CoRR abs/2209.09327 (2022) - [i45]Yedi Zhang, Fu Song, Jun Sun:
QEBVerif: Quantization Error Bound Verification of Neural Networks. CoRR abs/2212.02781 (2022) - [i44]