Shang-Wei Lin

Publication Activity (10 Years)

Years Active: 2004-2024
Publications (10 Years): 59

Top Topics

Malware Detection

Diabetic Retinopathy

Concurrent Programs

Top Venues

ESEC/SIGSOFT FSE

Publications

Han Liu, Jian Zhang, Cen Zhang, Xiaohan Zhang, Kaixuan Li, Sen Chen, Shang-Wei Lin, Yixiang Chen, Xinhua Li, Yang Liu
FineWAVE: Fine-Grained Warning Verification of Bugs for Automated Static Analysis Tools. CoRR (2024)
Shang-Wei Lin, Tzu-Fan Wang, Yean-Ru Chen, Zhe Hou, David Sanán, Yon Shin Teo
A Parallel and Distributed Quantum SAT Solver Based on Entanglement and Teleportation. TACAS (2) (2024)
Yuan Zhou, Hesuan Hu, Gelei Deng, Kun Cheng, Shang-Wei Lin, Yang Liu, Zuohua Ding
Distributed Motion Control for Multiple Mobile Robots Using Discrete-Event Systems and Model Predictive Control. IEEE Trans. Syst. Man Cybern. Syst. 54 (2) (2024)
Zhiming Li, Yushi Cao, Xiufeng Xu, Junzhe Jiang, Xu Liu, Yon Shin Teo, Shang-Wei Lin, Yang Liu
LLMs for Relational Reasoning: How Far are We? CoRR (2024)
Shang-Wei Lin, Tzu-Fan Wang, Yean-Ru Chen, Zhe Hou, David Sanán, Yon Shin Teo
A Parallel and Distributed Quantum SAT Solver Based on Entanglement and Quantum Teleportation. CoRR (2023)
Yushi Cao, Yanran Li, Yon Shin Teo, Yan Zheng, Zhexin Liang, Shang-Wei Lin
An Automatic Test Plan Generation Approach for Automotive Software Testing. SoMeT (2023)
Shang-Wei Lin, Si-Han Chen, Tzu-Fan Wang, Yean-Ru Chen
A Quantum SMT Solver for Bit-Vector Theory. CoRR (2023)
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)
Ye Liu, Yi Li, Shang-Wei Lin, Cyrille Artho
Finding permission bugs in smart contracts with role mining. ISSTA (2022)
Bozhi Wu, Shangqing Liu, Ruitao Feng, Xiaofei Xie, Jing Kai Siow, Shang-Wei Lin
Enhancing Security Patch Identification by Capturing Structures in Commits. CoRR (2022)
Shang-Wei Lin, Palina Tolmach, Ye Liu, Yi Li
SolSEE: a source-level symbolic execution engine for solidity. ESEC/SIGSOFT FSE (2022)
Yushi Cao, Yon Shin Teo, Yan Zheng, Yuxuan Toh, Shang-Wei Lin
A Holistic Automated Software Structure Exploration Framework for Testing. SoMeT (2022)
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) (2022)
Yupeng Cheng, Qing Guo, Felix Juefei-Xu, Shang-Wei Lin, Wei Feng, Weisi Lin, Yang Liu
Pasadena: Perceptually Aware and Stealthy Adversarial Denoise Attack. IEEE Trans. Multim. 24 (2022)
Palina Tolmach, Yi Li, Shang-Wei Lin
Property-Based Automated Repair of DeFi Protocols. ASE (2022)
Ruitao Feng, Sen Chen, Xiaofei Xie, Guozhu Meng, Shang-Wei Lin, Yang Liu
A Performance-Sensitive Malware Detection System Using Deep Learning on Mobile Devices. IEEE Trans. Inf. Forensics Secur. 16 (2021)
Yushi Cao, Yan Zheng, Shang-Wei Lin, Yang Liu, Yon Shin Teo, Yuxuan Toh, Vinay Vishnumurthy Adiga
Automatic HMI Structure Exploration Via Curiosity-Based Reinforcement Learning. ASE (2021)
David Sanán, Yongwang Zhao, Shang-Wei Lin, Yang Liu
: Compositional Top-down Verification of Concurrent Systems using Rely-Guarantee. ACM Trans. Program. Lang. Syst. 43 (1) (2021)
Palina Tolmach, Yi Li, Shang-Wei Lin, Yang Liu
Formal Analysis of Composable DeFi Protocols. CoRR (2021)
Palina Tolmach, Yi Li, Shang-Wei Lin, Yang Liu
Formal Analysis of Composable DeFi Protocols. Financial Cryptography Workshops (2021)
Ye Liu, Yi Li, Shang-Wei Lin, Rong Zhao
Towards automated verification of smart contract fairness. ESEC/SIGSOFT FSE (2020)
Ye Liu, Yi Li, Shang-Wei Lin, Qiang Yan
ModCon: a model-based testing platform for smart contracts. ESEC/SIGSOFT FSE (2020)
Yupeng Cheng, Felix Juefei-Xu, Qing Guo, Huazhu Fu, Xiaofei Xie, Shang-Wei Lin, Weisi Lin, Yang Liu
Adversarial Exposure Attack on Diabetic Retinopathy Imagery. CoRR (2020)
Yupeng Cheng, Xingxing Wei, Huazhu Fu, Shang-Wei Lin, Weisi Lin
Defense for adversarial videos by self-adaptive JPEG compression and optical texture. MMAsia (2020)
Jiao Jiao, Shang-Wei Lin, Jun Sun
A Generalized Formal Semantic Framework for Smart Contracts. FASE (2020)
Yupeng Cheng, Qing Guo, Felix Juefei-Xu, Xiaofei Xie, Shang-Wei Lin, Weisi Lin, Wei Feng, Yang Liu
Pasadena: Perceptually Aware and Stealthy Adversarial Denoise Attack. CoRR (2020)
Jiao Jiao, Shuanglong Kan, Shang-Wei Lin, David Sanán, Yang Liu, Jun Sun
Semantic Understanding of Smart Contracts: Executable Operational Semantics of Solidity. IEEE Symposium on Security and Privacy (2020)
Palina Tolmach, Yi Li, Shang-Wei Lin, Yang Liu, Zengxiang Li
A Survey of Smart Contract Formal Specification and Verification. CoRR (2020)
Ruitao Feng, Jing Qiang Lim, Sen Chen, Shang-Wei Lin, Yang Liu
SeqMobile: An Efficient Sequence-Based Malware Detection System Using RNN on Mobile Devices. ICECCS (2020)
Ruitao Feng, Sen Chen, Xiaofei Xie, Guozhu Meng, Shang-Wei Lin, Yang Liu
A Performance-Sensitive Malware Detection System Using Deep Learning on Mobile Devices. CoRR (2020)
Ruitao Feng, Jing Qiang Lim, Sen Chen, Shang-Wei Lin, Yang Liu
SeqMobile: A Sequence Based Efficient Android Malware Detection System Using RNN on Mobile Devices. CoRR (2020)
Xuan-Bach Le, David Sanán, Jun Sun, Shang-Wei Lin
Automatic Verification of Multi-threaded Programs by Inference of Rely-Guarantee Specifications. ICECCS (2020)
Yuan Zhou, Hesuan Hu, Yang Liu, Shang-Wei Lin, Zuohua Ding
A distributed method to avoid higher-order deadlocks in multi-robot systems. Autom. 112 (2020)
Ruitao Feng, Sen Chen, Xiaofei Xie, Lei Ma, Guozhu Meng, Yang Liu, Shang-Wei Lin
MobiDroid: A Performance-Sensitive Malware Detection System on Mobile Platform. ICECCS (2019)
Ruitao Feng, Guozhu Meng, Xiaofei Xie, Ting Su, Yang Liu, Shang-Wei Lin
Learning Performance Optimization from Code Changes for Android Apps. ICST Workshops (2019)
Haijun Wang, Xiaofei Xie, Shang-Wei Lin, Yun Lin, Yuekang Li, Shengchao Qin, Yang Liu, Ting Liu
Locating vulnerabilities in binaries via memory layout recovering. ESEC/SIGSOFT FSE (2019)
Haijun Wang, Yi Li, Shang-Wei Lin, Cyrille Artho, Lei Ma, Yang Liu
Oracle-Supported Dynamic Exploit Generation for Smart Contracts. CoRR (2019)
Sa Gao, Chunyang Chen, Zhenchang Xing, Yukun Ma, Wen Song, Shang-Wei Lin
A Neural Model for Method Name Generation from Functional Description. SANER (2019)
Yuan Zhou, Hesuan Hu, Yang Liu, Shang-Wei Lin, Zuohua Ding
A Real-Time and Fully Distributed Approach to Motion Planning for Multirobot Systems. IEEE Trans. Syst. Man Cybern. Syst. 49 (12) (2019)
Haijun Wang, Yi Li, Shang-Wei Lin, Lei Ma, Yang Liu
Vultron: catching vulnerable smart contracts once and for all. ICSE (NIER) (2019)
Étienne André, Shang-Wei Lin
The language preservation problem is undecidable for parametric event-recording automata. Inf. Process. Lett. 136 (2018)
Fuyuan Zhang, Yongwang Zhao, David Sanán, Yang Liu, Alwen Tiu, Shang-Wei Lin, Jun Sun
Compositional Reasoning for Shared-Variable Concurrent Programs. FM (2018)
Ross Horne, Ki Yung Ahn, Shang-Wei Lin, Alwen Tiu
Quasi-Open Bisimilarity with Mismatch is Intuitionistic. LICS (2018)
Jiao Jiao, Shuanglong Kan, Shang-Wei Lin, David Sanán, Yang Liu, Jun Sun
Executable Operational Semantics of Solidity. CoRR (2018)
Yuan Zhou, Hesuan Hu, Yang Liu, Shang-Wei Lin, Zuohua Ding
A distributed approach to robust control of multi-robot systems. Autom. 98 (2018)
Shuanglong Kan, David Sanán, Shang-Wei Lin, Yang Liu
K-Rust: An Executable Formal Semantics for Rust. CoRR (2018)
Étienne André, Shang-Wei Lin
The language preservation problem is undecidable for parametric event-recording automata. CoRR (2018)
Deheng Ye, Lingfeng Bao, Zhenchang Xing, Shang-Wei Lin
APIReal: an API recognition and linking approach for online developer forums. Empir. Softw. Eng. 23 (6) (2018)
Shang-Wei Lin, Jun Sun, Hao Xiao, Yang Liu, David Sanán, Henri Hansen
FiB: squeezing loop invariants by interpolation between Forward/Backward predicate transformers. ASE (2017)
Xuejiao Zhao, Zhenchang Xing, Muhammad Ashad Kabir, Naoya Sawada, Jing Li, Shang-Wei Lin
HDSKG: Harvesting domain specific knowledge graph from content of webpages. SANER (2017)
Sa Gao, Zhenchang Xing, Yukun Ma, Deheng Ye, Shang-Wei Lin
Enhancing Knowledge Sharing in Stack Overflow via Automatic External Web Resources Linking. ICECCS (2017)
Xiaofei Xie, Bihuan Chen, Liang Zou, Shang-Wei Lin, Yang Liu, Xiaohong Li
Loopster: static loop termination analysis. ESEC/SIGSOFT FSE (2017)
Étienne André, Shang-Wei Lin
Learning-Based Compositional Parameter Synthesis for Event-Recording Automata. FORTE (2017)
Muhammad Ashad Kabir, Zhenchang Xing, Prakash Chandrasekaran, Shang-Wei Lin
Process Patterns: Reusable Design Artifacts for Business Process Models. COMPSAC (1) (2017)
Yuekang Li, Bihuan Chen, Mahinthan Chandramohan, Shang-Wei Lin, Yang Liu, Alwen Tiu
Steelix: program-state based binary fuzzing. ESEC/SIGSOFT FSE (2017)
Jiaying Li, Jun Sun, Li Li, Quang Loc Le, Shang-Wei Lin
Automatic loop-invariant generation and refinement through selective sampling. ASE (2017)
Fuyuan Zhang, Yongwang Zhao, David Sanán, Yang Liu, Alwen Tiu, Shang-Wei Lin, Zhimin Wu, Jun Sun
Compositional Reasoning for Shared-variable Concurrent Programs. CoRR (2016)
Huiquan Zhu, Jing Sun, Jin Song Dong, Shang-Wei Lin
From verified model to executable program: the PAT approach. Innov. Syst. Softw. Eng. 12 (1) (2016)
Muhammad Ashad Kabir, Jun Han, Alan W. Colman, Naif R. Aljohani, Mohammed Basheri, Zhenchang Xing, Shang-Wei Lin
Engineering Socially-Aware Systems and Applications. ICECCS (2016)
Jun Sun, Hao Xiao, Yang Liu, Shang-Wei Lin, Shengchao Qin
TLV: abstraction through testing, learning, and validation. ESEC/SIGSOFT FSE (2015)
Shang-Wei Lin, Jun Sun, Truong Khanh Nguyen, Yang Liu, Jin Song Dong
Interpolation Guided Compositional Verification (T). ASE (2015)
Shang-Wei Lin, Pao-Ann Hsiung
Compositional Synthesis of Concurrent Systems through Causal Model Checking and Learning. FM (2014)
Shang-Wei Lin, Étienne André, Yang Liu, Jun Sun, Jin Song Dong
Learning Assumptions for CompositionalVerification of Timed Systems. IEEE Trans. Software Eng. 40 (2) (2014)
Henri Hansen, Shang-Wei Lin, Yang Liu, Truong Khanh Nguyen, Jun Sun
Diamonds Are a Girl's Best Friend: Partial Order Reduction for Timed Automata with Abstractions. CAV (2014)
Hao Xiao, Jun Sun, Yang Liu, Shang-Wei Lin, Chengnian Sun
TzuYu: Learning stateful typestates. ASE (2013)
Étienne André, Yang Liu, Jun Sun, Jin Song Dong, Shang-Wei Lin
PSyHCoS: Parameter Synthesis for Hierarchical Concurrent Real-Time Systems. CAV (2013)
Huiquan Zhu, Jin Song Dong, Bimlesh Wadhwa, Shang-Wei Lin
Generating C# Programs from CSP# Models. ICST Workshops (2013)
Kun Ji, Yang Liu, Shang-Wei Lin, Jun Sun, Jin Song Dong, Truong Khanh Nguyen
CELL: A Compositional Verification Framework. ATVA (2013)
Shang-Wei Lin, Yang Liu, Pao-Ann Hsiung, Jun Sun, Jin Song Dong
Automatic Generation of Provably Correct Embedded Systems. ICFEM (2012)
Shang-Wei Lin, Yang Liu, Jun Sun, Jin Song Dong, Étienne André
Automatic Compositional Verification of Timed Systems. FM (2012)
Shang-Wei Lin, Pao-Ann Hsiung
Model Checking Prioritized Timed Systems. IEEE Trans. Computers 61 (6) (2012)
Shang-Wei Lin, Étienne André, Jin Song Dong, Jun Sun, Yang Liu
An Efficient Algorithm for Learning Event-Recording Automata. ATVA (2011)
Chao-Sheng Lin, Chun-Hsien Lu, Shang-Wei Lin, Yean-Ru Chen, Pao-Ann Hsiung
VERTAF/Multi-Core: A SysML-Based Application Framework for Multi-Core Embedded Software Development. J. Comput. Sci. Technol. 26 (3) (2011)
Shang-Wei Lin, Pao-Ann Hsiung
Counterexample-Guided Assume-Guarantee Synthesis through Learning. IEEE Trans. Computers 60 (5) (2011)
Pao-Ann Hsiung, Shang-Wei Lin, Chao-Sheng Lin
Real-Time Embedded Software Design for Mobile and Ubiquitous Systems. J. Signal Process. Syst. 59 (1) (2010)
Pao-Ann Hsiung, Shang-Wei Lin, Yean-Ru Chen, Nien-Lin Hsueh, Chih-Hung Chang, Chihhsiong Shih, Chorng-Shiuh Koong, Chao-Sheng Lin, Chun-Hsien Lu, Sheng-Ya Tong, Wan-Ting Su, William C. Chu
Model-driven development of multi-core embedded software. IWMSE@ICSE (2009)
Pao-Ann Hsiung, Chao-Sheng Lin, Shang-Wei Lin, Yean-Ru Chen, Chun-Hsien Lu, Sheng-Ya Tong, Wan-Ting Su, Chihhsiong Shih, Chorng-Shiuh Koong, Nien-Lin Hsueh, Chih-Hung Chang, William C. Chu
VERTAF/Multi-Core: A SysML-Based Application Framework for Multi-Core Embedded Software Development. ICA3PP (2009)
Pao-Ann Hsiung, Shang-Wei Lin, Yean-Ru Chen, Chun-Hsian Huang, Chihhsiong Shih, William C. Chu
Modeling and verification of real-time embedded systems with urgency. J. Syst. Softw. 82 (10) (2009)
Pao-Ann Hsiung, Shang-Wei Lin
Automatic synthesis and verification of real-time embedded software for mobile and ubiquitous systems. Comput. Lang. Syst. Struct. 34 (4) (2008)
Pao-Ann Hsiung, Shang-Wei Lin
From ISA to application design via RTOS - a course design framework for embedded software. ICPADS (2007)
Pao-Ann Hsiung, Shang-Wei Lin, Chin-Chieh Hung, Jih-Ming Fu, Chao-Sheng Lin, Cheng-Chi Chiang, Kuo-Cheng Chiang, Chun-Hsien Lu, Pin-Hsien Lu
Real-Time Embedded Software Design for Mobile and Ubiquitous Systems. EUC (2007)
Pao-Ann Hsiung, Shang-Wei Lin, Yean-Ru Chen, Chun-Hsian Huang, Jia-Jen Yeh, Hong-Yu Sun, Chao-Sheng Lin, Hsiao-Win Liao
Model Checking Timed Systems with Urgencies. ATVA (2006)
Shang-Wei Lin, Pao-Ann Hsiung, Chun-Hsian Huang, Yean-Ru Chen
Model Checking Prioritized Timed Automata. ATVA (2005)
Pao-Ann Hsiung, Shang-Wei Lin
Model Checking Timed Systems with Priorities. RTCSA (2005)
Pao-Ann Hsiung, Shang-Wei Lin, Chih-Hao Tseng, Trong-Yen Lee, Jih-Ming Fu, Win-Bin See
VERTAF: An Application Framework for the Design and Verification of Embedded Real-Time Software. IEEE Trans. Software Eng. 30 (10) (2004)
Pao-Ann Hsiung, Shang-Wei Lin
Automatic Synthesis and Verification of Real-Time Embedded Software. EUC (2004)
Pao-Ann Hsiung, Shang-Wei Lin
Formal Design and Verification of Real-Time Embedded Software. APLAS (2004)