USENIX supports diversity, equity, and inclusion and condemns hate and discrimination.
Biblio
Export 15 results:
Filters: Author is Junfeng Yang [Clear All Filters]
Chardonnay: Fast and General Datacenter Transactions for On-Disk Databases. 17th USENIX Symposium on Operating Systems Design and Implementation (OSDI 23). :343--360.
.
2023. 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.
.
2022. XRP: In-Kernel Storage Functions with eBPF. 16th USENIX Symposium on Operating Systems Design and Implementation (OSDI 22). :375--393.
.
2022. Argus: Debugging Performance Issues in Modern Desktop Applications with Annotated Causal Tracing. 2021 USENIX Annual Technical Conference (USENIX ATC 21). :193--207.
.
2021. Formal Security Analysis of Neural Networks using Symbolic Intervals. 27th USENIX Security Symposium (USENIX Security 18). :1599--1614.
.
2018. Shuffler: Fast and Deployable Continuous Code Re-Randomization. 12th USENIX Symposium on Operating Systems Design and Implementation (OSDI 16). :367--382.
.
2016. Secure Deduplication of General Computations. 2015 USENIX Annual Technical Conference (USENIX ATC 15). :319--331.
.
2015. Determinism Is Overrated: What Really Makes Multithreaded Programs Hard to Get Right and What Can Be Done About It. 5th USENIX Workshop on Hot Topics in Parallelism (HotPar 13).
.
2013. Concurrency Attacks. 4th USENIX Workshop on Hot Topics in Parallelism (HotPar 12).
.
2012. Context-based Online Configuration-Error Detection. 2011 USENIX Annual Technical Conference (USENIX ATC 11).
.
2011. Optimizing Data Partitioning for Data-Parallel Computing. 13th Workshop on Hot Topics in Operating Systems (HotOS XIII).
.
2011. Bypassing Races in Live Applications with Execution Filters. 9th USENIX Symposium on Operating Systems Design and Implementation (OSDI 10).
.
2010. MODIST: Transparent Model Checking of Unmodified Distributed Systems. 6th USENIX Symposium on Networked Systems Design and Implementation (NSDI 09).
.
2009. EXPLODE: A Lightweight, General System for Finding Serious Storage System Errors. 7th USENIX Symposium on Operating Systems Design and Implementation (OSDI 06).
.
2006. Using Model Checking to Find Serious File System Errors. 6th Symposium on Operating Systems Design & Implementation (OSDI 04).
.
2004.