Biblio

Export 12 results:
Filters: Author is Junfeng Yang  [Clear All Filters]
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).