Google
Google Scholar
Semantic Scholar
MS Academic
CiteSeerX
ORCIDJunfeng Yang
This is just a disambiguation page, and is not intended to be the bibliography of an actual person. Any publication listed on this page has not been assigned to an actual author yet. If you know the true author of one of the publications listed below, you are welcome to contact us.
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2021
[j40]Xu Yang
, Chaoqun Jiao, Junfeng Yang, Jing Fan, Dingzhen Li, Bao Wang:
Bandwidth Enhancement for Wireless Power Transfer System Employing Non-Linear Resonator. IEEE Access 9: 485-496 (2021)- 2020
- [j39]Junfeng Yang, Wei Zhang, Xiaolong Li, Ting Zhou, Bo Ou:
Full Reference Image Quality Assessment by Considering Intra-Block Structure and Inter-Block Texture. IEEE Access 8: 179702-179715 (2020) - [j38]Junfeng Yang, Xiaodong Zhang, Kaijian Zhang, Xiaoyang Cui, Chaoqun Jiao, Xu Yang:
Design of LCC-S Compensation Topology and Optimization of Misalignment Tolerance for Inductive Power Transfer. IEEE Access 8: 191309-191318 (2020) - [j37]Junfeng Yang, Xiaodong Zhang, Kaijian Zhang, Xiaoyang Cui, Chaoqun Jiao, Xu Yang:
An LCC-SP Compensated Inductive Power Transfer System and Design Considerations for Enhancing Misalignment Tolerance. IEEE Access 8: 193285-193296 (2020) - [j36]Si Chen, Sujing Zhang, Grace Yue Qi, Junfeng Yang:
Games Literacy for Teacher Education: Towards the Implementation of Game-based Learning. J. Educ. Technol. Soc. 23(2): 77-92 (2020) - [j35]Junfeng Yang, Yuwen Huang, Fuxian Huang, Gongping Yang:
Photoplethysmography Biometric Recognition Model Based on Sparse Softmax Vector and k-Nearest Neighbor. J. Electr. Comput. Eng. 2020: 9653470:1-9653470:9 (2020) - [j34]Hongwei Yu, Kezhu Song, Junfeng Yang, Chuan Wu, Ke Zhong, Wengui Lv:
Modeling and Research on Power System of Distributed Sensor Networks for Long Streamers in Marine Seismic Exploration. Sensors 20(1): 28 (2020) - [j33]Guoyong Gu, Junfeng Yang:
Tight Sublinear Convergence Rate of the Proximal Point Algorithm for Maximal Monotone Inclusion Problems. SIAM J. Optim. 30(3): 1905-1921 (2020) - [c62]Yang Tang, Junfeng Yang:
Lambdata: Optimizing Serverless Computing by Making Data Intents Explicit. CLOUD 2020: 294-303 - [c61]David Williams-King, Hidenori Kobayashi, Kent Williams-King, Graham Patterson, Frank Spano, Yu Jian Wu, Junfeng Yang, Vasileios P. Kemerlis:
Egalito: Layout-Agnostic Binary Recompilation. ASPLOS 2020: 133-147 - [c60]Xinhao Yuan, Junfeng Yang:
Effective Concurrency Testing for Distributed Systems. ASPLOS 2020: 1141-1156 - [c59]Robby Costales, Chengzhi Mao, Raphael Norwitz, Bryan Kim, Junfeng Yang:
Live Trojan Attacks on Deep Neural Networks. CVPR Workshops 2020: 3460-3469 - [c58]Chengzhi Mao, Amogh Gupta, Vikram Nitin, Baishakhi Ray, Shuran Song, Junfeng Yang, Carl Vondrick:
Multitask Learning Strengthens Adversarial Robustness. ECCV (2) 2020: 158-174 - [i16]Robby Costales, Chengzhi Mao, Raphael Norwitz, Bryan Kim, Junfeng Yang:
Live Trojan Attacks on Deep Neural Networks. CoRR abs/2004.11370 (2020) - [i15]Chengzhi Mao, Amogh Gupta, Vikram Nitin, Baishakhi Ray, Shuran Song, Junfeng Yang, Carl Vondrick:
Multitask Learning Strengthens Adversarial Robustness. CoRR abs/2007.07236 (2020) - [i14]Kexin Pei, Jonas Guan, David Williams-King, Junfeng Yang, Suman Jana:
XDA: Accurate, Robust Disassembly with Transfer Learning. CoRR abs/2010.00770 (2020) - [i13]Jake Lee, Junfeng Yang, Zhangyang Wang:
What Does CNN Shift Invariance Look Like? A Visualization Study. CoRR abs/2011.04127 (2020) - [i12]Kexin Pei, Zhou Xuan, Junfeng Yang, Suman Jana, Baishakhi Ray:
Trex: Learning Execution Semantics from Micro-Traces for Binary Similarity. CoRR abs/2012.08680 (2020) - [i11]Chengzhi Mao, Amogh Gupta, Augustine Cha, Hao Wang, Junfeng Yang, Carl Vondrick:
Generative Interventions for Causal Learning. CoRR abs/2012.12265 (2020)
2010 – 2019
- 2019
- [j32]Kexin Pei, Yinzhi Cao, Junfeng Yang, Suman Jana:
DeepXplore: automated whitebox testing of deep learning systems. Commun. ACM 62(11): 137-145 (2019) - [j31]Junfeng Yang, Huiju Yu, Nian-Shing Chen:
Using blended synchronous classroom approach to promote learning performance in rural area. Comput. Educ. 141 (2019) - [j30]Kexin Pei, Shiqi Wang, Yuchi Tian, Justin Whitehouse, Carl Vondrick, Yinzhi Cao, Baishakhi Ray, Suman Jana, Junfeng Yang:
Bringing Engineering Rigor to Deep Learning. ACM SIGOPS Oper. Syst. Rev. 53(1): 59-67 (2019) - [j29]I-Chun Hung, Shih-Chieh Wang, Yueh-hui Vanessa Chiang, Junfeng Yang, Kinshuk, Nian-Shing Chen:
The effects of a dual adaptive strategy with gesture recognition and perceived exertion on training efficiency of elders' functional fitness. Smart Learn. Environ. 6(1): 15 (2019) - [c57]Chengzhi Mao, Ziyuan Zhong, Junfeng Yang, Carl Vondrick, Baishakhi Ray:
Metric Learning for Adversarial Robustness. NeurIPS 2019: 478-489 - [c56]Dongdong She, Kexin Pei, Dave Epstein, Junfeng Yang, Baishakhi Ray, Suman Jana:
NEUZZ: Efficient Fuzzing with Neural Program Smoothing. IEEE Symposium on Security and Privacy 2019: 803-817 - [i10]Chengzhi Mao, Ziyuan Zhong, Junfeng Yang, Carl Vondrick, Baishakhi Ray:
Metric Learning for Adversarial Robustness. CoRR abs/1909.00900 (2019) - [i9]Guangyu Shen, Chengzhi Mao, Junfeng Yang, Baishakhi Ray:
Unrestricted Adversarial Attacks for Semantic Segmentation. CoRR abs/1910.02354 (2019) - 2018
- [j28]Shiqi Tao, Xiaoqing Zhang, Yaowu Wang, Junfeng Yang:
Transient Behavior Analysis of Offshore Wind Turbines During Lightning Strike to Multi-Blade. IEEE Access 6: 22070-22083 (2018) - [j27]Xiaochao Zhao, Yaping Lin, Bo Ou, Junfeng Yang:
Directional gradients integration image for illumination insensitive face representation. Mach. Vis. Appl. 29(5): 815-825 (2018) - [j26]Xiaolong Li, Yifu Yang, Jun Cai, Yun Deng, Junfeng Yang, Xinmin Zhou, Lina Tan:
Plils: A Practical Indoor Localization System through Less Expensive Wireless Chips via Subregion Clustering. Sensors 18(1): 205 (2018) - [j25]Kexin Pei, Yinzhi Cao, Junfeng Yang, Suman Jana:
DeepXplore: Automated Whitebox Testing of Deep Learning Systems. GetMobile Mob. Comput. Commun. 22(3): 36-38 (2018) - [j24]Junfeng Yang, Hui Pan, Weiying Zhou, Ronghuai Huang:
Evaluation of smart classroom from the perspective of infusing technology into pedagogy. Smart Learn. Environ. 5(1): 20 (2018) - [c55]Xinhao Yuan, Junfeng Yang, Ronghui Gu:
Partial Order Aware Concurrency Sampling. CAV (2) 2018: 317-335 - [c54]Yinzhi Cao, Alexander Fangxiao Yu, Andrew Aday, Eric Stahl, Jon Merwine, Junfeng Yang:
Efficient Repair of Polluted Machine Learning Systems via Causal Unlearning. AsiaCCS 2018: 735-747 - [c53]Hao Zhou, Ming Chen, Qian Lin, Yong Wang, Xiaobin She, Sifan Liu, Rui Gu, Beng Chin Ooi, Junfeng Yang:
Overload Control for Scaling WeChat Microservices. SoCC 2018: 149-161 - [c52]Shixiong Zhao, Rui Gu, Haoran Qiu, Tsz On Li, Yuexuan Wang, Heming Cui, Junfeng Yang:
OWL: Understanding and Detecting Concurrency Attacks. DSN 2018: 219-230 - [c51]Shiqi Wang, Kexin Pei, Justin Whitehouse, Junfeng Yang, Suman Jana:
Efficient Formal Safety Analysis of Neural Networks. NeurIPS 2018: 6369-6379 - [c50]Gang Hu, Linjie Zhu, Junfeng Yang:
AppFlow: using machine learning to synthesize robust, reusable UI tests. ESEC/SIGSOFT FSE 2018: 269-282 - [c49]Shiqi Wang, Kexin Pei, Justin Whitehouse, Junfeng Yang, Suman Jana:
Formal Security Analysis of Neural Networks using Symbolic Intervals. USENIX Security Symposium 2018: 1599-1614 - [i8]Shiqi Wang, Kexin Pei, Justin Whitehouse, Junfeng Yang, Suman Jana:
Formal Security Analysis of Neural Networks using Symbolic Intervals. CoRR abs/1804.10829 (2018) - [i7]Hao Zhou, Ming Chen, Qian Lin, Yong Wang, Xiaobin She, Sifan Liu, Rui Gu, Junfeng Yang:
Scalable Overload Control for Large-scale Microservice Architecture. CoRR abs/1806.04075 (2018) - [i6]Dongdong She, Kexin Pei, Dave Epstein, Junfeng Yang, Baishakhi Ray, Suman Jana:
NEUZZ: Efficient Fuzzing with Neural Program Learning. CoRR abs/1807.05620 (2018) - [i5]Shiqi Wang, Kexin Pei, Justin Whitehouse, Junfeng Yang, Suman Jana:
Efficient Formal Safety Analysis of Neural Networks. CoRR abs/1809.08098 (2018) - 2017
- [j23]Junqiang Jiang, Yaping Lin, Guoqi Xie, Li Fu, Junfeng Yang:
Time and Energy Optimization Algorithms for the Static Scheduling of Multiple Workflows in Heterogeneous Computing System. J. Grid Comput. 15(4): 435-456 (2017) - [j22]Fang Lyu, Yaping Lin, Junfeng Yang:
An Efficient and Packing-Resilient Two-Phase Android Cloned Application Detection Approach. Mob. Inf. Syst. 2017: 6958698:1-6958698:12 (2017) - [c48]Ronghuai Huang, Rongxia Zhuang, Junfeng Yang:
Promoting Citizen's Learning Experience in Smart Cities. ICBL 2017: 15-25 - [c47]Junfeng Yang, Xueyang Fu, Yuwen Hu, Yue Huang, Xinghao Ding, John W. Paisley:
PanNet: A Deep Network Architecture for Pan-Sharpening. ICCV 2017: 1753-1761 - [c46]Na Li, Fang Liu, Jing Li, Junfeng Yang, Tuanjie Zheng:
A variational method using Riemannian metric for SAR image segmentation. IGARSS 2017: 787-790 - [c45]Kexin Pei, Yinzhi Cao, Junfeng Yang, Suman Jana:
DeepXplore: Automated Whitebox Testing of Deep Learning Systems. SOSP 2017: 1-18 - [i4]Miguel A. Arroyo, Hidenori Kobayashi, Simha Sethumadhavan, Junfeng Yang:
FIRED: Frequent Inertial Resets with Diversification for Emerging Commodity Cyber-Physical Systems. CoRR abs/1702.06595 (2017) - [i3]Kexin Pei, Yinzhi Cao, Junfeng Yang, Suman Jana:
DeepXplore: Automated Whitebox Testing of Deep Learning Systems. CoRR abs/1705.06640 (2017) - [i2]Kexin Pei, Yinzhi Cao, Junfeng Yang, Suman Jana:
Towards Practical Verification of Machine Learning: The Case of Computer Vision Systems. CoRR abs/1712.01785 (2017) - 2016
- [j21]Liusheng Hou, Hongjin He, Junfeng Yang:
A partially parallel splitting method for multiple-block separable convex programming with applications to robust PCA. Comput. Optim. Appl. 63(1): 273-303 (2016) - [j20]Junfeng Yang, Yaping Lin, Bo Ou, Xiaochao Zhao:
Image decomposition-based structural similarity index for image quality assessment. EURASIP J. Image Video Process. 2016: 31 (2016) - [c44]Yang Tang, Gang Hu, Xinhao Yuan, Lingmei Weng, Junfeng Yang:
Grandet: A Unified, Economical Object Store for Web Applications. SoCC 2016: 196-209 - [c43]Rongxia Zhuang, Junfeng Yang, Bo Li, Ying Zhang, Ronghuai Huang:
The Framework of Digital Learning Capacity for Digital Natives. ICALT 2016: 386-390 - [c42]David Williams-King, Graham Gobieski, Kent Williams-King, James P. Blake, Xinhao Yuan, Patrick Colp, Michelle Zheng, Vasileios P. Kemerlis, Junfeng Yang, William Aiello:
Shuffler: Fast and Deployable Continuous Code Re-Randomization. OSDI 2016: 367-382 - [c41]Eric Koskinen, Junfeng Yang:
Reducing crash recoverability to reachability. POPL 2016: 97-108 - [c40]Fang Lyu, Yapin Lin, Junfeng Yang, Junhai Zhou:
SUIDroid: An Efficient Hardening-Resilient Approach to Android App Clone Detection. Trustcom/BigDataSE/ISPA 2016: 511-518 - 2015
- [j19]Xiaochao Zhao, Yaping Lin, Bo Ou, Junfeng Yang, Zhelun Wu:
Face recognition using local gradient binary count pattern. J. Electronic Imaging 24(6): 063003 (2015) - [j18]Xiaochao Zhao, Yaping Lin, Bo Ou, Junfeng Yang:
A Wavelet-Based Image Preprocessing Method or Illumination Insensitive Face Recognition. J. Inf. Sci. Eng. 31(5): 1711-1731 (2015) - [j17]Caihua Chen, Raymond H. Chan, Shiqian Ma, Junfeng Yang:
Inertial Proximal ADMM for Linearly Constrained Separable Convex Optimization. SIAM J. Imaging Sci. 8(4): 2239-2267 (2015) - [j16]Caihua Chen, Shiqian Ma, Junfeng Yang:
A General Inertial Proximal Point Algorithm for Mixed Variational Inequality Problem. SIAM J. Optim. 25(4): 2120-2142 (2015) - [j15]Xinhao Yuan, David Williams-King, Junfeng Yang, Simha Sethumadhavan:
Making Lock-free Data Structures Verifiable with Artificial Transactions. ACM SIGOPS Oper. Syst. Rev. 49(2): 57-63 (2015) - [c39]Heming Cui, Rui Gu, Cheng Liu, Junfeng Yang:
RepFrame: An Efficient and Transparent Framework for Dynamic Program Analysis. APSys 2015: 13:1-13:9 - [c38]Suzanna Schmeelk, Junfeng Yang, Alfred V. Aho:
Android Malware Static Analysis Techniques. CISR 2015: 5:1-5:8 - [c37]Yuanyuan Wang, Yaping Lin, Junfeng Yang:
KD-tree based clustering algorithm for fast face recognition on large-scale data. ICDIP 2015: 96311I - [c36]Ronghuai Huang, Junfeng Yang, Yongbin Hu, Xiaochen Wang:
Development and Use of a Questionnaire for Evaluating K-12 Smart Classroom. ICHL 2015: 218-230 - [c35]Xinhao Yuan, David Williams-King, Junfeng Yang, Simha Sethumadhavan:
Making lock-free data structures verifiable with artificial transactions. PLOS@SOSP 2015: 39-45 - [c34]Heming Cui, Rui Gu, Cheng Liu, Tianyu Chen, Junfeng Yang:
Paxos made transparent. SOSP 2015: 105-120 - [c33]Yinzhi Cao, Junfeng Yang:
Towards Making Systems Forget with Machine Unlearning. IEEE Symposium on Security and Privacy 2015: 463-480 - [c32]Yang Tang, Junfeng Yang:
Secure Deduplication of General Computations. USENIX Annual Technical Conference 2015: 319-331 - [i1]Yan Cui, Quan Chen, Junfeng Yang:
Automatic In-vivo Evolution of Kernel Policies for Better Performance. CoRR abs/1508.06356 (2015) - 2014
- [j14]Junfeng Yang, Heming Cui, Jingyue Wu, Yang Tang, Gang Hu:
Making parallel programs reliable with stable multithreading. Commun. ACM 57(3): 58-69 (2014) - [j13]Junfeng Yang, Kinshuk, Huiju Yu, Sue-Jen Chen, Ronghuai Huang:
Strategies for Smooth and Effective Cross-Cultural Online Collaborative Learning. J. Educ. Technol. Soc. 17(3): 208-221 (2014) - [j12]Guoyong Gu, Bingsheng He, Junfeng Yang:
Inexact Alternating-Direction-Based Contraction Methods for Separable Linearly Constrained Convex Optimization. J. Optim. Theory Appl. 163(1): 105-129 (2014) - [j11]Jianfei An, Kezhu Song, Shuangxi Zhang, Junfeng Yang, Ping Cao:
Design of a Broadband Electrical Impedance Matching Network for Piezoelectric Ultrasound Transducers Based on a Genetic Algorithm. Sensors 14(4): 6828-6843 (2014) - [c31]Gang Hu, Xinhao Yuan, Yang Tang, Junfeng Yang:
Efficiently, effectively detecting mobile app bugs with AppDoctor. EuroSys 2014: 18:1-18:15 - [c30]Junfeng Yang:
A Method for Evaluating Technology-Rich Classroom Environment. ICSLE 2014: 31-40 - 2013
- [j10]Junfeng Yang, Xiaoming Yuan:
Linearized augmented Lagrangian and alternating direction methods for nuclear norm minimization. Math. Comput. 82(281): 301-329 (2013) - [j9]Junfeng Yang, Defeng Sun, Kim-Chuan Toh:
A Proximal Point Algorithm for Log-Determinant Optimization with Group Lasso Regularization. SIAM J. Optim. 23(2): 857-893 (2013) - [c29]Heming Cui, Gang Hu, Jingyue Wu, Junfeng Yang:
Verifying systems rules using rule-directed symbolic execution. ASPLOS 2013: 329-342 - [c28]Junfeng Yang, Heming Cui, Jingyue Wu:
Determinism Is Overrated: What Really Makes Multithreaded Programs Hard to Get Right and What Can Be Done About It. HotPar 2013 - [c27]Jingyue Wu, Gang Hu, Yang Tang, Junfeng Yang:
Effective dynamic detection of alias analysis errors. ESEC/SIGSOFT FSE 2013: 279-289 - [c26]Heming Cui, Jirí Simsa, Yi-Hong Lin, Hao Li, Ben Blum, Xinan Xu, Junfeng Yang, Garth A. Gibson, Randal E. Bryant:
Parrot: a practical runtime for deterministic, stable, and reliable threads. SOSP 2013: 388-405 - [c25]Junfeng Yang, Ronghuai Huang, Yanyan Li:
Optimizing Classroom Environment to Support Technology Enhanced Learning. CHI-KDD 2013: 275-284 - [c24]Guang Chen, Chaohua Gong, Junfeng Yang, Xiaoxuan Yang, Ronghuai Huang:
The Concept of eTextbooks in K-12 Classes from the Perspective of Its Stakeholders. CHI-KDD 2013: 319-325 - 2012
- [c23]Junfeng Yang, Ang Cui, Salvatore J. Stolfo, Simha Sethumadhavan:
Concurrency Attacks. HotPar 2012 - [c22]Angelos D. Keromytis, Roxana Geambasu, Simha Sethumadhavan, Salvatore J. Stolfo, Junfeng Yang, Azzedine Benameur, Marc Dacier, Matthew C. Elder, Darrell M. Kienzle, Angelos Stavrou:
The MEERKATS Cloud Security Architecture. ICDCS Workshops 2012: 446-450 - [c21]Ronghuai Huang, Haisen Zhang, Yushun Li, Junfeng Yang:
A Framework of Designing Learning Activities for Mobile Learning. ICHL 2012: 9-22 - [c20]Jingyue Wu, Yang Tang, Gang Hu, Heming Cui, Junfeng Yang:
Sound and precise analysis of parallel programs through schedule specialization. PLDI 2012: 205-216 - 2011
- [j8]Raymond H. Chan, Junfeng Yang, Xiaoming Yuan:
Alternating Direction Method for Image Inpainting in Wavelet Domains. SIAM J. Imaging Sci. 4(3): 807-826 (2011) - [j7]Junfeng Yang, Yin Zhang:
Alternating Direction Algorithms for 1-Problems in Compressive Sensing. SIAM J. Sci. Comput. 33(1): 250-278 (2011) - [c19]Angelos D. Keromytis, Salvatore J. Stolfo, Junfeng Yang, Angelos Stavrou, Anup K. Ghosh, Dawson R. Engler, Marc Dacier, Matthew C. Elder, Darrell M. Kienzle:
The MINESTRONE Architecture Combining Static and Dynamic Analysis Techniques for Software Security. SysSec@DIMVA 2011: 53-56 - [c18]Simha Sethumadhavan, Salvatore J. Stolfo, Angelos D. Keromytis, Junfeng Yang, David I. August:
The SPARCHS Project: Hardware Support for Software Security. SysSec@DIMVA 2011: 119-122 - [c17]Qifa Ke, Vijayan Prabhakaran, Yinglian Xie, Yuan Yu, Jingyue Wu, Junfeng Yang:
Optimizing Data Partitioning for Data-Parallel Computing. HotOS 2011 - [c16]Huayang Guo, Ming Wu, Lidong Zhou, Gang Hu, Junfeng Yang, Lintao Zhang:
Practical software model checking via dynamic interface reduction. SOSP 2011: 265-278 - [c15]Heming Cui, Jingyue Wu, John Gallagher, Huayang Guo, Junfeng Yang:
Efficient deterministic multithreading through schedule relaxation. SOSP 2011: 337-351 - [c14]Oren Laadan, Nicolas Viennot, Chia-che Tsai, Chris Blinn, Junfeng Yang, Jason Nieh:
Pervasive detection of process races in deployed systems. SOSP 2011: 353-367 - [c13]Yinglian Xie, Rina Panigrahy, Junfeng Yang, Chad Verbowski, Arunvijay Kumar:
Context-based Online Configuration-Error Detection. USENIX Annual Technical Conference 2011 - 2010
- [j6]Junfeng Yang, Yin Zhang, Wotao Yin:
A Fast Alternating Direction Method for TVL1-L2 Signal Reconstruction From Partial Fourier Data. IEEE J. Sel. Top. Signal Process. 4(2): 288-297 (2010) - [c12]Mark Gabel, Junfeng Yang, Yuan Yu, Moisés Goldszmidt, Zhendong Su:
Scalable and systematic detection of buggy inconsistencies in source code. OOPSLA 2010: 175-190 - [c11]Jingyue Wu, Heming Cui, Junfeng Yang:
Bypassing Races in Live Applications with Execution Filters. OSDI 2010: 135-149 - [c10]Heming Cui, Jingyue Wu, Chia-che Tsai, Junfeng Yang:
Stable Deterministic Multithreading through Schedule Memoization. OSDI 2010: 207-221 - [c9]Wotao Yin, Simon P. Morgan, Junfeng Yang, Yin Zhang:
Practical compressive sensing with Toeplitz and circulant matrices. VCIP 2010: 77440K
2000 – 2009
- 2009
- [j5]Junfeng Yang, Wotao Yin, Yin Zhang, Yilun Wang:
A Fast Algorithm for Edge-Preserving Variational Multichannel Image Restoration. SIAM J. Imaging Sci. 2(2): 569-592 (2009) - [j4]Junfeng Yang, Yin Zhang, Wotao Yin:
An Efficient TVL1 Algorithm for Deblurring Multichannel Images Corrupted by Impulsive Noise. SIAM J. Sci. Comput. 31(4): 2842-2865 (2009) - [j3]John MacCormick, Nicholas Murphy, Venugopalan Ramasubramanian, Udi Wieder, Junfeng Yang, Lidong Zhou:
Kinesis: A new approach to replica placement in distributed storage systems. ACM Trans. Storage 4(4): 11:1-11:28 (2009) - [c8]Jianjiang Liu, Junfeng Yang, Xizhen Yang:
A Game Analysis of the Mergers and Acquisitions of Foreign Capital Based on the Perspective of Industry Security. BIFE 2009: 726-730 - [c7]Junfeng Yang, Tisheng Chen, Ming Wu, Zhilei Xu, Xuezheng Liu, Haoxiang Lin, Mao Yang, Fan Long, Lintao Zhang, Lidong Zhou:
MODIST: Transparent Model Checking of Unmodified Distributed Systems. NSDI 2009: 213-228 - 2008
- [j2]Yilun Wang, Junfeng Yang, Wotao Yin, Yin Zhang:
A New Alternating Minimization Algorithm for Total Variation Image Reconstruction. SIAM J. Imaging Sci. 1(3): 248-272 (2008) - 2006
- [j1]Junfeng Yang, Paul Twohey, Dawson R. Engler, Madanlal Musuvathi:
Using model checking to find serious file system errors. ACM Trans. Comput. Syst. 24(4): 393-423 (2006) - [c6]Junfeng Yang, Can Sar, Dawson R. Engler:
EXPLODE: A Lightweight, General System for Finding Serious Storage System Errors. OSDI 2006: 131-146 - [c5]Junfeng Yang, Can Sar, Paul Twohey, Cristian Cadar, Dawson R. Engler:
Automatically Generating Malicious Disks using Symbolic Execution. IEEE Symposium on Security and Privacy 2006: 243-257 - 2004
- [c4]Junfeng Yang, Paul Twohey, Dawson R. Engler, Madanlal Musuvathi:
Using Model Checking to Find Serious File System Errors (Awarded Best Paper!). OSDI 2004: 273-288 - [c3]Ted Kremenek, Ken Ashcraft, Junfeng Yang, Dawson R. Engler:
Correlation exploitation in error ranking. SIGSOFT FSE 2004: 83-93 - 2003
- [c2]Junfeng Yang, Ted Kremenek, Yichen Xie, Dawson R. Engler:
MECA: an extensible, expressive system and language for statically checking security properties. CCS 2003: 321-334 - 2001
- [c1]Andy Chou, Junfeng Yang, Benjamin Chelf, Seth Hallem, Dawson R. Engler:
An Empirical Study of Operating System Errors. SOSP 2001: 73-88