Biblio

Export 7 results:
Filters: Author is Koushik Sen  [Clear All Filters]
2021
Son J, Prechter G, Poddar R, Popa RAda, Sen K.  2021.  ObliCheck: Efficient Verification of Oblivious Algorithms with Unobservable State. 30th USENIX Security Symposium (USENIX Security 21). :2219--2236.
2020
Zheng L, Jia C, Sun M, Wu Z, Yu CHao, Haj-Ali A, Wang Y, Yang J, Zhuo D, Sen K et al..  2020.  Ansor: Generating High-Performance Tensor Programs for Deep Learning. 14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20). :863--879.
Harrison L, Vijayakumar H, Padhye R, Sen K, Grace M.  2020.  PARTEMU: Enabling Dynamic Analysis of Real-World TrustZone Software Using Emulation. 29th USENIX Security Symposium (USENIX Security 20). :789--806.
2012
Burnim J, Elmas T, Necula G, Sen K.  2012.  CONCURRIT: Testing Concurrent Programs with Programmable State-Space Exploration. 4th USENIX Workshop on Hot Topics in Parallelism (HotPar 12).
2011
Gunawi HS, Do T, Joshi P, Alvaro P, Hellerstein JM, Arpaci-Dusseau AC, Arpaci-Dusseau RH, Sen K, Borthakur D.  2011.  FATE and DESTINI: A Framework for Cloud Recovery Testing. 8th USENIX Symposium on Networked Systems Design and Implementation (NSDI 11).
Jalbert N, Pereira C, Pokam G, Sen K.  2011.  RADBench: A Concurrency Bug Benchmark Suite. 3rd USENIX Workshop on Hot Topics in Parallelism (HotPar 11).
2010
Gunawi HS, Do T, Joshi P, Hellerstein JM, Arpaci-Dusseau AC, Arpaci-Dusseau RH, Sen K.  2010.  Towards Automatically Checking Thousands of Failures with Micro-specifications. Sixth Workshop on Hot Topics in System Dependability (HotDep 10).