Junfeng Yang
Junfeng Yang
Associate Professor of Computer Science, Columbia University
Bestätigte E-Mail-Adresse bei cs.columbia.edu - Startseite
Titel
Zitiert von
Zitiert von
Jahr
An empirical study of operating systems errors
A Chou, J Yang, B Chelf, S Hallem, D Engler
Proceedings of the eighteenth ACM symposium on Operating systems principles …, 2001
10452001
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
7472017
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
4012006
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
2742009
Formal security analysis of neural networks using symbolic intervals
S Wang, K Pei, J Whitehouse, J Yang, S Jana
27th {USENIX} Security Symposium ({USENIX} Security 18), 1599-1614, 2018
2482018
Efficient formal safety analysis of neural networks
S Wang, K Pei, J Whitehouse, J Yang, S Jana
arXiv preprint arXiv:1809.08098, 2018
2122018
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
1962006
Correlation exploitation in error ranking
T Kremenek, K Ashcraft, J Yang, D Engler
ACM SIGSOFT Software Engineering Notes 29 (6), 83-93, 2004
1642004
Automatically generating malicious disks using symbolic execution
J Yang, C Sar, P Twohey, C Cadar, D Engler
2006 IEEE Symposium on Security and Privacy (S&P'06), 15 pp.-257, 2006
1412006
Stable deterministic multithreading through schedule memoization
H Cui, J Wu, C Tsai, J Yang
9th OSDI, 2010
1322010
Shuffler: Fast and deployable continuous code re-randomization
D Williams-King, G Gobieski, K Williams-King, JP Blake, X Yuan, P Colp, ...
12th {USENIX} Symposium on Operating Systems Design and Implementation …, 2016
1162016
Towards making systems forget with machine unlearning
Y Cao, J Yang
2015 IEEE Symposium on Security and Privacy, 463-480, 2015
1122015
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
1122011
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, 1-15, 2014
1092014
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
1002011
Fingerprinting event logs for system management troubleshooting
R Panigrahy, C Verbowski, Y Xie, J Yang, D Yuan
US Patent 8,069,374, 2011
992011
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
982013
Neuzz: Efficient fuzzing with neural program smoothing
D She, K Pei, D Epstein, J Yang, B Ray, S Jana
2019 IEEE Symposium on Security and Privacy (SP), 803-817, 2019
892019
Neuzz: Efficient fuzzing with neural program smoothing
D She, K Pei, D Epstein, J Yang, B Ray, S Jana
2019 IEEE Symposium on Security and Privacy (SP), 803-817, 2019
892019
Optimizing Data Partitioning for Data-Parallel Computing.
Q Ke, V Prabhakaran, Y Xie, Y Yu, J Wu, J Yang
HotOS, 2011
85*2011
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20