Skip to content

Junfeng Yang

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

97

Venues

39

Active years

2001–2026

Best venue rank

A*

Where they publish

Papers

97 indexed papers, newest first.

YearVenueTitleAuthors
2026ASPLOSRadshield: Software Radiation Protection for Commodity Hardware in Space.Haoda Wang, Steven Myint, Vandi Verma, Yonatan Winetraub, Junfeng Yang, Asaf Cidon
2026CIDRRos: Flexible Replication With Strong Semantics For Partitioned Databases.Ioannis Zarkadas, Kelly Kostopoulou, Thomas Graham, Junfeng Yang, Philip A. Bernstein, Asaf Cidon, Tamer Eldeeb
2026SPYour Compiler is Backdooring Your Model: Understanding and Exploiting Compilation Inconsistency Vulnerabilities in Deep Learning Compilers.Simin Chen, Jinjun Peng, Yixin He, Junfeng Yang, Baishakhi Ray
2026SPDetecting Privilege Escalation in Polyglot Microservices via Agentic Program Analysis.Penghui Li, Hong Yau Chong, Yinzhi Cao, Junfeng Yang
2026SPzkFuzz: Foundation and Framework for Effective Fuzzing of Zero-Knowledge Circuits.Hideaki Takahashi, Jihwan Kim, Suman Jana, Junfeng Yang
2025ACLLearning to Rewrite: Generalized LLM-Generated Text Detection.Wei Hao, Ran Li, Weiliang Zhao, Junfeng Yang, Chengzhi Mao
2025ASPLOSNazar: Monitoring and Adapting ML Models on Mobile Devices.Wei Hao, Zixi Wang, Lauren Hong, Lingxiao Li, Nader Karayanni, AnMei Dasbach-Prisk, Chengzhi Mao, Junfeng Yang, Asaf Cidon
2025CCSPickleBall: Secure Deserialization of Pickle-based Machine Learning Models.Andreas D. Kellas, Neophytos Christou, Wenxin Jiang, Penghui Li, Laurent Simon, Yaniv David, Vasileios P. Kemerlis, James C. Davis, Junfeng Yang
2025CVPRNTIRE 2025 challenge on Text to Image Generation Model Quality Assessment.Shuhao Han, Haotian Fan, Fangyuan Kong, Wenjie Liao, Chunle Guo, Chongyi Li, Radu Timofte, Liang Li, Tao Li, Junhui Cui, Yunqiu Wang, Yang Tai, Jingwei Sun, Jianhui Sun, Xinli Yue, Tianyi Wang, Huan Hou, Junda Lu, Xinyang Huang, Zitang Zhou, Zijian Zhang, Xuhui Zheng, Xuecheng Wu, Chong Peng, Xuezhi Cao, Trong-Hieu Nguyen-Mau, Minh-Hoang Le, Minh-Khoa Le-Phan, Duy-Nam Ly, Hai-Dang Nguyen, Minh-Triet Tran, Yukang Lin, Yan Hong, Chuanbiao Song, Siyuan Li, Jun Lan, Zhichao Zhang, Xinyue Li, Wei Sun, Zicheng Zhang, Yunhao Li, Xiaohong Liu, Guangtao Zhai, Zitong Xu, Huiyu Duan, Jiarui Wang, Guangji Ma, Liu Yang, Lu Liu, Qiang Hu, Xiongkuo Min, Zichuan Wang, Zhenchen Tang, Bo Peng, Jing Dong, Fengbin Guan, Zihao Yu, Yiting Lu, Wei Luo, Xin Li, Minhao Lin, Haofeng Chen, Xuanxuan He, Kele Xu, Qisheng Xu, Zijian Gao, Tianjiao Wan, Bo-Cheng Qiu, Chih-Chung Hsu, Chia-Ming Lee, Yu-Fan Lin, Bo Yu, Zehao Wang, Da Mu, Mingxiu Chen, Junkang Fang, Huamei Sun, Wending Zhao, Zhiyu Wang, Wang Liu, Weikang Yu, Puhong Duan, Bin Sun, Xudong Kang, Shutao Li, Shuai He, Lingzhi Fu, Heng Cong, Rongyu Zhang, Jiarong He, Zhishan Qiao, Yongqing Huang, Zewen Chen, Zhe Pang, Juan Wang, Jian Guo, Zhizhuo Shao, Ziyu Feng, Bing Li, Weiming Hu, Hesong Li, Dehua Liu, Zeming Liu, Qingsong Xie, Ruichen Wang, Zhihao Li, Yuqi Liang, Jianqi Bi, Jun Luo, Junfeng Yang, Can Li, Jing Fu, Hongwei Xu, Mingrui Long, Lulin Tang
2025EuroSysDPack: Efficiency-Oriented Privacy Budget Scheduling.Pierre Tholoniat, Kelly Kostopoulou, Mosharaf Chowdhury, Asaf Cidon, Roxana Geambasu, Mathias Lcuyer, Junfeng Yang
2025HOTNETSAbove the Clouds: New Software Challenges in Space Computing.Haoda Wang, Robert Leo Pendergrast, Kristfer Fannar Bjrnsson, Anika Somaia, Ezra Landa, Junfeng Yang, Asaf Cidon
2025ICCVVQualA 2025 Challenge on GenAI-Bench AIGC Video Quality Assessment: Methods and Results.Ying Chen, Huasheng Wang, Pengxiang Xiao, Yukang Ding, Enpeng Liu, Chris Wei Zhou, Baojun Li, Jiamian Huang, Jiarui Wang, Xiaorong Zhu, Juntong Wang, Huiyu Duan, Xiongkuo Min, Qiang Hu, Chunlei Cai, Guangtao Zhai, Baihong Qian, Haotian Fan, Wenjie Liao, Yunqiu Wang, Tao Li, Junuhi Cui, Zhichao Zhang, Xinyue Li, Yunhao Li, Xiaohong Liu, Weixia Zhang, Bingkun Zheng, Wei Sun, Zhihua Wang, Longwei Li, Jinyu Zhao, Xincheng Lv, Yang Cai, Fangfang Lu, Ritik Bompilwar, Saurabh Koshatwar, Weifeng Cai, Guangqian Kong, Junfeng Yang, Jing Fu, Wei Zhang, Wenzhi Cao, Limei Liu, Qin Li, Wanli Ma, Yixiao Li, Xiaoshuai Hao
2025ICECCSTowards Efficient and Secure Multimodal Misinformation Detection.Jianhao Wei, Yixiao Li, Xiaolong Li, Ming Zhao, Jin Zhang, Limei Liu, Junfeng Yang
2025ICLRI Can Hear You: Selective Robust Training for Deepfake Audio Detection.Zirui Zhang, Wei Hao, Aroon Sankoh, William Lin, Emanuel Mendiola-Ortiz, Junfeng Yang, Chengzhi Mao
2025ICMLEfficient Curvature-Aware Hypergradient Approximation for Bilevel Optimization.Youran Dong, Junfeng Yang, Wei Yao, Jin Zhang
2025ICMLEditLord: Learning Code Transformation Rules for Code Editing.Weichen Li, Albert Jan, Baishakhi Ray, Junfeng Yang, Chengzhi Mao, Kexin Pei
2025IMCDo Spammers Dream of Electric Sheep? Characterizing the Prevalence of LLM-Generated Malicious Emails.Wei Hao, Van Tran, Vincent Rideout, Zixi Wang, AnMei Dasbach-Prisk, M. H. Afifi, Junfeng Yang, Ethan Katz-Bassett, Grant Ho, Asaf Cidon
2025NAACLDiversity Helps Jailbreak Large Language Models.Weiliang Zhao, Daniel Ben-Levi, Wei Hao, Junfeng Yang, Chengzhi Mao
2025SIGCOMMHarnessing WebRTC for Large-Scale Live Streaming.Wei Zhang, Tong Meng, Xianhua Zeng, Wei Yang, Changqing Yan, Chao Li, Chenguang Li, Feng Qian, Junfeng Yang, Lei Zhang, Zhi Wang
2025VMCAIFormal Verification of Probabilistic Deep Reinforcement Learning Policies with Abstract Training.Junfeng Yang, Min Zhang, Xin Chen, Qin Li
2024AAAITowards a Theoretical Understanding of Why Local Search Works for Clustering with Fair-Center Representation.Zhen Zhang, Junfeng Yang, Limei Liu, Xuesong Xu, Guozhen Rong, Qilong Feng
2024CIDRChablis: Fast and General Transactions in Geo-Distributed Systems.Tamer Eldeeb, Philip A. Bernstein, Asaf Cidon, Junfeng Yang
2024CVPRNTIRE 2024 Quality Assessment of AI-Generated Content Challenge.Xiaohong Liu, Xiongkuo Min, Guangtao Zhai, Chunyi Li, Tengchuan Kou, Wei Sun, Haoning Wu, Yixuan Gao, Yuqin Cao, Zicheng Zhang, Xiele Wu, Radu Timofte, Fei Peng, Huiyuan Fu, Anlong Ming, Chuanming Wang, Huadong Ma, Shuai He, Zifei Dou, Shu Chen, Huacong Zhang, Haiyi Xie, Chengwei Wang, Baoying Chen, Jishen Zeng, Jianquan Yang, Weigang Wang, Xi Fang, Xiaoxin Lv, Jun Yan, Tianwu Zhi, Yabin Zhang, Yaohui Li, Yang Li, Jingwen Xu, Jianzhao Liu, Yiting Liao, Junlin Li, Zihao Yu, Fengbin Guan, Yiting Lu, Xin Li, Hossein Motamednia, S. Farhad Hosseini-Benvidi, Ahmad Mahmoudi-Aznaveh, Azadeh Mansouri, Ganzorig Gankhuyag, Kihwan Yoon, Yifang Xu, Haotian Fan, Fangyuan Kong, Shiling Zhao, Weifeng Dong, Haibing Yin, Li Zhu, Zhiling Wang, Bingchen Huang, Avinab Saha, Sandeep Mishra, Shashank Gupta, Rajesh Sureddi, Oindrila Saha, Luigi Celona, Simone Bianco, Paolo Napoletano, Raimondo Schettini, Junfeng Yang, Jing Fu, Wei Zhang, Wenzhi Cao, Limei Liu, Han Peng, Weijun Yuan, Zhan Li, Yihang Cheng, Yifan Deng, Haohui Li, Bowen Qu, Yao Li, Shuqing Luo, Shunzhou Wang, Wei Gao, Zihao Lu, Marcos V. Conde, Xinrui Wang, Zhibo Chen, Ruling Liao, Yan Ye, Qiulin Wang, Bing Li, Zhaokun Zhou, Miao Geng, Rui Chen, Xin Tao, Xiaoyu Liang, Shangkun Sun, Xingyuan Ma, Jiaze Li, Mengduo Yang, Haoran Xu, Jie Zhou, Shiding Zhu, Bohan Yu, Pengfei Chen, Xinrui Xu, Jiabin Shen, Zhichao Duan, Erfan Asadi, Jiahe Liu, Qi Yan, Youran Qu, Xiaohui Zeng, Lele Wang, Renjie Liao
2024CVPRGDA: Generalized Diffusion for Robust Test-Time Adaptation.Yun-Yun Tsai, Fu-Chen Chen, Albert Y. C. Chen, Junfeng Yang, Che-Chun Su, Min Sun, Cheng-Hao Kuo
2024CVPRMoE-AGIQA: Mixture-of-Experts Boosted Visual Perception-Driven and Semantic-Aware Quality Assessment for AI-Generated Images.Junfeng Yang, Jing Fu, Wei Zhang, Wenzhi Cao, Limei Liu, Han Peng
2024EMNLPRAFT: Realistic Attacks to Fool Text Detectors.James Wang, Ran Li, Junfeng Yang, Chengzhi Mao
2024ICLRINViTE: INterpret and Control Vision-Language Models with Text Explanations.Haozhe Chen, Junfeng Yang, Carl Vondrick, Chengzhi Mao
2024ICLRRaidar: geneRative AI Detection viA Rewriting.Chengzhi Mao, Carl Vondrick, Hao Wang, Junfeng Yang
2024ICMLMGit: A Model Versioning and Management System.Wei Hao, Daniel Mendoza, Rafael Mendes, Deepak Narayanan, Amar Phanishayee, Asaf Cidon, Junfeng Yang
2024ICMLExploiting Code Symmetries for Learning Program Semantics.Kexin Pei, Weichen Li, Qirui Jin, Shuyang Liu, Scott Geng, Lorenzo Cavallaro, Junfeng Yang, Suman Jana
2024ICSERogueOne: Detecting Rogue Updates via Differential Data-flow Analysis Using Trust Domains.Raphael J. Sofaer, Yaniv David, Mingqing Kang, Jianjia Yu, Yinzhi Cao, Junfeng Yang, Jason Nieh
2024NDSSQUACK: Hindering Deserialization Attacks via Static Duck Typing.Yaniv David, Neophytos Christou, Andreas D. Kellas, Vasileios P. Kemerlis, Junfeng Yang
2024SPSmartInv: Multimodal Learning for Smart Contract Invariant Inference.Sally Junsong Wang, Kexin Pei, Junfeng Yang
2023CVPRDoubly Right Object Recognition: A Why Prompt for Visual Rationales.Chengzhi Mao, Revant Teotia, Amrutha Sundar, Sachit Menon, Junfeng Yang, Xin Wang, Carl Vondrick
2023EuroSysEffective Performance Issue Diagnosis with Value-Assisted Cost Profiling.Lingmei Weng, Yigong Hu, Peng Huang, Jason Nieh, Junfeng Yang
2023HOTNETSMars Attacks!: Software Protection Against Space Radiation.Haoda Wang, Steven Myint, Vandi Verma, Yonatan Winetraub, Junfeng Yang, Asaf Cidon
2023ICLRUnderstanding Zero-shot Adversarial Robustness for Large-Scale Models.Chengzhi Mao, Scott Geng, Junfeng Yang, Xin Wang, Carl Vondrick
2023ICMLRobust Perception through Equivariance.Chengzhi Mao, Lingyu Zhang, Abhishek Vaibhav Joshi, Junfeng Yang, Hao Wang, Carl Vondrick
2023OSDIChardonnay: Fast and General Datacenter Transactions for On-Disk Databases.Tamer Eldeeb, Xincheng Xie, Philip A. Bernstein, Asaf Cidon, Junfeng Yang
2023TrustComUndermining License Plate Recognition: A Data Poisoning Attack.Bo Song, Yunpeng Yi, Ting Zhou, Junfeng Yang, Lei Liu
2023TrustComCrowdsourcing-based Model Testing in Federated Learning.Yunpeng Yi, Hongtao Lv, Tie Luo, Junfeng Yang, Lei Liu, Lizhen Cui
2023SPDivergent Representations: When Compiler Optimizations Enable Exploitation.Andreas D. Kellas, Alan Cao, Peter Goodman, Junfeng Yang
2022CVPRCausal Transportability for Visual Recognition.Chengzhi Mao, Kevin Xia, James Wang, Hao Wang, Junfeng Yang, Elias Bareinboim, Carl Vondrick
2022OSDIUPGRADVISOR: Early Adopting Dependency Updates Using Hybrid Program Analysis and Hardware Tracing.Yaniv David, Xudong Sun, Raphael J. Sofaer, Aditya Senthilnathan, Junfeng Yang, Zhiqiang Zuo, Guoqing Harry Xu, Jason Nieh, Ronghui Gu
2022OSDIXRP: In-Kernel Storage Functions with eBPF.Yuhong Zhong, Haoyu Li, Yu Jian Wu, Ioannis Zarkadas, Jeffrey Tao, Evan Mesterhazy, Michael Makris, Junfeng Yang, Amy Tai, Ryan Stutsman, Asaf Cidon
2022SIGMODNeuroshard: towards automatic multi-objective sharding with deep reinforcement learning.Tamer Eldeeb, Zhengneng Chen, Asaf Cidon, Junfeng Yang
2021CVPRGenerative Interventions for Causal Learning.Chengzhi Mao, Augustine Cha, Amogh Gupta, Hao Wang, Junfeng Yang, Carl Vondrick
2021HotOSBPF for storage: an exokernel-inspired approach.Yuhong Zhong, Hongyi Wang, Yu Jian Wu, Asaf Cidon, Ryan Stutsman, Amy Tai, Junfeng Yang
2021ICCVAdversarial Attacks are Reversible with Natural Supervision.Chengzhi Mao, Mia Chiquier, Hao Wang, Junfeng Yang, Carl Vondrick
2021NDSSXDA: Accurate, Robust Disassembly with Transfer Learning.Kexin Pei, Jonas Guan, David Williams-King, Junfeng Yang, Suman Jana
2021SIGMODGreenplum: A Hybrid Database for Transactional and Analytical Workloads.Zhenghua Lyu, Huan Hubert Zhang, Gang Xiong, Gang Guo, Haozhou Wang, Jinbao Chen, Asim Praveen, Yu Yang, Xiaoming Gao, Alexandra Wang, Wen Lin, Ashwin Agrawal, Junfeng Yang, Hao Wu, Xiaoliang Li, Feng Guo, Jiang Wu, Jesse Zhang, Venkatesh Raghavan
2021USENIXArgus: Debugging Performance Issues in Modern Desktop Applications with Annotated Causal Tracing.Lingmei Weng, Peng Huang, Jason Nieh, Junfeng Yang
2020ASPLOSEgalito: Layout-Agnostic Binary Recompilation.David Williams-King, Hidenori Kobayashi, Kent Williams-King, Graham Patterson, Frank Spano, Yu Jian Wu, Junfeng Yang, Vasileios P. Kemerlis
2020ASPLOSEffective Concurrency Testing for Distributed Systems.Xinhao Yuan, Junfeng Yang
2020CVPRLive Trojan Attacks on Deep Neural Networks.Robby Costales, Chengzhi Mao, Raphael Norwitz, Bryan Kim, Junfeng Yang
2020ECCVWhat Does CNN Shift Invariance Look Like? A Visualization Study.Jake Lee, Junfeng Yang, Zhangyang Wang
2020ECCVMultitask Learning Strengthens Adversarial Robustness.Chengzhi Mao, Amogh Gupta, Vikram Nitin, Baishakhi Ray, Shuran Song, Junfeng Yang, Carl Vondrick
2019SPNEUZZ: Efficient Fuzzing with Neural Program Smoothing.Dongdong She, Kexin Pei, Dave Epstein, Junfeng Yang, Baishakhi Ray, Suman Jana
2018CAVPartial Order Aware Concurrency Sampling.Xinhao Yuan, Junfeng Yang, Ronghui Gu
2018CCSEfficient Repair of Polluted Machine Learning Systems via Causal Unlearning.Yinzhi Cao, Alexander Fangxiao Yu, Andrew Aday, Eric Stahl, Jon Merwine, Junfeng Yang
2018CLOUDOverload Control for Scaling WeChat Microservices.Hao Zhou, Ming Chen, Qian Lin, Yong Wang, Xiaobin She, Sifan Liu, Rui Gu, Beng Chin Ooi, Junfeng Yang
2018DSNOWL: Understanding and Detecting Concurrency Attacks.Shixiong Zhao, Rui Gu, Haoran Qiu, Tsz On Li, Yuexuan Wang, Heming Cui, Junfeng Yang
2017ICCVPanNet: A Deep Network Architecture for Pan-Sharpening.Junfeng Yang, Xueyang Fu, Yuwen Hu, Yue Huang, Xinghao Ding, John W. Paisley
2017IGARSSA variational method using Riemannian metric for SAR image segmentation.Na Li, Fang Liu, Jing Li, Junfeng Yang, Tuanjie Zheng
2017SOSPDeepXplore: Automated Whitebox Testing of Deep Learning Systems.Kexin Pei, Yinzhi Cao, Junfeng Yang, Suman Jana
2016CLOUDGrandet: A Unified, Economical Object Store for Web Applications.Yang Tang, Gang Hu, Xinhao Yuan, Lingmei Weng, Junfeng Yang
2016ICALTThe Framework of Digital Learning Capacity for Digital Natives.Rongxia Zhuang, Junfeng Yang, Bo Li, Ying Zhang, Ronghuai Huang
2016OSDIShuffler: Fast and Deployable Continuous Code Re-Randomization.David Williams-King, Graham Gobieski, Kent Williams-King, James P. Blake, Xinhao Yuan, Patrick Colp, Michelle Zheng, Vasileios P. Kemerlis, Junfeng Yang, William Aiello
2016POPLReducing crash recoverability to reachability.Eric Koskinen, Junfeng Yang
2016TrustComSUIDroid: An Efficient Hardening-Resilient Approach to Android App Clone Detection.Fang Lyu, Yapin Lin, Junfeng Yang, Junhai Zhou
2015SPTowards Making Systems Forget with Machine Unlearning.Yinzhi Cao, Junfeng Yang
2015USENIXSecure Deduplication of General Computations.Yang Tang, Junfeng Yang
2015SOSPPaxos made transparent.Heming Cui, Rui Gu, Cheng Liu, Tianyu Chen, Junfeng Yang
2015SOSPMaking lock-free data structures verifiable with artificial transactions.Xinhao Yuan, David Williams-King, Junfeng Yang, Simha Sethumadhavan
2014EuroSysEfficiently, effectively detecting mobile app bugs with AppDoctor.Gang Hu, Xinhao Yuan, Yang Tang, Junfeng Yang
2013ASPLOSVerifying systems rules using rule-directed symbolic execution.Heming Cui, Gang Hu, Jingyue Wu, Junfeng Yang
2013ICCEThe Comparison of Paper Textbook Class and Electronic Textbook Class in Technology Rich Classroom.Ronghuai Huang, Guang Chen, Junfeng Yang, YanYan Li
2013SOSPParrot: a practical runtime for deterministic, stable, and reliable threads.Heming Cui, Jir Simsa, Yi-Hong Lin, Hao Li, Ben Blum, Xinan Xu, Junfeng Yang, Garth A. Gibson, Randal E. Bryant
2012ICCEThe Functions of Smart Classroom in Smart Learning Age.Ronghuai Huang, Yongbin Hu, Junfeng Yang, Guangde Xiao
2012PLDISound and precise analysis of parallel programs through schedule specialization.Jingyue Wu, Yang Tang, Gang Hu, Heming Cui, Junfeng Yang
2011DIMVAThe MINESTRONE Architecture Combining Static and Dynamic Analysis Techniques for Software Security.Angelos D. Keromytis, Salvatore J. Stolfo, Junfeng Yang, Angelos Stavrou, Anup K. Ghosh, Dawson R. Engler, Marc Dacier, Matthew C. Elder, Darrell M. Kienzle
2011DIMVAThe SPARCHS Project: Hardware Support for Software Security.Simha Sethumadhavan, Salvatore J. Stolfo, Angelos D. Keromytis, Junfeng Yang, David I. August
2011HotOSOptimizing Data Partitioning for Data-Parallel Computing.Qifa Ke, Vijayan Prabhakaran, Yinglian Xie, Yuan Yu, Jingyue Wu, Junfeng Yang
2011USENIXContext-based Online Configuration-Error Detection.Yinglian Xie, Rina Panigrahy, Junfeng Yang, Chad Verbowski, Arunvijay Kumar
2011SOSPEfficient deterministic multithreading through schedule relaxation.Heming Cui, Jingyue Wu, John Gallagher, Huayang Guo, Junfeng Yang
2011SOSPPractical software model checking via dynamic interface reduction.Huayang Guo, Ming Wu, Lidong Zhou, Gang Hu, Junfeng Yang, Lintao Zhang
2011SOSPPervasive detection of process races in deployed systems.Oren Laadan, Nicolas Viennot, Chia-Che Tsai, Chris Blinn, Junfeng Yang, Jason Nieh
2010OOPSLAScalable and systematic detection of buggy inconsistencies in source code.Mark Gabel, Junfeng Yang, Yuan Yu, Moiss Goldszmidt, Zhendong Su
2010OSDIStable Deterministic Multithreading through Schedule Memoization.Heming Cui, Jingyue Wu, Chia-Che Tsai, Junfeng Yang
2010OSDIBypassing Races in Live Applications with Execution Filters.Jingyue Wu, Heming Cui, Junfeng Yang
2010VCIPPractical compressive sensing with Toeplitz and circulant matrices.Wotao Yin, Simon P. Morgan, Junfeng Yang, Yin Zhang
2009NSDIMODIST: Transparent Model Checking of Unmodified Distributed Systems.Junfeng Yang, Tisheng Chen, Ming Wu, Zhilei Xu, Xuezheng Liu, Haoxiang Lin, Mao Yang, Fan Long, Lintao Zhang, Lidong Zhou
2006OSDIEXPLODE: A Lightweight, General System for Finding Serious Storage System Errors.Junfeng Yang, Can Sar, Dawson R. Engler
2006SPAutomatically Generating Malicious Disks using Symbolic Execution.Junfeng Yang, Can Sar, Paul Twohey, Cristian Cadar, Dawson R. Engler
2004OSDIUsing Model Checking to Find Serious File System Errors (Awarded Best Paper!).Junfeng Yang, Paul Twohey, Dawson R. Engler, Madanlal Musuvathi
2003CCSMECA: an extensible, expressive system and language for statically checking security properties.Junfeng Yang, Ted Kremenek, Yichen Xie, Dawson R. Engler
2001SOSPAn Empirical Study of Operating System Errors.Andy Chou, Junfeng Yang, Benjamin Chelf, Seth Hallem, Dawson R. Engler