Publication Can Program Synthesis be Used to Learn Merge Conflict Resolutions? An Empirical Analysis Rangeet Pan, Vu Le, Nachi Nagappan, Sumit Gulwani, Shuvendu Lahiri, Mike Kaufman 2021 IEEE/ACM 43nd International Conference on Software Engineering (ICSE '21) | May 2021 Project
Publication Resource-Guided Configuration Space Reduction for Deep Learning Models Yanjie Gao, Yonghao Zhu, Hongyu Zhang, Haoxiang Lin, Mao Yang ICSE 2021 | May 2021 The 43rd International Conference on Software Engineering Project
Publication SmartPulse: Automated Checking of Temporal Properties in Smart Contracts Jon Stephens, Kostas Ferles, Benjamin Mariano, Shuvendu Lahiri, Isil Dillig 42nd IEEE Symposium on Security and Privacy | May 2021 Project
Publication Efficient Graph Encryption Scheme for Shortest Path Queries Esha Ghosh, Seny Kamara, Roberto Tamassia Computer and Communications Security | May 2021
Publication Adaptive Extractors and their Application to Leakage Resilient Secret Sharing Nishanth Chandran, Bhavana Kanukurthi, Sai Lakshmi Bhavana Obbattu, Sruthi Sekar CRYPTO | May 2021
Publication Manipulating and Measuring Model Interpretability Forough Poursabzi-Sangdeh, Daniel G. Goldstein, Jake Hofman, Jennifer Wortman Vaughan, Hanna Wallach CHI 2021 | May 2021 Project
Publication CurrentSense: A novel approach for fault and drift detection in environmental IoT sensors Sumukh Marathe, Akshay Nambi, Swami Manohar, Ronak Sutaria ACM/IEEE International Conference on Internet of Things Design and Implementation (IoTDI) | May 2021 Project
Publication Unit Test Case Generation with Transformers and Focal Context Michele Tufano, Dawn Drain, Alexey Svyatkovskiy, Shao Kun Deng, Neel Sundaresan May 2021 arXiv | May 2021 Project
Publication NeuSE: A Neural Snapshot Ensemble Method for Collaborative Filtering Dongsheng Li, Haodong Liu, Chao Chen, Yingying Zhao, Stephen M. Chu, Bo Yang ACM Transactions on Knowledge Discovery From Data | May 2021, Vol 15(6): pp. 1-20
Publication OpEvo: An Evolutionary Method for Tensor Operator Optimization Xiaotian Gao, Wei Cui, Lintao Zhang, Mao Yang AAAI 2021 | May 2021