Data races vs. data race bugs: telling the difference with portend. - Baris Kasikci; Cristian Zamfir; George Candea (ASPLOS, 2012)

CORD: A Collaborative Framework for Distributed Data Race Detection. - Baris Kasikci; Cristian Zamfir; George Candea (HotDep, 2012)

Automated Debugging for Arbitrarily Long Executions. - Cristian Zamfir; Baris Kasikci; Johannes Kinder; Edouard Bugnion; George Candea (HotOS, 2013)

RaceMob: crowdsourced data race detection. - Baris Kasikci; Cristian Zamfir; George Candea (SOSP, 2013)

Efficient Tracing of Cold Code via Bias-Free Sampling. - Baris Kasikci; Thomas Ball 001; George Candea; John Erickson; Madanlal Musuvathi (USENIX ATC, 2014)

Failure Sketches: A Better Way to Debug. - Baris Kasikci; Cristiano Pereira; Gilles Pokam; Benjamin Schubert; Madanlal Musuvathi; George Candea (HotOS, 2015)

Failure sketching: a technique for automated root cause diagnosis of in-production failures. - Baris Kasikci; Benjamin Schubert; Cristiano Pereira; Gilles Pokam; George Candea (SOSP, 2015)

Automated Classification of Data Races Under Both Strong and Weak Memory Models. - Baris Kasikci; Cristian Zamfir; George Candea (ACM Trans. Program. Lang. Syst., 2015)

Techniques for Detection, Root Cause Diagnosis, and Classification of In-Production Concurrency Bugs. - Baris Kasikci (2015)

Lazy Diagnosis of In-Production Concurrency Bugs. - Baris Kasikci; Weidong Cui; Xinyang Ge; Ben Niu 007 (SOSP, 2017)

SysTEX'18: 2018 Workshop on System Software for Trusted Execution. - Baris Kasikci; Mark Silberstein (CCS, 2018)

Vulnerability-tolerant secure architectures. - Todd M. Austin; Valeria Bertacco; Baris Kasikci; Sharad Malik; Mohit Tiwari (ICCAD, 2018)

REPT: Reverse Debugging of Failures in Deployed Software. - Weidong Cui; Xinyang Ge; Baris Kasikci; Ben Niu 007; Upamanyu Sharma; Ruoyu Wang 001; Insu Yun (OSDI, 2018)

Cntr: Lightweight OS Containers. - Jörg Thalheim; Pramod Bhatotia; Pedro Fonseca 001; Baris Kasikci (USENIX ATC, 2018)

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, 2018)

Morpheus: A Vulnerability-Tolerant Secure Architecture Based on Ensembles of Moving Target Defenses with Churn. - Mark Gallagher 003; Lauren Biernacki; Shibo Chen 001; Zelalem Birhanu Aweke; Salessawi Ferede Yitbarek; Misiker Tadesse Aga; Austin Harris 001; Zhixing Xu; Baris Kasikci; Valeria Bertacco; Sharad Malik; Mohit Tiwari; et al. (ASPLOS, 2019)

Towards Automatic Inference of Inductive Invariants. - Haojun Ma; Aman Goel; Jean-Baptiste Jeannin; Manos Kapritsos; Baris Kasikci; Karem A. Sakallah (HotOS, 2019)

NDA: Preventing Speculative Execution Attacks at Their Source. - Ofir Weisse; Ian Neal; Kevin Loughlin; Thomas F. Wenisch; Baris Kasikci (MICRO, 2019)

Huron: hybrid false sharing detection and repair. - Tanvir Ahmed Khan; Yifan Zhao; Gilles Pokam; Barzan Mozafari; Baris Kasikci (PLDI, 2019)

I4: incremental inference of inductive invariants for verification of distributed protocols. - Haojun Ma; Aman Goel; Jean-Baptiste Jeannin; Manos Kapritsos; Baris Kasikci; Karem A. Sakallah (SOSP, 2019)

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, 2019)

A Hypervisor for Shared-Memory FPGA Platforms. - Jiacheng Ma 001; Gefei Zuo; Kevin Loughlin; Xiaohe Cheng; Yanqiang Liu; Abel Mulugeta Eneyew; Zhengwei Qi; Baris Kasikci (ASPLOS, 2020)

CPU Microarchitectural Performance Characterization of Cloud Video Transcoding. - Yuhan Chen; Jingyuan Zhu; Tanvir Ahmed Khan; Baris Kasikci (IISWC, 2020)

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

AGAMOTTO: How Persistent is your Persistent Memory Application? - Ian Neal; Ben Reeves; Ben Stoler; Andrew Quinn 001; Youngjin Kwon; Simon Peter 001; Baris Kasikci (OSDI, 2020)

Optimal and Error-Free Multi-Valued Byzantine Consensus Through Parallel Execution. - Andrew D. Loveless; Ronald G. Dreslinski; Baris Kasikci (IACR Cryptol. ePrint Arch., 2020)

Hippocrates: healing persistent memory bugs without doing any harm. - Ian Neal; Andrew Quinn 001; Baris Kasikci (ASPLOS, 2021)

Rethinking File Mapping for Persistent Memory. - Ian Neal; Gefei Zuo; Eric Shiple; Tanvir Ahmed Khan; Youngjin Kwon; Simon Peter 001; Baris Kasikci (FAST, 2021)

Morpheus II: A RISC-V Security Extension for Protecting Vulnerable Software and Hardware. - Austin Harris 001; Tarunesh Verma; Shijia Wei; Lauren Biernacki; Alex Kisil; Misiker Tadesse Aga; Valeria Bertacco; Baris Kasikci; Mohit Tiwari; Todd M. Austin (HOST, 2021)

Morpheus II: A RISC-V Security Extension for Protecting Vulnerable Software and Hardware. - Todd M. Austin; Austin Harris 001; Tarunesh Verma; Shijia Wei; Alex Kisil; Misiker Tadesse Aga; Valeria Bertacco; Baris Kasikci; Mohit Tiwari (HCS, 2021)

Stop! Hammer time: rethinking our approach to rowhammer mitigations. - Kevin Loughlin; Stefan Saroiu; Alec Wolman; Baris Kasikci (HotOS, 2021)

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 (ISCA, 2021)

Twig: Profile-Guided BTB Prefetching for Data Center Applications. - Tanvir Ahmed Khan; Nathan Brown; Akshitha Sriraman; Niranjan K. Soundararajan; Rakesh Kumar 003; Joseph Devietti; Sreenivas Subramoney; Gilles A. Pokam; Heiner Litz; Baris Kasikci (MICRO, 2021)

PDede: Partitioned, Deduplicated, Delta Branch Target Buffer. - Niranjan K. Soundararajan; Peter Braun 005; Tanvir Ahmed Khan; Baris Kasikci; Heiner Litz; Sreenivas Subramoney (MICRO, 2021)

DMon: Efficient Detection and Correction of Data Locality Problems Using Selective Profiling. - Tanvir Ahmed Khan; Ian Neal; Gilles Pokam; Barzan Mozafari; Baris Kasikci (OSDI, 2021)

Execution reconstruction: harnessing failure reoccurrences for failure reproduction. - Gefei Zuo; Jiacheng Ma 001; Andrew Quinn 001; Pramod Bhatotia; Pedro Fonseca 001; Baris Kasikci (PLDI, 2021)

IGOR: Accelerating Byzantine Fault Tolerance for Real-Time Systems with Eager Execution. - Andrew D. Loveless; Ronald G. Dreslinski; Baris Kasikci; Linh Thi Xuan Phan (RTAS, 2021)

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

Software-driven Security Attacks: From Vulnerability Sources to Durable Hardware Defenses. - Lauren Biernacki; Mark Gallagher 003; Zhixing Xu; Misiker Tadesse Aga; Austin Harris 001; Shijia Wei; Mohit Tiwari; Baris Kasikci; Sharad Malik; Todd M. Austin (ACM J. Emerg. Technol. Comput. Syst., 2021)

Debugging in the brave new world of reconfigurable hardware. - Jiacheng Ma 001; Gefei Zuo; Kevin Loughlin; Haoyang Zhang; Andrew Quinn 001; Baris Kasikci (ASPLOS, 2022)

APT-GET: profile-guided timely software prefetching. - Saba Jamilan; Tanvir Ahmed Khan; Grant Ayers; Baris Kasikci; Heiner Litz (EuroSys, 2022)

MOESI-prime: preventing coherence-induced hammering in commodity workloads. - Kevin Loughlin; Stefan Saroiu; Alec Wolman; Yatin A. Manerkar; Baris Kasikci (ISCA, 2022)

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 (ISCA, 2022)

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 (MICRO, 2022)

OCOLOS: Online COde Layout OptimizationS. - Yuxuan Zhang; Tanvir Ahmed Khan; Gilles Pokam; Baris Kasikci; Heiner Litz; Joseph Devietti (MICRO, 2022)

Debugging the OmniTable Way. - Andrew Quinn 001; Jason Flinn; Michael J. Cafarella; Baris Kasikci (OSDI, 2022)

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 ATC, 2022)

Impact of microarchitectural state reuse on serverless functions. - Truls Asheim; Tanvir Ahmed Khan; Baris Kasikci; Rakesh Kumar 003 (WOSC@Middleware, 2022)

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 Oper. Syst. Rev., 2022)

Vidi: Record Replay for Reconfigurable Hardware. - Gefei Zuo; Jiacheng Ma 001; Andrew Quinn 001; Baris Kasikci (ASPLOS (3), 2023)

Siloz: Leveraging DRAM Isolation Domains to Prevent Inter-VM Rowhammer. - Kevin Loughlin; Jonah Rosenblum; Stefan Saroiu; Alec Wolman; Dimitrios Skarlatos 002; Baris Kasikci (SOSP, 2023)

PCSPOOF: Compromising the Safety of Time-Triggered Ethernet. - Andrew D. Loveless; Linh Thi Xuan Phan; Ronald G. Dreslinski; Baris Kasikci (SP, 2023)

Online Code Layout Optimizations via OCOLOS. - Yuxuan Zhang; Tanvir Ahmed Khan; Gilles Pokam; Baris Kasikci; Heiner Litz; Joseph Devietti (IEEE Micro, 2023)

CrossTalk: Making Low-Latency Fault Tolerance Cheap by Exploiting Redundant Networks. - Andrew D. Loveless; Linh Thi Xuan Phan; Lisa Erickson; Ronald G. Dreslinski; Baris Kasikci (ACM Trans. Embed. Comput. Syst., 2023)

Proactive Runtime Detection of Aging-Related Silent Data Corruptions: A Bottom-Up Approach. - Jiacheng Ma 001; Majd Ganaiem; Madeline Burbage; Theo Gregersen; Rachel McAmis; Freddy Gabbay; Baris Kasikci (ASPLOS (4), 2024)

Limoncello: Prefetchers for Scale. - Akanksha Jain; Hannah Lin; Carlos Villavieja; Baris Kasikci; Chris Kennelly; Milad Hashemi; Parthasarathy Ranganathan (ASPLOS (3), 2024)

RPG2: Robust Profile-Guided Runtime Prefetch Generation. - Yuxuan Zhang; Nathan Sobotka; Soyoon Park; Saba Jamilan; Tanvir Ahmed Khan; Baris Kasikci; Gilles A. Pokam; Heiner Litz; Joseph Devietti (ASPLOS (2), 2024)

ZipChannel: Cache Side-Channel Vulnerabilities in Compression Algorithms. - Marina Minkin; Baris Kasikci (DSN, 2024)

Can Storage Devices be Power Adaptive? - Dedong Xie; Theano Stavrinos; Kan Zhu; Simon Peter 001; Baris Kasikci; Thomas E. Anderson (HotStorage, 2024)

QUEST: Query-Aware Sparsity for Efficient Long-Context LLM Inference. - Jiaming Tang; Yilong Zhao; Kan Zhu; Guangxuan Xiao; Baris Kasikci; Song Han 003 (ICML, 2024)

UDP: Utility-Driven Fetch Directed Instruction Prefetching. - Surim Oh; Mingsheng Xu; Tanvir Ahmed Khan; Baris Kasikci; Heiner Litz (ISCA, 2024)

Beehive: A Flexible Network Stack for Direct-Attached Accelerators. - Katie Lim; Matthew Giordano; Theano Stavrinos; Irene Zhang; Jacob Nelson 001; Baris Kasikci; Thomas E. Anderson (MICRO, 2024)

Atom: Low-Bit Quantization for Efficient and Accurate LLM Serving. - Yilong Zhao; Chien-Yu Lin; Kan Zhu; Zihao Ye 001; Lequn Chen 001; Size Zheng 001; Luis Ceze; Arvind Krishnamurthy; Tianqi Chen 001; Baris Kasikci (MLSys, 2024)

Understanding the Host Network. - Midhul Vuppalapati; Saksham Agarwal; Henry Schuh; Baris Kasikci; Arvind Krishnamurthy; Rachit Agarwal 001 (SIGCOMM, 2024)

Fiddler: CPU-GPU Orchestration for Fast Inference of Mixture-of-Experts Models. - Keisuke Kamahori; Yile Gu; Kan Zhu; Baris Kasikci (CoRR, 2024)

Beehive: A Flexible Network Stack for Direct-Attached Accelerators. - Katie Lim; Matthew Giordano; Theano Stavrinos; Baris Kasikci; Tom Anderson 003 (CoRR, 2024)

NanoFlow: Towards Optimal Large Language Model Serving Throughput. - Kan Zhu; Yilong Zhao; Liangyu Zhao; Gefei Zuo; Yile Gu; Dedong Xie; Yufei Gao; Qinyu Xu; Tian Tang; Zihao Ye 001; Keisuke Kamahori; Chien-Yu Lin; et al. (CoRR, 2024)

BlendServe: Optimizing Offline Inference for Auto-regressive Large Models with Resource-aware Batching. - Yilong Zhao; Shuo Yang; Kan Zhu; Lianmin Zheng; Baris Kasikci; Yang Zhou; Jiarong Xing; Ion Stoica (CoRR, 2024)

Apiary: An OS for the Modern FPGA. - Katie Lim; Matthew Giordano; Irene Zhang; Baris Kasikci; Thomas E. Anderson (HotOS, 2025)

Palermo: Improving the Performance of Oblivious Memory using Protocol-Hardware Co-Design. - Haojie Ye; Yuchen Xia; Yuhan Chen; Kuan-Yu Chen 001; Yichao Yuan; Shuwen Deng; Baris Kasikci; Trevor N. Mudge; Nishil Talati (HPCA, 2025)

From Optimal to Practical: Efficient Micro-op Cache Replacement Policies for Data Center Applications. - Kan Zhu; Yilong Zhao; Yufei Gao; Peter Braun 005; Tanvir Ahmed Khan; Heiner Litz; Baris Kasikci; Shuwen Deng (HPCA, 2025)

Fiddler: CPU-GPU Orchestration for Fast Inference of Mixture-of-Experts Models. - Keisuke Kamahori; Tian Tang; Yile Gu; Kan Zhu; Baris Kasikci (ICLR, 2025)

GadgetMeter: Quantitatively and Accurately Gauging the Exploitability of Speculative Gadgets. - Qi Ling; Yujun Liang; Yi Ren; Baris Kasikci; Shuwen Deng (NDSS, 2025)

NanoFlow: Towards Optimal Large Language Model Serving Throughput. - Kan Zhu; Yufei Gao; Yilong Zhao; Liangyu Zhao; Gefei Zuo; Yile Gu; Dedong Xie; Zihao Ye 001; Keisuke Kamahori; Chien-Yu Lin; Ziren Wang; Stephanie Wang; et al. (OSDI, 2025)

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 001; Baris Kasikci (Proc. ACM Program. Lang., 2025)

FlashInfer: Efficient and Customizable Attention Engine for LLM Inference Serving. - Zihao Ye 001; Lequn Chen 001; Ruihang Lai; Wuwei Lin; Yineng Zhang; Stephanie Wang; Tianqi Chen 001; Baris Kasikci; Vinod Grover; Arvind Krishnamurthy; Luis Ceze (CoRR, 2025)

Argos: Agentic Time-Series Anomaly Detection with Autonomous Rule Generation via Large Language Models. - Yile Gu; Yifan Xiong 001; Jonathan Mace; Yuting Jiang; Yigong Hu; Baris Kasikci; Peng Cheng 005 (CoRR, 2025)

Tactic: Adaptive Sparse Attention with Clustering and Distribution Fitting for Long-Context LLMs. - Kan Zhu; Tian Tang; Qinyu Xu; Yile Gu; Zhichen Zeng 002; Rohan Kadekodi; Liangyu Zhao; Ang Li; Arvind Krishnamurthy; Baris Kasikci (CoRR, 2025)

LiteASR: Efficient Automatic Speech Recognition with Low-Rank Approximation. - Keisuke Kamahori; Jungo Kasai; Noriyuki Kojima; Baris Kasikci (CoRR, 2025)

TeleRAG: Efficient Retrieval-Augmented Generation Inference with Lookahead Retrieval. - Chien-Yu Lin; Keisuke Kamahori; Yiyu Liu; Xiaoxiang Shi; Madhav Mahesh Kashyap; Yile Gu; Rulin Shao; Zihao Ye 001; Kan Zhu; Stephanie Wang; Arvind Krishnamurthy; Rohan Kadekodi; et al. (CoRR, 2025)

Fake Runs, Real Fixes - Analyzing xPU Performance Through Simulation. - Ioannis Zarkadas; Amanda Tomlinson; Asaf Cidon; Baris Kasikci; Ofir Weisse (CoRR, 2025)

ConsumerBench: Benchmarking Generative AI Applications on End-User Devices. - Yile Gu; Rohan Kadekodi; Hoang Nguyen; Keisuke Kamahori; Yiyu Liu; Baris Kasikci (CoRR, 2025)

gigiProfiler: Diagnosing Performance Issues by Uncovering Application Resource Bottlenecks. - Yigong Hu; Haodong Zheng; Yicheng Liu; Dedong Xie; Youliang Huang; Baris Kasikci (CoRR, 2025)

PolyServe: Efficient Multi-SLO Serving at Scale. - Kan Zhu; Haiyang Shi; Le Xu; Jiaxin Shan; Arvind Krishnamurthy; Baris Kasikci; Liguang Xie (CoRR, 2025)