| 2025 | CHI | Exploring the Impact of Drivers' Emotion and Multi-task Learning on Takeover Behavior Prediction in Multimodal Environment: Exploring Takeover Behavior Prediction in Multimodal Environment. | Xinyu Feng, Yu Gu, Yuming Lin, Yaojun Cai |
| 2025 | ESOP | A Program Logic for Concurrent Randomized Programs in the Oblivious Adversary Model. | Weijie Fan, Hongjin Liang, Xinyu Feng, Hanru Jiang |
| 2025 | ESOP | Verifying Algorithmic Versions of the Lovsz Local Lemma. | Rongen Lin, Hongjin Liang, Xinyu Feng |
| 2025 | ICASSP | RPPFL: Robust and Privacy-Preserving Federated Learning via Trusted Execution Environments. | Xiaolei Zhang, Zhaoyu Chen, Guangpu Chen, Xinyu Feng, Qingni Shen, Zhonghai Wu |
| 2025 | SecureComm | Investigating How Trading Patterns and Twitter Impact the CryptoPunks NFT Market. | Yuxiang Liu, Xinyu Feng, Mingdong Tang |
| 2025 | SETTA | A Program Logic for Byzantine-Fault-Tolerant Protocols. | Yuwen Kuang, Hongjin Liang, Xinyu Feng |
| 2024 | EMNLP | Knowledge-Guided Dynamic Modality Attention Fusion Framework for Multimodal Sentiment Analysis. | Xinyu Feng, Yuming Lin, Lihua He, You Li, Liang Chang, Ya Zhou |
| 2024 | GLOBECOM | In-band Network-Wide Telemetry for Topology-Varying LEO Satellite Networks. | Yan Zhang, Tian Pan, Qiang Fu, Yan Zheng, Xinyu Feng, Jiang Liu, Haipeng Yao, Tao Huang |
| 2024 | ICASSP | Privacy Preserving Federated Learning from Multi-Input Functional Proxy Re-Encryption. | Xinyu Feng, Qingni Shen, Cong Li, Yuejian Fang, Zhonghai Wu |
| 2024 | TASE | Verified Validation for Affine Scheduling in Polyhedral Compilation. | Xuyang Li, Hongjin Liang, Xinyu Feng |
| 2022 | ACL | Good Examples Make A Faster Learner: Simple Demonstration-based Learning for Low-resource NER. | Dong-Ho Lee, Akshen Kadakia, Kangmin Tan, Mahak Agarwal, Xinyu Feng, Takashi Shibuya, Ryosuke Mitani, Toshiyuki Sekiya, Jay Pujara, Xiang Ren |
| 2022 | NAACL | Aligning Generative Language Models with Human Values. | Ruibo Liu, Ge Zhang, Xinyu Feng, Soroush Vosoughi |
| 2022 | PLDI | Verifying optimizations of concurrent programs in the promising semantics. | Junpeng Zha, Hongjin Liang, Xinyu Feng |
| 2021 | PLDI | Abstraction for conflict-free replicated data types. | Hongjin Liang, Xinyu Feng |
| 2019 | PLDI | Towards certified separate compilation for concurrent programs. | Hanru Jiang, Hongjin Liang, Siyang Xiao, Junpeng Zha, Xinyu Feng |
| 2018 | APLAS | Modular Verification of SPARCv8 Code. | Junpeng Zha, Xinyu Feng, Lei Qiao |
| 2018 | INFOCOM | POMP: Protocol Oblivious SDN Programming with Automatic Multi-Table Pipelining. | Chunhui He, Xinyu Feng |
| 2018 | ICTAC | Non-preemptive Semantics for Data-Race-Free Programs. | Siyang Xiao, Hanru Jiang, Hongjin Liang, Xinyu Feng |
| 2017 | CPP | Mechanized verification of preemptive OS kernels (invited talk). | Xinyu Feng |
| 2017 | ICICS | Practical Large Universe Attribute-Set Based Encryption in the Standard Model. | Xinyu Feng, Cancan Jin, Cong Li, Yuejian Fang, Qingni Shen, Zhonghai Wu |
| 2017 | ICICS | Fully Secure Hidden Ciphertext-Policy Attribute-Based Proxy Re-encryption. | Xinyu Feng, Cong Li, Dan Li, Yuejian Fang, Qingni Shen |
| 2017 | SETTA | Formalizing SPARCv8 Instruction Set Architecture in Coq. | Jiawei Wang, Ming Fu, Lei Qiao, Xinyu Feng |
| 2017 | SETTA | AndroidLeaker: A Hybrid Checker for Collusive Leak in Android Applications. | Zipeng Zhang, Xinyu Feng |
| 2016 | CAV | A Practical Verification Framework for Preemptive OS Kernels. | Fengwei Xu, Ming Fu, Xinyu Feng, Xiaoran Zhang, Hui Zhang, Zhaohui Li |
| 2016 | POPL | A program logic for concurrent objects under fair scheduling. | Hongjin Liang, Xinyu Feng |
| 2015 | CPP | Practical Tactics for Verifying C Programs in Coq. | Jingyuan Cao, Ming Fu, Xinyu Feng |
| 2014 | CSL | Compositional verification of termination-preserving refinement of concurrent programs. | Hongjin Liang, Xinyu Feng, Zhong Shao |
| 2013 | CONCUR | Characterizing Progress Properties of Concurrent Objects via Contextual Refinements. | Hongjin Liang, Jan Hoffmann, Xinyu Feng, Zhong Shao |
| 2013 | PLDI | Modular verification of linearizability with non-fixed linearization points. | Hongjin Liang, Xinyu Feng |
| 2013 | TASE | An Operational Approach to Happens-Before Memory Model. | Yang Zhang, Xinyu Feng |
| 2012 | APLAS | Modular Verification of Concurrent Thread Management. | Yu Guo, Xinyu Feng, Zhong Shao, Peizhi Shi |
| 2012 | ICFEM | A Concurrent Temporal Programming Model with Atomic Blocks. | Xiaoxiao Yang, Yu Zhang, Ming Fu, Xinyu Feng |
| 2012 | POPL | A rely-guarantee-based simulation for verifying concurrent program transformations. | Hongjin Liang, Xinyu Feng, Ming Fu |
| 2012 | TAMC | A Structural Approach to Prophecy Variables. | Zipeng Zhang, Xinyu Feng, Ming Fu, Zhong Shao, Yong Li |
| 2010 | CONCUR | Reasoning about Optimistic Concurrency Using a Program Logic for History. | Ming Fu, Yong Li, Xinyu Feng, Zhong Shao, Yu Zhang |
| 2010 | ESOP | Parameterized Memory Models and Concurrent Separation Logic. | Rodrigo Ferreira, Xinyu Feng, Zhong Shao |
| 2009 | APLAS | Weak updates and separation logic. | Gang Tan, Zhong Shao, Xinyu Feng, Hongxu Cai |
| 2009 | ESOP | Deny-Guarantee Reasoning. | Mike Dodds, Xinyu Feng, Matthew J. Parkinson, Viktor Vafeiadis |
| 2009 | POPL | Local rely-guarantee reasoning. | Xinyu Feng |
| 2008 | PLDI | Certifying low-level programs with hardware interrupts and preemptive threads. | Xinyu Feng, Zhong Shao, Yuan Dong, Yu Guo |
| 2007 | ESOP | On the Relationship Between Concurrent Separation Logic and Assume-Guarantee Reasoning. | Xinyu Feng, Rodrigo Ferreira, Zhong Shao |
| 2006 | PLDI | Modular verification of assembly code with stack-based control abstractions. | Xinyu Feng, Zhong Shao, Alexander Vaynberg, Sen Xiang, Zhaozhong Ni |
| 2005 | ICFP | Modular verification of concurrent assembly code with dynamic thread creation and termination. | Xinyu Feng, Zhong Shao |
| 2003 | GLOBECOM | Adaptive and reliable message delivery for mobile objects. | Jiannong Cao, Liang Zhang, Xinyu Feng, Sajal K. Das |
| 2003 | ICPP | Path Compression in Forwarding-Based Reliable Mobile Agent Communications. | Jiannong Cao, Liang Zhang, Xinyu Feng, Sajal K. Das |
| 2002 | ICDCS | Design of Adaptive and Reliable Mobile Agent Communication Protocols. | Jiannong Cao, Xinyu Feng, Jian Lu, Sajal K. Das |
| 2002 | ICPADS | Reliable Message Delivery for Mobile Agents: Push or Pull. | Jiannong Cao, Xinyu Feng, Jian Lu, Henry C. B. Chan, Sajal K. Das |