Biblio

Export 15 results:
Filters: Author is Junfeng Yang  [Clear All Filters]
2023
Eldeeb T, Xie X, Bernstein PA, Cidon A, Yang J.  2023.  Chardonnay: Fast and General Datacenter Transactions for On-Disk Databases. 17th USENIX Symposium on Operating Systems Design and Implementation (OSDI 23). :343--360.
2022
David Y, Sun X, Sofaer RJ, Senthilnathan A, Yang J, Zuo Z, Xu GHarry, Nieh J, Gu R.  2022.  UPGRADVISOR: Early Adopting Dependency Updates Using Hybrid Program Analysis and Hardware Tracing. 16th USENIX Symposium on Operating Systems Design and Implementation (OSDI 22). :751--767.
Zhong Y, Li H, Wu YJian, Zarkadas I, Tao J, Mesterhazy E, Makris M, Yang J, Tai A, Stutsman R et al..  2022.  XRP: In-Kernel Storage Functions with eBPF. 16th USENIX Symposium on Operating Systems Design and Implementation (OSDI 22). :375--393.
2018
Wang S, Pei K, Whitehouse J, Yang J, Jana S.  2018.  Formal Security Analysis of Neural Networks using Symbolic Intervals. 27th USENIX Security Symposium (USENIX Security 18). :1599--1614.
2016
Williams-King D, Gobieski G, Williams-King K, Blake JP, Yuan X, Colp P, Zheng M, Kemerlis VP, Yang J, Aiello W.  2016.  Shuffler: Fast and Deployable Continuous Code Re-Randomization. 12th USENIX Symposium on Operating Systems Design and Implementation (OSDI 16). :367--382.
2015
Tang Y, Yang J.  2015.  Secure Deduplication of General Computations. 2015 USENIX Annual Technical Conference (USENIX ATC 15). :319--331.
2012
Yang J, Cui A, Stolfo S, Sethumadhavan S.  2012.  Concurrency Attacks. 4th USENIX Workshop on Hot Topics in Parallelism (HotPar 12).
2011
Xie Y, Panigrahy R, Yang J, Verbowski C, Kumar A.  2011.  Context-based Online Configuration-Error Detection. 2011 USENIX Annual Technical Conference (USENIX ATC 11).
Ke Q, Prabhakaran V, Xie Y, Yu Y, Wu J, Yang J.  2011.  Optimizing Data Partitioning for Data-Parallel Computing. 13th Workshop on Hot Topics in Operating Systems (HotOS XIII).
2010
Wu J, Cui H, Yang J.  2010.  Bypassing Races in Live Applications with Execution Filters. 9th USENIX Symposium on Operating Systems Design and Implementation (OSDI 10).
2009
Yang J, Chen T, Wu M, Xu Z, Liu X, Lin H, Yang M, Long F, Zhang L, Zhou L.  2009.  MODIST: Transparent Model Checking of Unmodified Distributed Systems. 6th USENIX Symposium on Networked Systems Design and Implementation (NSDI 09).
2006
Yang J, Sar C, Engler D.  2006.  EXPLODE: A Lightweight, General System for Finding Serious Storage System Errors. 7th USENIX Symposium on Operating Systems Design and Implementation (OSDI 06).
2004
Yang J, Twohey P, Engler D, Musuvathi M.  2004.  Using Model Checking to Find Serious File System Errors. 6th Symposium on Operating Systems Design & Implementation (OSDI 04).