| Foreshadow: Extracting the keys to the intel SGX kingdom with transient out-of-order execution J Van Bulck, M Minkin, O Weisse, D Genkin, B Kasikci, F Piessens, ... 27th {USENIX} Security Symposium ({USENIX} Security 18), 991–1008, 2018 | 636 | 2018 |
| Foreshadow-NG: Breaking the virtual memory abstraction with transient out-of-order execution O Weisse, J Van Bulck, M Minkin, D Genkin, B Kasikci, F Piessens, ... | 134 | 2018 |
| Data Races vs. Data Race Bugs: Telling the Difference with Portend B Kasikci, C Zamfir, G Candea [ASPLOS] International Conference Architectural Support for Programming …, 2012 | 133 | 2012 |
| RaceMob: Crowdsourced data race detection B Kasikci, C Zamfir, G Candea [SOSP] ACM Symposium on Operating Systems Principles, 406-422, 2013 | 101 | 2013 |
| Failure Sketching: A Technique for Automated Root Cause Diagnosis of In-Production Failures B Kasikci, B Schubert, C Pereira, G Pokam, G Candea [SOSP] ACM Symposium on Operating Systems Principles, 2015 | 68 | 2015 |
| NDA: Preventing speculative execution attacks at their source O Weisse, I Neal, K Loughlin, TF Wenisch, B Kasikci Proceedings of the 52nd Annual IEEE/ACM International Symposium on …, 2019 | 52 | 2019 |
| Cntr: Lightweight OS Containers J Thalheim, P Bhatotia, P Fonseca, B Kasikci 2018 {USENIX} Annual Technical Conference ({USENIX}{ATC} 18), 199-212, 2018 | 42 | 2018 |
| REPT: Reverse Debugging of Failures in Deployed Software W Cui, X Ge, B Kasikci, B Niu, U Sharma, R Wang, I Yun 13th {USENIX} Symposium on Operating Systems Design and Implementation …, 2018 | 34 | 2018 |
| Efficient Tracing of Cold Code via Bias-Free Sampling B Kasikci, T Ball, G Candea, J Erickson, M Musuvathi [USENIX ATC] 2014 USENIX Annual Technical Conference, 2014 | 26 | 2014 |
| Morpheus: A vulnerability-tolerant secure architecture based on ensembles of moving target defenses with churn M Gallagher, L Biernacki, S Chen, ZB Aweke, SF Yitbarek, MT Aga, ... Proceedings of the Twenty-Fourth International Conference on Architectural …, 2019 | 24 | 2019 |
| Automated Classification of Data Races Under Both Strong and Weak Memory Models B Kasikci, C Zamfir, G Candea [TOPLAS] ACM Transactions on Programming Languages and Systems 37 (3), 8, 2015 | 21 | 2015 |
| Lazy diagnosis of in-production concurrency bugs B Kasikci, W Cui, X Ge, B Niu Proceedings of the 26th Symposium on Operating Systems Principles, 582-598, 2017 | 20 | 2017 |
| Lockout: Efficient Testing for Deadlock Bugs A Kheradmand, B Kasikci, G Candea [WODET] Workshop on Determinism and Correctness in Parallel Programming, 2013 | 17 | 2013 |
| Automated debugging for arbitrarily long executions C Zamfir, BCC Kasikci, J Kinder, E Bugnion, G Candea [HotOS] Workshop on Hot Topics in Operating Systems, 2013 | 14 | 2013 |
| AGAMOTTO: How Persistent is your Persistent Memory Application? I Neal, B Reeves, B Stoler, A Quinn, Y Kwon, S Peter, B Kasikci 14th {USENIX} Symposium on Operating Systems Design and Implementation …, 2020 | 13 | 2020 |
| I4: incremental inference of inductive invariants for verification of distributed protocols H Ma, A Goel, JB Jeannin, M Kapritsos, B Kasikci, KA Sakallah Proceedings of the 27th ACM Symposium on Operating Systems Principles, 370-384, 2019 | 11 | 2019 |
| Breaking virtual memory protection and the SGX ecosystem with foreshadow J Van Bulck, M Minkin, O Weisse, D Genkin, B Kasikci, F Piessens, ... Ieee Micro 39 (3), 66-74, 2019 | 10 | 2019 |
| Scalable modeling of software product line variability B Kasikci, S Bilgen [SCALE], Workshop on Scalable Modeling Techniques for Software Product Lines …, 2009 | 10 | 2009 |
| A hypervisor for shared-memory FPGA platforms J Ma, G Zuo, K Loughlin, X Cheng, Y Liu, AM Eneyew, Z Qi, B Kasikci Proceedings of the Twenty-Fifth International Conference on Architectural …, 2020 | 8 | 2020 |
| CORD: A Collaborative Framework for Distributed Data Race Detection B Kasikci, C Zamfir, G Candea [HotDep] Presented as part of the Eighth Workshop on Hot Topics in System …, 2012 | 7 | 2012 |
George CandeaAssociate Professor of Computer Science, EPFL (Lausanne, Switzerland)Verified email at epfl.ch
