Conference Papers
- Shang-Wei Lin, Tzu-Fan Wang, Yean-Ru Chen, Zhe Hou, David Sanán and Yon Shin Teo
A Parallel and Distributed Quantum SAT Solver Based on Entanglement and Teleportation
International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2024. (accepted for publication)
- Bozhi Wu, Shangqing Liu, Yang Xiao, Zhiming Li, Jun Sun, and Shang-Wei Lin
Learning Program Semantics for Vulnerability Detection via Vulnerability-specific Inter-procedural Slicing
ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE), 2023. (accepted for publication)
- Yushi Cao, Yanran Li, Yon Shin Teo, Yan Zheng, Zhexin Liang, and Shang-Wei Lin
An Automatic Test Plan Generation Approach for Automotive Software Testing
International Conference on Intelligent Software Methodologies, Tools, and Techniques (SOMET), 2023. (accepted for publication)
- Shang-Wei Lin, Palina Tolmach, Ye Liu, and Yi Li
SolSEE: A Source-Level Symbolic Execution Engine for Solidity
ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE), 2022. (accepted for publication)
- Yushi Cao, Yon Shin Teo, Yan Zheng, Yuxuan Toh, and Shang-Wei Lin
A Holistic Automated Software Structure Exploration Framework for Testing
International Conference on Intelligent Software Methodologies, Tools, and Techniques (SOMET), 2022. (accepted for publication)
- Palina Tolmach, Yi Li, and Shang-Wei Lin
Property-Based Automated Repair of DeFi Protocols
IEEE/ACM International Conference on Automated Software Engineering (ASE), 2022. (accepted for publication)
- Ye Liu, Yi Li, Shang-Wei Lin, and Cyrille Artho
Finding Permission Bugs in Smart Contracts with Role Mining
ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA), 2022. (accepted for publication)
(ACM SIGSOFT Distinguished Paper Award)
- Xuan Bach Le, Shang-Wei Lin, Jun Sun, and David Sanán
A Quantum Interpretation of Separating Conjunction for Local Reasoning of Quantum Programs Based on Separation Logic
ACM SIGPLAN Symposium on Principles of Programming Languages (POPL), Vol. 6, pp. 1-27, 2022.
- 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
Industry Track, IEEE/ACM International Conference on Automated Software Engineering (ASE), pp. 1151-1155, 2021.
- Palina Tolmach, Yi Li, Shang-Wei Lin, and Yang Liu
Formal Analysis of Composable DeFi Protocols
Workshop on Decentralized Finance (DeFi), pp. 149-161, 2021.
- Si-Han Chen, Yu-Ting Huang, Yi-Chun Kao, Yean-Ru Chen, Shang-Wei Lin, and Chia-I Chen
Hardware Trojan Design and Detection with Formal Verification to Deep Neural Network
The Design and Verification Conference (DVCon), U.S., 2021. (accepted for publication)
- Yupeng Cheng, Xingxing Wei, Huazhu Fu, Shang-Wei Lin, and Weisi Lin
Defense for Adversarial Videos by Self-adaptive JPEG Compression and Optical Texture
ACM International Conference on Multimedia in Asia (ACMMM-Asia), Singapore, 2020. (accepted for publication)
- Xuan-Bach Le, David Sanán, Jun Sun, Shang-Wei Lin
Automatic Verification of Multi-threaded Programs by Inference of Rely-Guarantee Specifications
International Conference on Engineering of Complex Computer Systems (ICECCS), Singapore, 2020 (accepted for publication)
- 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
International Conference on Engineering of Complex Computer Systems (ICECCS), Singapore, 2020 (accepted for publication)
- Ye Liu, Yi Li, Shang-Wei Lin, and Qiang Yan
ModCon: A Model-Based Testing Platform for Smart Contracts
ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE), California, USA, 2020. (accepted for publication)
- Ye Liu, Yi Li, Shang-Wei Lin, and Rong Zhao
Towards Automated Verification of Smart Contract Fairness
ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE), California, USA, 2020. (accepted for publication)
- Jiao Jiao, Shuanglong Kan, Shang-Wei Lin, David Sanán, Yang Liu, and Jun Sun
Semantic Understanding of Smart Contracts: Executable Operational Semantics of Solidity
IEEE Symposium on Security and Privacy (S&P), pp. 1695-1712, San Francisco, USA, 2020. doi: 10.1109/SP40000.2020.00066
- Jiao Jiao, Shang-Wei Lin, and Jun Sun
A Generalized Formal Semantic Framework for Smart Contracts
International Conference on Fundamental Approaches to Software Engineering (FASE), pp. 74-96, 2020.
- Ruitao Feng, Yang Liu and Shang-Wei Lin
A Performance-Sensitive Malware Detection System on Mobile Platform
International Conference on Formal Engineering Methods (ICFEM), pp. 493-497, Shenzhen, China, 2019.
- Ruitao Feng, Sen Chen, Xiaofei Xie, Lei Ma, Guozhu Meng, Yang Liu and Shang-Wei Lin
MobiDroid: A Performance-Sensitive Malware Detection System on Mobile Platform
International Conference on Engineering of Complex Computer Systems (ICECCS), pp. 61-70, Hong Kong, China, 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
ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE), pp. 718-728, Tallinn, Estonia, 2019.
- Ruitao Feng, Guozhu Meng, Xiaofei Xie, Ting Su, Yang Liu and Shang-Wei Lin
Learning Performance Optimization from Code Changes for Android Apps
IEEE International Workshop on Machine Learning and Software Testing (MLST), pp. 285-290, Xi'an, China, 2019.
- Haijun Wang, Yi Li, Shang-Wei Lin, Lei Ma and Yang Liu
VULTRON: Catching Vulnerable Smart Contracts Once and for All
New Ideas and Emerging Results (NIER), International Conference on Software Engineering (ICSE), pp. 1-4, Montréal, QC, Canada, 2019.
- Sa Gao, Chunyang Chen, Zhenchang Xing, Yukun Ma, Wen Song and Shang-Wei Lin
A Neural Model for Method Name Generation from Functional Description
IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER), pp. 414-421, Hangzhou, China, 2019.
- Fuyuan Zhang, Yongwang Zhao, David Sanán, Yang Liu, Alwen Tiu, Shang-Wei Lin and Jun Sun
Compositional Reasoning for Shared-variable Concurrent Programs
International Symposium on Formal Methods (FM), pp. 523-541, Oxford, UK, 2018.
- Ki Yung Ahn, Ross Horne, Shang-Wei Lin and Alwen Tiu
Quasi-Open Bisimilarity with Mismatch is Intuitionistic
Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), pp. 26-35, Oxford, UK, 2018.
- Sa Gao, Zhenchang Xing, Yukun Ma, Deheng Ye and Shang-Wei Lin
Enhancing Knowledge Sharing in Stack Overflow via Automatic External Web Resources Linking
International Conference on Engineering of Complex Computer Systems (ICECCS), pp. 90-99, Fukuoka, Japan, 2017.
- Shang-Wei Lin, Jun Sun, Hao Xiao, Yang Liu, David Sanán and Henri Hansen
FiB: Squeezing Loop Invariants by Interpolation between Forward/Backward Predicate Transformers
IEEE/ACM International Conference on Automated Software Engineering (ASE), pp. 793-803, Urbana-Champaign, Illinois, USA, 2017.
(ACM SIGSOFT Distinguished Paper Award)
- Jiaying Li, Jun Sun, Li Li, Quang Loc Le and Shang-Wei Lin
Automatic Loop-invariant Generation and Refinement through Selective Sampling
IEEE/ACM International Conference on Automated Software Engineering (ASE), pp. 782-792, Urbana-Champaign, Illinois, USA, 2017.
- Yuekang Li, Bihuan Chen, Mahinthan Chandramohan, Shang-Wei Lin, Yang Liu and Alwen Tiu
Steelix: Program-State Based Binary Fuzzing
ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE), pp. 627-637, Paderborn, Germany, 2017.
- Xiaofei Xie, Bihuan Chen, Liang Zou, Shang-Wei Lin, Yang Liu and Xiaohong Li
Loopster: Static Loop Termination Analysis
ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE), pp. 84-94, Paderborn, Germany, 2017.
- Étienne André and Shang-Wei Lin
Learning-Based Compositional Parameter Synthesis for Event-Recording Automata
International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), LNCS Vol. 10321, pp. 17-32, Neuchâtel, Switzerland, 2017 (Best Paper Award).
- Muhammad Ashad Kabir, Zhenchang Xing, Prakash Chandrasekaran, and Shang-Wei Lin
Process Pattern: Reusable Design Artifact for Business Process Models
IEEE Computer Society Signature Conference on Computers, Software and Applications (COMPSAC), Vol. 1, pp. 714-721, Torino, Italy, 2017.
- Xuejiao Zhao, Zhenchang Xing, Muhammad Ashad Kabir, Naoya Sawada, Jing Li, and Shang-Wei Lin
HDSKG: Harvesting Domain Specific Knowledge Graph from Content of Webpages
IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER), pp. 56-67, Klagenfurt, Austria, 2017.
- Muhammad Ashad Kabir, Jun Han, Alan W. Colman, Naif R. Aljohani, Mohammed Basheri, Zhenchang Xing, Shang-Wei Lin
Engineering Socially-Aware Systems and Applications
International Conference on Engineering of Complex Computer Systems (ICECCS), pp. 81-90, Dubai, United Arab Emirates, 2016.
- Shang-Wei Lin, Jun Sun, Truong Khanh Nguyen, Yang Liu, and Jin Song Dong
Interpolation Guided Compositional Verification (T)
IEEE/ACM International Conference on Automated Software Engineering (ASE), pp. 65-74, Lincoln, Nebraska, USA, 2015.
- Jun Sun, Hao Xiao, Yang Liu, Shang-Wei Lin, and Shengchao Qin
TLV: Abstraction through Testing, Learning, and Validation
ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE), pp. 698-709, Bergamo, Italy, 2015.
- Henri Hansen, Shang-Wei Lin, Yang Liu, Truong Khanh Nguyen, and Jun Sun
Diamonds are a Girl's Best Friend: Partial Order Reduction for Timed Automata With Abstractions
International Conference on Computer Aided Verification (CAV), LNCS Vol. 8559, pp. 391-406, Vienna, Austria, 2014.
- Shang-Wei Lin and Pao-Ann Hsiung
Compositional Synthesis of Concurrent Systems through Causal Model Checking and Learning
International Symposium on Formal Methods (FM), LNCS Vol. 8442, pp. 416-431, Singapore, 2014.
- Hao Xiao, Jun Sun, Yang Liu, Shang-Wei Lin, and Chengnian Sun
TzuYu: Learning Stateful Typestates
IEEE/ACM International Conference on Automated Software Engineering (ASE), pp. 432-442, California, USA, 2013.
- Kun Ji, Yang Liu, Shang-Wei Lin, Jun Sun, Jin Song Dong, and Truong Khanh Nguyen
CELL: A Compositional Verification Framework
International Symposium on Automated Technology for Verification and Analysis (ATVA), LNCS Vol. 8172, pp. 474-477, Hanoi, Vietnam, 2013.
- Étienne André, Yang Liu, Jun Sun, Jin Song Dong, and Shang-Wei Lin
PSyHCoS: Parameter Synthesis for Hierarchical Concurrent Real-Time Systems
International Conference on Computer Aided Verification (CAV), LNCS Vol. 8044, pp. 984-989, Saint Petersburg, Russia, 2013.
- Huiquan Zhu, Jin Song Dong, Bimlesh Wadhwa, and Shang-Wei Lin
Generating C# Programs from CSP# Models
IEEE International Conference on Software Testing, Verification and Validation (ICSTW), pp. 21-26, Luxembourg, 2013.
- Shang-Wei Lin, Yang Liu, Pao-Ann Hsiung, Jun Sun, and Jin Song Dong
Automatic Generation of Provably Correct Embedded Systems
International Conference on Formal Engineering Methods (ICFEM), LNCS Vol. 7635, pp. 214-229, Kyoto, Japan, 2012.
- Shang-Wei Lin, Yang Liu, Jun Sun, Jin Song Dong, and Étienne André
Automatic Compositional Verification of Timed Systems
International Symposium on Formal Methods (FM), LNCS Vol. 7436, pp. 272-276, Paris, France, 2012.
- Shang-Wei Lin, Étienne André, Jin Song Dong, Jun Sun, and Yang Liu
An Efficient Algorithm for Learning Event-Recording Automata
International Symposium on Automated Technology for Verification and Analysis (ATVA), LNCS Vol. 6996, pp. 463-472, Taipei, Taiwan, 2011.
- Yean-Ru Chen, Jui-Lung Yao, Chih-Hseng. Lin, Shang-Wei Lin, Chun-Hsian Huang, Ya-Ping Hu, Pao-Ann Hsiung, Sao-Jie Chen, and I-Hsin Chou
SAT-based Verification of Data-Independent Access Control Security Systems
International Conference on Security and Management (SAM), Vol. 1, pp. 126-131, 2011.
- Pao-Ann Hsiung, Chao-Sheng Lin, Shang-Wei Lin, Yean-Ru Chen, Chun-Hsien Lu, Sheng-Ya Tong, Wan-Ting Su, Chih-Hsiong Shih, Chorng-Shiuh Koong, Nien-Lin Hsueh, Chih-Hong Chang, William C. Chu
VERTAF/Multi-Core: A SysML-based Application Framework for Multi-Core Embedded Software Development
International Conference on Algorithms and Architectures for Parallel Processing (ICA3PP), LNCS Vol. 5574, pp. 303-314, 2009.
- Pao-Ann Hsiung, Shang-Wei Lin, Yean-Ru Chen, Nien-Lin Hsueh, Chih-Hong Chang, Chih-Hsiong Shih, Chorng-Shiuh Koong, Chao-Sheng Lin, Chun-Hsien Lu, Sheng-Ya Tong, Wan-Ting Su, and William C. Chu
Model-Driven Development of Multi-Core Embedded Software
International Workshop on Multicore Software Engineering (IWMSE), pp. 9-16, 2009 ICSE Workshop on Multicore Software Engineering, 2009.
- Pao-Ann Hsiung and Shang-Wei Lin
From ISA to Application Design via RTOS - A Course Design Framework for Embedded Software
Asia-Pacific Workshop on Embedded System Education and Research (APESER), pp. 1-6, Hsinchu, Taiwan, 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, and Pin-Hsien Lu
Real-Time Embedded Software Design for Mobile and Ubiquitous Systems
The IFIP International Conference on Embedded and Ubiquitous Computing (EUC), LNCS Vol. 4808, pp. 718-729, 2007.
- Pao-Ann Hsiung, Shang-Wei Lin, Yean-Ru Chen, Chun-Hsian Huang, Jia-Chen Yeh, Hong-Yu Sun, Chao-Sheng Lin, and Hsiao-Win Liao
Model Checking Timed Systems with Urgencies
International Symposium on Automated Technology for Verification and Analysis (ATVA), LNCS Vol. 4218, pp. 67-81, Beijing, China, 2006.
- Shang-Wei Lin, Pao-Ann Hsiung, Chun-Hsian Huang, and Yean-Ru Chen
Model Checking Prioritized Timed Automata
International Symposium on Automated Technology for Verification and Analysis (ATVA), LNCS Vol. 3707, pp. 370-384, Taipei, Taiwan, 2005.
- Pao-Ann Hsiung and Shang-Wei Lin
Model Checking Timed Systems with Priorities
International Conference on Real-Time and Embedded Computing Systems and Applications (RTCSA), pp. 539-544, 2005.
- Pao-Ann Hsiung and Shang-Wei Lin
Formal Design and Verification of Real-Time Embedded Software
Asian Symposium on Programming Languages and Systems (APLAS), LNCS Vol. 3302, pp. 382-397, 2004.
- Pao-Ann Hsiung and Shang-Wei Lin
Automatic Synthesis and Verification of Real-Time Embedded Software
International Conference on Embedded and Ubiquitous Computing (EUC), LNCS Vol. 3207, pp. 12-21, 2004.