Junfeng Yang
Junfeng Yang
Associate Professor of Computer Science, Columbia University
Verifierad e-postadress på cs.columbia.edu - Startsida
TitelCiteras avÅr
An empirical study of operating systems errors
A Chou, J Yang, B Chelf, S Hallem, D Engler
ACM SIGOPS Operating Systems Review 35 (5), 73-88, 2001
Using model checking to find serious file system errors
J Yang, P Twohey, D Engler, M Musuvathi
ACM Transactions on Computer Systems (TOCS) 24 (4), 393-423, 2006
Deepxplore: Automated whitebox testing of deep learning systems
K Pei, Y Cao, J Yang, S Jana
Proceedings of the 26th Symposium on Operating Systems Principles, 1-18, 2017
MODIST: Transparent model checking of unmodified distributed systems
J Yang, T Chen, M Wu, Z Xu, X Liu, H Lin, M Yang, F Long, L Zhang, ...
Proceedings of the 6th USENIX symposium on Networked systems design and …, 2009
Explode: A lightweight, general system for finding serious storage system errors
J Yang, C Sar, D Engler
Proceedings of the 7th symposium on Operating systems design and …, 2006
Correlation exploitation in error ranking
T Kremenek, K Ashcraft, J Yang, D Engler
ACM SIGSOFT Software Engineering Notes 29 (6), 83-93, 2004
Automatically generating malicious disks using symbolic execution
J Yang, C Sar, P Twohey, C Cadar, D Engler
Security and Privacy, 2006 IEEE Symposium on, 15 pp.-257, 2006
Stable deterministic multithreading through schedule memoization
H Cui, J Wu, C Tsai, J Yang
9th OSDI, 2010
Fingerprinting event logs for system management troubleshooting
R Panigrahy, C Verbowski, Y Xie, J Yang, D Yuan
US Patent App. 12/394,451, 2009
Efficient deterministic multithreading through schedule relaxation
H Cui, J Wu, J Gallagher, H Guo, J Yang
Proceedings of the Twenty-Third ACM Symposium on Operating Systems …, 2011
Parrot: a practical runtime for deterministic, stable, and reliable threads
H Cui, J Simsa, YH Lin, H Li, B Blum, X Xu, J Yang, GA Gibson, RE Bryant
Proceedings of the Twenty-Fourth ACM Symposium on Operating Systems …, 2013
Practical software model checking via dynamic interface reduction
H Guo, M Wu, L Zhou, G Hu, J Yang, L Zhang
Proceedings of the Twenty-Third ACM Symposium on Operating Systems …, 2011
Efficiently, effectively detecting mobile app bugs with AppDoctor
G Hu, X Yuan, Y Tang, J Yang
Proceedings of the Ninth European Conference on Computer Systems, 18, 2014
Q Ke, V Prabhakaran, Y Xie, Y Yu, J Wu, J Yang
US Patent 20,130,152,057, 2013
Bypassing races in live applications with execution filters
J Wu, H Cui, J Yang
Proceedings of the Ninth Symposium on Operating Systems Design and …, 2010
MECA: an extensible, expressive system and language for statically checking security properties
J Yang, T Kremenek, Y Xie, D Engler
Proceedings of the 10th ACM conference on Computer and communications …, 2003
Formal Security Analysis of Neural Networks using Symbolic Intervals
S Wang, K Pei, J Whitehouse, J Yang, S Jana
arXiv preprint arXiv:1804.10829, 2018
Concurrency Attacks
J Yang, A Cui, J Gallagher, S Stolfo, S Sethumadhavan
Technical Report CUCS-028-11, Columbia University, 0
Context-based online configuration-error detection
D Yuan, Y Xie, R Panigrahy, J Yang, C Verbowski, A Kumar
Proceedings of the 2011 USENIX conference on USENIX annual technical …, 2011
Shuffler: Fast and Deployable Continuous Code Re-Randomization.
D Williams-King, G Gobieski, K Williams-King, JP Blake, X Yuan, P Colp, ...
OSDI, 367-382, 2016
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20