Torthaí cuardaigh - Lin, Shang-Wei

Formal Analysis of Composable DeFi Protocols de réir Tolmach, Palina, Li, Yi, Lin, Shang-Wei, Liu, Yang

Faigh an téacs iomlán
Faigh an téacs iomlán

An Executable Operational Semantics for Rust with the Formalization of Ownership and Borrowing de réir Kan, Shuanglong, Chen, Zhe, Sanan, David, Lin, Shang-Wei, Liu, Yang

Faigh an téacs iomlán
Faigh an téacs iomlán

A Survey of Smart Contract Formal Specification and Verification de réir Tolmach, Palina, Li, Yi, Lin, Shang-Wei, Liu, Yang, Li, Zengxiang

Faigh an téacs iomlán
Faigh an téacs iomlán

SeqMobile: A Sequence Based Efficient Android Malware Detection System Using RNN on Mobile Devices de réir Feng, Ruitao, Lim, Jing Qiang, Chen, Sen, Lin, Shang-Wei, Liu, Yang

Faigh an téacs iomlán
Faigh an téacs iomlán

A Quantum SMT Solver for Bit-Vector Theory de réir Lin, Shang-Wei, Chen, Si-Han, Wang, Tzu-Fan, Chen, Yean-Ru

Faigh an téacs iomlán
Faigh an téacs iomlán

A Performance-Sensitive Malware Detection System Using Deep Learning on Mobile Devices de réir Feng, Ruitao, Chen, Sen, Xie, Xiaofei, Meng, Guozhu, Lin, Shang-Wei, Liu, Yang

Faigh an téacs iomlán
Faigh an téacs iomlán

Enhancing Security Patch Identification by Capturing Structures in Commits de réir Wu, Bozhi, Liu, Shangqing, Feng, Ruitao, Xie, Xiaofei, Siow, Jingkai, Lin, Shang-Wei

Faigh an téacs iomlán
Faigh an téacs iomlán

Adversarial Exposure Attack on Diabetic Retinopathy Imagery Grading de réir Cheng, Yupeng, Guo, Qing, Juefei-Xu, Felix, Fu, Huazhu, Lin, Shang-Wei, Lin, Weisi

Faigh an téacs iomlán
Faigh an téacs iomlán

Pasadena: Perceptually Aware and Stealthy Adversarial Denoise Attack de réir Cheng, Yupeng, Guo, Qing, Juefei-Xu, Felix, Feng, Wei, Lin, Shang-Wei, Lin, Weisi, Liu, Yang

Faigh an téacs iomlán
Faigh an téacs iomlán

A Parallel and Distributed Quantum SAT Solver Based on Entanglement and Quantum Teleportation de réir Lin, Shang-Wei, Wang, Tzu-Fan, Chen, Yean-Ru, Hou, Zhe, Sanán, David, Teo, Yon Shin

Faigh an téacs iomlán
Faigh an téacs iomlán

Towards Calibration Enhanced Network by Inverse Adversarial Attack de réir Cheng, Yupeng, Lim, Zi Pong, Modi, Sarthak Ketanbhai, Teo, Yon Shin, Cao, Yushi, Lin, Shang-Wei

Faigh an téacs iomlán
Faigh an téacs iomlán

SOSAE: Self-Organizing Sparse AutoEncoder de réir Modi, Sarthak Ketanbhai, Lim, Zi Pong, Cao, Yushi, Cheng, Yupeng, Teo, Yon Shin, Lin, Shang-Wei

Faigh an téacs iomlán
Faigh an téacs iomlán

LLMs for Relational Reasoning: How Far are We? de réir Li, Zhiming, Cao, Yushi, Xu, Xiufeng, Jiang, Junzhe, Liu, Xu, Teo, Yon Shin, Lin, Shang-wei, Liu, Yang

Faigh an téacs iomlán
Faigh an téacs iomlán

Towards Universal & Efficient Model Compression via Exponential Torque Pruning de réir Modi, Sarthak Ketanbhai, Lim, Zi Pong, Kuchhal, Shourya, Cao, Yushi, Cheng, Yupeng, Teo, Yon Shin, Lin, Shang-Wei, Li, Zhiming

Faigh an téacs iomlán
Faigh an téacs iomlán

DeepFWI: Identifying Bug-Sensitive Warnings with Multi-Modal Code-Warning Semantics de réir Liu, Han, Zhang, Jian, Zhang, Cen, Zhang, Xiaohan, Li, Kaixuan, Chen, Sen, Lin, Shang-Wei, Chen, Yixiang, Li, Xinhua, Liu, Yang

Faigh an téacs iomlán
Faigh an téacs iomlán