Shang-Wei Lin

Identifiers

• name variant Shang-Wei Lin 0.60 · backfill

Papers (7)

1. Quantangle-SAT: A Quantum SAT Solver Based on Entanglement and Equivalence Checking quant-ph · 2026 · author #1
2. A Modular and T-Gate Efficient Architecture for Quantum Leading-Zero/One Counter quant-ph · 2026 · author #2
3. DeepFWI: Identifying Bug-Sensitive Warnings with Multi-Modal Code-Warning Semantics cs.SE · 2024 · author #7
4. The language preservation problem is undecidable for parametric event-recording automata cs.FL · 2018 · author #2
5. Executable Operational Semantics of Solidity cs.PL · 2018 · author #3
6. Compositional Reasoning for Shared-variable Concurrent Programs cs.FL · 2016 · author #6
7. Proceedings 2nd French Singaporean Workshop on Formal Methods and Applications cs.LO · 2014 · author #1

Mentions

• 1407.1952 #1 · backfill · confidence 0.70 Shang-Wei Lin

Frequent Coauthors

• Yang Liu 3 shared papers
• David Sanan 2 shared papers
• Jun Sun 2 shared papers
• Yean-Ru Chen 2 shared papers
• Alwen Tiu 1 shared papers
• Cen Zhang 1 shared papers
• CNRS 1 shared papers
• David San\'an 1 shared papers
• \'Etienne Andr\'e 1 shared papers
• F-93430 1 shared papers
• France) 1 shared papers
• Fuyuan Zhang 1 shared papers
• Han Liu 1 shared papers
• Jian Zhang 1 shared papers
• Jiao Jiao 1 shared papers
• Ji-Qing Yan 1 shared papers
• Kaixuan Li 1 shared papers
• Laure Petrucci (Universit\'e Paris 13 1 shared papers
• Lei-Han Yao 1 shared papers
• LIPN 1 shared papers