Publication Formal Verification of Workflow Policies for Smart Contracts in Azure Blockchain Yuepeng Wang, Shuvendu Lahiri, Shuo Chen, Rong Pan, Isil Dillig, Cody Born, Immad Naseer, Kostas Ferles Verified Software: Theories, Tools and Experiments | September 2019 Project
Publication Learning to Refine 3D Human Pose Sequences Jieru Mei, Xingyu Chen, Chunyu Wang, Wenjun Zeng Inter. Conf. on 3D Vision (3DV) | September 2019
Publication Complete Submodularity Characterization in the Comparative Independent Cascade Model Wei Chen, Hanrui Zhang Theoretical Computer Science | September 2019, Vol 786(27): pp. 78-87
Publication Stochastic One-Sided Full-Information Bandit Haoyu Zhao, Wei Chen Proceedings of the European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases (ECML-PKDD’2019) | September 2019
Publication Robust Log-based Anomaly Detection on Unstable Log Data Xu Zhang, …, Qingwei Lin, … FSE’19 | August 2019
Publication Towards More Efficient Meta-heuristic Algorithms for Combinatorial Test Generation Jinkun Lin, …, Qingwei Lin, … FSE’19 | August 2019
Publication λOpt: Learn to Regularize Recommender Models in Finer Levels Yihong Chen, Bei Chen, Xiangnan He, Chen Gao, Yong Li, Jian-Guang Lou, Yue Wang SigKDD19 | August 2019
Publication Adaptive User Modeling with Long and Short-Term Preferences for Personalized Recommendation Zeping Yu, Jianxun Lian, Ahmad Mahmoody, Gongshen Liu, Xing Xie International Joint Conferences on Artificial Intelligence (IJCAI) | August 2019
Publication Order-Sensitive Keywords Based Response Generation in Open-Domain Conversational Systems Qingfu Zhu, Weinan Zhang, Lei Cui, Ting Liu ACM Transactions on Asian and Low-Resource Language Information Processing (TALLIP) | August 2019
Publication Towards Complex Text-to-SQL in Cross-Domain Database with Intermediate Representation Jiaqi GUO, Zecheng Zhan, Yan GAO, Yan XIAO, Jian-Guang Lou, Ting LIU, Dongmei Zhang ACL19 | August 2019