Biblio

Export 13 results:
Filters: Author is Baris Kasikci  [Clear All Filters]
2022
Quinn A, Flinn J, Cafarella M, Kasikci B.  2022.  Debugging the OmniTable Way. 16th USENIX Symposium on Operating Systems Design and Implementation (OSDI 22). :357--373.
Ma H, Ahmad H, Goel A, Goldweber E, Jeannin J-B, Kapritsos M, Kasikci B.  2022.  Sift: Using Refinement-guided Automation to Verify Complex Distributed Systems. 2022 USENIX Annual Technical Conference (USENIX ATC 22). :151--166.
2021
Khan TAhmed, Neal I, Pokam G, Mozafari B, Kasikci B.  2021.  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.
Loughlin K, Neal I, Ma J, Tsai E, Weisse O, Narayanasamy S, Kasikci B.  2021.  DOLMA: Securing Speculation with the Principle of Transient Non-Observability. 30th USENIX Security Symposium (USENIX Security 21). :1397--1414.
Neal I, Zuo G, Shiple E, Khan TAhmed, Kwon Y, Peter S, Kasikci B.  2021.  Rethinking File Mapping for Persistent Memory. 19th USENIX Conference on File and Storage Technologies (FAST 21). :97--111.
2020
Neal I, Reeves B, Stoler B, Quinn A, Kwon Y, Peter S, Kasikci B.  2020.  AGAMOTTO: How Persistent is your Persistent Memory Application? 14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20). :1047--1064.
2018
Thalheim J, Bhatotia P, Fonseca P, Kasikci B.  2018.  Cntr: Lightweight OS Containers. 2018 USENIX Annual Technical Conference (USENIX ATC 18). :199--212.
Van Bulck J, Minkin M, Weisse O, Genkin D, Kasikci B, Piessens F, Silberstein M, Wenisch TF, Yarom Y, Strackx R.  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.
Cui W, Ge X, Kasikci B, Niu B, Sharma U, Wang R, Yun I.  2018.  REPT: Reverse Debugging of Failures in Deployed Software. 13th USENIX Symposium on Operating Systems Design and Implementation (OSDI 18). :17--32.
2015
Kasikci B, Pereira C, Pokam G, Schubert B, Musuvathi M, Candea G.  2015.  Failure Sketches: A Better Way to Debug. 15th Workshop on Hot Topics in Operating Systems (HotOS XV).
2014
Kasikci B, Ball T, Candea G, Erickson J, Musuvathi M.  2014.  Efficient Tracing of Cold Code via Bias-Free Sampling. 2014 USENIX Annual Technical Conference (USENIX ATC 14). :243--254.
2013
Zamfir C, Kasikci B, Kinder J, Bugnion E, Candea G.  2013.  Automated Debugging for Arbitrarily Long Executions. 14th Workshop on Hot Topics in Operating Systems (HotOS XIV).
2012
Kasikci B, Zamfir C, Candea G.  2012.  CORD: A Collaborative Framework for Distributed Data Race Detection. Eighth Workshop on Hot Topics in System Dependability (HotDep 12).