NDA: Preventing Speculative Execution Attacks at Their Source [bib], Ofir Weisse, Ian Neal, Kevin Loughlin, Thomas Wenisch, Baris Kasikci , International Symposium on Microarchitecture (MICRO), Columbus, OH, Oct 2019.
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), Canada, Oct 2019
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), Phoenix, AZ, June 2019
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, SalessawiFerede Yitbarek, Misisker Tadesse Aga, Austin Harris, Zhixing Xu, Baris Kasikci , Valeria Bertacco, Sharad Malik, Mohit Tiwari, Todd Austin, Providence, RI, April 2019
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 Carlsbad, CA, Oct 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 (Usenix Security), IEEE Micro Top Pick, Baltimore, MD, August 2018
Cntr: Lightweight OS Containers, Jörg Thalheim, Pramod Bhatotia, Pedro Fonseca, and Baris Kasikci , USENIX Annual Technical Conference (Usenix ATC), Boston, MA, June 2018
Lazy Diagnosis of In-Production Concurrency Bugs Baris Kasikci , Weidong Cui, Xinyang Ge, Ben Niu. Symposium on Operating Systems Principles (SOSP), Shanghai, China, Oct 2017
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), Monterey, CA, Oct 2015
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), Philadelphia, PA, June 2014
RaceMob: Crowdsourced Data Race Detection [talk video | slides]
Baris Kasikci, Cristian Zamfir, and George Candea
Symposium on Operating Systems Principles (SOSP), Nemacolin Woodlands Resort, PA, November 2013
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), London, UK, March 2012
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
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
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), Bertinoro, Italy, May 2019
HASE: Hardware-Assisted Symbolic Execution Jörg Thalheim, Pramod Bhatotia, Pedro Fonseca, and Baris Kasikci , KLEE Symposium, London, UK, April 2018
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), Kartause Ittingen, Switzerland, May 2015
Lockout: Efficient Testing for Deadlock Bugs [slides]
Ali Kheradmand, Baris Kasikci, and George Candea
Workshop on Determinism and Correctness in Parallel Programming (WoDet), Salt Lake City, UT March 2014
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), Santa Ana Pueblo, NM, May 2013
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), Hollywood, USA October 2012
