Publications

Conference Papers


  1. Finding NEMO: Nimble and Expressive Memory Observability. Shihang Li, Matthew Giordano, Tushar Garg, Rohan Kadekodi, Daniel S. Berger, Baris Kasikci, Thomas Anderson, Simon Peter. Symposium on Operating Systems Design and Implementation (OSDI). Jul 2026

  2. Diagnosing Performance Issues in Application-Defined Resources. Yigong Hu, You-Liang Huang, Haodong Zheng, Yicheng Liu, Dedong Xie, Baris Kasikci. Symposium on Operating Systems Design and Implementation (OSDI). Jul 2026

  3. Ekka: Automated Diagnosis of Silent Errors in LLM Inference. Yile Gu, Zhen Zhang, Shaowei Zhu, Xinwei Fu, Jun Wu, Yida Wang, Baris Kasikci. International Conference on Machine Learning (ICML). Jul 2026

  4. Hayroll: A Modular Wrapper for Translating C Macros and Conditional Compilation to Rust. Haoran Peng, Baris Kasikci, Gilbert Bernstein, Michael D. Ernst. Conference on Programming Language Design and Implementation (PLDI). Jun 2026

  5. Accelerating Large-Scale Reasoning Model Inference with Sparse Self-Speculative Decoding. Yilong Zhao, Jiaming Tang, Kan Zhu, Zihao Ye, Chi-Chih Chang, Chaofan Lin, Jongseok Park, Guangxuan Xiao, Mohamed S. Abdelfattah, Mingyu Gao, Baris Kasikci, Song Han, Ion Stoica. Annual Conference on Machine Learning and Systems (MLSys). May 2026

  6. RagInfer: Efficient Retrieval-Augmented Generation Inference with Lookahead Retrieval. Chien-Yu Lin, Keisuke Kamahori, Yiyu Liu, Xiaoxiang Shi, Madhav Kashyap, Yile Gu, Rulin Shao, Zihao Ye, Kan Zhu, Rohan Kadekodi, Stephanie Wang, Arvind Krishnamurthy, Luis Ceze, Baris Kasikci. Annual Conference on Machine Learning and Systems (MLSys). May 2026

  7. DynaFlow: Transparent and Flexible Intra-Device Parallelism via Programmable Operator Scheduling. Yi Pan, Yile Gu, Jinbin Luo, Yibo Wu, Ziren Wang, Hongtao Zhang, Ziyi Xu, Shengkai Lin, Baris Kasikci, Stephanie Wang. Annual Conference on Machine Learning and Systems (MLSys). May 2026

  8. Unleashing Scalable Context Parallelism for Foundation Models Pre-Training via FCP. Yilong Zhao, Xiaonan Nie, Kan Zhu, Shuang Ma, Zhichao Lai, Hongxiang Hao, Yang Zhou, Baris Kasikci, Ion Stoica. Annual Conference on Machine Learning and Systems (MLSys). May 2026

  9. PASS: A Power Adaptive Storage Server. Dedong Xie, Theano Stavrinos, Jonggyu Park, Simon Peter, Baris Kasikci, Thomas E. Anderson. European Conference on Computer Systems (EuroSys). Apr 2026

  10. Tactic: Adaptive Sparse Attention with Clustering and Distribution Fitting for Long-Context LLMs. Kan Zhu, Tian Tang, Qinyu Xu, Yile Gu, Zhichen Zeng, Rohan Kadekodi, Liangyu Zhao, Ang Li, Arvind Krishnamurthy, Baris Kasikci. International Conference on Learning Representations (ICLR). Apr 2026

  11. BlendServe: Optimizing Offline Inference with Resource-Aware Batching. Yilong Zhao, Shuo Yang, Kan Zhu, Lianmin Zheng, Baris Kasikci, Yifan Qiao, Yang Zhou, Jiarong Xing, Ion Stoica. International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS). Mar 2026

  12. Snap & Replay: A New Way to Analyze uarch-Scale Performance Bottlenecks for ML Accelerators. Ioannis Zarkadas, Amanda Tomlinson, Asaf Cidon, Baris Kasikci, Ofir Weisse. ACM Symposium on Cloud Computing ([SoCC]). Nov 2025

  13. LiteASR: Efficient Automatic Speech Recognition with Low-Rank Approximation. Keisuke Kamahori, Jungo Kasai, Noriyuki Kojima, Baris Kasikci. Conference on Empirical Methods in Natural Language Processing (EMNLP). Nov 2025

  14. Mitigating Application Resource Overload with Targeted Task Cancellation. Yigong Hu, Zeyin Zhang, Yicheng Liu, Yile Gu, Shuangyu Lei, Baris Kasikci, Peng Huang. Symposium on Operating Systems Principles (SOSP). Oct 2025

  15. NanoFlow: Towards Optimal Large Language Model Serving Throughput. Kan Zhu, Yufei Gao, Yilong Zhao, Liangyu Zhao, Gefei Zuo, Yile Gu, Dedong Xie, Tian Tang, Qinyu Xu, Zihao Ye, Keisuke Kamahori, Chien-Yu Lin, Ziren Wang, Stephanie Wang, Arvind Krishnamurthy, Baris Kasikci. Symposium on Operating Systems Design and Implementation (OSDI). Jul 2025

  16. FlashInfer: Efficient and Customizable Attention Engine for LLM Inference Serving. Zihao Ye, Lequn Chen, Ruihang Lai, Wuwei Lin, Yineng Zhang, Stephanie Wang, Tianqi Chen, Baris Kasikci, Vinod Grover, Arvind Krishnamurthy, Luis Ceze. Annual Conference on Machine Learning and Systems (MLSys). Best Paper Award May 2025.

  17. Fiddler: CPU-GPU Orchestration for Fast Inference of Mixture-of-Experts Models. Keisuke Kamahori, Tian Tang, Yile Gu, Kan Zhu, Baris Kasikci. International Conference on Learning Representations (ICLR). Apr 2025

  18. Scalable and Accurate Application-Level Crash-Consistency Testing via Representative Testing. Yile Gu, Ian Neal, Jiexiao Xu, Shaun Christopher Lee, Ayman Said, Musa Haydar, Jacob Van Geffen, Rohan Kadekodi, Andrew Quinn, Baris Kasikci. ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA). Apr 2025

  19. Palermo: Improving the Performance of Oblivious Memory using Protocol-Hardware Co-Design. Haojie Ye, Yuchen Xia, Yuhan Chen, Kuan-Yu Chen, Yichao Yuan, Shuwen Deng, Baris Kasikci, Trevor Mudge, Nishil Talati. International Symposium on High-Performance Computer Architecture (HPCA). Mar 2025

  20. From Optimal to Practical: Efficient Micro-op Cache Replacement Policies for Data Center Applications. Kan Zhu, Yilong Zhao, Yufei Gao, Peter Braun, Tanvir Ahmed Khan, Heiner Litz, Baris Kasikci, Shuwen Deng. International Symposium on High-Performance Computer Architecture (HPCA). Mar 2025

  21. GadgetMeter: Quantitatively and Accurately Gauging the Exploitability of Speculative Gadgets. Qi Ling, Yujun Liang, Yi Ren, Baris Kasikci, Shuwen Deng. Network and Distributed System Security Symposium (NDSS). Feb 2025

  22. Beehive: A Flexible Network Stack for Direct-Attached Accelerators. Katie Lim, Matthew Giordano, Theano Stavrinos, Jacob Nelson, Irene Zhang, Baris Kasikci, Thomas Anderson. International Symposium on Microarchitecture (MICRO). Nov 2024

  23. Understanding the Host Network. Midhul Vuppalapati, Saksham Agarwal, Henry Schuh, Baris Kasikci, Arvind Krishnamurthy, Rachit Agarwal. SIGCOMM (SIGCOMM). Best Student Paper Award. Aug 2024.

  24. Quest: Query-Aware Sparsity for Efficient Long-Context LLM Inference. Jiaming Tang, Yilong Zhao, Kan Zhu, Guangxuan Xiao, Baris Kasikci, Song Han. International Conference on Machine Learning (ICML). July 2024

  25. UDP: Utility-Driven Fetch Directed Instruction Prefetching. Surim Oh, Mingsheng Xu, Tanvir Ahmed Khan, Baris Kasikci, Heiner Litz. International Symposium on Computer Architecture (ISCA). Jun 2024

  26. ZipChannel: Cache Side-Channel Vulnerabilities in Compression Algorithms. Marina Minkin, Baris Kasikci. International Conference on Dependable Systems and Networks (DSN). June 2024

  27. Atom: Low-bit Quantization for Efficient and Accurate LLM Serving. Kan Zhu, Zihao Ye, Lequn Chen, Size Zheng, Luis Ceze, Arvind Krishnamurthy, Tianqi Chen, Baris Kasikci. Conference on Machine Learning and Systems (MLSys). May 2024

  28. Proactive Runtime Detection of Aging-Related Silent Data Corruptions: A Bottom-Up Approach. Jiacheng Ma, Majd Ganaiem, Madeline Burbage, Theo Gregersen, Rachel McAmis, Freddy Gabbay, Baris Kasikci. International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS). Apr 2024

  29. Limoncello: Prefetchers for Scale. Akanksha Jain, Hannah Lin, Carlos Villavieja, Baris Kasikci, Chris Kennelly, Milad Hashemi, Parthasarathy Ranganathan. International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS). Apr 2024

  30. RPG^2: Robust Profile-Guided Runtime Prefetch Generation. Yuxuan Zhang, Nathan Sobotka, Soyoon Park, Saba Jamilan, Tanvir Ahmed Khan, Baris Kasikci, Gilles Pokam, Heiner Litz, Joseph Devietti. International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS). Apr 2024

  31. 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 (SOSP). Oct 2023

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

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

  34. 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

  35. 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, Baris Kasikci. International Symposium on Microarchitecture (MICRO). Best Paper Award Oct 2022.

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

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

  38. 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). Jul 2022

  39. 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). Jun 2022

  40. 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, Baris Kasikci. International Symposium on Computer Architecture (ISCA). Jun 2022

  41. 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

  42. 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

  43. 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

  44. 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

  45. 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

  46. 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). Jul 2021

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

  48. 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). Jun 2021

  49. 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

  50. 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

  51. 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

  52. Morpheus II: A RISC-V Security Extension for Protecting Vulnerable Software and Hardware. Austin Harris, Tarunesh Verma, Shijia Wei, Lauren Biernacki, Alex Kisil, Misiker Tadesse Aga, Valeria Bertacco, Baris Kasikci, Mohit Tiwari, Todd Austin. IEEE Hot Chips Symposium ([Hot Chips]). 2021

  53. Holistic Defenses Against Microarchitectural Attacks. Baris Kasikci, Kevin Loughlin. SPIE Disruptive Technologies in Information Sciences V ([SPIE]). 2021

  54. 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.

  55. 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

  56. 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

  57. CPU Microarchitectural Performance Characterization of Cloud Video Transcoding. Yuhan Chen, Jingyuan Zhu, Tanvir Ahmed Khan, Baris Kasikci. IEEE International Symposium on Workload Characterization ([IISWC]). 2020

  58. 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. Oct 2019.

  59. 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

  60. 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

  61. Morpheus: A Vulnerability-Tolerant Secure Architecture Based on Ensembles of Moving Target Defenses with Churn [talk]. 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. International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS). April 2019

  62. 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.

  63. 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. Aug 2018.

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

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

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

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

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

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

Journal Papers


  1. One Profile Fits All: Profile-Guided Linux Kernel Optimizations for Data Center Applications. Muhammed Ugur, Cheng Jiang, Alex Erf, Tanvir Ahmed Khan, Baris Kasikci. ACM SIGOPS Operating Systems Review ([OSR]). 2023

  2. Software-Driven Security Attacks: From Vulnerability Sources to Durable Hardware Defenses. Lauren Biernacki, Mark Gallagher, Zhixing Xu, Misiker Tadesse Aga, Austin Harris, Shijia Wei, Mohit Tiwari, Baris Kasikci, Sharad Malik, Todd Austin. ACM Journal on Emerging Technologies in Computing Systems ([JETC]). 2021

  3. 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 ([IEEE Micro]). 2019

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

Workshop Papers


  1. Apiary: An OS for the Modern FPGA. Katie Lim, Matthew Giordano, Irene Zhang, Baris Kasikci, Thomas Anderson. Workshop on Hot Topics in Operating Systems (HotOS). May 2025
  2. Can Storage Devices Be Power Adaptive?. Dedong Xie, Theano Stavrinos, Kan Zhu, Simon Peter, Baris Kasikci, Thomas Anderson. Workshop on Hot Topics in Storage and File Systems (HotStorage). July 2024
  3. Software-Defined Memory Controllers: An Idea Whose Time Has Come. Kevin Loughlin, Stefan Saroiu, Alec Wolman, Baris Kasikci. Wild and Crazy Ideas Session, ACM International Conference on Architectural Support for Programming Languages and Operating Systems ([WACI]). 2022
  4. Tolerate Silent Data Errors with Coded Computation. Gefei Zuo, Jiacheng Ma, Andrew Quinn, Baris Kasikci. Workshop on Data Integrity and Secure Cloud Computing ([Data Integrity and Secure Cloud Computing]). 2022
  5. 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
  6. I4: Incremental Inference of Inductive Invariants. Haojun Ma, Aman Goel, Jean-Baptiste Jeannin, Manos Kapritsos, Baris Kasikci, Karem Sakallah. Workshop on Hot Topics in Operating Systems (HotOS). May 2019
  7. HASE: Hardware-Assisted Symbolic Execution. Jörg Thalheim, Pramod Bhatotia, Pedro Fonseca, Baris Kasikci. KLEE Workshop (KLEE Workshop). Apr 2018
  8. 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
  9. Lockout: Efficient Testing for Deadlock Bugs [slides]. Ali Kheradmand, Baris Kasikci, George Candea. Workshop on Determinism and Correctness in Parallel Programming (WoDet). Mar 2014
  10. Automated Debugging for Arbitrarily Long Executions [slides]. Cristian Zamfir, Baris Kasikci, Johannes Kinder, Edouard Bugnion, George Candea. Workshop on Hot Topics in Operating Systems (HotOS). May 2013
  11. CoRD: A Collaborative Framework for Distributed Data Race Detection [slides]. Baris Kasikci, Cristian Zamfir, George Candea. Workshop on Hot Topics in System Dependability (HotDep). Oct 2012
  12. Scalable Modeling of Software Product Line Variability. Baris Kasikci, Semih Bilgen. Workshop on Scalable Modeling Techniques for Software Product Lines ([SPLC]). 2009