USENIX supports diversity, equity, and inclusion and condemns hate and discrimination.
Biblio
Export 7 results:
Filters: Author is Koushik Sen [Clear All Filters]
ObliCheck: Efficient Verification of Oblivious Algorithms with Unobservable State. 30th USENIX Security Symposium (USENIX Security 21). :2219--2236.
.
2021. Ansor: Generating High-Performance Tensor Programs for Deep Learning. 14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20). :863--879.
.
2020. PARTEMU: Enabling Dynamic Analysis of Real-World TrustZone Software Using Emulation. 29th USENIX Security Symposium (USENIX Security 20). :789--806.
.
2020. CONCURRIT: Testing Concurrent Programs with Programmable State-Space Exploration. 4th USENIX Workshop on Hot Topics in Parallelism (HotPar 12).
.
2012. FATE and DESTINI: A Framework for Cloud Recovery Testing. 8th USENIX Symposium on Networked Systems Design and Implementation (NSDI 11).
.
2011. RADBench: A Concurrency Bug Benchmark Suite. 3rd USENIX Workshop on Hot Topics in Parallelism (HotPar 11).
.
2011. Towards Automatically Checking Thousands of Failures with Micro-specifications. Sixth Workshop on Hot Topics in System Dependability (HotDep 10).
.
2010.