| 2024 | MILE: A Mutation Testing Framework of In-Context Learning Systems. | Zeming Wei, Yihao Zhang, Meng Sun |
| 2024 | Universal Construction for Linearizable but Not Strongly Linearizable Concurrent Objects. | Chao Wang, Peng Wu, Gustavo Petri, Qiaowen Jia, Youlin He, Yi Lv, Zhiming Liu |
| 2024 | A Derivative-Based Membership Algorithm for Enhanced Regular Expressions. | Mengxi Wang, Chunmei Dong, Weihao Su, Chengyao Peng, Haiming Chen |
| 2024 | Enhancing Multi-modal Regular Expression Synthesis via Large Language Models and Semantic Manipulations of Sub-expressions. | Zipan Tang, Yixuan Yan, Rongchen Li, Hanze Dong, Haiming Chen, Hongyu Gao |
| 2024 | Formal Verification of RISC-V Processor Chisel Designs. | Shidong Shen, Yicheng Liu, Lijun Zhang, Fu Song, Zhilin Wu |
| 2024 | Synthesis from LTL with Reward Optimization in Sampled Oblivious Environments. | Jean-Franois Raskin, Yun Chen Tsai |
| 2024 | Data-Dependent WAR Analysis for Efficient Task-Based Intermittent Computing. | Juxin Niu, Yunlong Yu, Wei Zhang, Nan Guan |
| 2024 | Formalizing x86-64 ISA in Isabelle/HOL: A Binary Semantics for eBPF JIT Correctness. | Jiayi Lu, Shenghao Yuan, David Sann, Yongwang Zhao |
| 2024 | A Contract-Based Framework for Formal Verification of Embedded Software. | Xu Lu, Cong Tian, Bin Gu, Bin Yu, Chen Chen, Zhenhua Duan |
| 2024 | Timing Analysis of Cause-Effect Chains for External Events with Finite Validity Intervals. | Xiantong Luo, Haochun Liang, Yue Tang, Xu Jiang, Nan Guan, Wang Yi |
| 2024 | Constraint Based Invariant Generation with Modular Operations. | Yuchen Li, Hongfei Fu, Haowen Long, Guoqiang Li |
| 2024 | EDSLog: Efficient Log Anomaly Detection Method Based on Dataset Partitioning. | Feng Liang, Jing Liu |
| 2024 | NanoHook: An Efficient System Call Hooking Technique with One-Byte Invasive. | Quan Hong, Jiaqi Li, Wen Zhang, Lidong Zhai |
| 2024 | Runtime Verification of Neural-Symbolic Systems. | Shaojun Deng, Wanwei Liu, Miaomiao Zhang |
| 2024 | Can Language Models Pretend Solvers? Logic Code Simulation with LLMs. | Minyu Chen, Guoqiang Li, Ling-I Wu, Ruibang Liu, Yuxin Su, Xi Chang, Jianxin Xue |
| 2024 | Faster Lifetime-Optimal Speculative Partial Redundancy Elimination for Goto-Free Programs. | Xuran Cai, Amir Kafshdar Goharshady |
| 2023 | DeepTD: Diversity-Guided Deep Neural Network Test Generation. | Jin Zhu, Chuanqi Tao, Hongjing Guo, Yue Ju |
| 2023 | An Optimized Solution for Highly Contended Transactional Workloads. | Chunxi Zhang, Shuyan Zhang, Ting Chen, Rong Zhang, Kai Liu |
| 2023 | Making an eBPF Virtual Machine Faster on Microcontrollers: Verified Optimization and Proof Simplification. | Shenghao Yuan, Benjamin Lion, Frdric Besson, Jean-Pierre Talpin |
| 2023 | Cheat-FlipIt: An Approach to Modeling and Perception of a Deceptive Opponent. | Qian Yao, Xinli Xiong, Yongjie Wang |
| 2023 | Deducing Matching Strings for Real-World Regular Expressions. | Yixuan Yan, Weihao Su, Lixiao Zheng, Mengxi Wang, Haiming Chen, Chengyao Peng, Rongchen Li, Zixuan Chen |
| 2023 | Binary Level Concolic Execution on Windows with Rich Instrumentation Based Taint Analysis. | Yixiao Yang, Chen Gao, Zhiqi Li, Yifan Wang, Rui Wang |
| 2023 | An Abstract Domain of Linear Templates with Disjunctive Right-Hand-Side Intervals. | Han Xu, Liqian Chen, Guangsheng Fan, Banghu Yin, Ji Wang |
| 2023 | Run-Time Assured Reinforcement Learning for Safe Spacecraft Rendezvous with Obstacle Avoidance. | Yingmin Xiao, Zhibin Yang, Yong Zhou, Zhiqiu Huang |
| 2023 | Vulnerability Report Analysis and Vulnerability Reproduction for Web Applications. | Weiwei Wang, Zidong Li, Feng You, Ruilian Zhao |