USENIX supports diversity, equity, and inclusion and condemns hate and discrimination.
Biblio
Export 13 results:
Filters: Author is Baris Kasikci [Clear All Filters]
Debugging the OmniTable Way. 16th USENIX Symposium on Operating Systems Design and Implementation (OSDI 22). :357--373.
.
2022. Sift: Using Refinement-guided Automation to Verify Complex Distributed Systems. 2022 USENIX Annual Technical Conference (USENIX ATC 22). :151--166.
.
2022. DMon: Efficient Detection and Correction of Data Locality Problems Using Selective Profiling. 15th {USENIX} Symposium on Operating Systems Design and Implementation ({OSDI} 21). :163--181.
.
2021. DOLMA: Securing Speculation with the Principle of Transient Non-Observability. 30th USENIX Security Symposium (USENIX Security 21). :1397--1414.
.
2021. Rethinking File Mapping for Persistent Memory. 19th USENIX Conference on File and Storage Technologies (FAST 21). :97--111.
.
2021. AGAMOTTO: How Persistent is your Persistent Memory Application? 14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20). :1047--1064.
.
2020. Cntr: Lightweight OS Containers. 2018 USENIX Annual Technical Conference (USENIX ATC 18). :199--212.
.
2018. Foreshadow: Extracting the Keys to the Intel SGX Kingdom with Transient Out-of-Order Execution. 27th USENIX Security Symposium (USENIX Security 18). :991–1008.
.
2018. REPT: Reverse Debugging of Failures in Deployed Software. 13th USENIX Symposium on Operating Systems Design and Implementation (OSDI 18). :17--32.
.
2018. Failure Sketches: A Better Way to Debug. 15th Workshop on Hot Topics in Operating Systems (HotOS XV).
.
2015. Efficient Tracing of Cold Code via Bias-Free Sampling. 2014 USENIX Annual Technical Conference (USENIX ATC 14). :243--254.
.
2014. Automated Debugging for Arbitrarily Long Executions. 14th Workshop on Hot Topics in Operating Systems (HotOS XIV).
.
2013. CORD: A Collaborative Framework for Distributed Data Race Detection. Eighth Workshop on Hot Topics in System Dependability (HotDep 12).
.
2012.