Export 12 results:
Filters: Author is Junfeng Yang  [Clear All Filters]
Weng L, Huang P, Nieh J, Yang J.  2021.  Argus: Debugging Performance Issues in Modern Desktop Applications with Annotated Causal Tracing. 2021 {USENIX} Annual Technical Conference ({USENIX} {ATC} 21). :193--207.
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.
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.
Tang Y, Yang J.  2015.  Secure Deduplication of General Computations. 2015 {USENIX} Annual Technical Conference ({USENIX} {ATC} 15). :319--331.
Yang J, Cui A, Stolfo S, Sethumadhavan S.  2012.  Concurrency Attacks. 4th {USENIX} Workshop on Hot Topics in Parallelism (HotPar 12).
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}).
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).
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).
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).
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).