Publications
A Neural Transition-based Model for Nested Mention Recognition
Bailin Wang, Wei Lu, Yu Wang, Hongxia Jin, 2018, Proceedings of EMNLP’2018: the 2018 Conference on Empirical Methods in Natural Language Processing, Proceedings of EMNLP’2018: the 2018 Conference on Empirical Methods in Natural Language Processing, Proceedings of EMNLP’2018: the 2018 Conference on Empirical Methods in Natural Language Processing, Proceedings of EMNLP’2018: the 2018 Conference on Empirical Methods in Natural Language Processing
A Semantics Comparison Workbench for a Concurrent, Asynchronous, Distributed Programming Language
C. Corrodi, A. Heußner, C.M. Poskitt, 2018, Formal Aspects of Computing 30(1):163-192, 2018, Formal Aspects of Computing 30(1):163-192, 2018, Formal Aspects of Computing 30(1):163-192, 2018, https://arxiv.org/abs/1710.03928
Adaptive Quantization for Deep Neural Network
Yiren Zhou, Seyed-Mohsen Moosavi-Dezfooli, Ngai-Man Cheung, Pascal Frossard, 2018, AAAI-18. The Thirty-Second AAAI Conference on Artificial Intelligence, https://www.dropbox.com/scl/fi/s4oqu3db0ls59mqywihhv/yiren_AAAI_2018.pdf?rlkey=q5qb8q7fdhijumbc1hegmywgl&e=1&dl=0
An Adaptive Markov Strategy for Defending Smart Grid False Data Injection From Malicious Attackers
Jianye Hao, Eunsuk Kang, Jun Sun, Zan Wang, Zhaopeng Meng, Xiaohong Li, Zhong Ming, 2018, IEEE Trans. Smart Grid 9(4): 2398-2408 (2018), IEEE Trans. Smart Grid 9(4): 2398-2408 (2018), IEEE Trans. Smart Grid 9(4): 2398-2408 (2018), IEEE Trans. Smart Grid 9(4): 2398-2408 (2018), IEEE Trans. Smart Grid 9(4): 2398-2408 (2018), IEEE Trans. Smart Grid 9(4): 2398-2408 (2018), IEEE Trans. Smart Grid 9(4): 2398-2408 (2018), https://ieeexplore.ieee.org/document/7570183
An Air-Gapped 2-Factor Authentication for Smart-Contract Wallets
I Homoliak, D Breitenbacher, A Binder, P Szalachowski, 2018, Arxiv preprint arXiv:1812.03598, Arxiv preprint arXiv:1812.03598, Arxiv preprint arXiv:1812.03598, https://arxiv.org/abs/1812.03598
Benchmarking microservice systems for software engineering research
Xiang Zhou, Xin Peng, Tao Xie, Jun Sun, Chenjie Xu, Chao Ji, Wenyun Zhao, 2018, ICSE (Companion Volume) 2018: 323-324, ICSE (Companion Volume) 2018: 323-324, ICSE (Companion Volume) 2018: 323-324, ICSE (Companion Volume) 2018: 323-324, ICSE (Companion Volume) 2018: 323-324, ICSE (Companion Volume) 2018: 323-324, ICSE (Companion Volume) 2018: 323-324, https://dl.acm.org/doi/10.1145/3183440.3194991
Better Transition-Based AMR Parsing with a Refined Search Space
Zhijiang Guo, Wei Lu, 2018, Proceedings of EMNLP’2018: the 2018 Conference on Empirical Methods in Natural Language Processing, Proceedings of EMNLP’2018: the 2018 Conference on Empirical Methods in Natural Language Processing
BlockPKI: An Automated, Resilient, and Transparent Public-Key Infrastructure
L.Dykcik, L.Chuat, P.Szalachowski, A.Perrig, 2018, In Proceedings of The Workshop on Blockchain and Sharing Economy Applications (BlockSEA), 2018, In Proceedings of The Workshop on Blockchain and Sharing Economy Applications (BlockSEA), 2018, In Proceedings of The Workshop on Blockchain and Sharing Economy Applications (BlockSEA), 2018, In Proceedings of The Workshop on Blockchain and Sharing Economy Applications (BlockSEA), 2018
Break the dead end of dynamic slicing: localizing data and control omission bug
Yun Lin, Jun Sun, Lyly Tran, Guangdong Bai, Haijun Wang, Jin Song Dong, 2018, ASE 2018: 509-519, ASE 2018: 509-519, ASE 2018: 509-519, ASE 2018: 509-519, ASE 2018: 509-519, ASE 2018: 509-519, https://dl.acm.org/doi/10.1145/3238147.3238163
Compositional Reasoning for Shared-Variable Concurrent Programs
Fuyuan Zhang, Yongwang Zhao, David Sanán, Yang Liu, Alwen Tiu, Shang-Wei Lin, Jun Sun, 2018, FM 2018: 523-541, FM 2018: 523-541, FM 2018: 523-541, FM 2018: 523-541, FM 2018: 523-541, FM 2018: 523-541, FM 2018: 523-541, https://link.springer.com/chapter/10.1007/978-3-319-95582-7_31