Publications

Conference Papers

1. Siloz: Leveraging DRAM Subarray Groups to Prevent Inter-VM Rowhammer Kevin Loughlin, Jonah Rosenblum, Stefan Saroiu, Alec Wolman, Dimitrios Skarlatos, Baris Kasikci . Symposium on Operating Systems Principles (to appear) (SOSP). Oct 2023

2. CrossTalk: Making Low-Latency Fault Tolerance Cheap by Exploiting Redundant Network. Andrew Loveless, Linh Thi Xuan Phan, Lisa Erickson, Ronald Dreslinski, and Baris Kasikci . [International Conference on Embedded Software (EMSOFT), Sep 2023.

3. PCspooF: Compromising the Safety of Time-Triggered Ethernet. Andrew Loveless, Linh Thi Xuan Phan, Ronald Dreslinski, and Baris Kasikci . IEEE Symposium on Security and Privacy (IEEE S&P), May 2023.

4. Vidi: Record Replay for Reconfigurable Hardware. Gefei Zuo, Jiacheng Ma, Andrew Quinn, Baris Kasikci . International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS). Mar 2023

5. Whisper: Profile-Guided Branch Misprediction Elimination for Data Center Applications. Tanvir Ahmed Khan, Muhammed Ugur, Krishnendra Nathella, Dam Sunwoo, Heiner Litz, Daniel A Jiménez, and Baris Kasikci . International Symposium on Microarchitecture (MICRO), Best Paper Award Oct 2022 .

6. OCOLOS: Online COde Layout OptimizationS. Yuxuan Zhang, Tanvir Ahmed Khan, Gilles Pokam, Baris Kasikci , Heiner Litz, and Joseph Devietti. International Symposium on Microarchitecture (MICRO). IEEE Micro Top Pick. Oct 2022. .

7. Transcendent Debugging the OmniTable Way. Andrew Quinn, Michael Cafarella, Jason Flinn, Baris Kasikci. Symposium on Operating Systems Design and Implementation. (OSDI). Carlsbad. Jul 2022

8. Sift: Using Refinement-guided Automation to Verify Complex Distributed Systems. Haojun Ma, Hammad Ahmad, Aman Goel, Eli Goldweber, Jean-Baptiste Jeannin, Manos Kapritsos, Baris Kasikci . USENIX Annual Technical Conference (Usenix ATC). Carlsbad. Jul 2022

9. MOESI-prime: Preventing Coherence-Induced Hammering in Commodity Workloads. Kevin Loughlin, Stefan Saroiu, Alec Wolman, Yatin A. Manerkar, Baris Kasikci. International Symposium on Computer Architecture (ISCA). New York. Jun 2022

10. Thermometer: Profile-Guided BTB Replacement for Data Center Applications. Shixin Song, Tanvir Ahmed Khan, Sara Mahdizadeh Shahri, Akshitha Sriraman, Niranjan K Soundararajan, Sreenivas Subramoney, Daniel A Jiménez, Heiner Litz, and Baris Kasikci . International Symposium on Computer Architecture (ISCA). New York. Jun 2022

11. APT-GET: Profile-Guided Timely Software Prefetching. Saba Jamilan, Tanvir Ahmed Khan, Grant Ayers, Baris Kasikci , Heiner Litz. European Conference on Computer Systems (EuroSys). Apr 2022

12. Debugging in the Brave New World of Reconfigurable Hardware. Jiacheng Ma, Gefei Zuo, Kevin Loughlin, Andrew Quinn, Baris Kasikci . International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS). Feb 2022

13. Twig: Profile-Guided BTB Prefetching for Data Center Applications. Tanvir Ahmed Khan, Nathan Brown, Akshitha Sriraman, Niranjan Soundararajan, Rakesh Kumar, Joseph Devietti, Sreenivas Subramoney, Gilles Pokam, Heiner Litz, Baris Kasikci . International Symposium on Microarchitecture (MICRO), Oct 2021

14. PDede: Partitioned, Deduplicated, Delta Branch Target Buffer. Niranjan Soundararajan, Peter Braun, Tanvir Ahmed Khan, Baris Kasikci , Heiner Litz, Sreenivas Subramoney. International Symposium on Microarchitecture (MICRO), Oct 2021

15. DOLMA: Securing Speculation with the Principle of Transient Non-Observability. Kevin Loughlin, Ian Neal, Jiacheng Ma, Elisa Tsai, Ofir Weisse, Satish Narayanasamy, Baris Kasikci . USENIX Security Symposium (USENIX Security), Aug 2021

16. DMon: Efficient Detection and Correction of Data Locality Problems using Selective Profiling. Tanvir Ahmed Khan, Ian Neal, Gilles Pokam, Barzan Mozafari, Baris Kasikci . Symposium on Operating Systems Design and Implementation (OSDI). Online, Jul 2021

17. Reproducing Production Failures with Execution Reconstruction. Gefei Zuo, Jiacheng Ma, Andrew Quinn, Pramod Bhatotia, Pedro Fonseca, and Baris Kasikci . Conference on Programming Language Design and Implementation (PLDI). Online, Jun 2021

18. Ripple: Profile-Guided Instruction Cache Replacement for Data Center Applications. Tanvir Ahmed Khan, Dexin Zhang, Akshitha Sriraman, Joseph Devietti, Gilles Pokam, Heiner Litz, Baris Kasikci . International Symposium on Computer Architecture (ISCA). Online, Jun 2021

19. IGOR: Accelerating Byzantine Fault Tolerance for Real-Time Systems with Eager Execution. Andrew Loveless, Ron Dreslinski, Baris Kasikci , Linh Phan. Real-Time and Embedded Technology and Applications Symposium (RTAS), May 2021

20. HIPPOCRATES: Healing Persistent Memory Bugs Without Doing Any Harm. Ian Neal, Andrew Quinn, Baris Kasikci . International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS). Apr 2021

21. Rethinking File Mapping Structures for Persistent Memory. Ian Neal, Gefei Zuo, Eric Shiple, Tanvir Ahmed Khan, Youngjin Kwon, Simon Peter, Baris Kasikci . USENIX Conference on File and Storage Technologies (FAST). Feb 2021

22. Agamotto: How Persistent is your Persistent Memory Application?. Ian Neal, Ben Reeves, Ben Stoler, Andrew Quinn, Youngjin Kwon, Simon Peter, Baris Kasikci . Symposium on Operating Systems Design and Implementation (OSDI). IEEE Micro Top Pick Honorable Mention. Nov 2020.

23. I-SPY: Context-Driven Conditional Instruction Prefetching with Coalescing. Tanvir Ahmed Khan, Akshitha Sriraman, Joseph Devietti, Gilles Pokam, Heiner Litz, Baris Kasikci . International Symposium on Microarchitecture (MICRO), Oct 2020

24. A Hypervisor for Shared-Memory FPGA Platforms. Jiacheng Ma, Gefei Zuo, Kevin Loughlin, Xiaohe Cheng, Yanqiang Liu, Abel Mulugeta Eneyew, Zhengwei Qi, Baris Kasikci . International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS). Mar 2020

25. NDA: Preventing Speculative Execution Attacks at Their Source. Ofir Weisse, Ian Neal, Kevin Loughlin, Thomas Wenisch, Baris Kasikci . International Symposium on Microarchitecture (MICRO). IEEE Micro Top Pick Honorable Mention. Columbus, OH, Oct 2019.

26. I4: Incremental Inference of Inductive Invariants for Verification of Distributed Protocols Haojun Ma, Aman Goel, Jean-Baptiste Jeannin, Manos Kapritsos, Baris Kasikci , Karem Sakallah. Symposium on Operating Systems Principles (SOSP). Oct 2019

27. Huron: Hybrid False Sharing Detection and Repair [code], Tanvir Ahmed Khan, Yifan Zhao, Gilles Pokam, Barzan Mozafari, Baris Kasikci , Conference on Programming Language Design and Implementation (PLDI). Jun 2019

28. Morpheus: A Vulnerability-Tolerant Secure Architecture Based on Ensembles of Moving Target Defenses with Churn [lightning talk] , International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), Mark Gallagher, Lauren Biernacki, Shibo Chen, Zelalem Birhanu Aweke, Salessawi Ferede Yitbarek, Misiker Tadesse Aga, Austin Harris, Zhixing Xu, Baris Kasikci , Valeria Bertacco, Sharad Malik, Mohit Tiwari, Todd Austin. April 2019

29. REPT: Reverse Debugging of Failures in Deployed Software, Weidong Cui, Xinyang Ge, Baris Kasikci , Ben Niu, Upamanyu Sharma, Ruoyu Wang, Insu Yun, Symposium on Operating Systems Design and Implementation (OSDI), Best Paper Award Oct 2018

30. Foreshadow: Extracting the Keys to the Intel SGX Kingdom with Transient Out-of-Order Execution, Jo Van Bulck, Marina Minkin, Ofir Weisse, Daniel Genkin, Baris Kasikci, Frank Piessens, Mark Silberstein, Thomas F. Wenisch, Yuval Yarom, Raoul Strackx, USENIX Security Symposium (USENIX Security), IEEE Micro Top Pick, Baltimore, MD, Aug 2018.

31. Cntr: Lightweight OS Containers, Jörg Thalheim, Pramod Bhatotia, Pedro Fonseca, Baris Kasikci , USENIX Annual Technical Conference (USENIX ATC). Jun 2018

32. Lazy Diagnosis of In-Production Concurrency Bugs Baris Kasikci , Weidong Cui, Xinyang Ge, Ben Niu. Symposium on Operating Systems Principles (SOSP). Oct 2017

33. Failure Sketching: A Technique for Automated Root Cause Diagnosis of In-Production Failures [talk video | slides]
    Baris Kasikci , Benjamin Schubert, Cristiano Pereira, Gilles Pokam, George Candea.
    Symposium on Operating Systems Principles (SOSP). Oct 2015

34. Efficient Tracing of Cold Code Via Bias-Free Sampling [talk video | slides]
    Baris Kasikci, Thomas Ball, George Candea, John Erickson, Madanlal Musuvathi
    USENIX Annual Technical Conference (USENIX ATC). Jun 2014

35. RaceMob: Crowdsourced Data Race Detection [talk video | slides]
    Baris Kasikci, Cristian Zamfir, and George Candea
    *Symposium on Operating Systems Principles (SOSP). Nov 2013

36. Data Races vs. Data Race Bugs: Telling the Difference with Portend [slides]
    Baris Kasikci, Cristian Zamfir, and George Candea
    Intl. Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS). Mar 2012

Journal Papers

1. Breaking Virtual Memory Protection and the SGX Ecosystem with Foreshadow, Jo Van Bulck, Marina Minkin, Ofir Weisse, Daniel Genkin, Baris Kasikci, Frank Piessens, Mark Silberstein, Thomas F. Wenisch, Yuval Yarom, Raoul Strackx, IEEE Micro Top Picks, 2019

2. Automated Classification of Data Races for Both Strong and Weak Memory Models, Baris Kasikci, Cristian Zamfir, and George Candea, ACM Transactions of Programming Languages and Systems (TOPLAS), 2015

Workshop Papers

1. Stop! Hammer Time: Rethinking Our Approach to Rowhammer Mitigations, Kevin Loughlin, Stefan Saroiu, Alec Wolman, Baris Kasikci . Workshop on Hot Topics in Operating Systems (HotOS). Jun 2021

2. I4: Incremental Inference of Inductive Invariants, Haojun Ma, Aman Goel, Jean Baptistte Jeannin, Manos Kapritsos, Baris Kasikci , Karem Sakallah, Workshop on Hot Topics in Operating Systems (HotOS). May 2019

3. HASE: Hardware-Assisted Symbolic Execution Jörg Thalheim, Pramod Bhatotia, Pedro Fonseca, and Baris Kasikci , KLEE Symposium. Apr 2018

4. Failure Sketches: A Better Way to Debug [slides]
   Baris Kasikci, Benjamin Schubert, Cristiano Pereira, Gilles Pokam, Madan Musuvathi, George Candea
   Workshop on Hot Topics in Operating Systems (HotOS). May 2015

5. Lockout: Efficient Testing for Deadlock Bugs [slides]
   Ali Kheradmand, Baris Kasikci, and George Candea
   Workshop on Determinism and Correctness in Parallel Programming (WoDet). Mar 2014

6. Automated Debugging for Arbitrarily Long Executions [slides]
   Cristian Zamfir, Baris Kasikci, Johannes Kinder, Edouard Bugnion, and George Candea
   Workshop on Hot Topics in Operating Systems (HotOS). May 2013

7. CORD: A Collaborative Framework for Distributed Data Race Detection [slides]
   Baris Kasikci, Cristian Zamfir, and George Candea
   Workshop on Hot Topics in System Dependability (HotDep). Oct 2012